logical geometry
 
 


 
 

logical relations

This page provides the definitions of the various geometries (i.e. sets of logical relations) that we are investigating:

All definitions are taken from Paper P14

Aristotelian Geometry (AG)

The classical, informal definitions of the Aristotelian relations look as follows:

Aristotelian relations

The contemporary, logic-dependent definitions of the Aristotelian relations look as follows:

Aristotelian relations formal

The contemporary, algebraic definitions of the Aristotelian relations look as follows:

Aristotelian relations boolean

Opposition Geometry (OG)

The contemporary, logic-dependent definitions of the opposition relations look as follows:

opposition relations formal

Implication Geometry (IG)

The contemporary, logic-dependent definitions of the implication relations look as follows:

implication relations formal

Duality Geometry (DG)

The contemporary, algebraic definitions of the duality relations look as follows:

duality relations formal

 
 

January 11, 2016   www.logicalgeometry.org