The Aristotelian square of oppositions is a well-known diagram in logic and linguistics. In recent years, several extensions of the square have been discovered. However, these extensions have failedâ€¦ (More)

Traditional epistemic logic can be seen as a particular branch of modal logic. Its semantics is defined in terms of Kripke models, and philosophical principles about knowledge (e.g. factivity: KÏ†â†’ Ï†)â€¦ (More)

This paper concerns the Aristotelian relations of contradiction, contrariety, subcontrariety and subalternation between 14 contingent formulae, which can get a 2D or 3D visual representation by meansâ€¦ (More)

The aim of this paper is to study the relationship between two important families of diagrams that are used in logic, viz. Aristotelian diagrams (such as the well-known â€˜square of oppositionsâ€™) andâ€¦ (More)

Duality phenomena occur in nearly all mathematically formalized disciplines, such as algebra, geometry, logic and natural language semantics. However, many of these disciplines use the term â€˜dualityâ€™â€¦ (More)

Aristotelian diagrams have a long and rich history in philosophical logic. Today, they are widely used in nearly all disciplines dealing with logical reasoning. Logical geometry is concerned with theâ€¦ (More)

Aristotelian diagrams visualize the logical relations among a finite set of objects. These 1 diagrams originated in philosophy, but recently they have also been used extensively in artificial 2â€¦ (More)