Freytes, Hector and de Ronde, Christian and Domenech, Graciela
(2012)
The square of opposition in orthomodular logic.
Around and beyond the square of opposition.
pp. 193-201.
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.
Monthly Views for the past 3 years
Monthly Downloads for the past 3 years
Plum Analytics
Actions (login required)
 |
View Item |
![[img]](https://philsci-archive.pitt.edu/style/images/fileicons/application_pdf.png)
![[feed]](http://philsci-archive.pitt.edu/style/images/feed-icon-32x32.png){kind=icon}