Logical Geometry is a research project that is being carried out at the KU Leuven (Belgium) by Lorenz Demey (logician) and Hans Smessaert (formal semanticist)

The central aim of Logical Geometry is to develop an interdisciplinary framework for the study of geometrical representations in the analysis of logical relations.

• we analyse the logical relations of opposition, implication and duality between expressions in various logical, linguistic and conceptual systems.


• we study abstract geometrical representations of these relations as well as their visualisation by means of two-dimensional and three-dimensional diagrams.


• we develop an interdisciplinary framework integrating insights from logic, formal semantics, algebra, group theory, lattice theory, computer graphics, cognitive psychology, information visualisation and diagrams design.

For more information see the website at www.logicalgeometry.org