Silogizmas

Silogizmas ( – išvada, išvedimas) – loginis samprotavimas, argumentas iš trijų teiginių, kuriuo iš dviejų prielaidų gaunama viena išvada. Silogizmus pirmas nagrinėjo Aristotelis veikale „Pirmoji analitika“.

Silogizmo dalys 

Silogizme kiekviename teiginyje yra dvi sąvokos: subjektas (veiksnys) ir predikatas (tarinys). Sąvokos gali būti bendros (pavyzdžiui, žmogus, gyvūnas) arba individualios (pavyzdžiui, Platonas, Sokratas). Predikate turi būti naudojama bendra sąvoka.

Teiginiai gali būti teigiami arba neigiami, daliniai arba bendrieji. Pagal tai gali būti išskiriamos keturios teiginių klasės:

 Teigiami bendrieji teiginiai („Visi S yra P.“), žymima A, SaP
 Neigiami bendrieji teiginiai („Joks S nėra P.“), žymima E, SeP
 Teigiami daliniai teiginiai („Kai kurie S yra P.“), žymima I, SiP
 Neigiami daliniai teiginiai („Kai kurie S nėra P.“), žymima O, SoP

Šie teiginiai gali būti pateikti loginiu kvadratu. Kvadrate žymimi santykiai tarp teiginių rūšių:

 Priešingi teiginiai (negali būti abu teisingi, gali būti abu klaidingi)
 a ir e
 Popriešingi teiginiai (gali būti abu teisingi, negali būti abu klaidingi)
 i ir o
 Subordinuoti teiginiai (dalinis teisingas, jei bendras teisingas, bendras klaidingas, jei dalinis klaidingas)
 a ir i, e ir o
 Prieštaringi teiginiai (negali būti abu teisingi, negali būti abu klaidingi)
 a ir o, e ir i

Silogizmo figūros 

Silogizmo figūros skiriamos pagal tai, kaip naudojamos trys sąvokos:

 išvados subjekto sąvoka, S
 išvados predikato sąvoka, P
 vidurinioji sąvoka, M

Skiriamos keturios figūros:

Priskiriant keturias teiginių rūšis figūroms galima gauti 256 variantus. Iš jų 24 variantus Aristotelis pripažino teisingais. Viduramžiais tiems variantams buvo sugalvoti pavadinimai, mnemonikos. Šie variantai:

 I figūra:
 MaP ir SaM, vadinasi SaP, mnemonika „Barbara“
 MeP ir SaM, vadinasi SeP, mnemonika „Celarent“
 MaP ir SiM, vadinasi SiP, mnemonika „Darii“
 MeP ir SiM, vadinasi SoP, mnemonika „Ferio“
 MaP ir SaM, vadinasi SiP, mnemonika „Barbari“
 MeP ir SaM, vadinasi SoP, mnemonika „Celaront“
 II figūra:
 PaM ir SeM, vadinasi SeP, mnemonika „Camestres“
 PeM ir SaM, vadinasi SeP, mnemonika „Cesare“
 PeM ir SiM, vadinasi SoP, mnemonika „Festino“
 PaM ir SoM, vadinasi SoP, mnemonika „Baroco“
 PaM ir SeM, vadinasi SoP, mnemonika „Camestrop“
 PeM ir SaM, vadinasi SoP, mnemonika „Cesaro“
 III figūra:
 MaP ir MaS, vadinasi SiP, mnemonika „Darapti“
 MeP ir MaS, vadinasi SoP, mnemonika „Felapton“
 MiP ir MaS, vadinasi SiP, mnemonika „Disamis“
 MaP ir MiS, vadinasi SiP, mnemonika „Datisi“
 MoP ir MaS, vadinasi SoP, mnemonika „Bocardo“
 MeP ir MiS, vadinasi SoP, mnemonika „Ferison“
 IV figūra:
 PaM ir MaS, vadinasi SiP, mnemonika „Bramantip“
 PaM ir MeS, vadinasi SeP, mnemonika „Camenes“
 PiM ir MaS, vadinasi SiP, mnemonika „Dimaris“
 PeM ir MaS, vadinasi SoP, mnemonika „Fesapo“
 PeM ir MiS, vadinasi SoP, mnemonika „Fresison“
 PaM ir MeS, vadinasi SoP, mnemonika „Camenop“

Išnašos 

Logika