Le Carré Logique d'Apulée

Définition

Le Carré Logique d'Apulée (ou Carré des Oppositions) est un diagramme fondamental de la logique médiévale et scolastique qui représente les quatre formes de propositions catégoriques et leurs relations logiques respectives. Ce système structuré permet de visualiser et d'analyser les différents types d'opposition entre les propositions.

Origine et Dénomination

Le Carré Logique est traditionnellement attribué à Apulée de Madaure (IIe siècle), même si ses formulations systématiques remontent davantage aux logiciens médiévaux. Apulée, néoplatonicien et auteur du célèbre Apologie, a contribué à la transmission et au commentaire des logiques aristotélicienne et stoïcienne.

Structure du Carré Logique

Le Carré Logique se présente visuellement ainsi :

        A (SaP)           E (SeP)
    Tous S sont P    Aucun S n'est P

        ↓ subalternation    ↓ subalternation

        I (SiP)           O (SoP)
    Quelques S sont P  Quelques S ne sont pas P

Les Quatre Propositions Catégoriques

1. Proposition A (Affirmativa) : Universelle affirmative

   • Forme : "Tous S sont P" (SaP)
   • Exemple : "Tous les hommes sont mortels"

2. Proposition E (Existentialis) : Universelle négative

   • Forme : "Aucun S n'est P" (SeP)
   • Exemple : "Aucun homme n'est immortel"

3. Proposition I (In - affirmatif) : Particulière affirmative

   • Forme : "Quelques S sont P" (SiP)
   • Exemple : "Quelques hommes sont savants"

4. Proposition O (Oppositio) : Particulière négative

   • Forme : "Quelques S ne sont pas P" (SoP)
   • Exemple : "Quelques hommes ne sont pas savants"

Relations Logiques du Carré

1. La Contradiction

Les propositions contradictoires ne peuvent être ni vraies ni fausses simultanément. Elles s'opposent en quantité ET en qualité.

• A et O : "Tous S sont P" vs "Quelques S ne sont pas P"
• E et I : "Aucun S n'est P" vs "Quelques S sont P"

Propriété logique : Si l'une est vraie, l'autre est nécessairement fausse.

2. La Contrariété

Les propositions contraires ne peuvent être vraies ensemble, mais peuvent être fausses ensemble. Elles s'opposent en qualité (affirmation/négation) mais conservent la même quantité (universelles).

• A et E : "Tous S sont P" vs "Aucun S n'est P"

Propriété logique : Elles ne peuvent être simultanément vraies, mais peuvent être simultanément fausses.

3. La Subalternation

La subalternation est une relation d'implication logique entre propositions universelles et particulières de même qualité.

• A implique I : Si "Tous S sont P", alors "Quelques S sont P"
• E implique O : Si "Aucun S n'est P", alors "Quelques S ne sont pas P"

Propriété logique : La vérité de l'universelle entraîne celle de la particulière correspondante (subalternée).

4. La Subcontrariété

Les propositions subcontraires ne peuvent être fausses ensemble, mais peuvent être vraies ensemble. Elles s'opposent en qualité (affirmation/négation) mais conservent la même quantité (particulières).

• I et O : "Quelques S sont P" vs "Quelques S ne sont pas P"

Propriété logique : Elles ne peuvent être simultanément fausses, mais peuvent être simultanément vraies.

Tableau Synthétique des Relations

Application Logique et Formelle

Inférence par le Carré Logique

À partir du Carré Logique, on peut déduire la vérité ou la fausseté d'autres propositions :

1. Si A est vraie :

   • I est vraie (subalternation)
   • E est fausse (contradiction)
   • O est fausse (contradiction)

2. Si E est vraie :

   • O est vraie (subalternation)
   • A est fausse (contradiction)
   • I est fausse (contradiction)

3. Si I est fausse :

   • A est fausse (subalternation inverse)
   • O est vraie (subcontrariété)
   • E est vraie (contradiction)

Importance Philosophique

Dans la Scolastique

Le Carré Logique d'Apulée constitue un instrument essentiel de la logique scolastique (XIIe-XVIe siècles), particulièrement chez :

