The square of opposition in orthomodular logic


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.



    Upload a copy of this work     Papers currently archived: 84,152

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

The square of opposition — a new approach.H. Greniewski - 1953 - Studia Logica 1 (1):297-301.
Visualizations of the square of opposition.Peter Bernhard - 2008 - Logica Universalis 2 (1):31-41.
Square of opposition.Author unknown - 2004 - Internet Encyclopedia of Philosophy.
On the 3d visualisation of logical relations.Hans Smessaert - 2009 - Logica Universalis 3 (2):303-332.
Not Only Barbara.Paul J. E. Dekker - 2015 - Journal of Logic, Language and Information 24 (2):95-129.


Added to PP

8 (#1,033,198)

6 months
1 (#511,323)

Historical graph of downloads
How can I increase my downloads?