Силогізм (греч. syllogismós), вигляд дедуктивного висновку, дві посилки і висновок якого мають одну і ту ж суб'єктно-предикативну структуру. Найменування «З.» прикладають найчастіше до так званих категоричних С., посилки і висновки яких суть вислови (думки ), виражені за допомогою простих пропозицій, предикатами яких (у звичайному граматичному сенсі тобто просто присудками) служить дієслово «є» (у дійсному способі, єдиному або множинному числі, із запереченням або без такого), що зв'язує терміни даної пропозиції: суб'єкт (підмет) і предикат (у логічному сенсі слова; в даному випадку — найменування деякого класу), причому пропозиції ці утворені з допомогою т.з. слів (див. Квантор ) кванторів «все» (або «всякий», «кожен» «будь-який» і т. п.) і «деякий» (або «є», «існує» і т. п.). Такі пропозиції можуть мати одну з наступних чотирьох форм (прописними лат.(латинський) буквами позначаються терміни): «Всяке R є Q » (такий вислів називається загальноствердним і позначається зазвичай буквою А ), «Жодне R немає Q » (загальнонегативне, позначається через Е ), «Деяке R є Q » (частноутвердітельноє, I ) і «Некотороє R немає Q » (частноотріцательноє, Про). Прикладами категоричних С. можуть служити міркування: «Жодне Р не є М-кодом , деякі S суть М-коду ; отже, деякі S не суть Р » (або, у формі умовного вислову: «Якщо жодне Р не є М-кодом і деякі S є М-кодом , то деяке S немає Р »), «Всяке М-код є Р , всяке S є М-кодом ; отже, всяке S є Р » (такий вигляд має хрестоматійний приклад С.: «Всі люди смертні, всі греки — люди; отже, всі греки смертні») і т. п. Посилку, що містить предикат висновку («більший термін» Р), називають більшою посилкою; посилку, що містить суб'єкт висновку («менший термін» S ), — меншою посилкою. По положенню «середнього терміну» М-коду що входить лише в посилки С., розрізняють чотири фігури С.: в 1-й М-код служить суб'єктом в більшій посилці і предикатом в меншій, в 2-ій — предикатом в обох посилках, в 3-ій — суб'єктом в обох посилках, в 4-ій — предикатом в більшій і суб'єктом в меншій. У залежності ж від форм пропозицій ( А , Е , I або Про ) силогізму говорять про різні модуси С. Поськольку в кожній фігурі мисліми 4·4·4 = 64 модуси, то має сенс говорити всього про 256 модусів. Правильними ж (тобто що забезпечують здобуття дійсного висновку з дійсних посилок) виявляються лише 24, у тому числі 5 «ослаблених» (що допускають посилення, наприклад заміну приватної пропозиції в ув'язненні на загальне), так що у всіх 4 фігурах залишається 19 неослаблених правильних модусів С. (перша буква характеризує нижче вигляд більшої посилки, друга — меншою, третя — висновки): ААА , EAE , All і EIO 1-ої фігури, EAE , AEE , EIO і AOO 2-й, AAI , IAI , AII , EAO , ВАТ і EIO 3-й і AAI , AEE , IAI , EAO і EIO 4-ої фігури. Обгрунтування правильності цих модусів С. і неправильність останніх дається в силлогистіке .
Терміном «З.» користуються також в ширшому сенсі — в застосуванні до висновків, утворених з пропозицій інших видів; так, говорять про умовних, умовно-категоричних, розділово-категоричних і умовно-розділових С. Нарешті, той же термін уживається інколи і просто як синонім терміну «висновок».
