The square of opposition in orthomodular logic

Abstract

In Aristotelian logic, categorical propositions are divided in Universal Affirmative, Universal Negative, Particular Affirmative and Particular Negative. Possible relations between two of the mentioned type of propositions are encoded in the square of opposition. The square expresses the essential properties of monadic first order quantification which, in an algebraic approach, may be represented taking into account monadic Boolean algebras. More precisely, quantifiers are considered as modal operators acting on a Boolean algebra and the square of opposition is represented by relations between certain terms of the language in which the algebraic structure is formulated. This representation is sometimes called the modal square of opposition. Several generalizations of the monadic first order logic can be obtained by changing the underlying Boolean structure by another one giving rise to new possible interpretations of the square.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,452

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

On the 3d visualisation of logical relations.Hans Smessaert - 2009 - Logica Universalis 3 (2):303-332.
Two Standard and Two Modal Squares of Opposition.Jiri Raclavsky - 2016 - In Jean-Yves Béziau & Gianfranco Basti (eds.), The Square of Opposition: A Cornerstone of Thought. Basel, Switzerland: Birkhäuser. pp. 119-142.
From the Square to Octahedra.José David García Cruz - 2016 - In Jean-Yves Béziau & Gianfranco Basti (eds.), The Square of Opposition: A Cornerstone of Thought. Basel, Switzerland: Birkhäuser. pp. 253-272.
The square of opposition — a new approach.H. Greniewski - 1953 - Studia Logica 1 (1):297-301.
Oppositional Geometry in the Diagrammatic Calculus CL.Jens Lemanski - 2017 - South American Journal of Logic 3 (2):517-531.

Analytics

Added to PP
2015-09-07

Downloads
19 (#808,660)

6 months
7 (#621,554)

Historical graph of downloads
How can I increase my downloads?