Logický důsledek (také implikace) je základní pojem logiky, který popisuje vztah mezi výroky, které platí, když jeden výrok logicky vyplývá z jednoho nebo více výroků. Platný logický argument je ten, ve kterém závěr vyplývá z předpokladů, protože závěr je důsledkem předpokladů. Filozofická analýza logického důsledku zahrnuje otázky: V jakém smyslu vyplývá závěr z předpokladů? A co znamená, že závěr je důsledkem předpokladů? Celá filozofická logika má poskytnout výklad povahy logického důsledku a povahy logické pravdy. Logický důsledek je nutný a formální, jak vyplývá z příkladů, které vysvětlují formálním důkazem a modely interpretace. Říká se, že věta je logickým důsledkem množiny vět pro daný jazyk, právě když a pouze když pomocí pouhé logiky (tj. bez ohledu na jakékoli osobní interpretace vět) musí být věta pravdivá, pokud je pravdivá každá věta v množině. Logikové přesně popisují logický důsledek týkající se daného jazyka L, buď vytvořením deduktivního systému pro L, nebo formální zamýšlenou sémantikou pro jazyk L. Polský logik Alfred Tarski identifikoval tři rysy adekvátní charakteristiky důsledku: (1) Vztah logického důsledku se opírá o logickou formu vět: (2) Vztah je a priori, tj. může být určen s ohledem na empirické důkazy (smyslová zkušenost) nebo bez ohledu na ně; a (3) vztah logického důsledku má modální složku.
Facebook Twitter