silogistika
silogstika (gr. syllogistikos – samprotaujantis), seniausia žinoma Vakarų formaliosios logikos sistema. Silogistikos pagrindiniai principai išdėstyti Aristotelio Pirmojoje analitikoje (4 amžiaus prieš Kristų vidurys). Silogistika yra dedukcinė terminų logika, kurios samprotavimus sudaro kategoriniai teiginiai (silogizmas, loginis kvadratas). Skiriama asertorinė ir modalinė silogistika. Iki 19 amžiaus laikyta pagrindine formaliosios logikos teorija, vėliau buvo integruota į modernesnes sistemas – pirmiausia kaip Boole’io algebros, vėliau kaip pirmos eilės vienviečių predikatų logikos fragmentas.
76