Abstract
We define hypercubes of duality—of which the modern square of opposition is an emblematic example—in proper mathematical terms, as orbits under some action of the additive group \(\mathbb{Z}_{2}^{m}\), with m∈ℕ. We then introduce a notion of dimension for duality in classical logic and show, for example, how propositional expressions in at most three variables can be classified according to that notion. The paper ends with logical formulations of some representation theorem for Galois connections on powersets, where we see an underlying square of duality.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
There are references in various areas of logic where the notion of duality is introduced in a more general way; see [1] for instance.
- 2.
These can be semantical objects (structures) as well as syntactical ones (formulas).
- 3.
Throughout this paper, \(\mathbb {Z}_{2}^{n}\) will be regarded as the set of all n-uples of 0 and 1’s with addition performed component-wise and modulo 2.
- 4.
Curiously, it seems there is no natural positive notation in the literature for the dual connective of ⇒, that is, the binary connective that is denoted here by ⇍. Same for ⇐.
- 5.
Clearly, ι(1 3) & ι(1 4) have the same action on (p 1⇒p 2)⇔p 3, not on (p 1⇒p 2)⇒p 3.
- 6.
The use of ≬ can be found in [2] for instance, but there is no notation for its negation.
- 7.
Again, it seems there is no natural positive notation for the dual of the inclusion relation ⊆, that is, the binary relation that is denoted here by \(\not \supseteq\). Likewise for ⊇.
References
Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories: The Joy of Cats. Dover, Mineola (2004)
Dubreil, P.: Algèbre, Tome 1, 2ième édn. Cahiers scientifiques, Fascicule XX. Gauthier-Villars, Paris (1954)
Erné, M., Koslowski, J., Melton, A., Strecker, G.E.: A primer on Galois connections. In: Papers on General Topology and Applications. Annals of the New York Academy of Sciences, vol. 704, pp. 103–125 (1993)
Gottschalk, W.H.: The theory of quaternality. J. Symb. Log. 18, 193–196 (1953)
Ore, O.: Galois connexions. Trans. Am. Math. Soc. 55, 493–513 (1944)
Reichenbach, H.: The syllogism revised. Philos. Sci. 19, 1–16 (1952)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendix
Appendix
Here we list all the orbits for the action of Example 2 when m=3. These are classified according to the number b of black dots in the cube-shape representation of a propositional expression, and their possible arrangements up to permutations of the variables p 1, p 2, p 3. For each configuration \(\mathcal{C}^{b}_{k}\), we give one generic propositional expression as example, with dimension \(|\mathcal{C}^{b}_{k}|\). The index k just serves here as a numbering for different configurations with the same b. We use multiplicative notation (namely a dot) for conjunction and write E ij for (p i ⇔p j ), with i≠j. Note that the actions of ι(1 1), ι(1 2), ι(1 3) preserve the numbers of white dots and black dots, whereas the action of ι(1 4) must exchange these numbers; so the values of b are restricted to 0, 1, 2, 3, 4.
The generic propositional expression for \(\mathcal{C}^{4}_{6}\) is in fact logically equivalent to p 1⇔p 2⇔p 3, which is not to be confused with E 12⋅E 13⋅E 23, that is, \(\mathcal{C}^{2}_{3}\). Note also that the ternary connective ‘If… , then… ; else…’, i.e. the propositional expression (p 1⇒p 2)∧(¬p 1⇒p 3), coincides with \((\mathcal{C}^{4}_{3})^{\iota(\boldsymbol {1}_{1})}\).
Now, in the next table, we count the number \(n^{b}_{k}\) of orbits one obtains by permuting the variables p 1, p 2, p 3 from each configuration \(\mathcal{C}^{b}_{k}\), and then the number \(m^{b}=\sum_{k} 2^{|\mathcal{C}^{b}_{k}|}\cdot n^{b}_{k}\) of propositional expressions whose orbits are generated by a cube-shaped domino with b black dots.
So the number of orbits is \(\sum_{b,k} n^{b}_{k}=30\), and we have ∑ b m b=256, which is all right equal to the number of propositional expressions in (at most) three variables—up to logical equivalence. For those familiar with finite group theory, we note that the total number of orbits under the action Example 2 can easily be obtained, for any m, by Burnside’s counting theorem.
Rights and permissions
Copyright information
© 2012 Springer Basel
About this chapter
Cite this chapter
Libert, T. (2012). Hypercubes of Duality. In: Béziau, JY., Jacquette, D. (eds) Around and Beyond the Square of Opposition. Studies in Universal Logic. Springer, Basel. https://doi.org/10.1007/978-3-0348-0379-3_20
Download citation
DOI: https://doi.org/10.1007/978-3-0348-0379-3_20
Publisher Name: Springer, Basel
Print ISBN: 978-3-0348-0378-6
Online ISBN: 978-3-0348-0379-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)