Visualising the Boolean Algebra \(\mathbb {B}_{4}\) in 3D

  • Hans Smessaert
  • Lorenz Demey
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9781)


This paper compares two 3D logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\), viz. the rhombic dodecahedron and the nested tetrahedron. Geometric properties such as collinearity and central symmetry are examined from a cognitive perspective, focussing on diagram design principles such as congruence/isomorphism and apprehension.


Logical geometry Rhombic dodecahedron Nested tetrahedron Congruence Apprehension Central symmetry Boolean algebra 


  1. 1.
    Demey, L., Smessaert, H.: The relationship between Aristotelian and Hasse diagrams. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS, vol. 8578, pp. 213–227. Springer, Heidelberg (2014)Google Scholar
  2. 2.
    Dubois, D., Prade, H.: From Blanché’s hexagonal organization of concepts to formal concept analysis and possibility theory. Logica Universalis 6, 149–169 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Larkin, J., Simon, H.: Why a diagram is (sometimes) worth ten thousand words. Cogn. Sci. 11, 65–99 (1987)CrossRefGoogle Scholar
  4. 4.
    Moretti, A.: Was Lewis Carroll an amazing oppositional geometer? Hist. Philos. Log. 35, 383–409 (2014)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Smessaert, H., Demey, L.: Logical and geometrical complementarities between Aristotelian diagrams. In: Dwyer, T., Purchase, H., Delaney, A. (eds.) Diagrams 2014. LNCS, vol. 8578, pp. 246–260. Springer, Heidelberg (2014)Google Scholar
  6. 6.
    Smessaert, H., Demey, L.: Logical geometries and information in the square of opposition. J. Log. Lang. Inf. 23, 527–565 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    Tversky, B.: Prolegomenon to scientific visualizations. In: Gilbert, J.K. (ed.) Visualization in Science Education, pp. 29–42. Springer, Netherlands (2005)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Department of LinguisticsKU LeuvenLeuvenBelgium
  2. 2.Center for Logic and Analytic Philosophy, Postdoctoral Fellow of the Research Foundation–Flanders (FWO)KU LeuvenLeuvenBelgium

Personalised recommendations