## DIAGRAMS OF OPPOSITION: AN ALGEBRAIC VIEWPOINT

## CHAI WAH WU

IBM T. J. WATSON RESEARCH CENTER P. O. BOX 218, YORKTOWN HEIGHTS, NEW YORK 10598, USA

E-MAIL: CWWU@US.IBM.COM

Abstract. We study the square of opposition and its various geometric generalizations from an algebraic viewpoint. In particular, we show how the various shapes of oppositions can be framed under an algebraic framework and we illustrate this approach with algebraic structures beyond the traditional logical structures.

## 1. Introduction

The classical (Aristotelian) square of opposition is a diagram describing the relationships between propositions in the study of syllogisms [7]. The vertices of this square are the 4 logical statements: A : 'All P is Q ', E : 'All P is not Q ', I : 'Some P is Q ', and O : 'Some P is not Q '. This diagram can be extended to a graded square of opposition where the truth value of each vertex can take on a range of values beyond just true and false.

The square of opposition has also been extended to hexagons [1], cubes [5] and other types of geometric shapes [6]. In most of these discussions, the objects on the vertices of these geometric shapes are derived from logical structures, such as Boolean algebra of 2 symbols, Boolean algebra of subsets, T-norms, etc. The purpose of this paper is to generalize these logical structures to more general algebraic structures. We provide some specific examples of these structures that goes beyond the traditional logical structures considered.

## 2. Square of opposition on an algebraic structure

As is common in the classical square of opposition, the following terminologies are used:

## Definition 1. Let A and B be two logical propositions.

- , A is contrary to B if they cannot both be true.
- , A is sub-contrary to B if they cannot both be false.
- , A is contradictory to B if A is true if and only if B is false.
- , A sub-implicates B if A implies B (written as A ñ B ), i.e. either A is false or B is true.
- , A super-implicates B if B implies A , i.e. either A is true or B is false.

Let us define the following algebraic structure:

Definition 2. A tuple p X, ␣ , ĺ q is said to be in class C if the following conditions are satisfied:

- , ␣ : X Ñ X is an involutory unary operation on the set X , i.e., ␣p␣p qq ' x x for all x P X ,
- , ĺ is a partial order 1 on X ,
- , a ĺ b if and only if ␣ b ĺ ␣ a ,
- , There exists an element 0 P X such that ␣ 0 ĺ 0 . The nonempty set Z (also referred to as zeros ) is defined as Z ' t x P X : ␣ x ĺ x u .

We use P ă Q to denote that P ĺ Q and P ‰ Q . We next define the following 4 logical statements using the same letters A E I , , and O that are used in the classical square of opposition above.

## , A P : ĺ Q

Date : July 31, 2024.

2020 Mathematics Subject Classification. 03A05, 03G05, 06A06.

Key words and phrases. logic, algebra, partial order, square of opposition.

1 I.e., ĺ is antisymmetric, reflexive and transitive. Also known as a weak, reflexive [18] or non-strict [14] partial order.

- , E : P ĺ ␣ Q
- , I : P ł ␣ Q
- , O P : ł Q

The following result shows that these statements satisfy the relationships in a square of opposition as illustrated in Figure 1.

Theorem 1. Consider p X, ␣ , ĺ q P C with P, Q P X . Suppose there exists 0 P Z such that P ą 0 . Then

- , A ñ I .
- , E ñ O .
- , A and E cannot both be true.
- , I and O cannot both be false.
- , A is equivalent to the negation of O .
- , E is equivalent to the negation of I .

Proof. It is clear that A is true if and only if O is false and that E is true if and only if I is false. Suppose A is true. Then 0 ă P ĺ Q implies that ␣ Q ĺ ␣ P ă ␣ 0 ĺ 0. Thus ␣ Q ă P and therefore P ł ␣ Q by antisymmetry of ĺ . A similar argument shows that E ñ O . Suppose both A and E are true. Then E implies Q ĺ ␣ P and combined with A implies 0 ă P ĺ ´ P . Since ␣ P ĺ ␣ 0 ĺ 0 this results in a contradiction. Thus A and E cannot both be true. Similarly this shows that I and O cannot both be false. □

Figure 1. Square of opposition for statements A E I , , and O of class C .

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00158v1-figure-c86cd597-647e-4d8c-8244-4bc9b9d92aec.jpg)

