Силлогистіка (від греч.(грецький) syllogistikós — що виводить висновок), теорія логічного виводу, що досліджує висновки, що складаються з т.з. категоричних висловів (думок ): загальноствердних («всяке S є Р »), загальнонегативних («жодне S немає Р ») частноутвердітельних («деяке S є Р ») і частноотріцательних («деяке S немає Р »). У С. розглядаються, наприклад, виводи висновку з однієї посилки (т.з. безпосередні висновками «складні силлогизми», або полісиллогизми, що мають не менше трьох посилок. Проте основне увага С. приділяє теорії категоричного силогізму, що має рівно дві посилки і один висновок вказаного вигляду. Класифікацію різних форм (модусів ) силлогизмов і їх обгрунтування дав засновник логіки як науки Арістотель . Надалі С. удосконалилася різними школами античних (періпатетіки, стоїки) і середньовічних логіків. Не дивлячись на обмежений характер вживання, що наголошувався ще Ф. Беконом, Р. Декартом, Дж. С. Міллем і іншими ученими, С. довгий час була невід'ємним традиційним елементом «класичної» гуманітарної освіти, із-за чого її часто називають традиційною логікою. Із створенням числень математичної логіки роль С. стала вельми скромною. Виявилось, зокрема, що майже весь її вміст (а саме всі виводи, не залежні від характерного для С. припущення про непорожнечу наочної області ) може бути отримане засобами фрагмента числення предикатів — т.з. одномісного числення предикатів. Отриманий також (починаючи с Я. Лукасевича, 1939) ряд аксіоматичних викладів С. в термінах сучасної математичної логіки.
Літ.: Арістотель, Аналітики, перша і друга, пер.(переведення) з греч.(грецький), Л., 1952; Бекон Ф., Новий органон пер.(переведення) з англ.(англійський), Л., 1935; Декарт Р., Ізбр. проїзв.(твір), пер.(переведення) з франц.(французький), М., 1950; Гільберт Д., Аккерман Ст, Основи теоретичної логіки, пер.(переведення) з йому.(німецький), М., 1947, гл.(глав) II § 3; Лукасевич Я., Арістотелівська силлогистіка з точки зору сучасної формальної логіки, пер.(переведення) з англ.(англійський), М., 1959; Бурбак Н., Нариси по історії математики, пер.(переведення) з франц.(французький), М., 1963; Калбертсон Д же., Математика і логіка цифрових пристроїв, пер.(переведення) з англ.(англійський), М., 1965, гл.(глав) 5; Субботін А. Л., Теорія силлогистіки в сучасній формальній логіці, М., 1965; його ж, Традиційна і сучасна формальна логіка, М., 1969.
