Home
»
Fixing Frege
A01=John P. Burgess
Addition
Arithmetic
Associative property
Author_John P. Burgess
Axiom
Burali-Forti paradox
Cantor's paradox
Cantor's theorem
Category=PBB
Classical logic
Classical mathematics
Commutative property
Comprehension (logic)
Conservative extension
Consistency
Continuum hypothesis
Contradiction
Denotation
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Equation
Equinumerosity
Existential quantification
Exponentiation
Extensionality
First-order logic
Godel's incompleteness theorems
Gottlob Frege
Higher-order logic
Hilbert's program
Hume's principle
I0
Inaccessible cardinal
Interpretability
Limitation of size
Logic
Logical conjunction
Logical disjunction
Mathematical induction
Mathematics
Metatheorem
Model theory
Natural number
Natural proof
Negation
Null set
Parameter
Peano axioms
Permutation
Point at infinity
Power set
Predicate (mathematical logic)
Propositional function
Quantifier (logic)
Quantity
Real number
Recursively enumerable set
Reinhardt cardinal
Reverse mathematics
Russell's paradox
Satisfiability
Second-order logic
Set theory
Soundness
Special case
Subset
Successor function
Theorem
Theory
Universal set
Upper and lower bounds
Variable (mathematics)
Well-order
Zermelo-Fraenkel set theory
Product details
- ISBN 9780691122311
- Weight: 454g
- Dimensions: 140 x 216mm
- Publication Date: 25 Jul 2005
- Publisher: Princeton University Press
- Publication City/Country: US
- Product Form: Hardback
Delivery/Collection within 10-20 working days
Our Delivery Time Frames Explained
2-4 Working Days: Available in-stock
10-20 Working Days: On Backorder
Will Deliver When Available: On Pre-Order or Reprinting
We ship your order once all items have arrived at our warehouse and are processed. Need those 2-4 day shipping items sooner? Just place a separate order for them!
The great logician Gottlob Frege attempted to provide a purely logical foundation for mathematics. His system collapsed when Bertrand Russell discovered a contradiction in it. Thereafter, mathematicians and logicians, beginning with Russell himself, turned in other directions to look for a framework for modern abstract mathematics. Over the past couple of decades, however, logicians and philosophers have discovered that much more is salvageable from the rubble of Frege's system than had previously been assumed. A variety of repaired systems have been proposed, each a consistent theory permitting the development of a significant portion of mathematics. This book surveys the assortment of methods put forth for fixing Frege's system, in an attempt to determine just how much of mathematics can be reconstructed in each. John Burgess considers every proposed fix, each with its distinctive philosophical advantages and drawbacks. These systems range from those barely able to reconstruct the rudiments of arithmetic to those that go well beyond the generally accepted axioms of set theory into the speculative realm of large cardinals.
For the most part, Burgess finds that attempts to fix Frege do less than advertised to revive his system. This book will be the benchmark against which future analyses of the revival of Frege will be measured.
John P. Burgess is Professor of Philosophy at Princeton University. He is the author of numerous articles on mathematical and philosophical logic and philosophy of mathematics and coauthor of "A Subject with No Object".
Qty:
