Alpha-Structures and Ladders in Logical Geometry

Abstract

AbstractAristotelian diagrams, such as the square of opposition and other, more complex diagrams, have a long history in philosophical logic. Alpha-structures and ladders are two specific kinds of Aristotelian diagrams, which are often studied together because of their close interactions. The present paper builds upon this research line, by reformulating and investigating alpha-structures and ladders in the contemporary setting of logical geometry, a mathematically sophisticated framework for studying Aristotelian diagrams. In particular, this framework allows us to formulate well-defined functions that construct alpha-structures and ladders out of each other. In order to achieve this, we point out the crucial importance of imposing an ordering on the elements in the diagrams involved, and thus formulate all our results in terms of ordered versions of alpha-structures and ladders. These results shed interesting new light on the prospects of developing a systematic classification of Aristotelian diagrams, which is one of the main ongoing research efforts within logical geometry today.