Abstract
In this study, we examine modern reading of the Square of Opposition by means of intensional logic. Explicit use of possible world semantics helps us to sharply discriminate between the standard and modal (‘alethic’) readings of categorical statements. We get thus two basic versions of the Square. The Modal Square has not been introduced in the contemporary debate yet and so it is in the centre of interest. Some properties ascribed by medieval logicians to the Square require a shift from its Standard to Modal version. Not inevitably, because for each of the two squares there exists its mate which can be easily confused with it. The discrimination between the initial and modified versions of the Standard and Modal Square enable us to separate findings about properties of the Square into four groups, which makes their proper comparison possible. The disambiguation so achieved leads to the solution of various puzzles often mentioned in recent literature.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Needles to remind the present reader of the recent wave of scholars, papers, books and events organized by J.-Y. Béziau which are focused on Squares, Hexagons and other figures displaying oppositions (cf. [3]).
- 2.
- 3.
One of several reasons for adoption of hyperintensions is this. According to possible world semantics (PWS), the meaning of all true mathematical sentences is one and the same, viz. the proposition true in all possible worlds. Consequently, the argument “Alice believes that 8 = 8. Therefore, Alice believes that 2 × 4 = √64.” is evaluated as valid, which is intuitively not, Alice cannot be omniscient. Obviously, there is a structuredness issue which is relevant to the invalidity of such arguments. Semantic theory of TIL solves the paradox of omniscience by discriminating between the proposition true in all possible worlds, which is not the meaning but denotation of the sentences, and its infinitely many constructions differing in their structure.
- 4.
Of course, it may happen that a construction is denoted by an expression which expresses a higher-order construction of the denoted construction. Moreover, expression can lack denotation or even meaning.
- 5.
On the right side of ⇔ , ! can be omitted. Below, we will also use ! even if it is not inevitable.
- 6.
Compare it with [\(\mathbf{True}^{\mathbf{P}\boldsymbol{\pi }}_{w}\) p] ⇔ d f [p w = 1 ]. To the two notions of truth there correspond two notions of falsity. Cf. [27] for analysis of truth in TIL.
- 7.
Adopted from [23, 24]. The definitions of All and Some are borrowed from [32] where Tichý showed also concise proofs of various relations between constructions involving them. Further remarks: definienda suggested in brackets are usual in the topic of generalized quantifiers; common construal of generalized quantifiers as (binary) relations between classes presupposes Schönfinkel’s reduction (‘currying’) which is not generally valid in the logic utilizing partial functions.
- 8.
Cf. [16].
- 9.
Recall that this concept can be utilized for an apt definition of contradictoriness between propositional constructions.
- 10.
- 11.
Abbreviating thus “contrariety and subcontrariety”.
- 12.
Subaltern, Contrary, Subcontrary /(o o ω o ω ) (the relations between propositions).
- 13.
\(\neg \boldsymbol{E}\) is a natural abbreviation of \(\lambda w.\neg [\mathbf{True}^{\mathbf{T\boldsymbol{\pi }}_{w}}\ \boldsymbol{E}]\). Analogously for \(\neg \boldsymbol{A}\), \(\neg \boldsymbol{I}\), \(\neg \boldsymbol{O}\).
- 14.
We will treat the compound symbols of quantifiers as simple. Their obvious definitions see below.
- 15.
A rare example of their distinguishing as Apuleian Square and the (Gottschalk’s) Logical Quatern can be found in [30, p. 294].
- 16.
- 17.
(Schematic) statements such as \(\lambda w.\boldsymbol{\square }\boldsymbol{P}\) are analytic—they are constructions constructing constant propositions, which is apparent from their ‘bodies’ (e.g. \(\boldsymbol{\square }\boldsymbol{P}\)) which contain no free possible world variables.
- 18.
Analogously as above, statements such as λ w[Requisite \(\boldsymbol{G\,F}\)] are analytic—they are constructions constructing constant propositions, which is apparent from their ‘bodies’ which (normally) contain no free possible world variables.
- 19.
For an exhaustive study of such notions see [22] from which we borrow our definitions.
- 20.
After finishing my paper, M. Duží—who is also using Tichý’s logic—reminded me that she proposed the essentials of the modal modern reading of the Square in her presentation [11]. She also proposed to call properties concepts, which leads to the quadruple of statements about their two basic relations; schematically: “The concept F is subsumed by/compatible with the concept G/non-G”.
- 21.
Cf. [22], where void properties are defined and related to accidental, essential and partly essential properties. However, there is only a partial correspondence of the quadruple of those properties with the Square studied below because requisites and potentialities are not essential or accidental properties, but kinds of properties essential for or accidental for (cf. Sect. 5.3).
- 22.
Cf. [28].
- 23.
We keep here the original notation though it clashes with our previous use of “U”.
- 24.
The work on the paper has been partly supported by the grant of the Czech Science Foundation (GACR) ‘Semantic Notions, Paradoxes and Hyperintensional Logic Based on Modern Theory of Types,’ registration no. GA16-19395S.
References
J.L. Ackrill (ed.), Aristotle, De Interpretatione (Clarendon Press, Oxford, 1963)
J.-Y. Béziau, New light on the square of opposition and its nameless corner. Logic. Invest. 10, 218–232 (2003)
J.-Y. Béziau, The new rising of the square of opposition, in Around and Beyond the Square of Opposition, ed. by J.-Y. Béziau, D. Jacquette (Birkhäuser, Basel, 2012), pp. 3–19
J.-Y. Béziau, The power of the hexagon. Log. Univers. 6, 1–43 (2012)
R. Blanché, Quantity, modality, and other kindred systems of categories. Mind 61, 369–375 (1952)
R. Blanché, Structures intellectuelles: essai sur l’organisation systématique des concepts (Vrin, Paris, 1966)
M. Brown, Generalized quantifiers and the square of opposition. Notre Dame J. Formal Logic 25, 303–322 (1984)
A. Church, A formulation of the simple theory of types. J. Symb. Log. 5, 56–68 (1940)
D. D’Alfonso, The square of opposition and generalized quantifiers, in Around and Beyond the Square of Opposition, ed. by J.-Y. Béziau, D. Jacquette (Birkhäuser, Basel, 2012), pp. 219–227
A.-A. Dufatanye, From the logical square to Blanché’s hexagon: formalization, applicability and the idea of the normative structure of thoughts. Log. Univers. 6, 45–67 (2012)
M. Duží, Squaring the square of opposition with empty concepts. Slides presented at 4th Congress Square of Oppositions (Vatican), May (2014)
M. Duží, B. Jespersen, P. Materna, Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic (Springer, Houten, 2010)
W.H. Gottschalk, The theory of quaternality. J. Symb. Log. 18, 193–196 (1953)
J.C. Joerden, Deontological square, hexagon, and decagon: a deontic framework for supererogation. Log. Univers. 6, 201–216 (2012)
S. Knuuttila, Medieval theories of modality, in The Stanford Encyclopedia of Philosophy, Fall 2013 edn., ed. by E.N. Zalta (2013). < http://plato.stanford.edu/archives/fall2013/entries/modality-medieval/ >
A. Moretti, The geometry of logical opposition. PhD Thesis, University of Neuchâtel (2009)
A. Moretti, Why the logical hexagon? Log. Univers. 6, 69–107 (2012)
J.O. Nelson, In defense of the traditional interpretation of the square. Philos. Rev. 63, 401–413 (1954)
T. Parsons, Things that are right with the traditional square of opposition. Log. Univers. 2, 3–11 (2008)
T. Parsons, The traditional square of opposition, in The Stanford Encyclopedia of Philosophy, Spring 2014 edn., ed. by E.N. Zalta (2014). < http://plato.stanford.edu/archives/spr2014/entries/square/ >
R. Pellissier, Setting “n-opposition”. Log. Univers. 2, 235–263 (2008)
J. Raclavský, Defining basic kinds of properties, in The World of Language and the World Beyond Language (A Festschrift for Pavel Cmorej) ed. by T. Marvan, M. Zouhar (Filozofický ústav SAV, Bratislava, 2007), pp. 69–107
J. Raclavský, Categorical statements from the viewpoint of transparent intensional logic (in Czech), in Odkud a jak brát stále nové příklady? Elektronická databáze příkladů pro výuku logiky na VŠ, ed. by L. Dostálová et al. (Vydavatelství Západočeské univerzity v Plzni, Plzeň, 2009), pp. 85–101
J. Raclavský, Generalized quantifiers from the viewpoint of transparent intensional logic (in Czech), in Odkud a jak brát stále nové příklady? Elektronická databáze příkladů pro výuku logiky na VŠ, ed. by L. Dostálová et al. (Vydavatelství Západočeské univerzity v Plzni, Plzeň, 2009), pp. 103–116
J. Raclavský, Names and Descriptions: Logic-Semantical Investigations (in Czech). (Nakladatelství Olomouc, Olomouc, 2009)
J. Raclavský, On partiality and Tichý’s transparent intensional logic. Hung. Philos. Rev. 54, 120–128 (2010)
J. Raclavský, Explicating truth in transparent intensional logic, in Recent Trends in Logic, vol. 41, ed. by R. Ciuni, H. Wansing, C. Willkomen (Springer, Berlin, 2014), pp. 169–179
J. Raclavský, The barber paradox: on its paradoxicality and its relationship to Russell’s paradox. Prolegomena 2, 269–278 (2014)
D.H. Sanford, Contraries and subcontraries. Noûs 2, 95–96 (1968)
F. Schang, Questions and answers about oppositions, in The Square of Opposition. A General Framework for Cognition, ed. by J.-Y. Béziau, G. Payette (Peter Lang, Bern, 2011), pp. 283–314
H. Smessaert, The classical aristotelian hexagon, versus the modern duality hexagon. Log. Univers. 6, 171–199 (2012)
P. Tichý, Introduction to intensional logic. Unpublished MS (1976)
P. Tichý, Foundations of partial type theory. Rep. Math. Logic 14, 57–72 (1982)
P. Tichý, The Foundations of Frege’s Logic (Walter de Gruyter, Berlin, 1988)
P. Tichý, Pavel Tichý’s Collected Papers in Logic and Philosophy, ed. by V. Svoboda, B. Jespersen, C. Cheyne (University of Otago Publisher/Filosofia, Dunedin/Prague, 2004)
S.L. Uckelman, Three 13th-century views of quantified modal logic, in Advances in Modal Logic, vol. 7, ed. by C. Areces, R. Goldblatt (College Publications, London, 2008), pp. 389–406
D. Westerståhl, On the Aristotelian square of opposition, in Kapten Nemos Kolumbarium, Philosophical Communications, ed. by F. Larsson (red.) web series No. 33 (2005). < http://www.ipd.gu.se/digitalAssets/1303/1303475\_Westerst\aahl-onthearistoteliansquare.pdf > , retrieved: 4/6/2014
D. Westerståhl, Classical vs. modern squares of opposition, and beyond, in The Square of Opposition – A General Framework for Cognition, ed. by J.-Y. Béziau, G. Payette (Peter Lang, Bern, 2012), pp. 195–229
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Raclavský, J. (2017). Two Standard and Two Modal Squares of Opposition. In: Béziau, JY., Basti, G. (eds) The Square of Opposition: A Cornerstone of Thought. Studies in Universal Logic. Birkhäuser, Cham. https://doi.org/10.1007/978-3-319-45062-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-45062-9_8
Published:
Publisher Name: Birkhäuser, Cham
Print ISBN: 978-3-319-45061-2
Online ISBN: 978-3-319-45062-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)