Duality in Logic and Language
[draft--do not cite this article]

Duality phenomena occur in nearly all mathematically formalized disciplines, such as algebra, geometry, logic and natural language semantics. However, many of these disciplines use the term ‘duality’ in vastly different senses, and while some of these senses are intimately connected to each other, others seem to be entirely unrelated. Consequently, if the term ‘duality’ is used in two different senses in one and the same work, the authors often explicitly warn about the potential confusion.

This article focuses exclusively on duality phenomena involving the
interaction between an ‘external’ and an ‘internal’ negation of some kind, which arise primarily in logic and linguistics. A well-known example from logic is the duality between conjunction and disjunction in classical propositional logic:  φ ∧ ψ  is logically equivalent to ¬(¬φ ∨ ¬ ψ ), and hence, ¬(φ ∧ ψ) is logically equivalent to ¬φ ∨ ¬ ψ. A well-known example from linguistics concerns the duality between the aspectual particles already and still in natural language: already outside means the same as not still inside, and hence, not already outside means the same as still inside (where inside is taken to be synonymous to not outside). Examples such as these show that dualities based on external/internal negation show up for a wide variety of logical and linguistic operators.

Duality phenomena of this kind are highly important. First of all, since they occur in formal as well as natural languages, they provide an interesting perspective on the interface between logic and linguistics. Furthermore, because of their ubiquity across natural languages, it has been suggested that duality is a semantic universal, which can be of great heuristic value. Finally, duality principles play a central role in Freudenthal’s famous proposal for a language for cosmic communication.

Many authors employ the notion of duality as a means to describe the specific details of a particular formal or natural language, without going into any systematic theorizing about this notion itself. Next to such auxiliary uses, however, there also exist more abstract, theoretical accounts that focus on the notion of duality itself. For example, these theoretical perspectives address the group-theoretical aspects of duality, or its interplay with the so-called Aristotelian relations. This article, on the one hand, looks at a wide variety of dualities in formal and natural languages, and, on the other hand, discusses some of the more theoretical perspectives on duality.

The article is organized as follows. Sections 1 and 2 provide an extensive overview of the most important concrete examples of duality in logic and natural language, respectively. Section 3 then describes a detailed framework (based on the notion of a Boolean algebra) that allows us to systematically analyze these dualities. Section 4 presents a group-theoretical approach to duality phenomena, and Section 5 draws an extensive comparison between duality relations and another type of logical relations, namely those characterizing the Aristotelian square of oppositions.

As to the technical prerequisites for this article, Sections 1 and 2 should be accessible to everyone with a basic understanding of philosophical logic. But in Sections 3, 4 and 5, the use of some other mathematical tools and techniques is unavoidable; these sections require a basic understanding of discrete mathematics (in particular, Boolean algebra and elementary group theory).


Table of Contents

  1. Duality in Logic
  2. Duality in Natural Language
  3. Theoretical Framework
  4. A Group-Theoretical Approach to Duality
  5. Duality Relations and Aristotelian Relations
  6. Conclusion
  7. References and Further Reading

1. Duality in Logic

Conjunction and disjunction. The most widely known example of duality in logic is undoubtedly that between conjunction and disjunction in classical propositional logic (CPL). Because of their semantics, that is, the way they are standardly interpreted in CPL, these connectives can be defined in terms of each other, and consequently, only one of them needs to be taken as primitive. For example, if conjunction (∧) and negation (¬) are taken as primitives, then disjunction (∨) can be defined as follows:

φ ∨ ψ new 1  ¬(¬ φ ∧ ¬ ψ)                                                 (1)

Alternatively, if disjunction is taken as primitive, then conjunction can be defined as follows:

φ ∧ ψ new 1 ¬(¬ φ ∨ ¬ ψ)                                                     (2)

Furthermore, each of these equivalences can be derived from the other one; for example, if (1) is taken as primitive, then we obtain (2) as follows:

¬(¬ φ ∨ ¬ ψ) ≡ ¬¬ (¬ ¬φ ∧ ¬¬ ψ) ≡ φ ∧ ψ .                (3)

Finally, in both cases we obtain the well-known laws of De Morgan. For example, if conjunction is taken as primitive, then (4) follows immediately from (1), while (5) follows from (1) via (3):

¬(φ ∨ ψ ) ≡ ¬φ ∧ ¬ψ                                                         (4)
¬(φ ∧ ψ ) ≡ ¬φ ∨ ¬ψ                                                           (5)

Equivalences such as (1–5) exhibit the duality between conjunction and disjunction. They clearly show the interaction between an internal negation (which attaches to each of the individual formulas φ and ψ and thus occurs inside the scope of the conjunction/disjunction connective) and an external negation (which occurs outside the scope of the connectives). Equivalences (1–2) show that applying
both internal and external negation to a disjunction yields the corresponding conjunction, and vice versa. Similarly, (4–5) show that the internal negation of a disjunction is logically equivalent to the external negation of the corresponding conjunction, and vice versa. All these equivalences are manifestations of the underlying semantics of the conjunction and disjunction connectives in CPL.

Universal and existential quantifiers. Another well-known case of duality concerns the universal and existential quantifiers in classical first-order logic (FOL). The situation here is largely analogous to that of conjunction and disjunction. Because of their semantics, that is, the way they are standardly interpreted in FOL, these quantifiers can be defined in terms of each other, and consequently, only one of them needs to be taken as primitive. For example, if the universal quantifier (∀) is taken as primitive, the existential quanifier (∃) can be defined as follows:

x φ  new 1 ¬ ∀ x ¬ φ.                           (6)

Conversely, if the existential quantifier is taken as primitive, then the universal quantifier can be defined as follows:

∀ x φnew 1  ¬∃ x ¬φ .                              (7)

Again, each of these equivalences can be derived from the other one; for example, if (6) is taken as primitive, then we obtain (7) as follows:

¬∃ x ¬φ ≡¬ ¬  ∀ x ¬ ¬φ ≡   ∀ x φ             (8)

Finally, in both cases we obtain the well-known quantifier laws. For example, if the universal quantifier is taken as primitive, then (9) follows immediately from (6), while (10) follows from (6) via (8):

¬∃ x φ  ≡  ∀ x ¬φ,                                 (9)
¬∀ x φ  ≡  ∃ x ¬φ.                               (10)

Equivalences such as (6–10) exhibit the duality between the universal and the existential quantifier. Again, they show the interaction between an internal negation (which occurs inside the scope of the quantifier) and an external negation (which occurs outside the scope of the quantifier). Equivalences (6–7) show that
applying both internal and external negation to an existential quantifier yields the corresponding universal quantifier, and vice versa. Similarly, (9–10) show that the internal negation of an existential quantifier is logically equivalent to the external
negation of the corresponding universal quantifier, and vice versa. All these equivalences are manifestations of the underlying semantics of the universal and existential quantifiers in FOL.

Modal operators. Another rich source of dualities is the broad family of modal logics. For example, in alethic modal logic, necessity (square) and possibility (◊) are dual to each other (11–12), while in deontic logic, obligation (O) and permission (P) are usually taken as duals (13–14):

squareφ ≡ ¬◊ ¬φ,      ¬squareφ ≡ ◊¬φ,               (11)
◊φ ≡ ¬square¬φ,       ¬◊φ ≡square¬φ,                 (12)
Oφ ≡ ¬P ¬φ,        ¬Oφ ≡ P ¬φ,               (13)
Pφ ≡ ¬O ¬φ,        ¬Pφ ≡ O¬φ                 (14)

Blackburn et al. (2001) provide many other modal examples from concrete application domains, such as temporal logic, propositional dynamic logic and hybrid logic, and more mathematically motivated examples, such as the dualities involving the difference modality and the universal modality. In general, an n-ary modal operator is called a triangle (Δ), and its dual, a nabla (∇):

Δ(φ1,..., φn)  ≡ ¬∇ (¬φ1,...,¬φn),               (15)
∇(φ1,..., φn)  ≡ ¬Δ (¬φ1,...,¬φn).               (16)

The equivalences (15–16) again clearly illustrate the interaction between internal and external negation. Note, furthermore, that the internal negation is applied to all formulas (¬φ1,...,¬φn). This was also the case with conjunction/disjuction (1–2) and with the universal/existential quantifiers (6–7) (although the latter case is
trivial, since in equivalences (6–7) there is only a single formula (φ) to which the internal negation can be applied).

Interconnections. Many of the examples given above are systematically related to each other, and might thus be viewed as manifestations of the same underlying duality. First of all, it is well-known that the propositional connectives of conjunction and disjunction are related to the universal and existential quantifiers,
respectively. For example, the formulas ∀xPx and ∃xPx can informally be viewed as expressing the conjunction Pa ∧ Pb ∧ Pc ∧ ... and the disjunction Pa ∨ Pb ∨ Pc ∨ ... , respectively. This reveals a structural similarity between equivalences (1–2) and (6–7). Secondly, in Kripke semantics the modal operators are interpreted as quantifying over possible worlds. For example, the formulas
squarep and ◊p can be interpreted as stating that p is true in all possible worlds and that p is true in at least one possible world, respectively. This reveals a structural similarity between equivalences (6–7) and (11–12).

