Logique et syllogistique
Rem. introductive: les raisonnements peuvent être formalisés, classés en différents types (la science qui le fait s’appelle logique)
syllogisme : deux prémisses + une conclusion
• prémisse majeure : Tout homme est mortel.
• prémisse mineure : Or, Socrate est un homme.
• conclusion : Donc, Socrate est mortel.