La syllogistique est un système formel remarquable, encore que limitée dans ses applications. Élaborée par Aristote, admirée par Leibniz, elle a été retouchée et modernisée par les logiciens contemporains. Il ne faut pas confondre le syllogisme : loi logique ou règle d’inférence, avec ses applications à des cas concrets. L’article réfute certaines idées répandues :– Que le syllogisme comporte un cercle vicieux.– Qu’il lui arrive de déduire de prémisses vraies des conclusions absurdes. – Que la déduction est incapable de généraliser. – Que la logique formelle n’a pas fait de progrès depuis Aristote.