La logique formelle
Le raisonnement par syllogisme
Définition

Le syllogisme est un mode de raisonnement exposé il y a 2 400 ans par le philosophe Aristote. Ce raisonnement consiste en deux propositions dont on déduit une troisième ; il est ordinairement fondé sur un des deux principes suivants, où il n’y a pas d’erreur possible :
● Ce qui convient à l’idée d’une généralité, convient à chacun des individus qui composent cette généralité.
● Ce qui ne convient pas à l’idée d’une généralité, ne convient à aucun des individus
Les trois propositions

Les deux premières propositions du syllogisme se nomment prémisses ; la plus générale des deux prémisses se nomme majeure ; la moins générale, ordinairement la seconde, se nomme mineure.
La troisième proposition déduite des deux autres par une conséquence, légitime ou illégitime, se nomme conclusion.
Quand les prémisses sont vraies et la conséquence légitime, c’est-à-dire contenue dans les prémisses, le syllogisme est matériellement et formellement en règle.
Exemple :
1. Toute injustice est défendue ; (prémisse majeure)
2. Or, l’usure est une injustice ; (prémisse mineure)
3. Donc l’usure est défendue. (conclusion)
Si les prémisses sont vraies, la conclusion l’est aussi, pourvu que la conséquence soit légitime. En sorte que si quelqu’un admet les prémisses, il ne peut nier la vérité de la conclusion qu’en la qualifiant d’illégitime. Pour obtenir une conséquence légitime, il y a certaines règles à observer.

Le Raisonnement déductif

Définition
La déduction procède du général au particulier. Elle se définit par sa seule forme, indépendamment de la vérité des propositions qui y figurent. C'est une méthode de raisonnement par laquelle les propositions sont établies non par une observation directe des faits, mais par référence à des propositions déjà établies
Si A est vraie .............. alors ................. B est vraie.
La conclusion d'un raisonnement déductif n'est valide que si la règle