•  67
    Principles of truth (edited book)
    Hänsel-Hohenhausen. 2002.
    On the one hand, the concept of truth is a major research subject in analytic philosophy. On the other hand, mathematical logicians have developed sophisticated logical theories of truth and the paradoxes. Recent developments in logical theories of the semantical paradoxes 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, this volume …Read more
  •  142
    Models for the logic of possible proofs
    Pacific Philosophical Quarterly 81 (1). 2000.
  •  4840
    Cantorian Infinity and Philosophical Concepts of God
    with Joanna Van der Veen
    European Journal for Philosophy of Religion 5 (3): 117--138. 2013.
    It is often alleged that Cantor’s views about how the set theoretic universe as a whole should be considered are fundamentally unclear. In this article we argue that Cantor’s views on this subject, at least up until around 1896, are relatively clear, coherent, and interesting. We then go on to argue that Cantor’s views about the set theoretic universe as a whole have implications for theology that have hitherto not been sufficiently recognised. However, the theological implications in question, …Read more
  •  154
    Having an interpretation (review)
    Philosophical Studies 150 (3). 2010.
    I investigate what it means to have an interpretation of our language, how we manage to bestow a determinate interpretation to our utterances, and to which extent our interpretation of the world is determinate. All this is done in dialogue with van Fraassen's insightful discussion of Putnam's model-theoretic argument and of scientific structuralism
  •  108
    The work of mathematician and logician Alfred Tarski (1901--1983) marks the transition from substantial to deflationary views about truth.
  •  234
    Revision Revisited
    Review of Symbolic Logic 5 (4): 642-664. 2012.
    This article explores ways in which the Revision Theory of Truth can be expressed in the object language. In particular, we investigate the extent to which semantic deficiency, stable truth, and nearly stable truth can be so expressed, and we study different axiomatic systems for the Revision Theory of Truth.