-
162On the Quantitative Scalar or-ImplicatureSynthese 146 (1-2): 111-127. 2005.. Two simple generalized conversational implicatures are investigated :(1) the quantitative scalar implicature associated with ‘or’, and (2) the ‘not-and’-implicature, which is the dual to (1). It is argued that it is more fruitful to consider these implicatures as rules of interpretation and to model them in an algebraic fashion than to consider them as nonmonotonic rules of inference and to model them in a proof-theoretic way.
-
4838Cantorian Infinity and Philosophical Concepts of GodEuropean 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
-
154Having 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
-
108The Tarskian Turn: Deflationism and Axiomatic TruthMIT Press. 2011.The work of mathematician and logician Alfred Tarski (1901--1983) marks the transition from substantial to deflationary views about truth.
-
92Dennis E. Hesseling. Gnomes in the fog: The reception of Brouwer's intuitionism in the 1920s. Basel, Boston, Berlin: Birkhäu-ser verlag, 2003. Pp. XXIII + 448. ISBN 3-7643-6536- (review)Philosophia Mathematica 13 (1): 111-113. 2005.
-
234Revision RevisitedReview 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.
