Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)


Book Description

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy and striking advances in logic. This historical-critical study provides an excellent introduction to the problems of the philosophy of mathematics - problems which have wide implications for philosophy as a whole. This reissue will appeal to students of both mathematics and philosophy who wish to improve their knowledge of logic.




Frege, Dedekind, and Peano on the Foundations of Arithmetic


Book Description

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy and striking advances in logic. This historical-critical study provides an excellent introduction to the problems of the philosophy of mathematics - problems which have wide implications for philosophy as a whole. This reissue will appeal to students of both mathematics and philosophy who wish to improve their knowledge of logic.




Gottlob Frege: Foundations of Arithmetic


Book Description

Part of theLongman Library of Primary Sources in Philosophy, this edition of Frege's Foundations of Arithmetic is framed by a pedagogical structure designed to make this important work of philosophy more accessible and meaningful for undergraduates.




Principia Mathematica


Book Description




Necessary Beings


Book Description

Bob Hale presents a broadly Fregean approach to metaphysics, according to which ontology and modality are mutually dependent upon one another. He argues that facts about what kinds of things exist depend on facts about what is possible. Modal facts are fundamental, and have their basis in the essences of things—not in meanings or concepts.







Practical Foundations of Mathematics


Book Description

Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.




Abstraction and Infinity


Book Description

Mancosu offers an original investigation of key notions in mathematics: abstraction and infinity, and their interaction. He gives a historical analysis of the theorizing of definitions by abstraction, and explores a novel approach to measuring the size of infinite sets, showing how this leads to deep mathematical and philosophical problems.




Introduction to Mathematical Logic, Fourth Edition


Book Description

The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in mathematical logic. This edition includes an extensive appendix on second-order logic, a section on set theory with urlements, and a section on the logic that results when we allow models with empty domains. The text contains numerous exercises and an appendix furnishes answers to many of them. Introduction to Mathematical Logic includes: propositional logic first-order logic first-order number theory and the incompleteness and undecidability theorems of Gödel, Rosser, Church, and Tarski axiomatic set theory theory of computability The study of mathematical logic, axiomatic set theory, and computability theory provides an understanding of the fundamental assumptions and proof techniques that form basis of mathematics. Logic and computability theory have also become indispensable tools in theoretical computer science, including artificial intelligence. Introduction to Mathematical Logic covers these topics in a clear, reader-friendly style that will be valued by anyone working in computer science as well as lecturers and researchers in mathematics, philosophy, and related fields.




Frege in Perspective


Book Description

Not only can the influence of Gottlob Frege (1848-1925) be found in contemporary work in logic, the philosophy of mathematics, and the philosophy of language, but his projects—and the very terminology he employed in pursuing those projects—are still current in contemporary philosophy. This is undoubtedly why it seems so reasonable to assume that we can read Frege' s writings as if he were one of us, speaking to our philosophical concerns in our language. In Joan Weiner's view, however, Frege's words can be accurately interpreted only if we set that assumption aside. Weiner here offers a challenging new approach to the philosophy of this central figure in analytic philosophy. Weiner finds in Frege's corpus, from Begriffsschrift (1879) on, a unified project of remarkable ambition to which each of the writings in that corpus makes a distinct contribution—a project whose motivation she brings to life through a careful reading of his Foundations of Arithmetic. The Frege that Weiner brings into clear view is very different from the familiar figure. Far from having originated one of the standard positions on the nature of reference, Frege turns out not to have had positive doctrines on anything like what contemporary philosophers mean by "reference." Far from having served as a standard-bearer for those who take the realists' side of contemporary disputes with anti-realists, Frege turns out to have had no stake in either side of the controversy. Through Weiner's lens, Frege emerges as a thinker who has principled reasons for challenging the very assumptions and motivations that animate philosophers to dispute these doctrines. This lucidly written and accessible book will generate controversy among all readers with an interest in epistemology, philosophy of language, history of philosophy, and the philosophy of mathematics.