-
59Completeness and categoricty, part II: 20th century metalogic to 21st century semanticsHistory and Philosophy of Logic 23 (1): 77-92. 2002.This paper is the second in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully ext…Read more
-
66Logic in the 1930s: type theory and model theoryBulletin of Symbolic Logic 19 (4): 433-472. 2013.In historical discussions of twentieth-century logic, it is typically assumed that model theory emerged within the tradition that adopted first-order logic as the standard framework. Work within the type-theoretic tradition, in the style of Principia Mathematica, tends to be downplayed or ignored in this connection. Indeed, the shift from type theory to first-order logic is sometimes seen as involving a radical break that first made possible the rise of modern model theory. While comparing sever…Read more
-
147Hempel, Carnap, and the Covering Law ModelIn Nikolay Milkov & Volker Peckhaus (eds.), The Berlin Group and the Philosophy of Logical Empiricism, Springer. pp. 311--324. 2013.
-
96Frege-Russell numbers: Analysis or explication?In The Analytic Turn, Routledge. pp. 33-50. 2007.For both Gottlob Frege and Bertrand Russell, providing a philosophical account of the concept of number was a central goal, pursued along similar logicist lines. In the present paper, I want to focus on a particular aspect of their accounts: their definitions, or reconstructions, of the natural numbers as equivalence classes of equinumerous classes. In other words, I want to examine what is often called the "Frege-Russell conception of the natural numbers" or, more briefly, the Frege-Russell num…Read more
-
134Dedekind's structuralism: An interpretation and partial defenseSynthese 137 (3). 2003.Various contributors to recent philosophy of mathematics havetaken Richard Dedekind to be the founder of structuralismin mathematics. In this paper I examine whether Dedekind did, in fact, hold structuralist views and, insofar as that is the case, how they relate to the main contemporary variants. In addition, I argue that his writings contain philosophical insights that are worth reexamining and reviving. The discussion focusses on Dedekind''s classic essay Was sind und was sollen die Zahlen?, …Read more
-
27The Historical turn in Analytic Philosophy (edited book)Palgrave-Macmillan. 2013.During the last 25 years, a large number of publications on the history of analytic philosophy have appeared, significantly more than in the preceding period. As most of these works are by analytically trained authors, it is tempting to speak of a 'historical turn' in analytic philosophy. The present volume constitutes both a contribution to this body of work and a reflection on what is, or might be, achieved in it. The twelve new essays, by an international group of contributors, range from cas…Read more
-
223Frege on Numbers: Beyond the Platonist PictureThe Harvard Review of Philosophy 13 (2): 25-40. 2005.Gottlob Frege is often called a "platonist". In connection with his philosophy we can talk about platonism concerning three kinds of entities: numbers, or logical objects more generally; concepts, or functions more generally; thoughts, or senses more generally. I will only be concerned about the first of these three kinds here, in particular about the natural numbers. I will also focus mostly on Frege's corresponding remarks in The Foundations of Arithmetic (1884), supplemented by a few asides o…Read more
-
From Frege to Wittgenstein: Essays on Early Analytic Philosophy (edited book)Oxford University Press. 2002.
-
23Gottlob Frege: Critical Assessments of Leading Philosophers, Vol. II (edited book)Routledge. 2005.
-
192Completeness and Categoricity. Part I: Nineteenth-century Axiomatics to Twentieth-century MetalogicHistory and Philosophy of Logic 23 (1): 1-30. 2002.This paper is the first in a two-part series in which we discuss several notions of completeness for systems of mathematical axioms, with special focus on their interrelations and historical origins in the development of the axiomatic method. We argue that, both from historical and logical points of view, higher-order logic is an appropriate framework for considering such notions, and we consider some open questions in higher-order axiomatics. In addition, we indicate how one can fruitfully exte…Read more
-
Introduction : Analytic philosophy and philosophical historyIn The Historical turn in Analytic Philosophy, Palgrave-macmillan. pp. 1-36. 2013.
-
68Frege's natural numbers: Motivations and modificationsIn Michael Beaney & Erich Reck (eds.), Gottlob Frege: Critical Assessments of Leading Philosophers, Vol. III, Routledge. pp. 270-301. 2005.Frege's main contributions to logic and the philosophy of mathematics are, on the one hand, his introduction of modern relational and quantificational logic and, on the other, his analysis of the concept of number. My focus in this paper will be on the latter, although the two are closely related, of course, in ways that will also play a role. More specifically, I will discuss Frege's logicist reconceptualization of the natural numbers with the goal of clarifying two aspects: the motivations for…Read more
-
99Dedekind, structural reasoning, and mathematical understandingIn Bart Van Kerkhove (ed.), New Perspectives on Mathematical Practices: Essays in Philosophy and History of Mathematics, World Scientific. pp. 150--173. 2009.
Riverside, California, United States of America
Areas of Interest
Aesthetics |
Metaphilosophy |
Philosophy of Computing and Information |
PhilPapers Editorships
History: Philosophy of Mathematics |
The Infinite |