© 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 twentieth century. With respect to mainstream mathematics, he is best known for his contributions (...) to algebra and number theory. With respect to logic and the foundations of mathematics, many of his technical results — his conceptualization of the natural and real numbers, his analysis of proofs by mathematical induction and definitions by recursion (extended to the transfinite by Zermelo, John von... (shrink)

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 case studies on individual philosophers through discussions of broader themes in the history of analytic philosophy to related methodological reflections. (shrink)

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 comparison of Frege's and Dedekind's legacies, within and outside of (...) analytic philosophy. While the comparison proceeds historically, it is shaped by current philosophical concerns, especially by debates about neo-logicist and neo-structuralist views. In fact, philosophical and historical considerations are intertwined thoroughly, to the benefit of both. The underlying motivation is to rehabilitate Dedekind as a major philosopher of mathematics, in relation, but not necessarily in opposition, to Frege. (shrink)

Cet ouvrage est une réédition numérique d’un livre paru au XXe siècle, désormais indisponible dans son format d’origine.

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 well as (...) issues pertaining to formalization in general. We start by introducing Carnap’s conception of explication, arguing that there is a tension between his proposed criteria of fruitfulness and similarity; we also argue that his further desideratum of exactness is less crucial than might appear at first. We then bring in the general idea of formalisms as cognitive tools, mainly by discussing the reliability of so-called statistical prediction rules, i.e. simple algorithms used to make predictions across a range of areas. SPRs allow for a concrete instantiation of Carnap’s fruitfulness desideratum, which is arguably the most important desideratum for him. Finally, we elaborate on what we call the ‘paradox of adequate formalization’, which for the Carnapian corresponds to the tension between similarity and fruitfulness. We conclude by noting that formalization is an inherently paradoxical enterprise in general, but one worth engaging in given the ‘cognitive boost’ it affords as a tool for discovery. (shrink)

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 extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

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 extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

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 several early attempts to develop the semantics of (...) axiomatic theories in the 1930s, by two proponents of the type-theoretic tradition and two proponents of the first-order tradition, we argue that, instead, the move from type theory to first-order logic is better understood as a gradual transformation, and further, that the contributions to semantics made in the type-theoretic tradition should be seen as central to the evolution of model theory. (shrink)

Steve Awodey and Erich H. Reck. Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics.

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 much less confused and hopeless than it has often been made out to (...) be. By providing such a reassessment, the paper contributes to a reevaluation of Carnap’s contributions to the development of modern logic. (shrink)

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 several early attempts to develop the semantics (...) of axiomatic theories in the 1930s, by two proponents of the type-theoretic tradition and two proponents of the first-order tradition, we argue that, instead, the move from type theory to first-order logic is better understood as a gradual transformation, and further, that the contributions to semantics made in the type-theoretic tradition should be seen as central to the evolution of model theory. (shrink)

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 extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

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 historiographical devices play in philosophical thought. More importantly, (...) the contributors attempt to understand history of philosophy in connection with other historical and historiographical approaches: contributors engage classical history of science, sociology of knowledge, history of psychology and historiography, in dialogue with historiographical practices in philosophy more narrowly construed. Additionally, select chapters adopt a more diverse perspective, by making place for non-Western approaches and for efforts to construe new philosophical narratives that do justice to the voice of women across the centuries. Historiography and the Formation of Philosophical Canons will be of interest to researchers and advanced students working in history of philosophy, meta-philosophy, philosophy of history, historiography, intellectual history, and sociology of knowledge. (shrink)

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 extend the usual set-theoretic semantics (...) so as to shed new light on the relevant strengths and limits of higher-order logic. (shrink)

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?, supplemented by evidence from Stetigkeit und (...) irrationale Zahlen, his scientific correspondence, and his Nachlaß. (shrink)

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, Carnap, and Quine, whose work led to profound conclusions about logical, epistemological, and metaphysic.

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, and between the respective problems theyface, become manifest. Throughout our focus is onsemantic and metaphysical issues, (...) including what is orcould be meant by ``structure'' in this connection. (shrink)

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 between Frege and the early Wittgenstein.

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 century; and this rise brought with it (...) an inter-weaving of methodological and epistemological considerations. The latter aspect illustrates how philosophical concerns can grow out of mathematical practice, as opposed to being imposed on it from outside. It also sheds new light on the legacy and the lasting significance of logicism today. (shrink)

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 their relation: the later Wittgenstein is supposed to have developed his (...) ideas in direct opposition to Frege. The purpose of this paper is to challenge these standard assumptions. I will argue that Frege's and Wittgenstein's basic outlooks have something crucial in common; and I will argue that this is the result of the positive influence Frege had on Wittgenstein. (shrink)

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, laws of truth, and reason, are offered, and seemingly (...) opposed "realist" and "idealist" strands in his position reconciled. (shrink)

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 on Basic Laws of (...) Arithmetic (1893/1903) and "Thoughts" (1918). My goal is to clarify in which sense the Frege of Foundations and Basic Laws is a platonist concerning the natural numbers.1.. (shrink)