silogstika (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

Papildoma informacija
Turinys
Bendra informacija
Straipsnio informacija
Autorius (-iai)
Redaktorius (-iai)
Publikuota
Redaguota
Siūlykite savo nuotrauką