Since the formalization of symbolic logic by Boole and others, a modern square has emerged that differs from the classical square. What mainly distinguishes the classical square from the modern square of Boole is the (implicit) assumption of existential import in the classical square, where the universal quantifier implies the existence of a particular [11, 13, 24], i.e. 'All P is Q ' implies the existence of a P that is Q , i.e. A implies I in the classical square, but not in the modern square . 2 Our formulation and Theorem 1 show that the (controversial) existential import in the classical square can be replaced by the assumption that P ą 0.

## 3. Cube of opposition

Following [4], we define an additional set of 4 logical statements by substituting P with ␣ P and Q with ␣ Q .

- , a : ␣ P ĺ ␣ Q
- , e : ␣ P ĺ Q
- , i : ␣ P ł Q
- , o : ␣ P ł ␣ Q

2 See [22, 19] for other viewpoints on the difference between classical and modern squares of opposition.

We have the following conclusions which form the cube of opposition as illustrated in Figure 2. Note that in contrast with [4], there are links between any two vertices in Figure 2. In particular, there are links between A and a and E and e 3 .

Theorem 2. Consider p X, ␣ , ĺ q P C with P, Q P X . Suppose there exists 0 P Z such that P ą 0 . Then

- , A ñ e .
- , E ñ a .
- , o ñ I .
- , i ñ O .
- , a and e cannot both be true.
- , i and o cannot both be false.
- , A and E cannot both be true.
- , I and O cannot both be false.
- , a and I cannot both be false.
- , e and O cannot both be false.
- , A and i cannot both be true.
- , E and o cannot both be true.
- , a is equivalent to the negation of o .
- , e is equivalent to the negation of i .
- , A is equivalent to the negation of O .
- , E is equivalent to the negation of I .

If in addition P ‰ Q and P ‰ ␣ Q , then

- , A and a cannot both be true.
- , E and e cannot both be true.
- , I and i cannot both be false.
- , O and o cannot both be false.
- , A ñ o .
- , E ñ i .
- , a ñ O .
- , e ñ I .

Proof. Suppose P ą 0. The links on the front and rear faces of the cube follow from Theorem 1. P ą 0 implies that ␣ P ă ␣ 0 ĺ 0 ă P and thus A ñ e . Similarly E ñ a . This also implies that o ñ I and i ñ O via contraposition. Since e is equivalent to the negation of i , A ñ e means that A and i cannot both be true. Since the negation of I implies a , I and a cannot both be false. Similarly e and O cannot both be false and E and o cannot both be true.

Suppose in addition that P ‰ Q . If A and a are both true, then P ĺ Q and Q ĺ P , i.e. P ' Q reaching a contradiction. Similarly if P ‰ ␣ Q , then if E and e are both true, we get P ' ␣ Q which is a contradiction. This also implies that I and i cannot both be false and O and o cannot both be false. Since A and a cannot both be true, A and the negation of o cannot both be true and this means that A ñ o . Similar arguments show that E ñ i , a ñ O , and e ñ I . □

Since there is a link between every pair of vertices in Fig. 2, a (nontraditional) square of opposition can be constructed from any 4 distinct vertices of the cube.

## 4. Hexagon of opposition

In [1], a hexagon of opposition was considered by the addition of two logical statements: U ' A \_ E and Y ' I ^ O . It is easy to show that

- , A ñ U and E ñ U .
- , Y ñ I and Y ñ O .
- , A and Y cannot both be true.
- , E and Y cannot both be true.

3 These links were also defined in Refs. [12, 6]

Figure 2. Cube of opposition for statements A E I , , , O a e , , , i , and o of class C .

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00158v1-figure-31f53a2b-19f7-415b-9aa4-79997c470205.jpg)

- , I and U cannot both be false.
- , O and U cannot both be false.

This is illustrated in Fig. 3.

Figure 3. Hexagon of opposition for statements A E I , , , O U , , Y of class C .

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00158v1-figure-6cd5ec11-ec99-41d7-8046-243d22c96003.jpg)

We define max p Y q as t y P Y |@ z P Y, z ĺ y u and min p Y q as t y P Y |@ z P Y, z ľ y u .

Lemma 1. If either Q ĺ ␣ Q or ␣ Q ĺ Q , then max pt Q, ␣ Q uq exists and is unique and we denote it as | Q | ' max pt Q, ␣ Q uq . This also implies that min pt Q, ␣ Q uq exists and is unique and that ␣| Q | ' min pt Q, ␣ Q uq .

