-
27Truth, Reflection, and CommitmentIn Carlo Nicolai & Johannes Stern (eds.), Modes of Truth: The Unified Approach to Truth, Modality, and Paradox, Routledge. pp. 69-87. 2021.Proof-theoretic reflection principles have been discussed in proof theory ever since Gödel’s discovery of the incompleteness theorems. But these reflection principles have not received much attention in the philosophical community. The present chapter aims to survey some of the principal meta-mathematical results on the iteration of proof-theoretic reflection principles and investigate these results from a logico-philosophical perspective; we will concentrate on the epistemological significance …Read more
-
357Truth and ExistenceThought: A Journal of Philosophy 6 (1): 106-114. 2017.Halbach has argued that Tarski biconditionals are not ontologically conservative over classical logic, but his argument is undermined by the fact that he cannot include a theory of arithmetic, which functions as a theory of syntax. This article is an improvement on Halbach's argument. By adding the Tarski biconditionals to inclusive negative free logic and the universal closure of minimal arithmetic, which is by itself an ontologically neutral combination, one can prove that at least one thing e…Read more
-
674Strict conditionals: A negative resultPhilosophical Quarterly 56 (225). 2006.Jonathan Lowe has argued that a particular variation on C.I. Lewis' notion of strict implication avoids the paradoxes of strict implication. We show that Lowe's notion of implication does not achieve this aim, and offer a general argument to demonstrate that no other variation on Lewis' notion of constantly strict implication describes the logical behaviour of natural-language conditionals in a satisfactory way.
-
10REVIEWS-Mathematical intuitionism and intersubjectivityBulletin of Symbolic Logic 8 (4): 518-519. 2002.
-
45A Defence of van Fraassen’s Critique of Abductive Inference: Reply to PsillosPhilosophical Quarterly 47 (188): 305-321. 1997.
-
18WetenschapsfilosofieVan Gorcum. 2007.Inleidend overzicht van thema's uit de wetenschapsfilosofie.
-
102Unifying the Philosophy of Truth (edited book)Imprint: Springer. 2015.This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told (Amsterdam), Truth at Work (Paris), Paradoxes of Truth and Denotation (Barcelona) and Axiomatic Theories of Tr…Read more
-
209Term Models for Abstraction PrinciplesJournal of Philosophical Logic 45 (1): 1-23. 2016.Kripke’s notion of groundedness plays a central role in many responses to the semantic paradoxes. Can the notion of groundedness be brought to bear on the paradoxes that arise in connection with abstraction principles? We explore a version of grounded abstraction whereby term models are built up in a ‘grounded’ manner. The results are mixed. Our method solves a problem concerning circularity and yields a ‘grounded’ model for the predicative theory based on Frege’s Basic Law V. However, the metho…Read more
-
24Mathematical Intuitionism and Intersubjectivity. A Critical Exposition of Arguments for IntuitionismBulletin of Symbolic Logic 8 (4): 518-520. 1999.
-
67Formal Methods in the Philosophy of ScienceStudia Logica 89 (2): 151-162. 2008.In this article, we reflect on the use of formal methods in the philosophy of science. These are taken to comprise not just methods from logic broadly conceived, but also from other formal disciplines such as probability theory, game theory, and graph theory. We explain how formal modelling in the philosophy of science can shed light on difficult problems in this domain.
-
2Reflecting on incompleteness. The Journal of Symbolic Logic, vol. 56Bulletin of Symbolic Logic 16 (3): 424-428. 2010.
-
182Earman on underdetermination and empirical indistinguishabilityErkenntnis 49 (3): 303-320. 1998.Earman (1993) distinguishes three notions of empirical indistinguishability and offers a rigorous framework to investigate how each of these notions relates to the problem of underdetermination of theory choice. He uses some of the results obtained in this framework to argue for a version of scientific anti- realism. In the present paper we first criticize Earman's arguments for that position. Secondly, we propose and motivate a modification of Earman's framework and establish several results co…Read more
-
174Perceptual indiscriminability: In defence of Wright's proofPhilosophical Quarterly 54 (216): 439-444. 2004.A series of unnoticeably small changes in an observable property may add up to a noticeable change. Crispin Wright has used this fact to prove that perceptual indiscriminability is a non-transitive relation. Delia Graff has recently argued that there is a 'tension' between Wright's assumptions. But Graff has misunderstood one of these, that 'phenomenal continua' are possible; and the other, that our powers of discrimination are finite, is sound. If the first assumption is properly understood, it…Read more
-
114Probabilist antirealismPacific Philosophical Quarterly 91 (1): 38-63. 2010.Until now, antirealists have offered sketches of a theory of truth, at best. In this paper, we present a probabilist account of antirealist truth in some formal detail, and we assess its ability to deal with the problems that are standardly taken to beset antirealism.
-
172CloserSynthese 146 (3). 2005.Criteria of identity should mirror the identity relation in being reflexive, symmetrical, and transitive. However, this logical requirement is only rarely met by the criteria that we are most inclined to propose as candidates. The present paper addresses the question how such obvious candidates are best approximated by means of relations that have all of the aforementioned features, i.e., which are equivalence relations. This question divides into two more basic questions. First, what is to be c…Read more
-
10Realism in the Sciences: Proceedings of the Ernan McMullin Symposium, Leuven, 1995Leuven University Press. 1996.This book contains ten papers that were presented at the symposium about the realism debate, held at the Center for Logic, Philosophy of Science and Philosophy of Language of the Institute of Philosophy at the Katholieke Universiteit Leuven on 10 and 11 March 1995. The first group of papers are directly concerned with the realism/anti-realism debate in the general philosophy of science. This group includes the articles by Ernan McMullin, Diderik Batens/Joke Meheus, Igor Douven and Herman de Regt…Read more
-
18Quine: Naturalized Epistemology, Perceptual Knowledge and Ontology (edited book)Poznan Studies in the Philosophy of the Sciences and the Humanities, Rodopi. 2000.Contents: Introduction. NATURALIZED EPISTEMOLOGY. Ton DERKSEN: Naturalistic Epistemology, Murder and Suicide? But what about the Promises! Christopher HOOKWAY: Naturalism and Rationality. Mia GOSSELIN: Quine's Hypothetical Theory of Language Learning. A Comparison of Different Conceptual Schemes of Their Logic. THE NATURE OF PERCEPTUAL KNOWLEDGE. Jaap van BRAKEL: Quine and Innate Similarity Spaces. Dirk KOPPELBERG: Quine and Davidson on the Structure of Empirical Knowledge. Eva PICARDI: Empathy …Read more
-
9Principles of Truth: [Conference "Truth, Necessity and Provability", Which Was Held in Leuven, Belgium, From 18 to 20 November 1999] (edited book, review)De Gruyter. 2002.The concept of truth is now a major research subject in analytic philosophy. At the same time, working in different areas, mathematical logicians have developed sophisticated theories of truth and its formal paradoxes. Recent developments of semantical paradoxes in logical theories are highly relevant for philosophical research on the notion of truth. And conversely, philosophical guidance is necessary for the development of logical theories of truth and the paradoxes. From this perspective, thi…Read more
-
192Hypatia's silenceNoûs 55 (1): 62-85. 2021.Hartry Field distinguished two concepts of type‐free truth: scientific truth and disquotational truth. We argue that scientific type‐free truth cannot do justificatory work in the foundations of mathematics. We also present an argument, based on Crispin Wright's theory of cognitive projects and entitlement, that disquotational truth can do justificatory work in the foundations of mathematics. The price to pay for this is that the concept of disquotational truth requires non‐classical logical tre…Read more
-
23Tomasz Placek. Mathematical intuitionism and intersubjectivity. A critical exposition of arguments for intuitionism. Synthese library, vol. 279. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1999, xii + 218 pp (review)Bulletin of Symbolic Logic 8 (4): 518-520. 2002.
-
49Absolute Infinity in Class Theory and in TheologyIn Francesca Boccuni & Andrea Sereni (eds.), Objectivity, Realism, and Proof. FilMat Studies in the Philosophy of Mathematics, Springer International Publishing. 2016.In this article we investigate similarities between the role that ineffability of Absolute Infinity plays in class theory and in theology.
-
22The Metaphysics and Mathematics of Arbitrary ObjectsCambridge University Press. 2019.Building on the seminal work of Kit Fine in the 1980s, Leon Horsten here develops a new theory of arbitrary entities. He connects this theory to issues and debates in metaphysics, logic, and contemporary philosophy of mathematics, investigating the relation between specific and arbitrary objects and between specific and arbitrary systems of objects. His book shows how this innovative theory is highly applicable to problems in the philosophy of arithmetic, and explores in particular how arbitrary…Read more
-
322Hartry Field distinguished two concepts of type-free truth: scientific truth and disquotational truth. We argue that scientific type-free truth cannot do justificatory work in the foundations of mathematics. We also present an argument, based on Crispin Wright's theory of cognitive projects and entitlement, that disquotational truth can do justificatory work in the foundations of mathematics. The price to pay for this is that the concept of disquotational truth requires non-classical logical tre…Read more
-
50Reasoning about Arbitrary Natural Numbers from a Carnapian PerspectiveJournal of Philosophical Logic 48 (4): 685-707. 2019.Inspired by Kit Fine’s theory of arbitrary objects, we explore some ways in which the generic structure of the natural numbers can be presented. Following a suggestion of Saul Kripke’s, we discuss how basic facts and questions about this generic structure can be expressed in the framework of Carnapian quantified modal logic.
-
73Probability for the Revision Theory of TruthJournal of Philosophical Logic 48 (1): 87-112. 2019.We investigate how to assign probabilities to sentences that contain a type-free truth predicate. These probability values track how often a sentence is satisfied in transfinite revision sequences, following Gupta and Belnap’s revision theory of truth. This answers an open problem by Leitgeb which asks how one might describe transfinite stages of the revision sequence using such probability functions. We offer a general construction, and explore additional constraints that lead to desirable prop…Read more
-
51Triangulating non-archimedean probabilityReview of Symbolic Logic 11 (3): 519-546. 2018.We relate Popper functions to regular and perfectly additive such non-Archimedean probability functions by means of a representation theorem: every such non-Archimedean probability function is infinitesimally close to some Popper function, and vice versa. We also show that regular and perfectly additive non-Archimedean probability functions can be given a lexicographic representation. Thus Popper functions, a specific kind of non-Archimedean probability functions, and lexicographic probability f…Read more
-
95Generic StructuresPhilosophia Mathematica 27 (3): 362-380. 2019.In this article ideas from Kit Fine’s theory of arbitrary objects are applied to questions regarding mathematical structuralism. I discuss how sui generis mathematical structures can be viewed as generic systems of mathematical objects, where mathematical objects are conceived of as arbitrary objects in Fine’s sense.
-
63Human-Effective Computability†Philosophia Mathematica 27 (1): 61-87. 2018.We analyse Kreisel’s notion of human-effective computability. Like Kreisel, we relate this notion to a concept of informal provability, but we disagree with Kreisel about the precise way in which this is best done. The resulting two different ways of analysing human-effective computability give rise to two different variants of Church’s thesis. These are both investigated by relating them to transfinite progressions of formal theories in the sense of Feferman.
-
30Iterated reflection over full disquotational truthJournal of Logic and Computation 27 (8): 2631-2651. 2017.Iterated reflection principles have been employed extensively to unfold epistemic commitments that are incurred by accepting a mathematical theory. Recently this has been applied to theories of truth. The idea is to start with a collection of Tarski-biconditionals and arrive by iterated reflection at strong compositional truth theories. In the context of classical logic, it is incoherent to adopt an initial truth theory in which A and ‘A is truen’ are inter-derivable. In this article, we show ho…Read more