Sylogizm jest dedukcją. Jest to rodzaj argumentu logicznego, w którym jedna teza (wniosek) jest wywnioskowana z dwóch lub więcej innych (przesłanek). Idea ta jest wynalazkiem Arystotelesa.

W Analitykach uprzednich Arystoteles definiuje sylogizm jako "dyskurs, w którym, gdy pewne rzeczy są przypuszczalne, coś innego niż przypuszczalne wynika z konieczności z tego, że te rzeczy są takie". (24b18–20)

Każda propozycja musi zawierać jakąś formę czasownika "być". Sylogizm kategoryczny jest jak mała maszyna zbudowana z trzech części: przesłanki głównej, przesłanki mniejszej i konkluzji. Każda z tych części jest propozycją, a na podstawie dwóch pierwszych ustala się "wartość prawdy" trzeciej części.