Franklin
Staff View
LEADER 03568nam a22005295i 4500
005
20220622174637.0
006
m o d
007
cr n
008
190523s2018 nju fo d z eng d
001
9977774776103681
020
a| 9780691187068
024
7
a| 10.1515/9780691187068
2| doi
035
a| (DE-B1597)DGPIL9780691187068
035
a| (DE-B1597)DGPIL501610
035
a| (OCoLC)DGPIL1076409736
040
a| DE-B1597
b| eng
e| rda
c| DE-B1597
041
0
a| eng
044
a| nju
c| US-NJ
050
4
a| QA9
b| .B854 2005eb
072
7
a| MAT015000
2| bisacsh
072
7
a| MAT018000
2| bisacsh
072
7
a| PHI011000
2| bisacsh
082
0
4
a| 511.3
2| 23
100
1
a| Burgess, John P.,
d| 1948-
0| http://id.loc.gov/authorities/names/n2001013661
e| author.
245
1
0
a| Fixing Frege /
c| John P. Burgess.
264
1
a| Princeton, NJ :
b| Princeton University Press,
c| [2018]
264
4
c| ©2005
300
a| 1 online resource.
336
a| text
b| txt
2| rdacontent
337
a| computer
b| c
2| rdamedia
338
a| online resource
b| cr
2| rdacarrier
347
a| text file
b| PDF
2| rda
490
1
a| Princeton Monographs in Philosophy
505
0
0
t| Frontmatter --
t| Contents --
t| Acknowledgments --
t| CHAPTER 1. Frege, Russell, and After --
t| CHAPTER 2. Predicative Theories --
t| CHAPTER 3. Impredicative Theories --
t| Tables --
t| Notes --
t| References --
t| Index
506
a| Restricted for use by site license.
520
a| 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.
538
a| Mode of access: Internet via World Wide Web.
588
0
a| Description based on online resource; title from PDF title page (publisher's Web site, viewed 23. Mai 2019)
546
a| In English.
650
0
a| Logic, Symbolic and mathematical.
0| http://id.loc.gov/authorities/subjects/sh85078115
650
7
a| Logic, Symbolic and mathematical.
2| fast
0| http://id.worldcat.org/fast/1002068
655
7
a| Dictionaries.
2| lcgft
0| http://id.loc.gov/authorities/genreForms/gf2014026086
655
7
a| Dictionaries.
2| fast
0| http://id.worldcat.org/fast/1423826
710
2
a| De Gruyter.
773
0
a| De Gruyter University Press Library.
830
0
a| Princeton monographs in philosophy.
0| http://id.loc.gov/authorities/names/n99037617
902
a| MARCIVE 2022