Journal of Philosophical Logic 47 (2):325-363 (2018)

Logical geometry systematically studies Aristotelian diagrams, such as the classical square of oppositions and its extensions. These investigations rely heavily on the use of bitstrings, which are compact combinatorial representations of formulas that allow us to quickly determine their Aristotelian relations. However, because of their general nature, bitstrings can be applied to a wide variety of topics in philosophical logic beyond those of logical geometry. Hence, the main aim of this paper is to present a systematic technique for assigning bitstrings to arbitrary finite fragments of formulas in arbitrary logical systems, and to study the logical and combinatorial properties of this technique. It is based on the partition of logical space that is induced by a given fragment, and sheds new light on a number of interesting issues, such as the logic-dependence of the Aristotelian relations and the subtle interplay between the Aristotelian and Boolean structure of logical fragments. Finally, the bitstring technique also allows us to systematically analyze fragments from contemporary logical systems, such as public announcement logic, which could not be done before.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/s10992-017-9430-5
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,579
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
A Natural History of Negation.Jon Barwise & Laurence R. Horn - 1991 - Journal of Symbolic Logic 56 (3):1103.
Universal Moral Grammar: Theory, Evidence, and the Future.John Mikhail - 1912 - Trends in Cognitive Sciences 11 (4):143 –152.
Logics of Public Communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.

View all 41 references / Add more references

Citations of this work BETA

Using Syllogistics to Teach Metalogic.Lorenz Demey - 2017 - Metaphilosophy 48 (4):575-590.
End of the Square?Fabien Schang - 2018 - South American Journal of Logic 4 (2):485-505.
Logic Diagrams, Sacred Geometry and Neural Networks.Jens Lemanski - 2019 - Logica Universalis 13 (4):495-513.

View all 10 citations / Add more citations

Similar books and articles

Logical Geometries and Information in the Square of Oppositions.Hans5 Smessaert & Lorenz6 Demey - 2014 - Journal of Logic, Language and Information 23 (4):527-565.
Metalogical Decorations of Logical Diagrams.Lorenz6 Demey & Hans5 Smessaert - 2016 - Logica Universalis 10 (2-3):233-292.
What Are Logical Notions?John Corcoran & Alfred Tarski - 1986 - History and Philosophy of Logic 7 (2):143-154.
Formal Systems of Fuzzy Logic and Their Fragments.Petr Cintula, Petr Hájek & Rostislav Horčík - 2007 - Annals of Pure and Applied Logic 150 (1-3):40-65.
Logical Consequence and Natural Language.Michael Glanzberg - 2015 - In Colin Caret & Ole Hjortland (eds.), Foundations of Logical Consequence. Oxford University Press. pp. 71-120.
The Theory of Form Logic.Wolfgang Freitag & Alexandra Zinke - 2012 - Logic and Logical Philosophy 21 (4):363-389.
A Conception of Tarskian Logic.Gila Sher - 1989 - Pacific Philosophical Quarterly 70 (4):341-368.
Logical Consequence: Its Nature, Structure, and Application.Colin R. Caret & Ole T. Hjortland - 2015 - In Colin R. Caret & Ole T. Hjortland (eds.), Foundations of Logical Consequence. Oxford University Press.
An Errant Fragment of Theophrastus.H. B. Gottschalk - 1992 - Classical Quarterly 42 (02):529-533.
Topological Aspects of Combinatorial Possibility.Thomas Mormann - 1997 - Logic and Logical Philosophy 5:75 - 92.
Peirce and the Logical Status of Diagrams.Sun-Joo Shin - 1994 - History and Philosophy of Logic 15 (1):45-68.
Visualizations of the Square of Opposition.Peter Bernhard - 2008 - Logica Universalis 2 (1):31-41.


Added to PP index

Total views
22 ( #500,128 of 2,461,826 )

Recent downloads (6 months)
3 ( #223,153 of 2,461,826 )

How can I increase my downloads?


My notes