logika

(např. láska a nenávist)?
( pro evropské myšlení je příznačný DUALISMUS. Co je to a jak to souvisí s logickými zásadami?
LOGICKÉ FORMY
POJEM
Pojem je nejmenší jednotka myšlení. Logika požaduje jeho jasnost a zřetelnost, jednoznačnost.
( Jak je možné učinit pojem jednoznačný? Zkuste něco definovat! Jaké problémy při definování vznikají?
Mnoho pojmů je ovšem neostrých (fuzzy). Logicky dokonalé pojmy poskytuje matematika (jednoznačné definice).
SOUD / VÝROK
Výrok vzniká, jakmile se vysloví soud o obsahu nějakého pojmu.
Jednoduchý (elementární) výrok má nejčastěji subjekt – predikátovou formu. Něčemu (subjekt) se přiřazuje (predikuje) nějaká vlastnost (predikát).
Formy soudů podle Aristotela
Universálně pozitivní soud: a (z latinského affirmo – souhlasím): všichni lidé jsou živé bytosti
Universálně negativní soud: e (z latinského nego – popírám): žádný učitel není dokonalý
Partikulárně pozitivní soud: i: někteří žáci jsou pilní
Partikulárně negativní soud: o: někteří ptáci nelítají.
Lze znázornit Vennovými diagramy (JOHN VENNA, 1881: Diagrammatic Representation)
Vzpomeňme si, že IMMANUEL KANT tvrdí, že jsme schopni pouze 12ti typů soudů (podle kategorií, které věcem přiřazuje naše rozvažování)
Kvalita – můžeme vyslovit výroky kladné, záporné a omezené.
Kvantita – můžeme hovořit o všech, o několika a o tomto.
Relace – náš výrok může mít formu tvrzení (jednoduchý výrok spojený případně s jiným spojkou „a“, kategorický soud), formu hypotézy (forma jestliže – pak, hypotetický soud) nebo formu disjunkce (buď – anebo, disjunktivní soud)
Modalita – náš soud vypovídá o skutečnosti (toto je Petr, asterorický soud), o možnosti (toto může být Petr, problematický soud) či o nutnosti (toto může být jen Petr, apodiktický soud).
ÚSUDEK / SYLOGISMUS
V úsudku je vyvozen soud z jiných úsudků. Správnou tvorbou úsudků (sylogistikou) se zabýval ARISTOTELÉS.
Slavný Aristotelův případ zní:Typická forma úsudku (klasický sylogismus)
Všichni lidé jsou smrtelníM a P (M je medián – střední pojem, společný oběma premisám P a S)
Všichni Řekové jsou lidéS a M
---
Všichni Řekové jsou smrtelní(závěr čili konkluze:) S a P
(Aristotelés odděluje pravdivost a správnost! Závěr může být správný a zároveň nepravdivý!)
Aristotelés určuje čtyři figury sylogismů, přičemž se zabývá pouze prvními třemi.
Figury sylogismů
PrvníDruháTřetíČtvrtá
M.PP.MM.PP.M
S.MS.MM.SM.S
------------
S.PS.PS.PS.P
( Zkuste najít nebo vymyslet příklady na sylogismy všech čtyř figur!
Do těchto figur lze dosadit čtyři formy soudů (a, e, i, o). Vzniká tak 256 možných spojení - modů, z nichž ovšem jen 24 má logické uplatnění. Z hlediska Aristotelova zájmu o první tři figury jen 18 modů. I sylogismy se dají znázorňovat pomocí Vennových diagramů.
Ve středověky dostaly správné mody tří figur jména. Např. BARBARA, DARII, FERIO či CELARENT (1. figura – všechny čtyři jsou tzv. axiomy, nejzákladnější a nezpochybnitelné mody sylogismu), CESARE a CAMESTRES (2. figura), DARAPTI a FELAPTON (3. figura).
Podle určitých pravidel se pak snaží jiné sylogismy převést na první čtyři mody prvn