Logica Universalis 2 (1):167-187 (2008)
. We start from the geometrical-logical extension of Aristotle’s square in [6,15] and , and study them from both syntactic and semantic points of view. Recall that Aristotle’s square under its modal form has the following four vertices: A is □α, E is , I is and O is , where α is a logical formula and □ is a modality which can be defined axiomatically within a particular logic known as S5 (classical or intuitionistic, depending on whether is involutive or not) modal logic.  has proposed extensions which can be interpreted respectively within paraconsistent and paracomplete logical frameworks.  has shown that these extensions are subfigures of a tetraicosahedron whose vertices are actually obtained by closure of by the logical operations , under the assumption of classical S5 modal logic. We pursue these researches on the geometrical-logical extensions of Aristotle’s square: first we list all modal squares of opposition. We show that if the vertices of that geometrical figure are logical formulae and if the sub-alternation edges are interpreted as logical implication relations, then the underlying logic is none other than classical logic. Then we consider a higher-order extension introduced by , and we show that the same tetraicosahedron plays a key role when additional modal operators are introduced. Finally we discuss the relation between the logic underlying these extensions and the resulting geometrical-logical figures.
|Keywords||Aristotle’s square modal logic|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Logical Geometries and Information in the Square of Oppositions.Hans Smessaert & Lorenz Demey - 2014 - Journal of Logic, Language and Information 23 (4):527-565.
Similar books and articles
A Structuralist Account of Logic.Majda Trobok - 2008 - Croatian Journal of Philosophy 8 (2):257-265.
How to Avoid Deviance (in Logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Structuralist Logic: Implications, Inferences, and Consequences. [REVIEW]Arnold Koslow - 2007 - Logica Universalis 1 (1):167-181.
Concepts, Extensions, and Frege's Logicist Project.Matthias Schirn - 2006 - Mind 115 (460):983-1006.
The Lattice of Modal Logics: An Algebraic Investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.
Added to index2009-01-28
Total downloads30 ( #172,861 of 2,177,988 )
Recent downloads (6 months)1 ( #317,698 of 2,177,988 )
How can I increase my downloads?