Les dilemmes et la logique formelle
Être pris entre deux alternatives : quand la logique formelle structure les choix impossibles.
Logica formalis
Le dilemme à deux cornes
Un dilemme est un argument à deux cornes : quelle que soit l’option choisie, la conclusion est indésirable. Aristote en fait un outil puissant dans la Rhétorique. Cicéron étend la figure au trilemme (trois cornes) et au polylemme. Pour en sortir : échapper entre les cornes, saisir une corne, ou opposer un contre-dilemme. La méthode scolastique l’utilise dans la disputatio.
Les sources de la logique formelle
La logique formelle naît avec les Stoïciens (Chrysippe). Pierre d’Espagne codifie la théorie des consequentiae. Guillaume d’Ockham affine la théorie de la suppositio. Jean Buridan illustre par son paradoxe de l’âne que l’indétermination parfaite paralyse la raison. Ensemble, ces contributions posent les bases de la logique formelle moderne.
Des cornes du dilemme d'Aristote aux cinq indémontrables de Chrysippe : la logique formelle est un héritage antique et médiéval
Testez-vous : 7 questions
1. Qu’est-ce qu’un dilemme en logique ?
- Raisonnement circulaire
- Proposition ambiguë
- Syllogisme à deux termes
- Argument à deux cornes
Voir la réponse
Réponse : Argument à deux cornes
Un dilemme est un argument à deux cornes qui force à choisir entre deux options défavorables.
2. Combien de voies pour résoudre un dilemme ?
- Quatre
- Deux
- Trois
- Une
Voir la réponse
Réponse : Trois
Il existe trois voies pour résoudre un dilemme : échapper entre les cornes, saisir un corne, rétorquer.
3. Qui a étendu le dilemme en trilemme ?
- Cicéron
- Chrysippe
- Boèce
- Aristote
Voir la réponse
Réponse : Cicéron
Cicéron a étendu le dilemme en trilemme, raisonnement à trois branches au lieu de deux.
4. Combien d’indémontrables Chrysippe a-t-il formulés ?
- Trois
- Sept
- Dix
- Cinq
Voir la réponse
Réponse : Cinq
Chrysippe a formulé cinq syllogismes indémontrables, fondements de la logique propositionnelle stoïcienne.
5. Que codifia Pierre d’Espagne ?
- Les consequentiae
- Les catégories
- Les sophismes
- Les prédicables
Voir la réponse
Réponse : Les consequentiae
Pierre d’Espagne a codifié les consequentiae, règles de conséquence logique entre propositions.
6. Que montre le paradoxe de l’âne de Buridan ?
- La volonté est libre
- La logique est vaine
- La raison suffit
- L’indétermination paralyse
Voir la réponse
Réponse : L’indétermination paralyse
Le paradoxe de l’âne montre que l’indétermination entre deux choix identiques paralyse la décision.
7. Quel apport d’Ockham est mentionné ?
- Syllogisme pratique
- Cinq indémontrables
- Carré d’opposition
- Modes de supposition
Voir la réponse
Réponse : Modes de supposition
Ockham a affiné les modes de supposition, précisant comment les termes réfèrent dans les propositions.
Faites cette leçon dans Apôtre : les questions en mode interactif, votre progression, des rappels pour ne rien oublier. Gratuit, sans publicité. Commencer la leçon ›
Dans ce chapitre : Raisonnement formel et synthèse
- Le modus ponens et le modus tollens
- Le carré des oppositions
- Éduction et raisonnements avancés
- Paradoxes et axiomes classiques
- Les dilemmes et la logique formelle