Силлогизмы (от древнегреческого συλλογισμός – «суммирование, логический вывод») представляют собой каталог определённых типов логических выводов. Они составляют основу античной логики Аристотеля, возникшей в IV веке до нашей эры, а также традиционной логики вплоть до XIX века. В качестве основной методологии логики силлогистический подход был заменён лишь после интеграции логики в математику на основе работ Джорджа Буля и Готлоба Фреге в XIX – начале XX века. Под силлогистикой обычно понимается учение о силлогизмах как таковых. Классическая логика изучала, при каких условиях силлогизмы являются действительно обоснованными выводами. Силлогизмы всегда строятся по одной и той же схеме: две предпосылки приводят к заключению. Предпосылки и заключение представляют собой утверждения определённого типа; в них один понятие (субъект силлогизма) связывается с другим понятием (предикат силлогизма) определённым образом. В зависимости от их роли в структуре силлогизма эти понятия называются главным, средним и подчинённым понятием. (Этот обзор основан на информации из Википедии.)