

logical relationsThis page provides the definitions of the various geometries (i.e. sets of logical relations) that we are investigating: All definitions are taken from Paper P14Aristotelian Geometry (AG)The classical, informal definitions of the Aristotelian relations look as follows: The contemporary, logicdependent definitions of the Aristotelian relations look as follows: The contemporary, algebraic definitions of the Aristotelian relations look as follows: Opposition Geometry (OG)The contemporary, logicdependent definitions of the opposition relations look as follows: Implication Geometry (IG)The contemporary, logicdependent definitions of the implication relations look as follows: Duality Geometry (DG)The contemporary, algebraic definitions of the duality relations look as follows: 

January 11, 2016 www.logicalgeometry.org
