the α4-structure (logical cube)

[ α1-structure | α2-structure | α3-structure | α4-structure | α5-structure | αn-structure | α-fragments ] – α-structures


NOT.11.EmergenceLogicalCubeThe α4-structure, alias the “logical cube” (or logical bi-tetrahedron), which is the successors of the logical hexagon (i.e. the α3-structure) in the series of the n-oppostions (or series of the α-structures) has been discovered by Moretti in 2004. It expresses the notion of 4-opposition (i.e. it is built on top of a blue tetrahedron of 4-contrariety, from which can be deduced – by the respective contradictions of each of its four vertices – the dual green tetrahedron of 4-sub-contrariety).

From the point of view of OG, the immediate avatars of the logical cube are: (i) from the viewpoint of n-opposition, the α5-structure (i.e. the oppositional bi-simplex of dimension 4, or “bi-hypertetrahedron”, expressing 5-opposition); (ii) and from the viepoint of the theory of the poly-simplexes the logical tri-simplex of dimension 3 (or “logical tri-tetrahedron”).

As it happens, at least three people have been close to discovering the logical cube several years before 2004 (but they seemingly failed). First, Sesmat, who is one of the discoverers of the logical hexagon (with Jacoby in 1950 and Blanché in 1953) had almost discovered it, at least as for its two constitutive contrariety and subcontrariety tetrahedra, but he does not seem to have realised that, once the subcontrariety arrows drawn, the structure becomes a “logical cube” (he did not give such a cubic representation of it).

Second, Sauriol, who discovered the logical tetrahexahedron in 1968 (against Blanché and by using some ideas of Piaget), but who did not want to enter a generalisation of his own discovery (his aim seemed to be to put an end to Blanché’s “sedition” against analytical philosophy) does not seem to realise that inside this structure he presents there is, a bit hidden, a logical cube.

Third, Béziau, who draw back the attention of some logicians to the forgotten (or unknown) logical hexagon in 2003 tried to figure out a way to go beyond it: that is, going from 3-opposition to 4-opposition (Béziau spoke of dichotomy, trichotomy and quadritomy). But he tried to do this by using a blue square (instead of the blue triangle of the logical hexagon), not realising that the right geometrical ingredient for going effectively beyond the logical hexagon would have been a blue tetrahedron. The key element seems to have been to think in terms of hyper-space. What brought Moretti on that path (i.e. thinking oppositions through the hyper-space) was some familiarity with the psychoanalytical theory of Matte Blanco, who models the human mind not only in terms of “bi-logic”, but also with n-dimensional spaces and therefore has to explain to his readers, as a pedagogical preliminary, some very basic intuitions about what can be a 4-dimensional geometry.


  • Béziau, J.-Y., ,
  • Matte Blanco, I., The Unconscious as Infinite Sets. An Essai in Bi-logic, Ducksworth, London, 1975
  • Moretti, A., « Geometry for Modalities? Yes: Through N-Opposition Theory », in: Béziau J.-Y., Costa-Leite A. and Facchini A. (eds.) Aspects of Universal Logic, N.17 of Travaux de logique, Université de Neuchâtel, December 2004
  • Moretti, A., “Why the Logical Hexagon?”, Logica Universalis, 6 (1-2), 2012
  • Sauriol, P., « Remarques sur la Théorie de l’hexagone logique de Blanché », Dialogue, 7, 1968
  • Sauriol, P., « La structure tétrahexaédrique du système complet des propositions catégoriques », Dialogue, 15, 1976
  • Sesmat, A., Logique – II. Les raisonnements, la logistique, Hermann, Paris, 1951
Advertisements

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s