The Basic Laws of Arithmetic

Exposition of the System

Gottlob Frege, Montgomery Furth

• Publisher: University of California Press
• Year: 2023
• Print ISBN: 9780520359079
• eBook ISBN: 9780520312364
• Edition: 1
• Topic: Mathematics
• Subtopic: Arithmetic
• Index: Mathematics

Basic Laws of Arithmetic: Exposition of the System by Gottlob Frege is a seminal work that aims to establish arithmetic and mathematical analysis as logical systems derived from pure logic. Published in 1893, it represents a cornerstone in the history of mathematical and philosophical thought. Frege’s primary objective was to substantiate logicism, the view that truths of arithmetic are not irreducibly mathematical, synthetic a priori, or empirical, but are instead expressions of logical truths. The book lays out three core tasks: defining logical propositions and rules of inference, and deriving arithmetic's fundamental truths from these logical principles. While Frege’s meticulous approach to these tasks helped establish mathematical logic as a discipline, his work ultimately failed to achieve its purpose, as the set theory underpinning his system proved inconsistent, a flaw brought to his attention by Bertrand Russell.

Despite its failure as Frege envisioned it, the work remains profoundly influential. Frege’s exploration of logical truth and inference pioneered formal logic, including propositional calculus, quantification theory, and set theory. His philosophy of language, embedded within the system’s semantics, offers a deep and nuanced understanding of meaning that continues to resonate within analytical philosophy. Moreover, Frege’s precise and rigorous standards of reasoning surpass many subsequent works, including the more widely adopted Principia Mathematica. Although his logicism is untenable in its original form, Frege’s ideas remain a vital resource for understanding the intersection of logic, mathematics, and language, making his Grundgesetze a crucial study for philosophers, logicians, and historians. This translation of key sections emphasizes its ongoing relevance to modern philosophical inquiries into meaning and language.

This title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1964.

Table of contents

• Cover
• EDITOR'S INTRODUCTION
• CONTENTS
• Introduction
• § 0. Our task. Demands on the conduct of proof. Dedekind's system. Schroder's class
• Exposition of the Begriffsschrift
• APPENDIX I
• APPENDIX II