•  401
    Frege's influence on Wittgenstein: Reversing metaphysics via the context principle
    In Gottlob Frege: Critical Assessments of Leading Philosophers, Vol. I, Routledge. pp. 241-289. 2005.
    Gottlob Frege and Ludwig Wittgenstein (the later Wittgenstein) are often seen as polar opposites with respect to their fundamental philosophical outlooks: Frege as a paradigmatic "realist", Wittgenstein as a paradigmatic "anti-realist". This opposition is supposed to find its clearest expression with respect to mathematics: Frege is seen as the "arch-platonist", Wittgenstein as some sort of "radical anti-platonist". Furthermore, seeing them as such fits nicely with a widely shared view about the…Read more
  •  225
    Structures and structuralism in contemporary philosophy of mathematics
    with Michael P. Price
    Synthese 125 (3): 341-383. 2000.
    In recent philosophy of mathematics avariety of writers have presented ``structuralist''views and arguments. There are, however, a number ofsubstantive differences in what their proponents take``structuralism'' to be. In this paper we make explicitthese differences, as well as some underlyingsimilarities and common roots. We thus identifysystematically and in detail, several main variants ofstructuralism, including some not often recognized assuch. As a result the relations between thesevariants…Read more
  •  215
    Frege on Numbers: Beyond the Platonist Picture
    The 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
  •  203
    Carnapian explication, formalisms as cognitive tools, and the paradox of adequate formalization
    with Catarina Dutilh Novaes
    Synthese 194 (1): 195-215. 2017.
    Explication is the conceptual cornerstone of Carnap’s approach to the methodology of scientific analysis. From a philosophical point of view, it gives rise to a number of questions that need to be addressed, but which do not seem to have been fully addressed by Carnap himself. This paper reconsiders Carnapian explication by comparing it to a different approach: the ‘formalisms as cognitive tools’ conception. The comparison allows us to discuss a number of aspects of the Carnapian methodology, as…Read more
  •  180
    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
  •  176
    Frege on truth, judgment, and objectivity
    Grazer Philosophische Studien 75 (1): 149-173. 2007.
    In Frege's writings, the notions of truth, judgment, and objectivity are all prominent and important. This paper explores the close connections between them, together with their ties to further cognate notions, such as those of thought, assertion, inference, logical law, and reason. It is argued that, according to Frege, these notions can only be understood properly together, in their inter-relations. Along the way, interpretations of some especially cryptic Fregean remarks, about objectivity, l…Read more
  •  130
    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
  •  100
    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
  •  97
    In Untersuchungen zur allgemeinen Axiomatik and Abriss der Logistik, Carnap attempted to formulate the metatheory of axiomatic theories within a single, fully interpreted type-theoretic framework and to investigate a number of meta-logical notions in it, such as those of model, consequence, consistency, completeness, and decidability. These attempts were largely unsuccessful, also in his own considered judgment. A detailed assessment of Carnap’s attempt shows, nevertheless, that his approach is …Read more
  •  96
    Frege-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
  •  92
    From Frege to Wittgenstein: perspectives on early analytic philosophy (edited book)
    Oxford University Press. 2002.
    Analytic philosophy--arguably one of the most important philosophical movements in the twentieth century--has gained a new historical self-consciousness, particularly about its own origins. Between 1880 and 1930, the most important work of its founding figures (Frege, Russell, Moore, Wittgenstein) not only gained attention but flourished. In this collection, fifteen previously unpublished essays explore different facets of this period, with an emphasis on the vital intellectual relationship betw…Read more
  •  81
    Frege, Dedekind, and the Origins of Logicism
    History and Philosophy of Logic 34 (3): 242-265. 2013.
    This paper has a two-fold objective: to provide a balanced, multi-faceted account of the origins of logicism; to rehabilitate Richard Dedekind as a main logicist. Logicism should be seen as more deeply rooted in the development of modern mathematics than typically assumed, and this becomes evident by reconsidering Dedekind's writings in relation to Frege's. Especially in its Dedekindian and Fregean versions, logicism constitutes the culmination of the rise of ?pure mathematics? in the nineteenth…Read more
  •  78
    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
  •  64
    Frege's natural numbers: Motivations and modifications
    In 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
  •  63
    Developments in Logic: Carnap, Gödel, and Tarski
    In Michael Beaney (ed.), Oxford Handbook of the History of Analytic Philosophy, Oxford University Press. pp. 546-571. 2013.
    Analytic philosophy and modern logic are intimately connected, both historically and systematically. Thinkers such as Frege, Russell, and Wittgenstein were major contributors to the early development of both; and the fruitful use of modern logic in addressing philosophical problems was, and still is, definitive for large parts of the analytic tradition. More specifically, Frege's analysis of the concept of number, Russell's theory of descriptions, and Wittgenstein's notion of tautology have long…Read more
  •  61
    The philosophy of mathematics has long been an important part of philosophy in the analytic tradition, ever since the pioneering works of Frege and Russell. Richard Dedekind was roughly Frege's contemporary, and his contributions to the foundations of mathematics are widely acknowledged as well. The philosophical aspects of those contributions have been received more critically, however. In the present essay, Dedekind's philosophical reception is reconsidered. At the essay’s core lies a comparis…Read more
  •  61
    Logic in the 1930s: type theory and model theory
    Bulletin 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
  •  52
    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
  •  27
    Logic in the 1930s: Type Theory and Model Theory
    Bulletin 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 ofPrincipia 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 severa…Read more
  •  23
    Frege, natural numbers, and arithmetic's umbilical cord
    Manuscrito 26 (2): 427-70. 2003.
    A central part of Frege's logicism is his reconstruction of the natural numbers as equivalence classes of equinumerous concepts or classes. In this paper, I examine the relationship of this reconstruction both to earlier views, from Mill all the way back to Plato, and to later formalist and structuralist views; I thus situate Frege within what may be called the “rise of pure mathematics” in the nineteenth century. Doing so allows us to acknowledge continuities between Frege's and other approache…Read more
  •  23
    The Pre-History of Mathematical Structuralism (edited book)
    Oxford University Press. 2020.
    This edited volume explores the previously underacknowledged 'pre-history' of mathematical structuralism, showing that structuralism has deep roots in the history of modern mathematics. The contributors explore this history along two distinct but interconnected dimensions. First, they reconsider the methodological contributions of major figures in the history of mathematics. Second, they re-examine a range of philosophical reflections from mathematically-inclinded philosophers like Russell, Carn…Read more
  •  17
    Introduction to Special Issue: Dedekind and the Philosophy of Mathematics
    Philosophia Mathematica 25 (3): 287-291. 2017.
    © The Author [2017]. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: [email protected] Dedekind was a contemporary of Bernhard Riemann, Georg Cantor, and Gottlob Frege, among others. Together, they revolutionized mathematics and logic in the second half of the nineteenth century. Dedekind had an especially strong influence on David Hilbert, Ernst Zermelo, Emmy Noether, and Nicolas Bourbaki, who completed that revolution in the twentiet…Read more
  •  16
    This book presents a series of case studies and reflections on the historiographical assumptions, methods, and approaches that shape the way in which philosophers construct their own past. The chapters in the volume advance discussion of the methods of historians of philosophy, while at the same time illustrating the various ways in which philosophical canons come into existence, debunking the myth of analytical philosophy's ahistoricism, and providing a deeper understanding of the roles histori…Read more
  •  16
    The 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
  •  9
    In a career that spans 60 years so far, W.W. Tait has made many highly influential contributions to logic, the philosophy of mathematics, and their history. The present collection of new essays - contributed by former students, colleagues, and friends - is a Festschrift, i.e., a celebration of his life and work. The essays address a variety of themes prominent in his work or related to it. The collection starts with an introduction in which Tait's contributions are sketched and put into context.…Read more