The square of opposition in othodmodular logic

HECTOR FREYTES, C. DE RONDE Y G. DOMENECH

Corte, Córcega

Congreso; 2nd World Congress on the Square of Opposition; 2010

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 famous square of opposition. The square expresses the essential properties of monadic first order quantification. In an algebraic approach these properties can be represented taking into account monadic Boolean algebras. More precisely, quantifiers are considered as modal operators acting on a Boolean algebra; the square of opposition is then 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. In this work, we consider the orthomodular logic enriched with a monadic quantifier and we provide interpretations of the square of opposition in several models of this logic as Boolean saturated orthomodular lattices, Baer *-semigroups and C *-algebras.