Vyplývání

Jde o něco, co je lidem vlastní už od dětství, není potřeba jej studovat. Existuje intuitivní logické vyplývání. Logika si klade za cíl poskytnout nástroj k efektivnějšímu vyvozování, žádná definice vyplývání však přímo nekoresponduje s intuicí.

• argument je platný (valid), pokud platí nutně na základě logické formy
• argument je platný (sound; v různých překladech: dokonalý, přesvědčivý, korektní, řádný), pokud je platný a má pravdivé premisy, tedy je správný formálně i obsahově

Například:

Všichni lidé jsou smrtelní. Všichni Řekové jsou lidé. $\rightarrow$ Všichni Řekové jsou smrtelní.
Jana je slečna. $\rightarrow$ Jana není vdaná.
Číslo n je sudé. Číslo n je delitelné 3. $\rightarrow$ Číslo n je dělitelné 6.
Jan se narodil v Praze. Nelze pochopit (MathML, alternativně SVG nebo PNG (doporučeno pro moderní prohlížeče a kompenzační pomůcky): Neplatná odpověď („Math extension cannot connect to Restbase.“) od serveru „https://en.wikipedia.org/api/rest_v1/“:): {\displaystyle \rightarrow} Jan se narodil v ČR. Věcně správný úsudek, neplatí však nutně (v závislosti na datu jeho narození).

Zdroje

Tento článek vznikl na základě poznámek z přednášky Filosofie logiky. Doporučenou literaturu k tomuto tématu naleznete zde.

Související články

Analytická filosofie