Sylogizmus je dedukcia. Je to druh logického argumentu, v ktorom sa jedno tvrdenie (záver) odvodzuje z dvoch alebo viacerých iných tvrdení (premis). Táto myšlienka je Aristotelovým vynálezom.

V Predchádzajúcej analytike Aristoteles definuje sylogizmus ako "úvahu, v ktorej, keď sa predpokladajú určité veci, z nutnosti vyplýva niečo iné, než sa predpokladá, pretože tieto veci sú také". (24b18-20)

Každá veta musí obsahovať určitý tvar slovesa "byť". Kategorický sylogizmus je ako malý stroj, ktorý sa skladá z troch častí: hlavnej premisy, vedľajšej premisy a záveru. Každá z týchto častí je propozíciou a na základe prvých dvoch sa rozhoduje o "pravdivostnej hodnote" tretej časti.

Základné pojmy

Termíny sylogizmu:

  • Hlavný termín (P) – predikát záveru (nachádza sa v hlavnej premise).
  • Vedľajší termín (S) – subjekt záveru (nachádza sa v vedľajšej premise).
  • Stredný termín (M) – spája obe premisy, v závere sa nevyskytuje.

Druhy kategórií (typy propozícií): Aristotelova kategorizácia zahŕňa štyri základné typy výroku, často označované písmenami A, E, I, O:

  • A – univerzálne afirmatívne (Všetci M sú P).
  • E – univerzálne negatívne (Žiadni M nie sú P).
  • I – partikulárne afirmatívne (Niektorí M sú P).
  • O – partikulárne negatívne (Niektorí M nie sú P).

Princíp fungovania a príklad

Aristotelov kategorický sylogizmus funguje tak, že z dvoch premís (jednej obsahujúcej S a M, druhej obsahujúcej M a P) sa formálne odvodí záver, ktorý spája S a P. Dôležité je, aby štruktúra (forma) argumentu zaručila nutnosť záveru pri predpoklade pravdivosti premís.

Najznámejší príklad (klasický sylogizmus so Sokratesom):

  • Všetci ľudia sú smrteľní. (All M are P – A)
  • Sokrates je človek. (All S are M – A)
  • Preto Sokrates je smrteľný. (All S are P – A)

Tento príklad je typickým prípadom formy nazývanej Barbara (mód AAA, prvá figura), kde záver logicky nasleduje z premís.

Pravidlá platnosti sylogizmu

Aby bol kategorický sylogizmus platný, musí spĺňať niekoľko základných pravidiel (klasické pravidlá Aristotelovej logiky):

  • Musia sa v sylogizme vyskytovať presne tri termíny (P, S, M) bez skrytých substitúcií.
  • Stredný termín musí byť aspoň raz distribuovaný (t. j. používa sa vo všeobecnom zmysle) v jednej z premís.
  • Ak je termín distribuovaný v závere, musí byť distribuovaný aj vo svojej príslušnej premise.
  • Nemôžu byť obe premisy negatívne (z dvoch negatívnych premís nemožno odvodiť záver).
  • Z dvoch univerzálnych premís nemožno správne odvodiť partikulárny záver bez ďalšieho predpokladu; naopak, prítomnosť istej partikulárnej premisy vedie k partikulárnemu záveru.
  • Pravidlo o negatívnosti: ak je jedna z premís negatívna, záver musí byť negatívny; ak sú obe premisy afirmatívne, záver musí byť afirmatívny (s výnimkou prípadov, ktoré pravidlá vylučujú).

Módy, figúry a klasické formy

Sylogizmy sa klasifikujú podľa módu (kombinácia typov premís a záveru, napr. AEE) a figúry (umiestnenie stredného termínu v premisách). V Aristotelovom systéme existuje niekoľko platných foriem; tradične sa hovorí o 24 platných módoch v kombinácii s rôznymi figurami.

Niektoré známe platné formy prvej figúry:

  • Barbara (AAA-1): All M are P; All S are M; Therefore All S are P.
  • Celarent (EAE-1): No M are P; All S are M; Therefore No S are P.
  • Darii (AII-1): All M are P; Some S are M; Therefore Some S are P.
  • Ferio (EIO-1): No M are P; Some S are M; Therefore Some S are not P.

Varianty sylogizmu a ďalšie poznámky

  • Enthymém – skrátený sylogizmus, v ktorom je jedna premisa (alebo menej) nevyjadrená, pretože je považovaná za samozrejmú.
  • Hypotetické a disjunktívne sylogizmy – iné formy dedukcie, ktoré používajú podmienkové (ak–potom) alebo alternatívne (buď–alebo) výroky namiesto kategórií A/E/I/O.
  • Modalita – Aristoteles sa zaoberal aj modalitou (nutnosť, možnosť) v sylogizmoch; modalizované výroky pridávajú zložitosť a špeciálne pravidlá.
  • Moderná logika – moderná predikátová logika formalizuje a rozširuje Aristotelove myšlienky, umožňuje presnejšie riešiť negácie, kvantifikátory a zložitejšie vzťahy, no základné princípy sylogizmu zostávajú dôležité pre pochopenie deduktívnej argumentácie.

Význam a vplyv

Aristotelov sylogizmus položil základy formálnej logiky a analýzy argumentov. Je to jednoduchý, ale silný nástroj na rozlíšenie platnej dedukcie od neplatných argumentov. V praktickom myslení a v didaktike logiky sa sylogizmy dodnes používajú na ilustráciu pojmov ako distribúcia termínov, logická forma a záväzok k predpokladom.

Na záver: sylogizmus nie je len historickou kuriozitou — poskytuje jasný model, ako sa z niekoľkých premís za presne definovaných podmienok nevyhnutne vydedukuje záver. Pochopenie jeho pravidiel pomáha pri kritickej analýze argumentov v každodennom aj odbornom diskurze.