We can use | Q | to reduce the compound logical statements U and Y as shown in Fig. 4 by redefining them as: U : P ĺ | Q | and Y : P ł | Q | . This follows from the fact that if | Q | exists then p P ĺ Q q \_ p P ĺ ␣ Q q if and only if P ĺ | Q | . Similarly p P ł Q q ^ p P ł ␣ Q q if and only if P ł | Q |

Theorem 3. Consider p X, ␣ , ĺ q P C with P, Q P X . Suppose either Q ĺ ␣ Q or ␣ Q ĺ Q and there exists 0 P Z such that P ą 0 . Then Fig. 4 is a hexagon of opposition satisfying the corresponding relationships, i.e.

- , A ñ I .
- , E ñ O .
- , A and E cannot both be true.
- , I and O cannot both be false.
- , A is equivalent to the negation of O .
- , E is equivalent to the negation of I .
- , A ñ U and E ñ U .
- , Y ñ I and Y ñ O .
- , A and Y cannot both be true.
- , E and Y cannot both be true.
- , I and U cannot both be false.
- , O and U cannot both be false.

Figure 4. Hexagon of opposition for statements A E I , , , O U , , Y of class C .

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00158v1-figure-0f0f54d7-2559-4895-9209-38d0b4f8f3f2.jpg)

## 5. Examples of class C

In this section, we show how several of the different types of structures that exhibit a geometric diagram of opposition can be formulated under this algebraic approach. In particular, we show that these structures are examples of class C .

␣

