The logical hexagon (also called the hexagon of opposition) is a conceptual model of the relationships between the truth values of six statements. It is an extension of Aristotle's square of opposition. It was discovered independently by both Augustin Sesmat and Robert Blanché.
Summary of relationships
The traditional square of opposition demonstrates two sets of contradictories A and O, and E and I (i.e. they cannot both be true and cannot both be false), two contraries A and E (i.e. they can both be false, but cannot both be true), and two subcontraries I and O (i.e. they can both be true, but cannot both be false) according to Aristotle’s definitions. However, the logical hexagon provides that U and Y are also contradictory.
Interpretations of the logical hexagon
The statement A may be interpreted as "Every man is white."
- (∀x)(Mx → Wx) ∧ (∃x)(Mx)
The statement E may be interpreted as "Every man is non-white."
- (∀x)(Mx → ¬Wx)
The statement I may be interpreted as "Some man is white."
- (∃x)(Mx ∧ Wx)
The statement O may be interpreted as "Not every man is white."
- (∃x)(Mx ∧ ¬Wx) ∨ ¬(∃x)(Mx)
The statement U may be interpreted as "Either every man is white or every man is non-white."
- (∀x)(Mx → Wx) ∨ (∀x)(Mx → ¬Wx)
The statement Y may be interpreted as "Some man is white and some man is non-white"
- (∃x)(Mx ∧ Wx) ∧ (∃x)(Mx ∧ ¬Wx)
The logical hexagon may be interpreted as a model of modal logic such that
- A is interpreted as necessity
- E is interpreted as impossibility
- I is interpreted as possibility
- O is interpreted as 'not necessarily'
- U is interpreted as non-contingency
- Y is interpreted as contingency
It has been proven that both the square and the hexagon, followed by a “logical cube”, belong to a regular series of n-dimensional objects called “logical bi-simplexes of dimension n.” The pattern also goes even beyond this.
- Jean-Yves Béziau (2003)
- Blanché (1953)
- Blanché (1957)
- Blanché Structures intellectuelles (1966)
- Gallais, P.: (1982)
- Gottschalk (1953)
- Kalinowski (1972)
- Monteil, J.F.: The logical square of Aristotle or square of Apuleius.The logical hexagon of Robert Blanché in Structures intellectuelles.The triangle of Indian logic mentioned by J.M Bochenski.(2005)
- Moretti (2004)
- Moretti (Melbourne)
- Pellissier, R.: " "Setting" n-opposition" (2008)
- Sesmat (1951)
- Smessaert (2009)
- N-opposition theory logical hexagon
- Moretti, Pellissier