In term logic, the square of opposition is a diagram representing the relations between the four basic categorical propositions. The origin of the square can be traced back to Aristotle's tractate On
Depiction from the 15th century
Relations are ways in which several entities stand to each other. They usually connect distinct entities but some associate an entity with itself. The adicity of a relation is the number of entities i
Square of opposition
…In term logic (a branch of philosophical logic), the square of opposition is a diagram representing the relations between the four basic categorical propositions. The origin of the square can be traced back to Aristotle's tractate On Interpretation and its distinction…
G. E. Moore introduced the distinction between internal and external relations.
F. H. Bradley formulated a regress argument to defend the claim that relations do not exist.
The nature of relations was reconceptualized following various academic developments in the 19th century, such as the formulation of the logic of relations by Augustus De Morgan.
Gottfried Wilhelm Leibniz held that relations do not have fundamental reality and described the world instead as a collection of unconnected monads.