(

5.1. Augmented Boolean logic. In this case we define X ' 0 , 1 2 , 1 with the usual total order ď , ␣ x ' 1 ´ x and Z ' ␣ 1 2 , 1 ( . In this case, true and false are associated with the values 0 and 1 respectvely. In particular, we denote T A P X as the numerical value of the truth value of A . If P, Q P t 0 1 , then the , u inequality P ĺ Q corresponds to the logical implication P ñ Q and we have recovered the classical diagram of opposition restricted to a single element in the quantifiers which is true even when P ą 1 2 is not satisfied.

- 5.2. Signed multisets. Boole was one of the first to systematically link logic with algebra. As was pointed out by Hailperin [9, 8], Boole's algebra (as contrasted with Boolean algebra) is a commutative ring that can be interpreted as a signed multiset, i.e. a multiset where the multiplicities of the elements can be both positive, 0 or negative. This algebra was studied in [2] as a model of logic that contains ZFC and is relatively consistent.

In these studies, the multiplicities are integers, and we consider here a generalization where the multiplicities are themselves elements of a structure in class C . In particular, let M be a set of multiplicities in class C with partial order ĺ m and negation ␣ m and zero 0 m .

We denote a (generalized) signed multiset using a Python style dictionary notation as A ' t a : m ,b a : m ,c b : m c u indicating that the signed multiset A has elements a with multiplicity m a , b with multiplicty m b and c with multiplicity m c . ␣ A is called the complement of A and is defined as the signed multiset where all the multiplicities are negated, i.e. if A ' t a : m ,b a : m ,c b : m c u then A ' t a : ␣ m m ,b a : ␣ m m ,c b : ␣ m m c u

The empty set H A (which is not unique) is the set containing all elements of A where all the multiplicities are 0 m . For A and B signed multisets, we define A ĺ B if for b P B with multiplicity r , either b R A and r ľ 0 m or b P A and k ĺ m r where k is the multiplicity of b in A . This implies that ␣H A ĺ H B for multisets A and B . If p M, 'q is a group with an unit equal to 0 m and inverse equal to ␣ m , then we define the additive union A Z B of two signed multisets A and B as the signed multiset obtained by summing the multiplicities. We define ␣ A is the unique multiset such that A Z␣ A ' H A .

Note that in [2] empty sets do not have proper subsets. Note that in our formulation this is not necessarily true since if H A ĺ A , then ␣ A ĺ H A . With this formulation, we obtained a class of signed multisets with a corresponding partial order that is in class C with zero set Z ' tH A A u . The condition P ą 0 corresponds to a multiset with an element x whose multiplicity T x satisfies T x ą m 0 m . This can be interpreted as a set with an element of positive multiplicity and generalizes the meaning of existential import.

- 5.3. Classical sets. The classical Boolean algebra of subsets [20] can be considered a variation of signed multisets. Let U be the universal set of all elements and M ' t´ 1 0 1 . Then we can define the complement , , u of a classical set A as U Z␣ A . Conversely, we have ␣ A ' A Z␣ U . Note that the conditions P ‰ Q and P ‰ ␣ Q , which resulted in the links between A E I , , , O and a , e , i , o respectively in Fig. 2, correspond to analogous conditions in [12] for the class of subsets.
- 5.4. Vectors. Given a tuple p X, ␣ , ĺ q in class C we can define a partial order on the Cartesian product X n of vectors such that P ĺ Q if and only if P i ĺ Q i for each corresponding component of P and Q and ␣ P is obtained by applying ␣ to each component of P . It is easy to show that this structure on X n remain in class C .

An important example is in propositional logic, where a statement with n logical variables corresponds to a truth table of 2 n entries and can be represented with a binary vector of length 2 n . The equivalence between truth values in Boolean algebra and an algebra in class C allows the relationships of contraries, subcontraries, contradictories and sub-implications in the square of opposition in Definition 1 to be replaced with a partial order in class C as well. Let the vertices of the diagrams of opposition be logical statements on a set X . Then to each statement A corresponds a binary vector of truth-values in t 0 1 , u X .

Lemma 2. Let T A and T B denote the truth values vectors of A and B respectively. Let ⃗ 1 and ⃗ 0 denote the vectors of all 1 's and all 0 's.

- , A is contrary to B if and only if T A ` T B ĺ ⃗ 1 .
- , A is sub-contrary to B if and only if T A ` T B ľ ⃗ 1 .
- , A is contradictory to B if and only if T A ' ⃗ 1 ´ T B
- , A sub-implicates B if and only if T A ĺ T B
- , A super-implicates B if and only if T A ľ T B .

Proof. A contrary between A and B means that A and B cannot both be true, i.e. each row of the truth table cannot contains 2 true values and this can be represented as T A ` T B ĺ ⃗ 1. Similarly a sub-contrary of A and B means that each row of the truth table cannot be both false and this is equivalent to T A ` T B ľ ⃗ 1, a contradictory between A and B corresponds to T A ' ⃗ 1 ´ T B and A sub-implicating B means for each row of the truth table, if A is true, then B is true and this is equivalent to T A ĺ T B . □

In [21], the classical square of opposition is compared with the square of opposition using propositional logic. We show that this connection can also be considered under this framework.

The inequality P ĺ Q corresponds to the logical implication P ñ Q . We next show that we still recover the classical diagram of opposition as we move from the first order logic statements in Fig. 1 to propositional logic except for the interesting phenomena where the upper vertices ( A and E ) are now swapped with the lower vertices ( I and O ). In particular, P ł ␣ Q corresponds to P ^ Q and by looking at the truth table it is easy to see that T P ^ Q ĺ T P ñ Q . Similarly T P ^␣ Q ĺ T P ñ␣ Q . Secondly, T I ` T O ĺ ⃗ 1 and T A ` T E ľ ⃗ 1 and thus Lemma 2 shows that we have a square of opposition as illustrated in Fig: 5.

Figure 5. Square of opposition for propositional statements A E I , , , O of class C .

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00158v1-figure-0cb3f7c5-12bc-4feb-ad64-d0ed41fb56d4.jpg)

- 5.5. Square matrices. For the class of complex square matrices, we define the partial ordering A ĺ B if A and B are of the same size and p B ´ A q ` p B ´ A q H is positive semidefinite. In this case 0 corresponds to the zero matrix and Z is the set of matrices A such that A ` A H ' 0. Note that here we use the notation ă as related to the partial ordering of matrices and not as it is usually used for denoting positive definiteness, i.e. A ă B if A ĺ B and A ‰ B . This is weaker than the definition of positive definiteness, i.e. A ą 0 means A is positive semidefinite and not equal to the zero matrix, but A is not necessarily positive definite. In this case the resulting structure is in the class C with the only zero being the all zeros matrix 0 and ␣ A ' ´ A .
- 5.6. Negation in multi-valued logic. Consider a strong negation function in multi-valued logic, i.e. a strictly monotone involutive function ␣ : r 0 1 , s Ñ r 0 1 , s such that ␣ 0 ' 1 and ␣ 1 ' 0. The function ␣ can be decomposed as ϕ ´ 1 p 1 ´ ϕ x p qq for some continous strictly increasing bijection ϕ on r 0 1 , s [16]. It is clear that Z is nonempty and pr 0 1 , s , ␣ , ĺ q is in class C .

## 6. Conclusions

