-
19Charles Travis, Occasion-Sensitivity. Selected Essays. Oxford, Oxford University Press, 2008Tijdschrift Voor Filosofie 71 (3): 633-635. 2009.
-
18Robert Kowalski, Computational Logic and Human Thinking. Cambridge, Cambridge University Press, 2011Tijdschrift Voor Filosofie 75 (2): 395-397. 2013.
-
18Gillian Russell, Truth in Virtue of Meaning. Oxford, Oxford University Press, 2008Tijdschrift Voor Filosofie 71 (2): 408-410. 2009.
-
17Leila Haaparanta (ed.), The Development of Modern Logic. Oxford, Oxford University Press, 2009Tijdschrift Voor Filosofie 72 (3): 606-607. 2010.
-
17Logic-Sensitivity and Bitstring Semantics in the Square of OppositionJournal of Philosophical Logic 52 (6): 1703-1721. 2023.This paper explores the interplay between logic-sensitivity and bitstring semantics in the square of opposition. Bitstring semantics is a combinatorial technique for representing the formulas that appear in a logical diagram, while logic-sensitivity entails that such a diagram may depend, not only on the formulas involved, but also on the logic with respect to which they are interpreted. These two topics have already been studied extensively in logical geometry, and are thus well-understood by t…Read more
-
16Frank Jackson, Language, Names, and Information. Cambridge (MA), Wiley-Blackwell, 2010Tijdschrift Voor Filosofie 73 (3): 594-596. 2011.
-
16De dynamische wending in de epistemische logica [The Dynamic Turn in Epistemic Logic]Tijdschrift Voor Filosofie 78 (2): 365-391. 2016.This article describes the historical development of epistemic logic, focusing on the dynamic turn that has taken place in the last few decades. Although this dynamic turn was mainly motivated by technical considerations in computer science and game theory, it is argued that it can also be relevant from a more philosophical perspective: the application of dynamic epistemic logics to analyze prima facie static notions, theorems, etc. fits perfectly in a Wittgensteinian approach to philosophy as c…Read more
-
16Logic and Probabilistic UpdateJohan van Benthem on Logic and Information Dynamics 5. 2014.status: published.
-
14Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oxford, Oxford University Press, 2008Tijdschrift Voor Filosofie 71 (3): 635-637. 2009.
-
13The Interaction between Logic and Geometry in Aristotelian DiagramsDiagrammatic Representation and Inference, Diagrams 9781. 2016.© Springer International Publishing Switzerland 2016. We develop a systematic approach for dealing with informationally equivalent Aristotelian diagrams, based on the interaction between the logical properties of the visualized information and the geometrical properties of the concrete polygon/polyhedron. To illustrate the account’s fruitfulness, we apply it to all Aristotelian families of 4-formula fragments that are closed under negation and to all Aristotelian families of 6-formula fragments …Read more
-
12Computing the Maximal Boolean Complexity of Families of Aristotelian DiagramsJournal of Logic and Computation 28 (6): 1323-1339. 2018.© The Author 2018. Published by Oxford University Press. All rights reserved. Logical geometry provides a broad framework for systematically studying the logical properties of Aristotelian diagrams. The main aim of this paper is to present and illustrate the foundations of a computational approach to logical geometry. In particular, after briefly discussing some key notions from logical geometry, I describe a logical problem concerning Aristotelian diagrams that is of considerable theoretical im…Read more
-
12Structures of oppositions in public announcement logicIn J.-Y. Beziau & Dale Jacquette (eds.), Around and Beyond the Square of Opposition, Birkhäuser. pp. 313--339. 2012.
-
11© 2017 by the authors. Aristotelian diagrams visualize the logical relations among a finite set of objects. These diagrams originated in philosophy, but recently, they have also been used extensively in artificial intelligence, in order to study various knowledge representation formalisms. In this paper, we develop the idea that Aristotelian diagrams can be fruitfully studied as geometrical entities. In particular, we focus on four polyhedral Aristotelian diagrams for the Boolean algebra B4, viz…Read more
-
11Aristotelian and Duality Relations Beyond the Square of OppositionIn Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz & Francesco Bellucci (eds.), Diagrammatic Representation and Inference, . 2018.© Springer International Publishing AG, part of Springer Nature 2018. Nearly all squares of opposition found in the literature represent both the Aristotelian relations and the duality relations, and exhibit a very close correspondence between both types of logical relations. This paper investigates the interplay between Aristotelian and duality relations in diagrams beyond the square. In particular, we study a Buridan octagon, a Lenzen octagon, a Keynes-Johnson octagon and a Moretti octagon. Ea…Read more
-
11Morphisms Between Aristotelian DiagramsLogica Universalis 1-35. forthcoming.In logical geometry, Aristotelian diagrams are studied in a precise and systematic way. Although there has recently been a good amount of progress in logical geometry, it is still unknown which underlying mathematical framework is best suited for formalizing the study of these diagrams. Hence, in this paper, the main aim is to formulate such a framework, using the powerful language of category theory. We build multiple categories, which all have Aristotelian diagrams as their objects, while havi…Read more
-
11Visualising the Boolean Algebra B_4 in 3DDiagrammatic Representation and Inference, Diagrams 9781. 2016.This paper compares two 3D logical diagrams for the Boolean algebra B4, 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.
-
9Ockham on the (In)fallibility of Intuitive CognitionHistory of Philosophy & Logical Analysis 17 (1): 193-209. 2014.The main purpose of this paper is to reassess the debate between Boehner and Karger about Ockham’s views on the infallibility of intuitive cognition, and to present a new account of infallible intuitive cognition. After a detailed overview of Ockham’s theory of intuitive and abstractive cognition, the Boehner/Karger debate is examined. At the center of this debate are two conflicting interpretations of a certain passage in Ockham’s writings. It is shown that neither of these interpretations is u…Read more
-
9Looking for the Right Notion of Epistemic Plausibility ModelIn Bart Van Kerckhoven, Thierry Libert, Geert Vanpaemel & Pierre Marage (eds.), Logic, Philosophy and History of Science in Belgium II. Proceedings of the Young Researchers Days 2010, . pp. 73-78. 2012.status: published.
-
8The Unreasonable Effectiveness of Bitstrings in Logical GeometryIn Jean-Yves Béziau & Gianfranco Basti (eds.), The Square of Opposition: A Cornerstone of Thought, Birkhäuser. 2016.status: published.
-
8Towards a Typology of Diagrams in LinguisticsIn Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz & Francesco Bellucci (eds.), Diagrammatic Representation and Inference, . 2018.© Springer International Publishing AG, part of Springer Nature 2018. The aim of this paper is to lay out the foundations of a typology of diagrams in linguistics. We draw a distinction between linguistic parameters — concerning what information is being represented — and diagrammatic parameters — concerning how it is represented. The six binary linguistic parameters of the typology are: mono- versus multilingual, static versus dynamic, mono- versus multimodular, object-level versus meta-level, …Read more
-
7Ockham on the (In)fallibility of Intuitive CognitionPhilosophiegeschichte Und Logische Analyse / Logical Analysis and History of Philosophy 17 193-209. 2014.status: published.
-
7Geometric and Cognitive Differences between Logical Diagrams for the Boolean Algebra B_4Annals of Mathematics and Artificial Intelligence 83 (2): 185-208. 2018.© 2018, Springer International Publishing AG, part of Springer Nature. Aristotelian diagrams are used extensively in contemporary research in artificial intelligence. The present paper investigates the geometric and cognitive differences between two types of Aristotelian diagrams for the Boolean algebra B4. Within the class of 3D visualizations, the main geometric distinction is that between the cube-based diagrams and the tetrahedron-based diagrams. Geometric properties such as collinearity, ce…Read more
-
7Interactively Illustrating the Context-Sensitivity of Aristotelian DiagramsModeling and Using Context 9405. 2015.This paper studies the logical context-sensitivity of Aristotelian diagrams. I propose a new account of measuring this type of context-sensitivity, and illustrate it by means of a small-scale example. Next, I turn toward a more large-scale case study, based on Aristotelian diagrams for the categorical statements with subject negation. On the practical side, I describe an interactive application that can help to explain and illustrate the phenomenon of context-sensitivity in this particular case …Read more
-
6Béziau’s Contributions to the Logical Geometry of Modalities and QuantifiersIn Arnold Koslow & Arthur Buchsbaum (eds.), The Road to Universal Logic, . 2015.status: published.
-
5Fenrong Liu, Reasoning about Preference Dynamics. Springer, Dordrecht, 2011 (forthcoming)Tijdschrift Voor Filosofie 74 (4): 818-820. 2012.
-
Future Directions for Logic: Proceedings of PhDs in Logic II (edited book)College Publications. 2012.
-
Een geünificeerde theorie van bepaalde en onbepaalde beschrijvingenAlgemeen Nederlands Tijdschrift voor Wijsbegeerte 101 (2): 82-98. 2009.
-
Logic and ProbabilityIn Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, The Metaphysics Research Lab. 2014.
Leuven, Vlaams-Brabant, Belgium
Areas of Specialization
Science, Logic, and Mathematics |
Logic and Philosophy of Logic |
Philosophy of Mathematics |