Fixing Frege / / John P. Burgess.
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...
Saved in:
VerfasserIn: | |
---|---|
Place / Publishing House: | Princeton, NJ : : Princeton University Press, , [2018] ©2005 |
Year of Publication: | 2018 |
Language: | English |
Series: | Princeton Monographs in Philosophy
|
Online Access: | |
Physical Description: | 1 online resource |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
LEADER | 03742nam a22007455i 4500 | ||
---|---|---|---|
001 | 9780691187068 | ||
003 | DE-B1597 | ||
005 | 20190523123322.0 | ||
006 | m|||||o||d|||||||| | ||
007 | cr || |||||||| | ||
008 | 190523s2018 nju fo d z eng d | ||
020 | |a 9780691187068 | ||
024 | 7 | |a 10.1515/9780691187068 |2 doi | |
035 | |a (DE-B1597)501610 | ||
035 | |a (OCoLC)1076409736 | ||
040 | |a DE-B1597 |b eng |c DE-B1597 |e rda | ||
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., |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 | 0 | |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 |
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. | ||
530 | |a Issued also in print. | ||
538 | |a Mode of access: Internet via World Wide Web. | ||
546 | |a In English. | ||
588 | 0 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 23. Mai 2019) | |
650 | 0 | |a Logic, Symbolic and mathematical. | |
650 | 7 | |a PHILOSOPHY / Logic. |2 bisacsh | |
776 | 0 | |c print |z 9780691122311 | |
856 | 4 | 0 | |u https://doi.org/10.1515/9780691187068?locatt=mode:legacy |
856 | 4 | 2 | |3 Cover |u https://www.degruyter.com/cover/covers/9780691187068.jpg |
912 | |a EBA_BACKALL | ||
912 | |a EBA_CL_PLTLJSIS | ||
912 | |a EBA_EBACKALL | ||
912 | |a EBA_EBKALL | ||
912 | |a EBA_ECL_PLTLJSIS | ||
912 | |a EBA_EEBKALL | ||
912 | |a EBA_ESSHALL | ||
912 | |a EBA_PPALL | ||
912 | |a EBA_SSHALL | ||
912 | |a GBV-deGruyter-alles | ||
912 | |a PDA11SSHE | ||
912 | |a PDA13ENGE | ||
912 | |a PDA14ALL | ||
912 | |a PDA16SSH | ||
912 | |a PDA17SSHEE | ||
912 | |a PDA1ALL | ||
912 | |a PDA2 | ||
912 | |a PDA2HUM | ||
912 | |a PDA5EBK | ||
912 | |a PDA7ENG | ||
912 | |a PDA9PRIN |