carré logique

Logique, PhilosophieDiagramme représentant les relations d’opposition entre les quatre types de propositions catégoriques — universelle affirmative (A), universelle négative (E), particulière affirmative (I), particulière négative (O) — reliés par des rapports de contrariété, de contradiction, de subcontrariété et de subalternation.Aristote pose dans le chapitre 7 de De l’interprétation les relations fondamentales d’exclusion entre propositions affirmatives et négatives selon leur quantité. Mais le carré des opposés ou « carré logique » qui représente et systématise ce rapport se rencontre pour la première fois dans le traité d’Apulée latin intitulé en grec Peri Hermeneias (Apulée a vécu au IIe siècle après J. C.).Nous avons donc quatre types d’opposition logique en général et un type particulier inclus dans le dernier. Cette classification sort de l’ordinaire, mais elle va de soi dès lors que l’analyse des oppositions excède le simple cas du carré logique et prend en considération des groupes d’expressions plus complexes.Bien que la théorie des oppositions logiques soit couramment associée au « carré aristotélicien », ce dernier n’a jamais été revendiqué ni mentionné par Aristote. Et pour cause : on doit la première représentation géométrique de ce genre à l’auteur latin Boèce (VIe siècle après J.-C.), lequel inclut deux sortes de prétendues oppositions qui ne correspondent pas à la notion dérivée du grec ancien antithesis.