Reading Frege's Grundgesetze:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford
Clarendon Press
2012
|
| Ausgabe: | 1. ed. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Hier auch später erschienene, unveränderte Nachdrucke Includes bibliographical references and index |
| Beschreibung: | XVIII, 296 S. 24 cm |
| ISBN: | 9780199233700 0199233705 9780198744375 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV040683085 | ||
| 003 | DE-604 | ||
| 005 | 20170321 | ||
| 007 | t | ||
| 008 | 130118s2012 |||| 00||| eng d | ||
| 015 | |a GBB269853 |2 dnb | ||
| 020 | |a 9780199233700 |c (hbk) |9 978-0-19-923370-0 | ||
| 020 | |a 0199233705 |c (hbk) |9 0-19-923370-5 | ||
| 020 | |a 9780198744375 |9 978-0-19-874437-5 | ||
| 035 | |a (OCoLC)824691301 | ||
| 035 | |a (DE-599)BVBBV040683085 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-19 |a DE-29 |a DE-11 |a DE-355 |a DE-703 | ||
| 082 | 0 | |a 513.092 | |
| 084 | |a CG 3395 |0 (DE-625)18209:11614 |2 rvk | ||
| 084 | |a CG 3397 |0 (DE-625)18209:11616 |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Heck, Richard Kimberly |e Verfasser |0 (DE-588)1029215162 |4 aut | |
| 245 | 1 | 0 | |a Reading Frege's Grundgesetze |c Richard G. Heck, Jr |
| 250 | |a 1. ed. | ||
| 264 | 1 | |a Oxford |b Clarendon Press |c 2012 | |
| 300 | |a XVIII, 296 S. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Hier auch später erschienene, unveränderte Nachdrucke | ||
| 500 | |a Includes bibliographical references and index | ||
| 600 | 1 | 4 | |a Frege, Gottlob / 1848-1925 |
| 600 | 1 | 7 | |a Frege, Gottlob |d 1848-1925 |t Grundgesetze der Arithmetik |0 (DE-588)4483219-9 |2 gnd |9 rswk-swf |
| 650 | 4 | |a Arithmetic / Philosophy | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Philosophie | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Frege, Gottlob |d 1848-1925 |t Grundgesetze der Arithmetik |0 (DE-588)4483219-9 |D u |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Erlangen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025509436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |n DHB | |
| 940 | 1 | |q DHB_JDG_ISBN_1 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025509436 | ||
Datensatz im Suchindex
| _version_ | 1804149815826710528 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
PREFACE IX THANK YOUS XIII
EDITORIAL NOTES XV
ACKNOWLEDGEMENTS XVII
1 INTRODUCTION 1
1.1 THE GENESIS OF GRUNDGESETZE 1
1.2 THE FALL AND RISE OF GRUNDGESETZE 4
1.3 FREGE ON THE REALS 13
1.4 LOGIC IN GRUNDGESETZE 15
1.5 THE CENTRALITY OF GRUNDGESETZE 21
1.6 GOALS FOR THE BOOK 22
I THE LOGIC BEHIND FREGE S LOGICISM 25
2 FREGE AND SEMANTICS 27
2.1 FREGE AND THE JUSTIFICATION OF LOGICAL LAWS 27
2.2 FORMALISM AND THE SIGNIFICANCE OF INTERPRETATION 38
2.3 THE REGRESS ARGUMENT 45
3 GRUNDGESETZE I §§29-32 (I) 51
3.1 THE CHARACTER OF THE INDUCTION 53
3.2 FREGE ON FREE VARIABLES 59
3.3 THE INDUCTION STEP 64
3.4 THE BASIS CASE: THE LOGICAL EXPRESSIONS 68
3.5 THE BASIS CASE: THE SMOOTH BREATHING (I) 72
4 GRUNDGESETZE I §10 82
4.1 PHILOSOPHICAL ASPECTS 83
4.2 TECHNICAL ASPECTS 89
4.3 IS CAESAR A VALUE-RANGE? 91
4.4 THE SECOND PROBLEM, AND FREGE S RESPONSE 96
4.5 ARE THE ARGUMENTS IN §10 SYNTACTIC OR SEMANTIC? 104
5 GRUNDGESETZE I §§29-32 (11) 118
5.1 THE BASIS CASE: THE SMOOTH BREATHING (LI) 118
5.2 LINNEBO S ALTERNATIVE 121
5.3 FINAL REMARKS ON §§29-32 126
5.4 THE COST OF FREGE S RESPONSE TO THE CAESAR PROBLEM 129
IMAGE 2
VI CONTENTS
11 THE MATHEMATICS BEHIND FREGE S LOGICISM 135
6 THE DEVELOPRNENT OF ARITHRNETIC 137
6.1 FREGE S U SE OF BASIC LAW V 137
6.2 FREGE S FORMULATIONS OF HP 140
6.3 FREGE S PROOFS OF AXIOMS FOR ARITHMETIC 144
6.4 THE CONCEPT OFNATURAL NUMBER 151
6.5 THE BASIC FACTS ABOUT THE ANCESTRAL 152
6.6 AN ELEGANT PROOFTHAT EVERY NUMBER HAS A SUCCESSOR 155
6.6.1 THE STRATEGY OF THE PROOF 155
6.6.2 THEOREM 154 157
6.6.3 AN IMPORTANT LEMMA 159
6.6.4 ANOTHER IMPORTANT LEMMA 161
6.6.5 COMPLETION OF THE PROOF 162
6.7 FREGE S PROOFS OF THE EXISTENCE OF SUCCESSOR 163
6.8 HP IN GRUNDGESETZE 173
7 DEFINITION BY RECURSION 179
7.1 FREGE S PROOF OF THEOREM 263 180
7.2 FREGE S U SE OF ORDERED PAIRS 182
7.3 DEFINITION BY RECURSION 187
7.4 THE DEFINITION OF RELATIONS BY RECURSION 192
7.5 FUNCTIONALITY AND THE N-ANCESTRAL 194
7.6 THEOREM 207 196
7.7 THE ADEQUACY OF FREGE S DEFINITION OF THE ANCESTRAL 198
7.8 THEOREM 263 IN THE CONTEXT OF FREGE S DEVELOPMENT OF ARITHMETIC 201
8 FREGE ON FINITUDE 207
8.1 FREGE S CHARACTERIZATION OF FINITUDE 208
8.2 FREGE S PROOF OF THEOREM 321 211
8.3 THE PROOF OF THEOREM 288 215
8.4 THE SIGNIFICANCE OF THEOREMS 327 AND 348 220
8.5 FINITUDE, THE LEAST NUMBER PRINCIPLE, AND WELL-ORDERING 224
9 THE FINITE AND THE INFINITE 228
9.1 REMARKS ON VOLUME II 228
9.2 CHAPTER MU: THERE IS NO CARDINAL BETWEEN THE FINITE CARDINALS AND
ENDLOS 229
9.2.1 A GENERALIZED LEAST NUMBER PRINCIPLE 229
9.2.2 REMARKS ON FREGE S PROOF OF THEOREM 359 232
9.2.3 THE PROOF OF THEOREM 428 234
9.2.4 THE SIGNIFICANCE OF THEOREM 428 245
9.3 CHAPTER NU 247
IMAGE 3
CONTENTS VLL
10 THE DEFINITION OF ADDITION 249
10.1 A STRENGTHENED VERSION OFHP 253
10.2 THE PROOF OF THEOREM 469 254
10.2.1 THE PROOF OFTHEOREM 468 255
10.2.2 THE PROOF OFTHEOREM 463 256
10.3 REMARKS ON THEOREM 469 257
10.4 CARDINAL MULTIPLICATION 261
11 FURTHER UNTO THE INFINITE 263
11.1 THE THEOREMS IN CHAPTER OMICRON 263
11.2 THE INFINITE AND THE DEDEKIND INFINITE 265
11.3 FREGE AND THE AXIOM OFCHOICE 268
11.4 FORMALIZATION AND FREGE S CONCEPTION OF LOGICAL TRUTH 272
12 APPENDICES 275
12.1 OUTLINE OF A FREGEAN THEORY OFTRUTH 275
12.2 FREGE S DEFINITIONS 279
12.3 THEOREMS CONCERNING THE ANCESTRAL 280
12.4 TREES OF DEPENDENCIES 282
BIBLIOGRAPHY 286
INDEX 295
|
| any_adam_object | 1 |
| author | Heck, Richard Kimberly |
| author_GND | (DE-588)1029215162 |
| author_facet | Heck, Richard Kimberly |
| author_role | aut |
| author_sort | Heck, Richard Kimberly |
| author_variant | r k h rk rkh |
| building | Verbundindex |
| bvnumber | BV040683085 |
| classification_rvk | CG 3395 CG 3397 |
| ctrlnum | (OCoLC)824691301 (DE-599)BVBBV040683085 |
| dewey-full | 513.092 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 513 - Arithmetic |
| dewey-raw | 513.092 |
| dewey-search | 513.092 |
| dewey-sort | 3513.092 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| edition | 1. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02020nam a2200529 c 4500</leader><controlfield tag="001">BV040683085</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170321 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130118s2012 |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBB269853</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199233700</subfield><subfield code="c">(hbk)</subfield><subfield code="9">978-0-19-923370-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0199233705</subfield><subfield code="c">(hbk)</subfield><subfield code="9">0-19-923370-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780198744375</subfield><subfield code="9">978-0-19-874437-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)824691301</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040683085</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-703</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">513.092</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CG 3395</subfield><subfield code="0">(DE-625)18209:11614</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CG 3397</subfield><subfield code="0">(DE-625)18209:11616</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Heck, Richard Kimberly</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1029215162</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reading Frege's Grundgesetze</subfield><subfield code="c">Richard G. Heck, Jr</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Clarendon Press</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 296 S.</subfield><subfield code="c">24 cm</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="600" ind1="1" ind2="4"><subfield code="a">Frege, Gottlob / 1848-1925</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Frege, Gottlob</subfield><subfield code="d">1848-1925</subfield><subfield code="t">Grundgesetze der Arithmetik</subfield><subfield code="0">(DE-588)4483219-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Arithmetic / Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Frege, Gottlob</subfield><subfield code="d">1848-1925</subfield><subfield code="t">Grundgesetze der Arithmetik</subfield><subfield code="0">(DE-588)4483219-9</subfield><subfield code="D">u</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Erlangen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025509436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="n">DHB</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">DHB_JDG_ISBN_1</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025509436</subfield></datafield></record></collection> |
| id | DE-604.BV040683085 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:29:02Z |
| institution | BVB |
| isbn | 9780199233700 0199233705 9780198744375 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025509436 |
| oclc_num | 824691301 |
| open_access_boolean | |
| owner | DE-12 DE-19 DE-BY-UBM DE-29 DE-11 DE-355 DE-BY-UBR DE-703 |
| owner_facet | DE-12 DE-19 DE-BY-UBM DE-29 DE-11 DE-355 DE-BY-UBR DE-703 |
| physical | XVIII, 296 S. 24 cm |
| psigel | DHB_JDG_ISBN_1 |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Clarendon Press |
| record_format | marc |
| spelling | Heck, Richard Kimberly Verfasser (DE-588)1029215162 aut Reading Frege's Grundgesetze Richard G. Heck, Jr 1. ed. Oxford Clarendon Press 2012 XVIII, 296 S. 24 cm txt rdacontent n rdamedia nc rdacarrier Hier auch später erschienene, unveränderte Nachdrucke Includes bibliographical references and index Frege, Gottlob / 1848-1925 Frege, Gottlob 1848-1925 Grundgesetze der Arithmetik (DE-588)4483219-9 gnd rswk-swf Arithmetic / Philosophy Logic, Symbolic and mathematical Philosophie Logik (DE-588)4036202-4 gnd rswk-swf Frege, Gottlob 1848-1925 Grundgesetze der Arithmetik (DE-588)4483219-9 u DE-604 Logik (DE-588)4036202-4 s Digitalisierung UB Erlangen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025509436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Heck, Richard Kimberly Reading Frege's Grundgesetze Frege, Gottlob / 1848-1925 Frege, Gottlob 1848-1925 Grundgesetze der Arithmetik (DE-588)4483219-9 gnd Arithmetic / Philosophy Logic, Symbolic and mathematical Philosophie Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4483219-9 (DE-588)4036202-4 |
| title | Reading Frege's Grundgesetze |
| title_auth | Reading Frege's Grundgesetze |
| title_exact_search | Reading Frege's Grundgesetze |
| title_full | Reading Frege's Grundgesetze Richard G. Heck, Jr |
| title_fullStr | Reading Frege's Grundgesetze Richard G. Heck, Jr |
| title_full_unstemmed | Reading Frege's Grundgesetze Richard G. Heck, Jr |
| title_short | Reading Frege's Grundgesetze |
| title_sort | reading frege s grundgesetze |
| topic | Frege, Gottlob / 1848-1925 Frege, Gottlob 1848-1925 Grundgesetze der Arithmetik (DE-588)4483219-9 gnd Arithmetic / Philosophy Logic, Symbolic and mathematical Philosophie Logik (DE-588)4036202-4 gnd |
| topic_facet | Frege, Gottlob / 1848-1925 Frege, Gottlob 1848-1925 Grundgesetze der Arithmetik Arithmetic / Philosophy Logic, Symbolic and mathematical Philosophie Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025509436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT heckrichardkimberly readingfregesgrundgesetze |