Description
Book SynopsisSurveys 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. This work considers every proposed fix, each with its distinctive philosophical advantages and drawbacks.
Trade ReviewCo-Winner of the 2007 Shoenfield Prize, Association for Symbolic Logic "Fixing Frege fills a serious gap in the Frege's literature (always increasing but perhaps with an excessive attention paid to semantics and the philosophy of language) and should remain for a long time a necessary reference for scholars in the field."--Ignacio Angelelli, Review of Modern Logic
Table of ContentsAcknowledgments ix CHAPTER 1: Frege, Russell, and After 1 CHAPTER 2: Predicative Theories 86 CHAPTER 3: Impredicative Theories 146 Tables 215 Notes 227 References 241 Index 249