We show how the square of opposition and its generalization can be applied to various algebraic structures. This continues the study to identify the linkage between logic and algebra, a connection that started with Boole's and Venn's work [3, 17] and continued by many others [15, 10] ever since. A recent study connecting multi-valued logic and certain combinatorial and algebraic properties can be found in [23].

## References

- [1] Blanch´ e, R., Structures Intellectuelles: Essai sur l'Organisation Syst´matique des Concepts e , Librairie Philosophique J. Vrin, 1966.
- [2] Blizard, W. D., 'Negative membership,' Notre Dame Journal of Formal Logic , vol. 31 (1990).
- [3] Boole, G., The Mathematical Analysis of Logic, Being an Essay towards a Calculus of Deductive Reasoning , Macmillan, Barclay, &amp; Macmillan, 1847.
- [4] Dubois, D., and H. Prade, 'From Blanch´ e's hexagonal organization of concepts to formal concept analysis and possibility theory,' Logica Universalis , vol. 6 (2012), pp. 149-169.
- [5] Dubois, D., H. Prade, and A. Rico, 'The cube of opposition-a structure underlying many knowledge representation formalisms,' in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI) , pp. 2933-2939, 2015.

- [6] Dubois, D., H. Prade, and A. Rico, 'Structures of opposition and comparisons: Boolean and gradual cases,' Logica Universalis , vol. 14 (2020), pp. 115-149.
- [7] Englebretsen, G., 'The square of opposition,' Notre Dame Journal of Formal Logic , vol. 17 (1976).
- [8] Hailperin, T., Boole's Logic and Probability: A Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory , 2nd edition, Elsevier, 1986.
- [9] Hailperin, T., 'Boole's algebra isn't Boolean algebra,' Mathematics Magazine , vol. 54 (1981), p. 173.
- [10] Halmos, P., and S. Givant, Logic as Algebra , volume 21 of Dolciani Mathematical Expositions , The Mathematical Association of America, 1998.
- [11] MacColl, H., 'Existential import,' Mind , vol. XIV (1905), pp. 295-296.
- [12] Reichenbach, H., 'The syllogism revised,' Philosophy of Science , vol. 19 (1952), pp. 1-16.
- [13] Russell, B., and H. MacColl, 'The existential import of propositions,' Mind , vol. 14 (1905), pp. 398-402.
- [14] Simovici, D. A., and C. Djeraba, Mathematical Tools for Data Mining: Set Theory, Partial Orders, Combinatorics , chapter Partially Ordered Sets, pp. 67-95, Springer London, 2014.
- [15] Stone, M. H., 'The theory of representation for Boolean algebras,' Transactions of the American Mathematical Society , vol. 40 (1936), pp. 37-111.
- [16] Trillas, E., 'Sobre functiones de negaci´n en la teor´ ıa de conjuntas difusos,' o Stochastica , vol. 3 (1979), pp. 47-60.
- [17] Venn, J., 'On the diagrammatic and mechanical representation of propositions and reasonings,' The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science , vol. 10 (1880), pp. 1-18.
- [18] Wallis, W. D., A Beginner's Guide to Discrete Mathematics , Birkh¨user Boston, 2012. a
- [19] Westerst˚hl, D., a 'Classical vs. modern squares of opposition, and beyond,' The square of opposition. A general framework for cognition , (2012), pp. 195-229.
- [20] Whitesitt, J. E., Boolean Algebra and Its Applications , Addison-Wesley Publishing Company, 1961.
- [21] Williamson, C., 'Squares of opposition: Comparisons between syllogistic and propositional logic.,' Notre Dame Journal of Formal Logic , vol. 13 (1972).
- [22] Wreen, M., 'Existential import,' Cr´ ıtica: Revista Hispanoamericana de Filosof´ ıa , vol. 16 (1984), pp. 59-64.
- [23] Wu, C. W., 'On rearrangement inequalities for triangular norms and co-norms in multi-valued logic,' Logica Universalis , vol. 17 (2023), pp. 331-346.
- [24] Wu, J. S., 'The problem of existental import (from George Boole to P. F. Strawson.),' Notre Dame Journal of Formal Logic , vol. 10 (1969).
Chai Wah Wu
Diagrams of opposition: an algebraic viewpoint
We study the square of opposition and its various geometric generalizations
from an algebraic viewpoint. In particular, we show how the various shapes of
oppositions can be framed under an algebraic framework and we illustrate this
approach with algebraic structures beyond the traditional logical structures.