subcontrariété

Logique, PhilosophieRelation d’opposition unissant deux propositions particulières portant sur le même sujet et le même attribut, l’une affirmative (proposition I : « quelque S est P ») et l’autre négative (proposition O : « quelque S n’est pas P »), telles qu’elles ne peuvent être fausses ensemble mais peuvent être vraies ensemble — par opposition à la contrariété, à la contradiction et à la subalternation.Il existe aussi la « subcontrariété » entre deux propositions particulières. Ici, il s’agirait de dire que « quelques élèves sont présents » et « quelques élèves ne sont pas présents ». Dans ce cas, on constate que la quantité (« quelques ») est présente dans les deux propositions, mais que la « qualité » des élèves change, puisque dans un cas ils sont présents dans l’autre, absents.Le carré des oppositions se compose de quatre types de relation : la contrariété, la contradiction, la subcontrariété et la subalternation. Chacune de ces relations se caractérise par la valeur de vérité que les deux propositions reliées peuvent avoir conjointement.Les unes (les relations de contrariété) et les autres (les relations de contradiction) ainsi que les relations de subcontrariété et de subordination qu’on devine se sont trouvées représentées d’abord en partie soit sous la forme d’un carré logique analogue au carré d’Apulée (implicitement chez Leibniz, explicitement chez Hôfler, Ray et Menger) soit sous celle d’une pyramide (dans notre Théorie des propositions normatives), ensuite en totalité sous la forme de l’hexagone de Blanche.