LUW May 18: Logical Diagrams, Visualization Criteria and Boolean Algebras by Roland Bolz

[jean-yves beziau]

Logica Universalis Webinar, Wednesday May 18, 4pm CET

Speaker: Roland Bolz (Humboldt University, Berlin, Germany)
Title: Logical Diagrams, Visualization Criteria and Boolean Algebras
Abstract: This paper presents logical diagrams as attempts to visualize
facts about logical/linguistic/conceptual systems. It introduces four
criteria for assessing visualization: 1) completeness, 2) correctness, 3)
lack of distortion, and 4) legibility. It then  presents well-known
families of diagrams, based on the geometrical figures of a) the hexagon,
and b) the tetrakis hexahedron. These are usually presented as exemplary
diagrams. To understand better why they succeed so well at visualizing
logical information, they are presented as visualizations of complete
(finite) Boolean algebras. This also establishes the connection between the
combinatorial concept of partition and the logical concept of opposition
(i.e. contradiction, contrariness, and subcontrariness). Finally, the paper
suggests that the two geometrical figures in question are part of a larger
family of polytopes with deep connections to Boolean algebras.

Chapter of the book  The Exoteric Square of Opposition
https://link.springer.com/book/9783030908225

Talk originally presented at the 6th SQUARE
https://www.square-of-opposition.org/

Everybody is welcome to join:
https://www.springer.com/journal/11787/updates/20065848

Jean-Yves Beziau, Organizer of LUW and Editor of Studies in Universal Logic
https://philpeople.org/profiles/jean-yves-beziau
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220516/8409cf4f/attachment-0001.html>