Силлогистика (др.-греч. συλλογιστικός умозаключающий) — теория логического вывода, исследующая умозаключения, состоящие из категорических высказываний (суждений).
В силлогистике рассматриваются, например, выводы заключения из одной посылки (непосредственные умозаключения), «сложные силлогизмы», или полисиллогизмы, имеющие не менее трёх посылок. Однако основное внимание силлогистика уделяет теории категорического силлогизма, имеющего ровно две посылки и одно заключение указанного вида. Классификацию различных форм (модусов) силлогизмов и их обоснование дал основатель логики Аристотель. В дальнейшем силлогистика усовершенствовалась различными школами античных (перипатетики, стоики) и средневековых логиков. Несмотря на ограниченный характер применения, отмечавшийся ещё Ф. Бэконом, Р. Декартом, Дж. С. Миллем и другими учёными, силлогистика долгое время являлась неотъемлемым традиционным элементом «классического» гуманитарного образования, из-за чего её часто называют традиционной логикой. С созданием исчислений математической логики роль силлогистики стала весьма скромной. Оказалось, в частности, что почти всё её содержание (а именно все выводы, не зависящие от характерного для силлогистики предположения о непустоте предметной области) может быть получено средствами фрагмента исчисления предикатов, а именно: одноместного исчисления предикатов. Получен также (начиная с Я. Лукасевича, 1939) ряд аксиоматических изложений силлогистики в терминах современной математической логики.
Высказывание, в котором утверждается, что все предметы класса обладают или не обладают определённым свойством, называется общим (соответственно общеутвердительным или общеотрицательным). Высказывание, в котором утверждается, что некоторые предметы класса обладают или не обладают определённым свойством, называется частным (соответственно частноутвердительным или частноотрицательным). По Аристотелю, все простые высказывания делятся на следующие шесть типов: единичноутвердительные, единичноотрицательные, общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные. Самостоятельную роль имеют лишь высказывания последних четырёх типов, поскольку единичноутвердительные и единичноотрицательные высказывания сводятся, соответственно, к общеутвердительным и общеотрицательным при множествах субъекта, состоящих из одного элемента.[1].
Обычно для обозначения субъекта (класса предметов) высказывания используется символ S, а для предиката (свойства) — P.
В Средние века для высказываний четырёх простых типов стали использовать обозначения с применением гласных букв латинских слов affirmo — утверждаю, и nego — отрицаю[1]:
Соответственно, типы простых высказываний, относящихся к классам предметов, стали обозначаться буквами латинского алфавита: A — общеутвердительные, E — общеотрицательные, I — частноутвердительные, O — частноотрицательные.