Силогізми (від давньогрецького συλλογισμός syllogismós – „обчислення, логічний висновок“) є каталогом певних типів логічних висновків. Вони становлять основу античної логіки Арістотеля, яка виникла у IV столітті до нашої ери, а також традиційної логіки аж до XIX століття. Як основна техніка логіки силогістичний підхід був замінений лише інтеграцією логіки в математику, що сталось наслідком робіт Джорджа Буля та Готлоба Фреге у XIX – на початку XX століть. Під силогістикою зазвичай розуміється вчення про самі силогізми. Класична логіка досліджувала, за яких умов силогізми є дійсними. Силогізми завжди складаються за однаковою схемою: дві передумови (умови), які називаються умовою головної та умовою другої, призводять до висновку. Передумови та висновок є твердженнями певного типу; у них одне поняття (суб’єкт силогізму) поєднується з іншим поняттям (предикатом силогізму) певним чином. Залежно від ролі, яку вони відіграють у силогізмі, ці поняття називаються головним, середнім та другорядним. (Цей огляд базується на інформації з Вікіпедії.)