Силлогистика — анъанавий формал мантиқнинг бўлими. Дедуктив хулоса чиқариш қоидаларини ўрганади. Силлогизмнянг мантиқий назарияси сифатида биринчи марта Аристотел таърифлаб берган. Замонавий математик мантиқда С. алоҳида бўлим сифатида ажратилмайди.