Frege’s theorem

Frege's Theorem collects eleven essays by Richard G Heck, Jr, one of the world's leading authorities on Frege's philosophy. The Theorem is the central contribution of Gottlob Frege's formal work on arithmetic. It tells us that the axioms of arithmetic can be derived, purely logically, from a single principle: the number of these things is the same as the number of those things just in case these can be matched up one-to-one with those. But that principle seems so utterly fundamental to thought about number that it might almost count as a definition of number. If so, Frege's Theorem shows that arithmetic follows, purely logically, from a near definition. As Crispin Wright was the first to make clear, that means that Frege's logicism, long thought dead, might yet be viable. Heck probes the philosophical significance of the Theorem, using it to launch and then guide a wide-ranging exploration of historical, philosophical, and technical issues in the philosophy of mathematics and logic, and of their connections with metaphysics, epistemology, the philosophy of language and mind, and even developmental psychology. The book begins with an overview that introduces the Theorem and the issues surrounding it, and explores how the essays that follow contribute to our understanding of those issues. There are also new postscripts to five of the essays, which discuss changes of mind, respond to published criticisms, and advance the discussion yet further. Preface Editorial Notes 1. Frege's Theorem: An Overview 2. The Development of Arithmetic 3. Die Grundlagen der Arithmetik 82-83 4. Frege's Principle 5. Julius Caesar and Basic Law V 6. The Julius Caesar Objection 7. Cardinality, Counting, and Equinumerosity 8. Syntactic Reductionism 9. The Existence of Abstract Objects 10. The Consistency of Contextual Definitions 11. Finitude and Hume's Principle 12. A Logic for Frege's Theorem Index Richard Heck explores a key idea in the work of the great philosopher/logician Gottlob Frege: that the axioms of arithmetic can be logically derived from a single principle. Heck uses the theorem to explore historical, philosophical, and technical issues in philosophy of mathematics and logic, relating them to key areas of contemporary philosophy. Richard Heck explores a key idea in the work of the great philosopher Gottlob Frege: that the axioms of arithmetic can be logically derived from a single principle. Heck uses Frege's theorem to explore historical, philosophical and technical issues in the philosophy of mathematics and logic