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

Authors
Abstract
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)
ISBN(s)
DOI 10.1007/s10992-017-9430-5
Options
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: 51,232
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

A Natural History of Negation.Jon Barwise & Laurence R. Horn - 1991 - Journal of Symbolic Logic 56 (3):1103.
Reasoning About Information Change.Jelle Gerbrandy & Willem Groeneveld - 1997 - Journal of Logic, Language and Information 6 (2):147-169.
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.

View all 24 references / Add more references

Citations of this work BETA

Using Syllogistics to Teach Metalogic.Lorenz6 Demey - 2017 - Metaphilosophy 48 (4):575-590.
Logic Diagrams, Sacred Geometry and Neural Networks.Jens Lemanski - 2019 - Logica Universalis 13 (4):495-513.
Boolean Considerations on John Buridan's Octagons of Opposition.Lorenz Demey - 2018 - History and Philosophy of Logic 40 (2):116-134.

View all 8 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):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.

Analytics

Added to PP index
2017-03-11

Total views
17 ( #557,759 of 2,329,884 )

Recent downloads (6 months)
1 ( #582,921 of 2,329,884 )

How can I increase my downloads?

Downloads

My notes