• Saint Thomas d'Aquin : l'utilise pour l'analyse de propositions théologiques
• Duns Scot : l'intègre dans sa théorie des universaux
• Guillaume d'Ockham : l'applique aux questions de modalités et de nécessité

Évolution Ultérieure

• Port-Royal Logic (XVIIe siècle) : réinterprète et systématise le Carré
• Logique formelle moderne : le Carré reste pertinent en logique des prédicats et en sémantique des formules catégoriques
• Théories modernes : intégré dans l'étude des quantificateurs et des modalités

Limitations et Critiques

Critique Moderne

1. Présupposition existentielle : le Carré classique suppose que le sujet existe et possède des propriétés
2. Univocité du langage : ne traite pas des ambiguïtés de référence ou de sens
3. Complexité analytique : insuffisant pour les propositions relationnelles ou polyvalentes

Néanmoins...

Le Carré Logique reste :

• Pédagogiquement utile pour l'introduction à la logique
• Historiquement significatif pour comprendre la pensée médiévale
• Applicable dans certains contextes formels restreints

Représentation Formelle en Logique Moderne

En logique des prédicats du premier ordre :

• A : ∀x (S(x) → P(x))
• E : ∀x (S(x) → ¬P(x))
• I : ∃x (S(x) ∧ P(x))
• O : ∃x (S(x) ∧ ¬P(x))

Où :

• ∀ = quantificateur universel
• ∃ = quantificateur existentiel
• → = implication matérielle
• ∧ = conjonction
• ¬ = négation

Exemples Concrets

Exemple 1 : La Nature Humaine

• A : "Tous les humains sont rationnels" (Vrai selon Aristote)
• E : "Aucun humain n'est rationnel" (Faux)
• I : "Quelques humains sont rationnels" (Vrai - subalterne de A)
• O : "Quelques humains ne sont pas rationnels" (Indéterminé)

Exemple 2 : Les Minéraux

• A : "Tous les minéraux sont inorganiques" (Vrai)
• E : "Aucun minéral n'est inorganique" (Faux)
• I : "Quelques minéraux sont inorganiques" (Vrai - subalterne de A)
• O : "Quelques minéraux ne sont pas inorganiques" (Faux)

Connexions Philosophiques

Ontologie et Épistémologie

Le Carré Logique révèle des hypothèses métaphysiques fondamentales :

• L'existence des essences (nature de S et P)
• La possibilité de jugements universels et particuliers
• La stabilité des catégories et des relations

Théologie Scolastique

Application aux propositions théologiques :

• Affirmations sur la nature divine
• Relations entre attributs divins
• Propositions christologiques et mariologiques

Variantes et Extensions

Hexagone Logique (Blanché)

Le logicien Robert Blanché a proposé une extension en hexagone logique, ajoutant deux propositions supplémentaires pour une analyse plus nuancée.

Cube d'Opposition

Des extensions modernes en trois dimensions créent des structures plus complexes pour analyser des systèmes logiques polyadiques.

Conclusion

Le Carré Logique d'Apulée demeure un diagramme fondamental dans l'histoire de la logique, synthétisant et visualisant les relations entre propositions catégoriques. Bien que la logique moderne ait dépassé ses limitations, le Carré conserve une valeur pédagogique inestimable et témoigne de la sophistication de la pensée logique médiévale. Son étude permet de mieux comprendre comment les scolastiques ont développé des outils d'analyse rationnelle appliqués à des questions théologiques et métaphysiques.

Voir aussi

• Logique aristotélicienne
• Syllogisme
• Propositions catégoriques
• Apulée de Madaure
• Logique scolastique
• Saint Thomas d'Aquin
• Théorie de la subalternation
• Hexagone logique de Blanché

Références

• Apulée, Logique
• Saint Thomas d'Aquin, Commentaire des Sentences
• Port-Royal Logic, La Logique ou l'Art de Penser (1662)
• Blanché, Robert, Structures Intellectuelles (1966)
• Priest, Graham, An Introduction to Non-Classical Logics (2008)