Силлогистика является исторически первой дедуктивной теорией, ее отец – Аристотель. Благодаря своей простоте и естественности она выступала образцом и основой логической науки на протяжении двух тысячелетий.
Силлогистика – это теория, изучающая логическую структуру простых атрибутивных высказываний, отношения между ними и выводы, построенные с учетом этой структуры. (С современной точки зрения, как будет показано ниже, это в сущности логика непустых и
неуниверсальных одноместных предикатов).
Простыми называются высказывания, не содержащие внутри себя пропозициональных связок.
Атрибутивными (от лат. «atribut» – свойство) называются высказывания о наличии или отсутствии некоторого свойства у определенного класса предметов.
Например, «Некоторые художники талантливы», «Ни один бегемот не летает» и
т.п. В составе атрибутивных высказываний выделяют четыре структурных элемента:
1) Субъект (логическое подлежащее) – термин, обозначающий те предметы, о которых в высказывании нечто утверждается или отрицается.
2) Предикат (логическое сказуемое) – термин, обозначающий свойство, наличие которого утверждается или отрицается у этих предметов.
3) Кванторное (количественное) слово – указывает, о каком количестве предметов
идет речь. Слова «все», «каждый», «ни один» выражают всеобщность приписываемого свойства относительно данного класса предметов. Слова «некоторые», «по
крайне мере один», «существует» выражают существование в данном классе предметов с указанным свойством.
4) Связка – слово, которое утверждает или отрицает наличие некоторого свойства у
субъекта. Связки делятся на утвердительные («есть, «является», «суть») и отрицательные («не есть», «не является», «не суть»).
Исходя из их логической структуры, атрибутивные высказывания принято делить по
качеству – на утвердительные и отрицательные, и по количеству – на общие и частные.