Graduate studies at Western
Logica Universalis 3 (2):303-332 (2009)
|Abstract||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)|
|Through your library||Configure|
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.
Dominique Luzeaux, Jean Sallantin & Christopher Dartnell (2008). Logical Extensions of Aristotle's Square. Logica Universalis 2 (1):167-187.
W. H. (2001). Spacetime Visualisation and the Intelligibility of Physical Theories. Studies in History and Philosophy of Science Part B 32 (2):243-265.
Josep M. Font & Ventura Verdú (1993). The Lattice of Distributive Closure Operators Over an Algebra. Studia Logica 52 (1):1 - 13.
J. M. Font & V. Verdú (1993). Algebraic Logic for Classical Conjunction and Disjunction. Studia Logica 52 (1):181.
John N. Martin (2002). Lukasiewicz's Many-Valued Logic and Neoplatonic Scalar Modality. History and Philosophy of Logic 23 (2):95-120.
Josep M. Font & Ventura Verdú (1991). Algebraic Logic for Classical Conjunction and Disjunction. Studia Logica 50 (3-4):391 - 419.
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.
Joop Leo (2008). Modeling Relations. Journal of Philosophical Logic 37 (4):353 - 385.
Added to index2009-07-29
Total downloads30 ( #46,393 of 730,103 )
Recent downloads (6 months)1 ( #61,087 of 730,103 )
How can I increase my downloads?