Sylogizm (z – konkluzja, wniosek) – schemat wnioskowania na podstawie dwóch przesłanek, które zawierają wspólny element, a każdy element wniosku zawarty jest w dokładnie jednej przesłance.
Sylogizm Arystotelesa Sylogizm wywodzi się z prac Arystotelesa, który jako pierwszy podał jego przykład, znany właśnie jako sylogizm Arystotelesa. Jego sformułowanie uważane jest za początek klasycznej logiki. Najczęściej przywoływany jest w postaci:
Jeżeli każdy M jest P oraz każdy P jest S, to każdy M jest S.
Przytoczone powyżej zdanie jest prawdziwe niezależnie od tego, czy za każdy M jest P lub każdy P jest S podstawimy prawdę czy fałsz. Np. jeżeli powiemy: Jeżeli każdy człowiek jest drzewem i każde drzewo jest rośliną, to każdy człowiek jest rośliną, całość będzie zdaniem prawdziwym, pomimo że np. przesłanka każdy człowiek jest drzewem jest fałszywa.
Przykłady
Poniżej zaprezentowano schematy figur sylogistycznych różnych trybów. Przykładowo tryb „Barbara” zgodnie ze schematem mówi, że „Każde M jest P, każde S jest M, więc każde S jest P”. Należy więc wyjaśnić, dlaczego jest zapisywany w takiej formie.