2. Duality in Natural Language

Quantifiers and modalities in natural language. The most obvious class of natural language expressions that give rise to duality behavior, are the immediate counterparts of the logical operators discussed in Section 1. For example, the determiners all and some combine with a noun to yield noun phrases such as all books and some books, and seem to correspond directly to the quantifiers 8 and 9. This correspondence is not entirely unproblematic, since it ignores linguistically relevant distinctions, such as the difference between every and all vis-`a-vis collective and distributive predicates (Dowty 1987; Brisson 2003), and the distinction between quantificational and non-quantificational uses of some (Löbner 1987). Setting such considerations aside, however, one can say that the natural language determiners all and some are each other’s duals, just like the first-order quantifiers ∀ and ∃ are each other’s duals. Similarly, the duality relation between square and ◊ in modal logic also shows up for a whole range of natural language expressions for necessity and possibility. In logic,  squareand ◊ are almost invariably operators taking propositions as their arguments. In natural language, however, the modal notions are expressed in a variety of linguistic categories, such as modal adjectives (necessary
vs. possible), modal adverbs (necessarily vs. possibly) or modal auxiliary verbs (must/should vs. can/may).

Conjunction and disjunction in natural language. The most prototypical duality in logic, namely that between the propositional connectives of conjunction and disjunction, only plays a minor role, if any, in the linguistic realm. The main reason is the ambiguity of natural language and and or, which is often explained pragmatically in terms of conversational implicatures (Horn 2004). For example,
natural language conjunction very often conveys additional aspects of causality (φ and ψ ≡ φ and therefore ψ) or sequentiality (φ and ψ ≡ φ and afterwords ψ ), whereas disjunction is notoriously ambiguous between an inclusive interpretation (φ or ψ ≡ φ or ψ, and perhaps both) and an exclusive interpretation (φ or ψ ≡ φ or ψ, but not both). These asymmetrical ambiguities of natural language conjunction and disjunction render the notion of duality less suitable for their linguistic and philosophical analysis, as observed by Humberstone (2011, p. 772):

for many logical purposes [. . . ] conjunction and disjunction are attractively treated in a symmetrical fashion. Inherent asymmetries in the informal conceptual apparatus we bring to bear on logic often make duality an inappropriate consideration to bring in for philosophical purposes, however.

Testing for duality. In logic, duality is a matter of definition or convention; in modal logic, for example, the duality between square and ◊ follows from the way in which the semantics of these operators is defined. By contrast, in linguistics, duality is a much more empirical matter. In other words, duality relations between natural language expressions have to be argued for or demonstrated and may thus be refuted on empirical grounds. For that purpose, duality tests have been devised (Löbner 2011, p. 492ff.), which crucially rely on the relation of lexical inversion holding between predicates such as be on/off, be inside/outside or be here/gone. Testing for internal negation evaluates the equivalence between (i) a proposition O(P) with operator O and predicate P and (ii) a proposition O' (P'), with operator O' = INEG(O) being the internal negation of O, and predicate P' = LEXINV(P) being the lexical inverse of P; see (17). The examples in (18–19) illustrate the internal negations of the quantifiers:


O(P)    ≡   INEG(O)(LEXINV(P))                                             (17)
Some lights are on.   ≡   Not all lights are off.             (18)
No children are inside. ≡  All children are outside. (19)


Testing for duality evaluates the equivalence between (i) a proposition which gives a negative answer to a polarity question of the form O(P) and (ii) a proposition O'(P'), with operator O' = DUAL(O) being the dual of O, and predicate P' = LEXINV(P) again being the lexical inverse of P; see (20). The examples in (21–22) illustrate the dialogue patterns establishing the duality of the universal and existential quantifiers:


                                            ¬O(P) ≡ DUAL(O)(LEXINV(P))                     (20)
Are some lights on? — No, ≡ all lights are off.                                 (21)
Are all children inside? — No, ≡ some children are outside. (22)


The main reason for applying lexical inversion to the predicates in these tests, rather than straightforward grammatical negation by means of the negative particle not, is that the latter may yield scope ambiguities, depending on whether it is taken to express internal or external negation (Löbner 2011, p. 492ff.). For example, the negative particle not in the lefthand side of (23–24) may get the internal negation reading (23) as well as the external negation reading (24). Similarly, the modal auxiliary may in the lefthand side of (25–26) interacts differently with the negative particle not depending on the type of modality involved: in its epistemic use, it gets the internal negation reading (25), whereas in its deontic use, it gets the external negation reading (26).


All children are not inside.      equals 1 All children are outside.           (23)
                                                           equals 2Not all children are inside.        (24)
               She may not stay.         equals 1 She may leave.                               (25)
                                                          equals 2She must leave.                              (26)


The negative particle not and the quantifier all in the lefthand side of (23–24) can take scope over each other: in (23), not occurs inside the scope of all (thereby transforming the predicate inside into its lexical inverse outside), while in (24), all occurs inside the scope of not. Such scope ambiguities also arise for other operators besides negation. For example, the quantifier all and the modal adverb necessarily in (27–28) can take scope over each other, thus giving rise to the de dicto reading (27) and the de re reading (28). However, scope distinctions cannot be fully reduced to the de dicto/de re distinction. After all, the latter is a binary distinction, whereas operators that take scope over each other can give rise to more than two distinct interpretations (Kripke 1977).


Everything is necessarily self-identical.  equals 1 square ∀x(x = x),          (27)
equals 2 ∀xsquare(x = x).           (28)


Another complication arising from negation concerns the cognitive difficulty that people have with processing sentences that contain multiple negations. Because of these cognitive difficulties, some of the tests described above are less easily applicable to determine whether a certain relation holds between two expressions. For example, we not only have a duality between the positive quantifiers all and some, but also one between the negative quantifiers no and some not. The former duality is empirically confirmed by the dialogue patterns in (21–22). In contrast, the corresponding dialogue patterns for the latter duality in (29–30) contain three grammatical negations (no, no and not) and one lexical inversion (off ), and therefore sound much less natural (even though they are logically impeccable).


Are no lights on? — No,  ≡ not all lights are off.             (29)
Are not all lights on? — No, ≡ no lights are off.               (30)


Pronouns and adverbs of quantification. The universal and existential quantifiers are not only related to the determiners all and some, but also to a number of other linguistic categories. For example, when quantifying over people or objects, the determiners are morphologically integrated with the nouns body and thing into indefinite pronouns. Similarly, when quantifying over places, the determiners are morphologically integrated with the adverb where into compound adverbs. By contrast, adverbs that quantify over time and manner exhibit more idiosyncratic lexicalization patterns. Irrespective of such morphological details, all of the categories in the table below inherit the same basic duality pattern from the determiners, and thus, ultimately, from the logical quantifiers ∀ and ∃.


∀                            ¬∀                                  ∀¬                          ¬∀¬

¬∃¬                         ∃¬                              ¬∃                                ∃


          every                        not every                     no                   some                
everybody              not everybody               nobody                somebody
everything              not everything            nothing                  something
everywhere             not everywhere          nowhere              somewhere
always                       not always                       never                  sometimes
anyhow                    not anyhow                     no way                  somehow


Generalized quantifiers. Contemporary generalized quantifier theory (GQT) is able to deal with a considerably larger range of natural language quantifiers than the usual universal and existential ones (Barwise and Cooper 1981; Peters and Westerståhl 2006). These include quantifiers that cannot be expressed in first-order languages, such as most. Additionally, GQT allows for a more compositional treatment of quantification. Consider, for example, the sentences John runs and everybody runs, which have by and large the same syntactic structure (namely: noun phrase + verb phrase). While the first-order representations of the semantics of these sentences are vastly different—run(j) vs. ∀x: run(x)—, their GQT representations are much more similar: John(run) vs. everybody(run).

GQT offers two (mathematically equivalent) perspectives on quantification: a functional and a relational perspective. Focusing on the former, a quantifier expression Q is taken to denote a set of subsets of the universe U of people, and for any unary predicate expression B, the formula Q(B) is true iff [[B]] ∈ [[Q]]. For example, since [[everybody]] = {X ⊆ U | U = X} and [[somebody]] = {X ⊆U | X ≠ ∅}, it is easy to see that everybody(run) is true iff U = [[run]] and that somebody(run) is true iff [[run]] ≠ ∅. As expected, the external negation, internal negation and dual of the formula Q(B) are defined as ¬Q(B), Q(¬B) and ¬Q(¬B), respectively (with the convention that [[¬B]] = U − [[B]] = {x ∈ U | x ∉ [[B]]}). For example, the dual of everybody(run) is ¬everybody(¬run), which is true iff U ≠ U − [[run]], that is, iff [[run]] ≠ ∅. This shows that in GQT, too, the dual of everybody(run) is somebody(run). Finally, if the proper name John names the individual j ∈ U, then GQT defines the generalized quantifier [[John]] = {X ⊆ U | j ∈ X}, and thus we find that John(run) is true iff [[run]] ∈ [[John]], iff j ∈ [[run]]. Note that the dual of John(run) is ¬John(¬run), which is true iff j ∉ U − [[run]], iff j ∈ [[run]]. This shows that John(run) is dual to itself, which illustrates the fact that in GQT, proper names are self-dual (Gamut 1991, p. 238).

We now turn to the alternative, relational perspective in GQT. This perspective focuses on sentences of the form Q(A, B), where Q is a quantifier expression and A and B are unary predicate expressions. The formula Q(A,B) is true iff ([[A]],  [[B]]) ∈ [[Q]]. Here are some well-known examples (with ℘(U) denoting the powerset of U, that is. ℘(U) = {X | X ⊆ U}):


[[all]]                             = {(X, Y )   ∈  ℘(U)     x   ℘(U)   |   X ⊆Y }
[[some]]                       =  {(X, Y )   ∈  ℘(U)     x   ℘(U)   |   X ∩ Y ≠ ∅}
[[most]]                         =  {(X, Y )   ∈  ℘(U)     x   ℘(U)   |   |X ∩ Y |> | X−Y|}
[[some but not all]] = {(X, Y )   ∈  ℘(U)     x   ℘(U)   |   X∩Y ≠ ∅ and X − Y ≠ ∅
[[exactly half of the]] =  {(X, Y )   ∈  ℘(U)     x   ℘(U)   |   |X ∩ Y| = ½|X|}
[[the sing]]              = {(X, Y )   ∈  ℘(U)     x   ℘(U)   |   |X| = 1 and X ⊆ Y}

The external negation, internal negation and dual of the formula Q(A;B) are defined as ¬Q(A,B), Q(A, ¬B) and ¬Q(A,¬B), respectively. Note that, in contrast to the examples from logic discussed in Section 1, internal negation is not applied to all predicate expressions, but only to the second one. Here, too, generalized quantifiers can be their own dual or internal negation. For example, the internal negation of some but not all(man, run) is some but not all(man, ¬run), which is true iff [[man]] ∩ (U − [[run]]) ≠ ∅  and [[man]] − (U − [[run]]) ≠ ∅, iff [[man]] − [[run]] ≠ ∅ and [[man]] ∩ [[run]] ≠ ∅, iff some but not all(man, run) is true. This shows that some but not all is its own internal negation. Similarly, the proportional quantifier exactly half of the can be shown to be its own internal negation; for example, exactly half of the men are awake is equivalent to exactly half of the men are not awake.

The duality patterns of quantifiers such as most and many have been a matter of contention. Peterson (1979) proposed an analysis from which it follows that most and many are dual to each other. However, as pointed out by Horn (2006, p. 36), it seems unlikely that most(A, B) is in general equivalent to ¬many(A, ¬B). Consider, for example:


Most Italians like pizza.                                   (31)
Not many Italians do not like pizza.            (32)
Many Italians do not like pizza.                     (33)

If most and many were indeed dual, then (31) and (32) should be equivalent, while (31) and (33) should be contradictory. However, (31) is true, but, since there are indeed many Italians that do not like pizza, (32) is false and (33) is true. This shows that (31) and (32) are not equivalent, and that (31) and (33) are not contradictory either.

Other linguistic expressions. Duality patterns also arise among natural language expressions that do not directly correspond to logical operators or quantifiers. For example, König (1991) has suggested that the causative conjunction because and the concessive conjunction although are duals, based on dialogue
tests for duality such as (34).

p because q? — No,     ≡  p although ¬q.              (34)

However, based on other linguistic evidence and more general, methodological considerations, this proposal has been criticized by Iten (1998, 2005). Working in the framework of relevance theory, Iten argues that causative conjunctions make a significant contribution to the truth conditions of sentences in which they occur: p because q is true iff q is true, p is true, and q’s being true is the cause of p’s being true. By contrast, concessive conjunctions do not contribute to the truth conditions of sentences in which they occur: p although q is true iff q is true and p is true. Because of this discrepancy, Iten claims that sentences such as ¬(p because q) and p although ¬q do not have the same truth conditions, and consequently, because and although are not dual to each other.

The most widely studied example of linguistic duality, however, is that between the aspectual adverbs already and still (Löbner 1989, 1990, 1999; van der Auwera 1993; Mittwoch 1993; Michaelis 1996; Smessaert and ter Meulen 2004). The dialogue tests for duality in (35–36) suggest that already and still are indeed each other’s duals.


Is Bob already outside? — No,    ≡  he is still inside.                  (35)
Is Bob still outside? — No,    ≡ he is already inside.     (36)


Similarly, using the equivalence tests for internal negation in (37–38), we find that the internal negation of already is no longer and that of still is not yet. Finally, the equivalences in (39–40) show that the external negation of already is not yet and that of still is no longer.


Bob is already outside.     ≡    Bob is no longer inside.                  (37)
Bob is still outside.             ≡    Bob is not yet inside.                          (38)
It’s not the case that Bob is already outside.     ≡    Bob is not yet outside.                                                                                                                     (39)
It’s not the case that Bob is still outside.     ≡    Bob is no longer outside.(40)


The two negative adverbs no longer and not yet are also dual to each other, as illustrated by the dialogues in (41–42). However, because of the multiple negative elements, these dialogues sound less natural than the ones in (35–36), even though all of them are equally logically correct (compare with the dialogues in (21–22) and (29–30) for the dualities between the standard quantifiers).

Is Bob not yet outside? — No,     ≡    he is no longer inside.               (41)
Is Bob no longer outside? — No,     ≡    he is not yet inside.          (42)

Phase quantification. In order to account for the duality patterns of the aspectual adverbs described in (35–42), Löbner (1989; 1990; 2011) has developed the theory of phase quantification. He considers a (linear) temporal scale, a reference time t on that scale, and a proposition p (which is either true or false at any timepoint of the scale). The semantics of aspectual adverbs crucially concerns single polarity transitions on this temporal scale. There are two types of such transitions: the truth value of p can change from false into true, or alternatively, from true into false. Furthermore, the reference time t can either be situated in the positive (p) phase or in the negative (¬p) phase of such a transition. In total, there are thus four cases to be distinguished:

  • t is in the positive phase of a polarity transition from falsity to truth

As illustrated in Figure 1(a), this corresponds to sentences such as Bob was already reading the paper at noon. The reference time (at noon) is situated in the positive phase (in which Bob was reading the paper), and thus occurs after the (actual) transition of starting to read (that is, the transition from not reading to reading) has taken place.

Figure 1: Löbner’s four phase diagrams.

  • t is in the positive phase of a polarity transition from truth to falsity

As illustrated in Figure 1(b), this corresponds to sentences such as Bob was still reading the paper at noon. The reference time (at noon) is situated in the positive phase (in which Bob was reading the paper), and thus occurs before the (potential) transition of stopping to read (that is, the transition from reading to not reading) has taken place.

  • t is in the negative phase of a polarity transition from falsity to truth

As illustrated in Figure 1(c), this corresponds to sentences such as Bob was not yet reading the paper at noon. The reference time (at noon) is situated in the negative phase (in which Bob was not reading the paper), and thus occurs before the (potential) transition of starting to read (that is, the transition from not reading to reading) has taken place.

  • t is in the negative phase of a polarity transition from truth to falsity

As illustrated in Figure 1(d), this corresponds to sentences such as Bob was no longer reading the paper at noon. The reference time (at noon) is situated in the negative phase (in which Bob was not reading the paper), and thus occurs after the (actual) transition of stopping to read (that is, the transition from reading to not reading) has taken place.

In the case of duality (already/still and not yet/no longer), the actual polarity of p thus remains unchanged, but the direction of the polarity transition gets reversed. By contrast, in the case of external negation (not yet/already and still/no longer) the actual polarity of p is switched, but the polarity transition remains unchanged. Finally, in the case of internal negation (not yet/still and already/no longer), both the actual polarity of p and the direction of the polarity transition are reversed. This shows that in the phase quantification analysis, internal negation is viewed as the combination of duality and external negation. Löbner has also used this analysis to account for asymmetries in lexicalization patterns: already and still are less marked than not yet, which in turn is less marked than no longer (also see Section 5). Finally, it should also be emphasized that this analysis has been generalized to other lexical domains besides the aspectual adverbs, such as scalar predicates and (the procedural interpretation of) the first-order quantifiers.

Language universals and universal languages. The overview presented in this section shows that duality phenomena are not only ubiquitous in formal logical languages, but also in natural languages. It has therefore been suggested that duality is a semantic universal, which can be of great heuristic value in comparative linguistic research (van Benthem 1991). Furthermore, duality also plays a central role in artificial languages, which can be viewed as occupying an intermediate
position between formal and natural languages. For example, Lincos, which was developed by Freudenthal (1960) for the purpose of cosmic communication, contains duality principles for conjunction/disjunction (1.36.8), universal/existential quantification (1.36.9), necessity/possibility (3.25.1) and obligation/permission (3.32.3).

3. Theoretical Framework

General definition. We will now present a general theoretical framework in which duality phenomena can be described and analyzed. Consider Boolean algebras A = hA; ^A; _A;:A;>A;?Ai and B = hB; ^B;_B;:B;>B;?Bi (Givant and Halmos 2009), and consider n-ary operators O1;O2 : An ! B. The duality relations are defined as follows: O1 and O2 are

identical — abbreviated as ID(O1;O2)— iff
8a1; : : : ; an2A: O1(a1; : : : ; an) = O2(a1; : : : ; an),
each other’s external negation— abbreviated as ENEG(O1;O2)— iff
8a1; : : : ; an2A: O1(a1; : : : ; an) = :BO2(a1; : : : ; an),
each other’s internal negation— abbreviated as INEG(O1;O2) — iff
8a1; : : : ; an2A: O1(a1; : : : ; an) = O2(:Aa1; : : : ;:Aan),
each other’s dual — abbreviated as DUAL(O1;O2)— iff
8a1; : : : ; an2A: O1(a1; : : : ; an) = :BO2(:Aa1; : : : ;:Aan).

Special cases. The definition provided above is fully abstract and general, but by plugging in concrete Boolean algebras for A and B, we can recover the usual dualities as special cases. For example, in the language LCPL of classical propositional logic (CPL), we can define equivalence classes ['] := f 2 LCPL j ' g, and consider the Lindenbaum-Tarski algebra BCPL := f['] j ' 2 LCPLg. It is well-known that BCPL is a Boolean algebra, and can thus be plugged in for A
and/or B in the aforementioned definition. For example, if we consider conjunction and disjunction as binary operators ^;_: BCPL BCPL ! BCPL (defined by [']^[ ] := ['^ ] and [']_[ ] := ['_ ]), this definition states that DUAL(^; _) iff

for all [']; [ ] 2 BCPL : ['] ^ [ ] = :(:['] _ :[ ]),

which is equivalent to the formulation (2) that was given above:
for all '; 2 LCPL : ' ^ :(:' _ : ):

(Note that identity between elements in the Lindenbaum-Tarski algebra boils down to logical equivalence between the formulas themselves.) Similarly, the first-order quantifiers can be seen as unary operators 8; 9: BFOL ! BFOL, where BFOL is the Lindenbaum-Tarski algebra of first-order logic (FOL), which is a cylindric algebra
(Henkin et al. 1971), and thus a fortiori a Boolean algebra. Finally, by taking A and/or B to be other, more exotic Boolean algebras, the aforementioned definition also allows us to study duality relations in other, less well-known applications (Demey and Smessaert 2016).

Relations vs. functions. All the duality relations have a number of special properties. For any relation R 2 fID; INEG; ENEG; DUALg, one can show that

R is deterministic:
for all O1;O2;O3 : An ! B : if R(O1;O2) and R(O1;O3); then O2 = O3,

R is serial:
for all O1 : An ! B, there exists an O2 : An ! B such that R(O1;O2),

R is symmetric:
for all O1;O2 : An ! B : R(O1;O2) iff R(O2;O1).

The first two properties jointly state that for each O1, there is exactly one O2 such that R(O1;O2). This means that the relation R is essentially a function, and switching from relational to functional notation, we can thus write O2 = R(O1).

For example, since DUAL(^; _), we can write _ = DUAL(^), and say that _ is the (unique) dual of ^. However, since ^ and _ are seen as binary operators on the Lindenbaum-Tarski algebra BCPL, it should be kept in mind that this uniqueness claim ultimately boils down to a logical equivalence claim (see above). For example, consider the operator O: BCPL BCPL ! BCPL defined by O([']; [ ]) :=
:(:['] ^ :[ ]). It then holds that DUAL(^;_) and DUAL(^;O), which together entail that _ = O. The latter is an identity of functions, and thus means that for all [']; [ ] 2 BCPL, we have ['] _ [ ] = O([']; [ ]) = :(:['] ^ :[ ]); in other words: for all '; 2 LCPL it holds that ' _ :(:' ^ : ).

Since each R 2 fID; INEG; ENEG; DUALg can be viewed as a function, the symmetry of the relation R can equivalently be expressed as follows: O2 = R(O1) iff O1 = R(O2), which is itself equivalent to the property that R(R(O)) = O for all operators O: An ! B. This means that the function R is an involution.

Obviously, the definitions of the duality relations/functions can harmlessly be transposed from operators O: An ! B to the outputs of those operators. For example, if the operator O2 : An ! B is the dual of the operator O1 : An ! B, then for all a1; : : : ; an 2 A, the element O2(a1; : : : ; an) 2 B can be said to be the dual of the element O1(a1; : : : ; an) 2 B. For example, in this way, we can say not only that _ is the dual of ^, but also that ['] _ [ ] is the dual of ['] ^ [ ], for all [']; [ ] 2 BCPL—or more informally, that ' _ is ‘the’ dual (up to logical equivalence) of ' ^ , for all '; 2 LCPL.

Duality squares. For every operator O: An ! B, one can define the set of four operators (O) := fID(O); ENEG(O); INEG(O); DUAL(O)g. It is natural to view the set (O) as ‘generated’ by the operator O; however, it should be emphasized that (O) can be seen as generated by any of its elements. For example, if we consider DUAL(O), we find that (DUAL(O)) = fID(DUAL(O)); ENEG(DUAL(O)); INEG(DUAL(O)); DUAL(DUAL(O))g =fDUAL(O); INEG(O); ENEG(O); ID(O)g =
(O). In general, for any O0 2 (O), it holds that (O0) = (O) (Peters and Westerståhl 2006, p. 134; Westerståhl 2012, p. 205).

The argument above is based on the fact that (O) is ‘closed under duality’, in the sense that applying any of the ID-, ENEG-, INEG- or DUAL-functions to its elements only yields operators that already belong to (O). This observation is the starting point for the group-theoretical perspective on duality that will be developed in Section 4. The operators in (O) thus constitute natural families (van Benthem 1991, p. 31; Peters and Westerståhl 2006, p. 26), which are often visualized by means of square diagrams. The diagram’s vertices represent the four operators (or formulas), and its edges and diagonals represent the various relations between those operators. Figure 2(a) shows the graphical convention that will be
used in this article to visualize these relations.

Visually speaking, duality squares can be presented in a number of different ways, depending on which aspects the author wishes to emphasize. The most widely used presentation can be found in Figure 2(b), in which the ENEG-, INEGand DUAL-relations occupy the square’s diagonals, horizontal and vertical edges, respectively. This presentation thus emphasizes the analogy between the duality
square and the well-known Aristotelian square, in which the contradiction, (sub)contrariety and subalternation relations also occupy the diagonals, horizontal and vertical edges, respectively (van Benthem 1991, p. 31; Jaspers 2005, p. 148; Peters and Westerståhl2006, p. 25, Westerståhl 2012, p. 202); also see Section 5. Figure 2(c) shows an alternative layout, in which the DUAL-relations occupy the

Figure 2: (a) Graphical representations of the duality relations; presentations
of duality squares with (b) ENEG-diagonals, (c) DUAL-diagonals and (d) INEGdiagonals.
diagonals, thereby graphically reflecting the fact that DUAL is the combination of ENEG (which constitutes the vertical edges) and INEG (which constitutes the horizontal edges) (Löbner 1990, p. 69ff.; König 1991, p. 201); also see Section 4. Thirdly, Löbner (1999, p. 57; 2011, p. 488) has argued, on the basis of his phase quantification approach to duality (see Section 2), that INEG should be seen as the combination of ENEG and DUAL, and thus uses squares as in Figure 2(d), in which the former occupies the diagonals. Finally, it should be emphasized that the ID-relations are not visualized explicitly in any of these three ways of presenting
duality squares, since they would simply constitute loops on all vertices of the squares.

Figures 3 and 4 show duality squares for some concrete dualities from logic and language (all these squares follow the presentation of Figure 2(b), and thus have ENEG-diagonals). The first three squares in Figure 3 correspond to the first three examples of duality in logic that were discussed in Section 1: (a) the propositional connectives of conjunction and disjunction, (b) the universal and existential
quantifiers, and (c) the modal operators of necessity and possibility. Furthermore, it should be emphasized that the general perspective on duality in terms of external and internal negation also allows us to draw less standardized duality squares; for example, Figure 3(d) shows the less widely known duality square that is generated
by the propositional connective of material implication (!). Finally, the

Figure 3: Duality squares from logic: (a) conjunction-disjunction, (b) universalexistential, (c) necessity-possibility, (d) implication.
squares in Figure 4 correspond to two examples of duality in natural language that were discussed in Section 2, namely (a) the quantification adverbs everywhere/somewhere, and (b) the aspectual adverbs already/still.

Degenerate duality patterns. For some operators O: An ! B, it might happen that DUAL(O) = O = ID(O), that is, O is self-dual. In this case, one can also show that INEG(O) = ENEG(O), that is, O’s internal and external negation coincide with each other. For example, as was already shown in Section 2, proper names are self-dual in generalized quantifier theory. For another example, consider the
identity operator IA : A ! A (for any Boolean algebra A), which is defined by IA(a) := a. For any element a 2 A, it holds that DUAL(IA)(a) = :AIA(:Aa) =:A:Aa = a = IA(a), and thus DUAL(IA) = IA, that is, IA is self-dual. Similarly, for any element a 2 A it holds that INEG(IA)(a) = IA(:Aa) = :Aa = :AIA(a) = ENEG(IA)(a), and thus INEG(IA) = ENEG(IA).

Completely analogously, for some operators O: An ! B, it can happen
that INEG(O) = O = ID(O), that is, O is its own internal negation. In this case, one can also show that DUAL(O) = ENEG(O), that is, O’s external negation and

Figure 4: Duality squares from linguistics: (a) everywhere-somewhere, (b) already-still.
dual coincide with each other. Consider, for example, the contingency operator C : BS5 ! BS5, which is defined by C([']) := ['] ^ :['] = [' ^ :'] (recall that BS5 is the Lindenbaum-Tarski algebra of the modal logic S5, which is a modal algebra (Blackburn et al. 2001), and thus a fortiori a Boolean algebra). For any ['] 2 BS5, it holds that INEG(C)([']) = C(:[']) = :['] ^ ::['] = ['] ^ :['] = C([']), and thus INEG(C) = C. Similarly, it holds that DUAL(C)([']) = :C(:[']) = :(:['] ^ ::[']) = :(['] ^ :') =
ENEG(C)([']), and thus DUAL(C) = ENEG(C).

We have now discussed the possibility of an operator coinciding with its dual, or with its internal negation. This naturally leads to the question whether there are also operators that coincide with their external negation. It is easy to see, however, that there exist no non-trivial operators with this property. After all, if O: An ! B is its own external negation, then for all n-tuples a 2 An, it holds that O(a) = :BO(a), and hence, >B = O(a) _B :BO(a) = O(a) _B O(a) = O(a) and also ?B = O(a) ^B :BO(a) = O(a) ^B O(a) = O(a), which means that B is the trivial Boolean algebra in which ?B = >B (in logical terms: B is the Lindenbaum-Tarski algebra of a logical system that is inconsistent).

Whenever an operator O is its own dual or internal negation, the set (O) does not contain four, but only two distinct operators (Peters and Westerståhl 2006, p. 134; Westerståhl 2012, p. 205), and thus cannot be visualized using an ordinary duality square. Recall the standard presentation of the duality square (with horizontal INEG- and vertical DUAL-edges) in Figure 2(b), which is repeated here as
Figure 5(a). If O = DUAL(O), then (O) = fID(O); INEG(O)g, and thus, the duality square in Figure 5(a) degenerates into the binary horizontal duality diagram in Figure 5(b). Analogously, if O = INEG(O), then (O) = fID(O); DUAL(O)g, and thus, the duality square in Figure 5(a) degenerates into the binary vertical duality diagram in Figure 5(c).

Figure 5: (a) Ordinary duality square, (b) degenerate duality pattern for an operator that is its own dual, (c) degenerate duality pattern for an operator that is its own internal negation.








Beyond external and internal negation. In the introduction, it was emphasized that this article mainly focuses on duality phenomena that arise in logical and natural languages. As was illustrated in Sections 1 and 2, these dualities can informally be characterized in terms of internal and external negation. In this section, this informal characterization was made mathematically precise, by appealing to
operators O: An ! B and viewing the internal and external negation as the negations :A and :B of the source and target Boolean algebras A and B, respectively. However, it should be emphasized that in the broader mathematical perspective on duality, internal/external negation plays a less central role. For example, in category-theoretic terms, conjunction and disjunction are characterized as follows
(Mac Lane 1998; Davey and Priestley 2002):

' ^ is the unique ' _ is the unique
formula such that: formula such that:
– entails ' – ' entails
– entails – entails
– for all : if entails ' and , – for all : if ' and entail
then entails then entails

From this perspective, the duality of conjunction and disjunction is thus not characterized in terms of internal and external negation, but rather in terms of systematically ‘reversing’ the direction of entailment (a similar connection between duality and ‘reversing’ the direction of polarity transitions shows up in Löbner’s phase quantification theory, as discussed in Section 2). This difference should not be exaggerated, however, as can already be seen from the law of contraposition, in which the ideas of negation and reversal are brought together: ' ! : !

4. A Group-Theoretical Approach to Duality

The Klein four group. When ID, ENEG, INEG and DUAL are viewed as functions, they map each operator O: An ! B onto the operators ID(O); ENEG(O); INEG(O); DUAL(O) : An ! B. Since the input and output of the functions ID, ENEG, INEG and DUAL are of the same type (namely: operators An ! B), they can be applied repeatedly. For example, starting with an operator O: An ! B, we can apply INEG to it to obtain the operator INEG(O) : An ! B; by applying ENEG to the latter we obtain the operator ENEG(INEG(O)) : An ! B. It follows immediately from the definitions of the duality relations/functions that ENEG(INEG(O)) = DUAL(O). Since this holds independently of the concrete operator O, we can write ENEG INEG = DUAL, which means that applying INEG and then ENEG (to some operator) yields the same result as applying DUAL (to that same operator). In a similar vein, since for all operators O: An ! B it holds that INEG(INEG(O)) = O = ID(O), we can write INEG INEG = ID. In this way, we obtain a large number of functional identities that descibe the behavior of the duality and internal/external negation functions:


These identities can be summarized by stating that the functions ID, ENEG, INEG and DUAL jointly form a group that is isomorphic to the Klein four group V4 (German: Kleinsche Vierergruppe). Its Cayley table looks as follows:

The fact that duality behavior can be described by means of V4 was already noted by authors such as Piaget (1949), Gottschalk (1953), Löbner (1990), van Benthem (1991) and Peters and Westerståhl (2006). However, many of them used slightly differing labels for the group elements; here is an overview table:

Piaget Gottschalk Löbner Peters & Westerståhl
ID identit´e (I) identity (E) identity
ENEG inversion (N) negational (N) negation outer negation
INEG r´eciprocation (R) contradual (C) subnegation inner negation
DUAL corr´elation (C) dual (D) dual dual

This group-theoretical perspective also allows us to describe the degenerate cases of operators that are their own duals or their own internal negations. Note that these cases are characterized by the identities DUAL = ID and INEG = ID, respectively. Note that if DUAL = ID, then also ENEG = INEG, and thus V4 collapses into a group that is isomorphic to Z2; see the left and middle Cayley tables below and also recall Figure 5(b). Similarly, if INEG = ID, then also ENEG = DUAL, and thus V4 again collapses into a group that is isomorphic to
Z2; see the right and middle Cayley tables below and also recall Figure 5(c).

0 1
0 0 1
1 1 0

Finally, it should be noted that the Klein four group V4 is isomorphic to the direct product of Z2 with itself, that is, V4 = Z2 Z2 = Z22. Although this fact is well-known in group theory, its logico-linguistic significance has only recently begun to be explored. The Cayley table for Z2 Z2 looks as follows:

(0; 0) (1; 0) (0; 1) (1; 1)
(0; 0) (0; 0) (1; 0) (0; 1) (1; 1)
(1; 0) (1; 0) (0; 0) (1; 1) (0; 1)
(0; 1) (0; 1) (1; 1) (0; 0) (1; 0)
(1; 1) (1; 1) (0; 1) (1; 0) (0; 0)

Comparing the Cayley tables in (43) and (44), we see that the concrete isomorphism looks as follows:

ID $ (0; 0); ENEG $ (1; 0); INEG $ (0; 1); DUAL $ (1; 1): (45)
This group-theoretical isomorphism turns out to be very informative: 0 and 1 represent the number of times negation is being applied in a given Boolean algebra, and the left and right coordinates stand for the target and source Boolean algebra (that is, external and internal negation), respectively. For example, ENEG corresponds to (1; 0), which represents 1 external negation and 0 internal negations. Similarly, INEG corresponds to (0; 1), which represents 0 external negations and 1 internal negation (keeping in mind that internal negation applies to all arguments). Using the conventions that :0 Aa := a and :1 Aa := :Aa for all a 2 A, we thus find for any operator O: An ! B and i; k 2 f0; 1g:

(i; k)(O)(a1; : : : ; an) = :i
Aa1; : : : ;:k
Aan): (46)

Representing V4 as Z2 Z2 thus gives us a firm syntactic handle on duality: it shows how duality behavior arises out of the interplay of the independent behaviors (0 or 1) of an external and an internal negation (resp. left and right coordinate).

Composed operators. The group-theoretical account of duality can be extended in a number of different ways. For example, Demey (2012a) has used it to study the duality behavior of composed operators. Given operators O1 : An ! B and  O2 : B ! C, we will write O2 O1 : An ! C for the composed operator that first applies O1 to the arguments, and then O2. For simplicity, we will assume that O2 is unary, but this assumption is not essential. In this article, we will focus on the basic example 8 from modal syllogistics (Buridan 2001; Read 2012). A more linguistically motivated example, viz. possessives with multiple quantifiers, such as three athletes of each country, is discussed in Westerståhl (2012).

Each of O1 and O2 has its own internal and external negation, but it is easy to see that in the composed operator O2 O1, the external negation of O1 coincides with the internal negation of O2. As a consequence, the composed operator O2O1 has three negations, namely external, intermediate, and internal (formally: :C, :B and :A, respectively). Since each of these 3 negations may or may not be applied, O2 O1 gives rise to 23 = 8 operators. As an example, consider the case of 8  23 in (47):

:O2:O1: :8x::P(x) :O2:O1: :8x::P(x)
:O2:O1: :8x::P(x) :O2:O1: :8x::P(x)
:O2:O1: :8x::P(x) :O2:O1: :8x::P(x)
:O2:O1: :8x::P(x) :O2:O1: :8x::P(x)

In comparison to single operators, we see that composed operators have one additional negation, and hence, it should not be surprising that their duality behavior is not governed by Z2Z2, but rather by Z2Z2Z2. Next to INEG and ENEG, there is also the intermediate negation function MNEG, and the isomorphism given in (45) is generalized to the one defined by (48):

ID $ (0; 0; 0); ENEG $ (1; 0; 0); MNEG $ (0; 1; 0); INEG $ (0; 0; 1): (48)

In analogy to (46), it is now again possible to succinctly describe the effects of these operations:

(i; j; k)(O2 O1)(a1; : : : ; an) = :i
Aa1; : : : ;:k
Aan): (49)

We also see that composed operators give rise to a much richer duality behavior than single operators. Recall that in the case of single operators, duality can be seen as the combination of the external and internal negations (DUAL = ENEG INEG). In the case of composed operators, however, we have three negations, and thus three pairwise combinations: ENEG INEG, ENEG MNEG, and
MNEG INEG. Although the first of these seems to be closest to what is classically called ‘duality’, the other two can plausibly be seen as (non-standard) duality operations too. Finally, there is also the operation ENEG MNEG INEG, which operates on all negations simultaneously.

Visualizing these duality patterns cannot be done by means of a square, but rather requires a duality cube. For example, Figure 6 shows a duality cube for the composed operator 8 ; analogously, Westerståhl (2012) draws a duality cube for possessives with multiple quantifiers. Demey (2012a) makes use of the grouptheoretical perspective to study the internal structure of this cube. It is a wellknown group-theoretical fact that the group Z2Z2Z2 has exactly 7 subgroups that are isomorphic to V4. These can naturally be partitioned into three families, based on their number of ‘basic’ operations (that is, operations governing a single
negation: ENEG, MNEG and INEG): (a) the first family consists of three groups that contain two basic operations, (b) the second family consists of three groups

Figure 6: Duality cube for the composed operator 8 .
that contain one basic operation, and (c) the third family consists of a single group that does not contain any basic operations. Examples of groups from each of these families are given in (50a–c), respectively.


Each of these groups defines two complementary ‘duality squares’, and we thus find a total number of 7 2 = 14 ‘duality squares’ inside the duality cube. (We are using the term ‘duality square’ inside scare quotes here, because some of these squares visualize non-standard duality operations that involve MNEG; see above.) Note that, in contrast to the groups of families (a) and (b), the non-ID elements of
the group in family (c) pairwise share a basic operation. Demey (2012a) argues that this difference in group-theoretical structure correlates with a difference in geometric embedding of the squares inside the cube.

Generalized Post duality. The group-theoretical account described above conforms to the basic requirement that internal negation be applied to all arguments of a given operator; see the k-superscripts in (46) and (49). Although the most canonical examples of duality indeed obey this requirement (recall the example of conjunction/disjunction from Section 1), there are also operators whose duality behavior seems to violate this requirement. For example, it was shown in Section 2 that in the relational perspective on generalized quantifiers, internal negation is applied only to the second argument—so that the internal negation of Q(A;B) is Q(A; :B), rather than Q(:A;:B). Similarly, in syllogistics one
can independently study the effects of predicate negation—as in Q(A;:B)—and of subject negation—as in Q(:A;B) (Keynes 1884; Johnson 1921; Reichenbach 1952; Hacker 1975). Finally, in public announcement logic, the dual of [!'] is defined as :[!']: , so the internal negation of the binary [! ] operator is applied only to its second argument ( ) (Demey 2012b).

If we drop the requirement that internal negation be applied to all arguments, the behavior that arises is called generalized Post duality (Humberstone 2011, p. 410ff.; Urquhart 2008). Consider an n-ary operator O: An ! B. This operator has 1 external and n independent internal negations. Since each of these n + 1 negations may or may not be applied, O gives rise to 2n+1 operators. As an example, consider the binary operator of conjunction:

:O(:;:) :(:p ^ :q) :O(:;:) :(:p ^ :q)
:O(:;:) :(:p ^ :q) :O(:;:) :(:p ^ :q)
:O(:;:) :(:p ^ :q) :O(:;:) :(:p ^ :q)
:O(:;:) :(:p ^ :q) :O(:;:) :(:p ^ :q)

In comparison to the ordinary duality behavior of a binary operator, we thus have n + 1 rather than 2 independent negations, and generalized Post duality behavior is governed by the group Zn+1
2 rather than Z22 (Libert 2012). Next to ENEG, the operation of INEG is split into INEG1, . . . , INEGn, with INEGi operating on the
operator’s ith argument, for 1 i n. Furthermore, the isomorphism given in (45) can be generalized to the one defined by (52):

ID $ (0; 0; 0; : : : ; 0; 0) ENEG $ (1; 0; 0; : : : ; 0; 0)
INEG1 $ (0; 1; 0; : : : ; 0; 0) INEGn $ (0; 0; 0; : : : ; 0; 1). (52)

In analogy to (46), the effects of these operations can be described succinctly by means of (53). Note that (46) can be seen as a special case of (53), by requiring that k1 = k2 = = kn.

(i; k1; : : : ; kn)(O)(a1; : : : ; an) = :i
A a1; : : : ;:kn
A an): (53)

As was the case with the duality behavior of a composed operator, we see that the generalized duality behavior of an n-ary operator is much richer than its

Figure 7: ‘Generalized Post duality’ cube for the binary operator ^.
‘ordinary’ duality behavior. Consider again the binary operator of conjunction. If both arguments can be negated independently, there are several combinations of external and internal negation (ENEG INEG1, ENEG INEG2 and ENEG INEG1 INEG2), all of which can plausibly be called duality operations. (The last one of these involves negating all arguments, and thus coincides with ‘ordinary’ duality.)
As a consequence, visualizing the generalized duality behavior of conjunction requires a duality cube, as in Figure 7. Note that the diagonal plane that spans the front left and back right vertical edges of this cube corresponds to the ‘ordinary’ duality square for conjunction (see Figures 2(c) and 3(a)).

Finally, it should be noted that the duality cubes in Figures 6 and 7 are highly similar, which is due, of course, to the fact that they are two distinct manifestations of the group Z32 (and can thus serve as two distinct concrete interpretations of the abstract cube in Moretti (2012, p. 88)). This illustrates the strong connection between the ‘ordinary’ duality behavior of composed operators on the one hand
and the generalized duality behavior of single (binary) operators on the other. Both cases involve creating an additional negation: the former achieves this by ‘splitting’ the operator, while the latter achieves it by ‘splitting’ the argument positions.

5. Duality Relations and Aristotelian Relations

The Aristotelian relations. Next to the duality relations, there is another widely known set of logical relations, namely the Aristotelian relations, which were originally defined in the logical works of Aristotle (Ackrill 1961). These are defined relative to some background logical system S, which is assumed to have connectives
expressing Boolean negation (:), conjunction (^) and implication (!), and a model-theoretic semantics (j=). Formally, the Aristotelian relations are defined as follows: the formulas ' and are said to be

S-contradictory iff S j= :(' ^ ) and S j= :(:' ^ : ),
S-contrary iff S j= :(' ^ ) and S 6j= :(:' ^ : ),
S-subcontrary iff S 6j= :(' ^ ) and S j= :(:' ^ : ),
in S-subalternation iff S j= ' ! and S 6j= ! '.

When the system S is clear from the context, it is often left implicit (Smessaert and Demey 2014). Informally, two formulas are contradictory iff they cannot be true together and cannot be false together; they are contrary iff they cannot be true together but may be false together; they are subcontrary iff they cannot be false together but may be true together; they are in subalternation iff the first one entails the second one but not vice versa. Finally, it should be noted that this definition of the Aristotelian relations can be generalized to arbitrary Boolean algebras, just like the definition of the duality relations provided in Section 3 (Demey and Smessaert 2016). However, since this generalization is less relevant for our current concerns, it will not be discussed here.

The Aristotelian relations holding between a given set of formulas are often visualized by means of Aristotelian diagrams (based on graphical conventions such as the one shown in Figure 8(d)). The most widely known of these diagrams is the so-called ‘square of oppositions’, which comprises 4 formulas and the 6
Aristotelian relations holding between them. For example, Figure 8 shows Aristotelian squares involving (a) the propositional connectives of conjunction and disjunction, (b) the universal and existential quantifiers, and (c) the modal operators of necessity and possibility.

Similarities. The Aristotelian squares in Figure 8(a–c) closely resemble the duality squares in Figure 3(a–c), respectively. In particular: (i) on the diagonals, the duality relation ENEG corresponds to the Aristotelian relation of contradiction, (ii)
on the vertical edges, the duality relation DUAL corresponds to the Aristotelian relation of subalternation, and (iii) on the horizontal edges, the duality relation INEG

Figure 8: Aristotelian squares: (a) conjunction-disjunction, (b) universalexistential, (c) necessity-possibility; (d) graphical representations of the Aristotelian relations.
corresponds to the Aristotelian relations of contrariety and subcontariety. These strong similarities might explain why authors such as D’Alfonso (2012), Mélès (2012) and Schumann (2013) have come close to straightforwardly identifying the two types of squares—for example, by using Aristotelian terminology to describe the duality square (or vice versa), or by viewing one as a generalization of the other.

Furthermore, both Aristotelian and duality diagrams have been used by linguists to explain certain lexicalization patterns in natural languages. For example, Horn (1989) and Jaspers (2005) make use of the Aristotelian relations to explain the so-called non-lexicalization of the O-corner, that is, the observation that natural
languages have primitive lexical items for the quantifiers all, some and none, but not for not all (the latter’s lexicalization as a single word—for example: *nall—does not occur in natural language). The same asymmetry can be found in the lexicalization pattern of the propositional connectives: natural languages have primitive lexical items for and, or and nor, but not for not and (the latter’s lexicalization as a single word—for example: *nand—does not occur in natural language). These linguistic phenomena are also explained by L¨obner (1990, 2011), but his phase quantification account is based on the duality relations, rather than the Aristotelian relations. Finally, it should be noted that the Aristotelian account of these lexical asymmetries has recently been generalized beyond the square by Seuren and Jaspers (2014).

Dissimilarities. As noted by Löbner (2011), Chow (2012) and Westerståhl (2012), there are also several differences between the duality square and the Aristotelian square. For example, although duality seems to correspond to subalternation, the former relation is symmetric, while the latter is asymmetric. Furthermore, although
both sets of relations contain four members, there is no clean one-to-one mapping in either direction: on the one hand, the Aristotelian relations of contrariety and subcontrariety correspond to a single duality relation (INEG), and on the other hand, the duality relation ID does not correspond to any Aristotelian relation whatsoever. (However, Smessaert and Demey (2014) introduce a quasi-
Aristotelian relation that holds precisely between a formula and itself, and thus does correspond to the duality relation ID.)

Another difference concerns sensitivity to the specific axioms of the background logic (Demey 2015). Consider, for example, the modal operators;: BS ! BS, where BS is the Lindenbaum-Tarski algebra of some normal modal logic S. The Aristotelian relation holding between these operators depends on the logical system S: in normal modal systems that are at least as strong as KD, there is a subalternation from p to p, but in weaker normal modal systems, there is no Aristotelian relation at all between these two formulas (Hughes and Cresswell 1996). Nevertheless, in all of these modal systems, it is the case that ' is logically equivalent to ::' for all formulas ' 2 LS, and hence ['] = ::['] for all ['] 2 BS. This means exactly that DUAL(;), and hence the duality relation holding between and holds independently of the specific axioms of the logical system S.

At this point, it might be objected that the duality relations are logic-sensitive after all; for example, conjunction and disjunction are dual to one another in classical propositional logic (CPL), but not in intuitionistic propositional logic (IPL). However, the Lindenbaum-Tarski algebra of IPL is itself not a Boolean algebra (but rather a Heyting algebra), and thus falls outside the scope of the definition of
the duality relations that was provided in Section 3.

Another difference between the duality and the Aristotelian relations is that the former, but not the latter, are functional. As was already discussed in Section 3, every formula has exactly one internal negation, exactly one external negation, and exactly one dual (up to logical equivalence). By contrast, the Aristotelian

Figure 9: (a) Aristotelian hexagon (for a modal system that is at least as strong as KD, (b) duality ‘hexagon’, and (c–d) its two components.
relations are not functional: for example, a given formula might be contrary to several (non-equivalent) formulas. As illustrated by Smessaert (2012), this difference becomes much more apparent if we move from squares to larger diagrams. For example, Figures 9(a–b) show an Aristotelian and a duality diagram for the same set of six modal formulas. Consider the formula p. Within the Aristotelian
hexagon, this formula has two (non-equivalent) contraries, namely :p
and p ^ :p. From a duality perspective, the first of these two formulas is the internal negation of p, but the second one stands in no duality relation at all to p. The duality ‘hexagon’ in Figure 9(b) thus ultimately turns out to consist of two independent components: the ordinary duality square in Figure 9(c) and the degenerate duality pattern (containing two formulas that are their own internal
negations) in Figure 9(d).

Finally, it should also be noted that it is perfectly possible for two operators/formulas to stand in a duality relation without standing in any Aristotelian relation, or vice versa. Moving to the level of diagrams, this means that it is possible for four operators/formulas to constitute a duality square without constituting an Aristotelian square, or vice versa (Löbner 1986). For example, the aspectual
adverbs already, still, not yet and no longer constitute a duality square—see Figure 4(b)—, but not an Aristotelian square: for example, already and still are each other’s duals, but there is no subalternation between them in either direction. Analogously, the modal formulas p, p _ :p, :p and p ^ :p constitute an Aristotelian square (embedded inside the Aristotelian hexagon in Figure 9(a)
with a counterclockwise rotation of 120), but not a duality square: for example, p and p ^ :p are contraries, but there is no duality relation between them. In fact, looking at these four modal formulas in the duality ‘hexagon’ in Figure 9(b), we see that p_:p and p^:p by themselves constitute a degenerate duality pattern (Figure 9(d)), while p and :p belong to another, ‘real’ duality square
(Figure 9(c)).

6. Conclusion

The first part of this article provided an overview of the most important examples of duality in logic and language. The second part moved to a more theoretical level, by presenting a mathematical framework for analyzing this kind of duality, discussing its group-theoretical properties, and exploring its connection with the Aristotelian relations. The entire article emphasized the
fundamental continuity of duality phenomena in logical and natural languages, thereby illustrating the fruitfulness of duality as a unifying concept at the interface between logic and linguistics.

7. References and Further Reading

  • Ackrill, J. (1961). Aristotle’s Categories and De Interpretatione. Clarendon Press, Oxford.
  • Barwise, J. and Cooper, R. (1981). Generalized quantifiers and natural language. Linguistics and Philosophy, 4:159–219.
  • Blackburn, P., de Rijke, M., and Venema, Y. (2001). Modal Logic. Cambridge University Press, Cambridge.
  • Brisson, C. (2003). Plurals, All, and the nonuniformity of collective predication predication. Linguistics and Philosophy, 26:129–184.
  • Buridan, J. (2001). Summulae de Dialectica. Translated by Gyula Klima. Yale University Press, New Haven, CT.
  • Chow, K. (2012). General patterns of opposition squares and 2n-gons. In Béziau, J.-Y. and Jacquette, D., editors, Around and Beyond the Square of Opposition, pages 263–275. Springer, Basel.
  • D’Alfonso, D. (2012). The square of opposition and generalized quantifiers. In Béziau, J.-Y. and Payette, G., editors, Around and Beyond the Square of Opposition, pages 219–227. Springer, Basel.
  • Davey, B. A. and Priestley, H. A. (2002). Introduction to Lattices and Order (Second Edition). Cambridge University Press, Cambridge.
  • Demey, L. (2012a). Algebraic aspects of duality diagrams. In Philip T. Cox, B. P. and Rodgers, P., editors, Diagrammatic Representation and Inference, Lecture Notes in Computer Science (LNCS) 7352, pages 300-302. Springer, Berlin.
  • Demey, L. (2012b). Structures of oppositions for public announcement logic. In Béziau, J.-Y. and Jacquette, D., editors, Around and Beyond the Square of Opposition, pages 313–339. Springer, Basel.
  • Demey, L. (2015). Interactively illustrating the context-sensitivity of Aristotelian diagrams. In Christiansen, H., Stojanovic, I., and Papadopoulos, G., editors, Modeling and Using Context, LNCS 9405, pages 331–345. Springer.
  • Demey, L. and Smessaert, H. (2016). Metalogical decorations of logical diagrams. Logica Universalis, 10:233–292.
  • Dowty, D. (1987). Collective predicates, distributive predicates, and All. In Marshall, F., editor, Proceedings of the 3rd Eastern States Conference on Linguistics (ESCOL), pages 97–115. Ohio State University, Columbus, OH.
  • Freudenthal, H. (1960). Lincos. Design of a Language for Cosmic Intercourse. North-Holland, Amsterdam.
  • Gamut, L. (1991). Logic, Language, and Meaning. Volume 2: Intensional Logic and Logical Grammar. University of Chicago Press, Chicago, IL.
  • Givant, S. and Halmos, P. (2009). Introduction to Boolean Algebras. Springer, New York, NY.
  • Gottschalk, W. H. (1953). The theory of quaternality. Journal of Symbolic Logic, 18:193–196.
  • Gowers, T., editor (2008). The Princeton Companion to Mathematics. Princeton University Press, Princeton, NJ.
  • Hacker, E. A. (1975). The octagon of opposition. Notre Dame Journal of Formal Logic, 16:352–353.
  • Henkin, L., Monk, J. D., and Tarski, A. (1971). Cylindric Algebras, Part I. North-Holland, Amsterdam.
  • Horn, L. (2006). The border wars: A neo-Gricean perspective. In von Heusinger, K. and Turner, K., editors, Where Semantics Meets Pragmatics, pages 21–48. Elsevier, Amsterdam.
  • Horn, L. R. (1989). A Natural History of Negation. University of Chicago Press, Chicago, IL.
  • Horn, L. R. (2004). Implicature. In Horn, L. R. and Ward, G., editors, Handbook of Pragmatics, pages 3–28. Blackwell, Oxford.
  • Hughes, G. E. and Cresswell, M. J. (1996). A New Introduction to Modal Logic. Routledge, London.
  • Humberstone, L. (2011). The Connectives. MIT Press, Cambridge, MA.
  • Iten, C. (1998). Because and although: a case of duality? In Rouchota, V. and Jucker, A. H., editors, Current Issues in Relevance Theory, pages 59–80. John Benjamins, Amsterdam.
  • Iten, C. (2005). Linguistic Meaning, Truth Conditions and Relevance: The Case of Concessives. Palgrave Macmillan, Basingstoke/New York (NY).
  • Jaspers, D. (2005). Operators in the Lexicon. On the Negative Logic of Natural Language. LOT Publications, Utrecht.
  • Johnson, W. (1921). Logic. Part I. Cambridge University Press, Cambridge.
  • Kabakov, F. A., Parkhomenko, A. S., Voitsekhovskii, M. I., and Fofanova, T. S. (2014). Duality principle. In Encyclopedia of Mathematics. Springer, available at http://www.encyclopediaofmath.org/index.php?title=Duality principle&oldid=35095.
  • Keynes, J. N. (1884). Studies and Exercises in Formal Logic. MacMillan, London.
  • König, E. (1991). Concessive relations as the dual of causal relations. In Zaefferer, D., editor, Semantic Universals and Universal Semantics, volume 12 of Groningen-Amsterdam Studies in Semantics, pages 190–209. Foris, Berlin.
  • Kripke, S. (1977). Speaker’s reference and semantic reference. In French, P., Uehling, Jr., T., and Wettstein, H., editors, Contemporary perspectives in the philosophy of language, pages 6–27. University of Minnesota Press, Minneapolis, MN.
  • Libert, T. (2012). Hypercubes of duality. In Béziau, J.-Y. and Jacquette, D., editors, Around and Beyond the Square of Opposition, pages 293–301. Springer, Basel.
  • Löbner, S. (1986). Quantification as a major module. In Groenendijk, J., de Jongh, D., and Stokhof, M., editors, Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers, pages 53–85. Foris, Dordrecht.
  • Löbner, S. (1987). Natural language and generalized quantifier theory. In Gärdenfors, P., editor, Generalized Quantifiers, pages 181–201. Reidel, Dordrecht.
  • Löbner, S. (1989). German schon – erst – noch: an integrated analysis. Linguistics and Philosophy, 12:167–212.
  • Löbner, S. (1990). Wahr neben Falsch. Duale Operatoren als die Quantoren natürlicher Sprache. Max Niemeyer Verlag, T¨ubingen.
  • Löbner, S. (1999). Why German schon and noch are still duals: a reply to van der Auwera. Linguistics and Philosophy, 22:45–107.
  • Löbner, S. (2011). Dual oppositions in lexical meaning. In Maienborn, C., von Heusinger, K., and Portner, P., editors, Semantics: An International Handbook of Natural Language Meaning, volume I, pages 479–506. de Gruyter Mouton, Berlin.
  • Mac Lane, S. (1998). Categories for the Working Mathematician. Springer, Berlin.
  • Mélès, B. (2012). No group of opposition for constructive logics: The intuitionistic and linear cases. In Béziau, J.-Y. and Payette, G., editors, Around and Beyond the Square of Opposition, pages 201–217. Springer, Basel.
  • Michaelis, L. (1996). On the use and meaning of already. Linguistics and Philosophy, 19:477–502.
  • Mittwoch, A. (1993). The relationship between schon/already and noch/still: A reply to Löbner. Natural Language Semantics, 2:71–82.
  • Moretti, A. (2012). Why the logical hexagon? Logica Universalis, 6:69–107.
  • Peters, S. and Westerståhl, D. (2006). Quantifiers in Language and Logic. Oxford University Press, Oxford.
  • Peterson, P. (1979). On the logic of “few”, “many”, and “most”. Notre Dame Journal of Formal Logic, 20:155–179.
  • Piaget, J. (1949). Traité de logique. Essai de logistique opératoire. Colin/Dunod, Paris.
  • Read, S. (2012). John Buridan’s theory of consequence and his octagons of opposition. In Béziau, J.-Y. and Jacquette, D., editors, Around and Beyond the Square of Opposition, pages 93–110. Springer, Basel.
  • Reichenbach, H. (1952). The syllogism revised. Philosophy of Science, 19:1–16.
  • Schumann, A. (2013). On two squares of opposition: the Lesniewski’s style formalization of synthetic propositions. Acta Analytica, 28:71–93.
  • Seuren, P. and Jaspers, D. (2014). Logico-cognitive structure in the lexicon. Language, 90:607–643.
  • Smessaert, H. (2012). The classical Aristotelian hexagon versus the modern duality hexagon. Logica Universalis, 6:171–199.
  • Smessaert, H. and Demey, L. (2014). Logical geometries and information in the square of oppositions. Journal of Logic, Language and Information, 23:527-565.
  • Smessaert, H. and ter Meulen, A. (2004). Temporal reasoning with aspectual adverbs. Linguistics and Philosophy, 27:209–261.
  • Urquhart, A. (2008). Emil Post. In Gabbay, D. M. and Woods, J., editors, Handbook of the History of Logic. Volume 5. Logic from Russell to Church. Elsevier, Amsterdam.
  • van Benthem, J. (1991). Linguistic universals in logical semantics. In Zaefferer, D., editor, Semantic Universals and Universal Semantics, volume 12 of Groningen-Amsterdam Studies in Semantics, pages 7-36. Foris, Berlin.
  • van der Auwera, J. (1993). ‘Already’ and ‘still’: beyond duality. Linguistics and Philosophy, 16:613–653.
  • Westerståhl, D. (2012). Classical vs. modern squares of opposition, and beyond. In Béziau, J.-Y. and Payette, G., editors, The Square of Opposition. A General Framework for Cognition, pages 195–229. Peter Lang, Bern.


Author Information

Lorenz Demey
Email: lorenz.demey@kuleuven.be
Catholic University of Leuven


Hans Smessaert
Email: hans.smessaert@kuleuven.be
Catholic University of Leuven