David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Logica Universalis 3 (2):303-332 (2009)
The central aim of this paper is to present a Boolean algebraic approach to the classical Aristotelian Relations of Opposition, namely Contradiction and (Sub)contrariety, and to provide a 3D visualisation of those relations based on the geometrical properties of Platonic and Archimedean solids. In the first part we start from the standard Generalized Quantifier analysis of expressions for comparative quantification to build the Comparative Quantifier Algebra CQA. The underlying scalar structure allows us to define the Aristotelian relations in Boolean terms and to propose a 3D visualisation by transforming a cube into an octahedron. In part two, the architecture of the CQA is shown to carry over, both to the classical quantifiers of Predicate Calculus and to the modal operators—which are given a Generalized Quantifier style re-interpretation. In this way we provide an algebraic foundation for Blanché’s Aristotelian hexagon as well as a 3D alternative to his 2D star-like visualisation. In a final part, a richer scalar structure is argued to underly the realm of Modality, thus generalizing the 3D algebra with eight (2 3 ) operators to a 4D algebra with sixteen (2 4 ) operators. The visual representation of the latter structure involves a transformation of the hypercube to a rhombic dodecahedron. The resulting 3D visualisation allows a straightforward embedding, not only of the classical Blanché star of Aristotelian relations or the paracomplete and paraconsistent stars of Béziau (Log Investig 10, 218–232, 2003) but also of three additional isomorphic Aristotelian constellations.
|Keywords||logical square logical hexagon aristotelian relations of opposition contradiction contrariety Boolean algebra modal logic polyhedra|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Laurence Horn (1989). A Natural History of Negation. University of Chicago Press.
Barbara H. Partee, Alice ter Meulen & Robert E. Wall (1992). Mathematical Methods in Linguistics. Journal of Symbolic Logic 57 (1):271-272.
Lloyd Humberstone (2005). Modality. In Frank Jackson & Michael Smith (eds.), The Oxford Handbook of Contemporary Philosophy. Oxford University Press
Citations of this work BETA
Alessio Moretti (2015). Was Lewis Carroll an Amazing Oppositional Geometer? History and Philosophy of Logic 35 (4):383-409.
Hans Smessaert & Lorenz Demey (2014). Logical Geometries and Information in the Square of Oppositions. Journal of Logic, Language and Information 23 (4):527-565.
Similar books and articles
Stéphane Demri & Dov Gabbay (2000). On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I. Studia Logica 65 (3):323-353.
Joop Leo (2008). Modeling Relations. Journal of Philosophical Logic 37 (4):353 - 385.
Tatjana L. Plotkin, Sarit Kraus & Boris I. Plotkin (1998). Problems of Equivalence, Categoricity of Axioms and States Description in Databases. Studia Logica 61 (3):347-366.
Josep M. Font & Ventura Verdú (1991). Algebraic Logic for Classical Conjunction and Disjunction. Studia Logica 50 (3-4):391 - 419.
John N. Martin (2002). Lukasiewicz's Many-Valued Logic and Neoplatonic Scalar Modality. History and Philosophy of Logic 23 (2):95-120.
J. M. Font & V. Verdú (1993). Algebraic Logic for Classical Conjunction and Disjunction. Studia Logica 52 (1):181.
Josep M. Font & Ventura Verdú (1993). The Lattice of Distributive Closure Operators Over an Algebra. Studia Logica 52 (1):1 - 13.
W. H. (2001). Spacetime Visualisation and the Intelligibility of Physical Theories. Studies in History and Philosophy of Science Part B 32 (2):243-265.
Dominique Luzeaux, Jean Sallantin & Christopher Dartnell (2008). Logical Extensions of Aristotle's Square. Logica Universalis 2 (1):167-187.
Added to index2009-07-29
Total downloads40 ( #98,156 of 1,789,736 )
Recent downloads (6 months)3 ( #261,181 of 1,789,736 )
How can I increase my downloads?