Philosophy of mathematics: Selected readings
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge ; ...
Cambridge University Press
1983
|
| Edition: | Second edition |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. 571 - 600 |
| Physical Description: | VIII, 600 Seiten |
| ISBN: | 052129648X 0521227968 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV000928427 | ||
| 003 | DE-604 | ||
| 005 | 20171010 | ||
| 007 | t| | ||
| 008 | 890315s1983 xx |||| 00||| eng d | ||
| 020 | |a 052129648X |c paperback |9 0-521-29648-X | ||
| 020 | |a 0521227968 |c hard covers |9 0-521-22796-8 | ||
| 035 | |a (OCoLC)9154779 | ||
| 035 | |a (DE-599)BVBBV000928427 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-91 |a DE-739 |a DE-355 |a DE-824 |a DE-29 |a DE-M468 |a DE-210 |a DE-706 |a DE-188 |a DE-83 | ||
| 050 | 0 | |a QA8.4 | |
| 082 | 0 | |a 510/.1 |2 19 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SG 700 |0 (DE-625)143071: |2 rvk | ||
| 084 | |a MAT 010f |2 stub | ||
| 084 | |a 97E20 |2 msc | ||
| 084 | |a 03-06 |2 msc | ||
| 245 | 1 | 0 | |a Philosophy of mathematics |b Selected readings |c edited by Paul Benacerraf, Stuart professor of philosophy, Princeton University ; Hilary Putnam, Walter Beverly Pearson professor of modern mathematics and mathematical logic, Harvard University |
| 250 | |a Second edition | ||
| 264 | 1 | |a Cambridge ; ... |b Cambridge University Press |c 1983 | |
| 300 | |a VIII, 600 Seiten | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 571 - 600 | ||
| 650 | 7 | |a Filosofie |2 gtt | |
| 650 | 4 | |a Mathématiques - Philosophie | |
| 650 | 7 | |a Wiskunde |2 gtt | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 4 | |a Mathematics |x Philosophy | |
| 650 | 0 | 7 | |a Grundlage |0 (DE-588)4158388-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Philosophie |0 (DE-588)4045791-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | 1 | |a Grundlage |0 (DE-588)4158388-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 1 | 1 | |a Philosophie |0 (DE-588)4045791-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Benacerraf, Paul |d 1931-2025 |0 (DE-588)119391686 |4 edt | |
| 700 | 1 | |a Putnam, Hilary |d 1926-2016 |0 (DE-588)118823779 |4 edt | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000568932&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-000568932 | |
Record in the Search Index
| _version_ | 1826484021005123584 |
|---|---|
| adam_text |
Contents
Preface to the second edition vii
Introduction 1
Part I. The foundations of mathematics
Symposium on the foundations of mathematics 41
1. The logicist foundations of mathematics 41
RUDOLF CARNAP
2. The intuitionist foundations of mathematics 52
AREND HEYTING
3. The formalist foundations of mathematics 61
JOHANN VON NEUMANN
Disputation 66
AREND HEYTING
Intuitionism and formalism 77
L. E. J. BROUWER
Consciousness, philosophy, and mathematics 90
L. E. J. BROUWER
The philosophical basis of intuitionistic logic 97
MICHAEL DUMMETT
The concept of number 130
GOTTLOB FREGE
Selections from Introduction to Mathematical Philosophy 160
BERTRAND RUSSELL
On the infinite 183
DAVID H1LBERT
Remarks on the definition and nature of mathematics 202
HASKELL B. CURRY
Hilbert's programme 207
GEORG KREISEL
Part II. The existence of mathematical objects
Empiricism, semantics, and ontology 241
RUDOLF CARNAP
V
Contents
On platonism in mathematics 258
PAUL BERNAYS
What numbers could not be 272
PAUL BENACERRAF
Mathematics without foundations 295
HILARY PUTNAM
Part III. Mathematical truth
The a priori 315
ALFRED JULES AYER
Truth by convention 329
W. V. QUINE
Carnap and logical truth 355
W. V. QUINE
On the nature of mathematical truth 377
CARL G. HEMPEL
On the nature of mathematical reasoning 394
HENRI POINCARE
Mathematical truth 403
PAUL BENACERRAF
Models and reality 421
HILARY PUTNAM
Part IV. The concept of set
Russell's mathematical logic 447
KURT GODEL
What is Cantor's continuum problem? 470
KURT GODEL
The iterative concept of set 486
GEORGE BOOLOS
What is the iterative conception of set7 503
CHARLES PARSONS
The concept of set 530
HAO WANG
Bibliography 571
vi |
| any_adam_object | 1 |
| author2 | Benacerraf, Paul 1931-2025 Putnam, Hilary 1926-2016 |
| author2_role | edt edt |
| author2_variant | p b pb h p hp |
| author_GND | (DE-588)119391686 (DE-588)118823779 |
| author_facet | Benacerraf, Paul 1931-2025 Putnam, Hilary 1926-2016 |
| building | Verbundindex |
| bvnumber | BV000928427 |
| callnumber-first | Q - Science |
| callnumber-label | QA8 |
| callnumber-raw | QA8.4 |
| callnumber-search | QA8.4 |
| callnumber-sort | QA 18.4 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SG 700 |
| classification_tum | MAT 010f |
| ctrlnum | (OCoLC)9154779 (DE-599)BVBBV000928427 |
| dewey-full | 510/.1 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 510 - Mathematics |
| dewey-raw | 510/.1 |
| dewey-search | 510/.1 |
| dewey-sort | 3510 11 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| edition | Second edition |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV000928427</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20171010</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">890315s1983 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">052129648X</subfield><subfield code="c">paperback</subfield><subfield code="9">0-521-29648-X</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521227968</subfield><subfield code="c">hard covers</subfield><subfield code="9">0-521-22796-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)9154779</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000928427</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA8.4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510/.1</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SG 700</subfield><subfield code="0">(DE-625)143071:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 010f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">97E20</subfield><subfield code="2">msc</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03-06</subfield><subfield code="2">msc</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Philosophy of mathematics</subfield><subfield code="b">Selected readings</subfield><subfield code="c">edited by Paul Benacerraf, Stuart professor of philosophy, Princeton University ; Hilary Putnam, Walter Beverly Pearson professor of modern mathematics and mathematical logic, Harvard University</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Second edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge ; ...</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">1983</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VIII, 600 Seiten</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">Literaturverz. S. 571 - 600</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Filosofie</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathématiques - Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wiskunde</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield><subfield code="x">Philosophy</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Grundlage</subfield><subfield code="0">(DE-588)4158388-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Grundlage</subfield><subfield code="0">(DE-588)4158388-7</subfield><subfield code="D">s</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">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Philosophie</subfield><subfield code="0">(DE-588)4045791-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Benacerraf, Paul</subfield><subfield code="d">1931-2025</subfield><subfield code="0">(DE-588)119391686</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Putnam, Hilary</subfield><subfield code="d">1926-2016</subfield><subfield code="0">(DE-588)118823779</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</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=000568932&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000568932</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV000928427 |
| illustrated | Not Illustrated |
| indexdate | 2025-03-13T13:01:39Z |
| institution | BVB |
| isbn | 052129648X 0521227968 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000568932 |
| oclc_num | 9154779 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-824 DE-29 DE-M468 DE-210 DE-706 DE-188 DE-83 |
| owner_facet | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-355 DE-BY-UBR DE-824 DE-29 DE-M468 DE-210 DE-706 DE-188 DE-83 |
| physical | VIII, 600 Seiten |
| publishDate | 1983 |
| publishDateSearch | 1983 |
| publishDateSort | 1983 |
| publisher | Cambridge University Press |
| record_format | marc |
| spelling | Philosophy of mathematics Selected readings edited by Paul Benacerraf, Stuart professor of philosophy, Princeton University ; Hilary Putnam, Walter Beverly Pearson professor of modern mathematics and mathematical logic, Harvard University Second edition Cambridge ; ... Cambridge University Press 1983 VIII, 600 Seiten txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. 571 - 600 Filosofie gtt Mathématiques - Philosophie Wiskunde gtt Mathematik Philosophie Mathematics Philosophy Grundlage (DE-588)4158388-7 gnd rswk-swf Philosophie (DE-588)4045791-6 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content Mathematik (DE-588)4037944-9 s Grundlage (DE-588)4158388-7 s DE-604 Philosophie (DE-588)4045791-6 s Benacerraf, Paul 1931-2025 (DE-588)119391686 edt Putnam, Hilary 1926-2016 (DE-588)118823779 edt HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000568932&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Philosophy of mathematics Selected readings Filosofie gtt Mathématiques - Philosophie Wiskunde gtt Mathematik Philosophie Mathematics Philosophy Grundlage (DE-588)4158388-7 gnd Philosophie (DE-588)4045791-6 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4158388-7 (DE-588)4045791-6 (DE-588)4037944-9 (DE-588)4143413-4 |
| title | Philosophy of mathematics Selected readings |
| title_auth | Philosophy of mathematics Selected readings |
| title_exact_search | Philosophy of mathematics Selected readings |
| title_full | Philosophy of mathematics Selected readings edited by Paul Benacerraf, Stuart professor of philosophy, Princeton University ; Hilary Putnam, Walter Beverly Pearson professor of modern mathematics and mathematical logic, Harvard University |
| title_fullStr | Philosophy of mathematics Selected readings edited by Paul Benacerraf, Stuart professor of philosophy, Princeton University ; Hilary Putnam, Walter Beverly Pearson professor of modern mathematics and mathematical logic, Harvard University |
| title_full_unstemmed | Philosophy of mathematics Selected readings edited by Paul Benacerraf, Stuart professor of philosophy, Princeton University ; Hilary Putnam, Walter Beverly Pearson professor of modern mathematics and mathematical logic, Harvard University |
| title_short | Philosophy of mathematics |
| title_sort | philosophy of mathematics selected readings |
| title_sub | Selected readings |
| topic | Filosofie gtt Mathématiques - Philosophie Wiskunde gtt Mathematik Philosophie Mathematics Philosophy Grundlage (DE-588)4158388-7 gnd Philosophie (DE-588)4045791-6 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Filosofie Mathématiques - Philosophie Wiskunde Mathematik Philosophie Mathematics Philosophy Grundlage Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000568932&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT benacerrafpaul philosophyofmathematicsselectedreadings AT putnamhilary philosophyofmathematicsselectedreadings |