-
Logic and ProbabilityIn Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy, The Metaphysics Research Lab. 2014.
-
137Agreeing to disagree in probabilistic dynamic epistemic logicSynthese 191 (3): 409-438. 2014.This paper studies Aumann’s agreeing to disagree theorem from the perspective of dynamic epistemic logic. This was first done by Dégremont and Roy (J Phil Log 41:735–764, 2012) in the qualitative framework of plausibility models. The current paper uses a probabilistic framework, and thus stays closer to Aumann’s original formulation. The paper first introduces enriched probabilistic Kripke frames and models, and various ways of updating them. This framework is then used to prove several agreemen…Read more
-
35The Porphyrian Tree and Multiple Inheritance. A Rejoinder to Tylman on Computer Science and PhilosophyFoundations of Science 23 (1): 173-180. 2018.Tylman has recently pointed out some striking conceptual and methodological analogies between philosophy and computer science. In this paper, I focus on one of Tylman’s most convincing cases, viz. the similarity between Plato’s theory of Ideas and the object-oriented programming paradigm, and analyze it in some more detail. In particular, I argue that the platonic doctrine of the Porphyrian tree corresponds to the fact that most object-oriented programming languages do not support multiple inher…Read more
-
45Combinatorial Bitstring Semantics for Arbitrary Logical FragmentsJournal 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 i…Read more
Leuven, Vlaams-Brabant, Belgium
Areas of Specialization
Science, Logic, and Mathematics |
Logic and Philosophy of Logic |
Philosophy of Mathematics |