Barbara, Celarent, Darii, Ferio, Baralipton

Résumé Fr En

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.

Syllogistic is a remarkable formal system, although it is limited in its applications. Elaborated by Aristotle, admired by Leibniz, it was touched up and modernized by the present-day logicians. We must not mistake the syllogism, a logical law or a rule of inference, for its applications to actual cases. The article refutes some widely-held opinions: – That the syllogism involves a vicious circle. – That it is apt to deduce absurd conclusions from true premises. – That deduction is unable to generalize. – That formal logic has not progressed since Aristotle.