1. Logique formelle

La logique est née avec Aristote (Organon, 4 av. J.-C.). Elle étudie les formes valides du raisonnement indépendamment du contenu.

Trois principes fondamentaux d'Aristote :

1. Principe d'identité : A = A
2. Principe de non-contradiction : A ≠ non-A (ne peut être les deux à la fois)
3. Principe du tiers exclu : A ou non-A (pas de troisième possibilité)

2. Types de raisonnement

2.1 Déduction (du général au particulier)

Du général au particulier. Si les prémisses sont vraies et la forme valide, la conclusion est nécessairement vraie.

Tous les hommes sont mortels (majeure). Socrate est un homme (mineure). Donc Socrate est mortel (conclusion).

2.2 Induction (du particulier au général)

Du particulier au général. La conclusion est probable (jamais certaine).

Ex : « J'ai vu 1000 cygnes blancs. Donc tous les cygnes sont blancs. » FAUX : il existe des cygnes noirs.

2.3 Analogie

Raisonnement par ressemblance entre deux situations. Outil utile en philosophie mais fragile (toute analogie a ses limites).

3. Le syllogisme

Forme classique de la déduction (Aristote) :

• Majeure : principe général
• Mineure : cas particulier
• Conclusion : application

Pour qu'un syllogisme soit valide, il doit respecter des règles formelles strictes.

4. Sophismes (raisonnements fallacieux)

5. Application à la dissertation philosophique

Un argument philosophique solide doit :

• Partir de prémisses claires
• Procéder par étapes logiques
• Éviter les sophismes
• S'appuyer sur des exemples concrets
• Anticiper les objections

Points-clés à retenir

• 3 principes logiques d'Aristote : identité, non-contradiction, tiers exclu
• Déduction (général→particulier) vs induction (particulier→général)
• Syllogisme = forme classique de déduction
• Sophismes : ad hominem, ad populum, causalité fallacieuse
• Validité ≠ vérité (un raisonnement valide d'idées fausses donne une conclusion fausse)

Pour aller plus loin

• MINESEC — Programme logique