Sylogismus je dedukce. Je to druh logického argumentu, v němž se jedna věta (závěr) odvozuje ze dvou nebo více jiných vět (premis). Tato myšlenka je Aristotelovým vynálezem.

V Předchozích analytikách definuje Aristoteles sylogismus jako "úvahu, v níž, když se předpokládají určité věci, vyplývá z nutnosti něco jiného než předpokládané věci, protože tyto věci jsou takové". (24b18-20)

Každá věta musí obsahovat nějaký tvar slovesa "být". Kategorický sylogismus je jako malý stroj sestávající ze tří částí: hlavní premisy, vedlejší premisy a závěru. Každá z těchto částí je propozicí a na základě prvních dvou se rozhoduje o "pravdivostní hodnotě" třetí části.

Co je kategorický sylogismus

Kategorický sylogismus pracuje s jednoduchými kategoriálními výroky, které spojují tři termíny: major (hlavní), minor (vedlejší) a middle (prostřední). Každý termín se vyskytuje dvakrát — jednou v premisách a případně jednou v závěru. Typické formy kategoriálních vět se označují písmeny A, E, I, O:

  • A (univerzální afirmativní): "Všichni S jsou P" (All S are P)
  • E (univerzální negativní): "Žádní S nejsou P" (No S are P)
  • I (partikulární afirmativní): "Někteří S jsou P" (Some S are P)
  • O (partikulární negativní): "Někteří S nejsou P" (Some S are not P)

Struktura a pojmy

  • Major premisa obsahuje hlavní termín (predikát závěru),
  • Minor premisa obsahuje minor termín (subjekt závěru),
  • Middle term (M) spojuje obě premisy, ale nesmí se objevit v závěru.

Příklad (klasický "Barbara"):
Major: Všichni M jsou P. (A)
Minor: Všichni S jsou M. (A)
Závěr: Všichni S jsou P. (A)

Módy a figury (mood and figure)

Aristotelova klasifikace sylogismů je založena na módu (kombinaci A, E, I, O premi­s) a figuře (uspořádání prostředního termínu v premisách). Existují čtyři figurální typy a 256 kombinací módu a figury; z nich je určité množství (např. 24 klasických) platných neutrálně (bez dalších předpokladů o existenci).

Příklady validních módů v první figuře: Barbara (AAA), Celarent (EAE), Darii (AII), Ferio (EIO).

Pravidla platnosti a běžné omyly

Mezi základní pravidla, která zaručují platnost kategoriálního sylogismu, patří:

  • Střední termín musí být distribuován alespoň v jedné premisě (jinak dochází k nezobrazenému prostřednímu — undistributed middle).
  • Pokud je nějaký termín distribuován v závěru, musí být distribuován i v odpovídající premisi (zabrání se illicit major/minor).
  • Nelze mít dva záporné premisy — ze dvou záporných premis nelze odvodit závěr.
  • Pokud jsou obě premisy partikulární, obecně nelze odvodit univerzální závěr (chybí informační síla).

Běžné logické chybné důvody (falacie): undistributed middle, illicit process, exclusive premises, existential fallacy (připisování existence, když premisy jsou pouze univerzální bez implikace existence).

Aristotelův kategorický model

Aristotelův přístup k sylogismu byl myšlen jako systém, který formálně zachycuje, jak lze z obecných tvrzení nutně odvodit jiné. Klíčové body jeho modelu:

  • Rozlišení pojmů a tvrdých vztahů mezi nimi (subjekt vs. predikát).
  • Analýza distribuce termínů — které části výroku se vztahují ke všem jedincům třídy.
  • Klasifikace platných forem sylogismu podle módu a figury.
  • Rozšíření na modalitní sylogismy (nutnost, možnost), které Aristoteles také studoval, avšak jsou složitější a kontroverznější.

Aristotelova metoda byla praktická i teoretická: umožnila formální ověření správnosti závěrů v případech, kdy premisy mají správnou strukturu. Zároveň však systém naráží na omezení při vyjadřování složitějších vět (vztahy, kvantifikátory nad více proměnnými apod.).

Moderní pojetí a vztah k predikátové logice

V 19.–20. století byla Aristotelova teorie přeformulována a rozšířena v rámci symbolické logiky. V moderní predikátové logice je kategorický sylogismus vyjádřen pomocí kvantifikátorů (∀, ∃) a predikátů. To umožnilo:

  • Formální dokazování platnosti a automatické ověřování prostřednictvím modelů (např. pomocí Vennových diagramů nebo algebraických metod).
  • Odhalení implicitních předpokladů, jako je existenciální import u univerzálních vět (tj. zda "Všichni S jsou P" implikuje, že nějaké S existují).
  • Rozšíření o vícerozměrné vztahy (relace) a komplexnější logické konstrukce, které klasický sylogismus nezachytí.

Příklady a praxe

Krátké příklady v češtině:

  • Barbara (validní, první figura):
    Všichni lidé (M) jsou smrtelní (P).
    Všichni Řekové (S) jsou lidé (M).
    Tudíž všichni Řekové (S) jsou smrtelní (P).
  • Chybující příklad (undistributed middle):
    Všichni psi jsou zvířata.
    Všichni kočky jsou zvířata.
    Tudíž všichni kočky jsou psi. (Neplatné — prostřední termín "zvířata" není distribuován.)

Závěrem

Sylogismus jako forma dedukce zůstává důležitou součástí historie logiky i výuky racionálního myšlení. Aristotelův kategoriální model položil základy pro systematické zkoumání odvozování a poskytl pravidla, která pomáhají rozeznat platné od neplatných argumentů. Moderní logika tento dědictví rozšířila a umožnila přesnější formální zápis a univerzální metody ověřování.