Foundations without foundationalism: a case for second-order logic
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford
Oxford Univ. Pr.
2002
|
| Ausgabe: | Repr. |
| Schriftenreihe: | Oxford logic guides
17 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| ISBN: | 0198250290 0198533918 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV017944673 | ||
| 003 | DE-604 | ||
| 005 | 20040506 | ||
| 007 | t | ||
| 008 | 040319s2002 |||| 00||| eng d | ||
| 020 | |a 0198250290 |9 0-19-825029-0 | ||
| 020 | |a 0198533918 |9 0-19-853391-8 | ||
| 035 | |a (OCoLC)488613196 | ||
| 035 | |a (DE-599)BVBBV017944673 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA9 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Shapiro, Stewart |d 1951- |e Verfasser |0 (DE-588)131540564 |4 aut | |
| 245 | 1 | 0 | |a Foundations without foundationalism |b a case for second-order logic |c Stewart Shapiro |
| 250 | |a Repr. | ||
| 264 | 1 | |a Oxford |b Oxford Univ. Pr. |c 2002 | |
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Oxford logic guides |v 17 | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Sprachlogik |0 (DE-588)4182527-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Semantik |0 (DE-588)4122144-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Formale Semantik |0 (DE-588)4122144-8 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 689 | 2 | 0 | |a Sprachlogik |0 (DE-588)4182527-5 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 830 | 0 | |a Oxford logic guides |v 17 |w (DE-604)BV000013997 |9 17 | |
| 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=010756546&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-010756546 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804130591748128768 |
|---|---|
| adam_text | Titel: Foundations without foundationalism
Autor: Shapiro, Stewart
Jahr: 2002
CONTENTS
PART I ORIENTATION
1. Terms and questions l
1.1 Orientation 1
1.2 What is the issue? 10
1.3 Sets and properties 16
2. Foundationalism and foundations of mathematics 25
2.1 Variations and metaphors 26
2.2 Foundations and psychologism 31
2.3 Two conceptions of logic 35
2.4 Marriage: Can there be harmony? 40
2.5 Divorce: Life without completeness 43
2.6 Logic and computation 49
PART II LOGIC AND MATHEMATICS
3. Theory 61
3.1 Language 61
3.2 Deductive systems 65
3.3 Semantics 70
4. Metatheory 79
4.1 First-order theories 79
4.2 Second-order—standard semantics 80
4.3 Non-standard semantics—Henkin and first-order 88
5. Second-order logic and mathematics 96
5.1 Mathematical notions 96
5.2 First-order theories—what goes wrong 110
5.3 Second-order languages and the practice of mathematics 116
5.4 Set theory 127
xx Contents
6. Advanced metatheory 134
6.1 A word on semantic theory 134
6.2 Reductions 137
6.3 Reflection: small large cardinals 141
6.4 Lowenheim-Skolem analogues: large large
cardinals 147
6.5 Characterizations of first-order logic 157
6.6 Definability and other odds and ends 161
PART III HISTORY AND PHILOSOPHY
7. The historical triumph of first-order languages 173
7.1 Introduction 173
7.2 Narrative 177
7.3 To the present 193
8. Second-order logic and rule-following 203
8.1 The regress 204
8.2 Options 208
8.3 Rules and logic 210
9. The competition 220
9.1 Other logics 220
9.2 Free relation variables 246
9.3 First-order set theory 250
References 263
Index 273
|
| any_adam_object | 1 |
| author | Shapiro, Stewart 1951- |
| author_GND | (DE-588)131540564 |
| author_facet | Shapiro, Stewart 1951- |
| author_role | aut |
| author_sort | Shapiro, Stewart 1951- |
| author_variant | s s ss |
| building | Verbundindex |
| bvnumber | BV017944673 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)488613196 (DE-599)BVBBV017944673 |
| discipline | Mathematik Philosophie |
| edition | Repr. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01924nam a2200481 cb4500</leader><controlfield tag="001">BV017944673</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040506 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">040319s2002 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198250290</subfield><subfield code="9">0-19-825029-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198533918</subfield><subfield code="9">0-19-853391-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)488613196</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV017944673</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-355</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</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">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Shapiro, Stewart</subfield><subfield code="d">1951-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)131540564</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations without foundationalism</subfield><subfield code="b">a case for second-order logic</subfield><subfield code="c">Stewart Shapiro</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Repr.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Oxford Univ. Pr.</subfield><subfield code="c">2002</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="490" ind1="1" ind2=" "><subfield code="a">Oxford logic guides</subfield><subfield code="v">17</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Sprachlogik</subfield><subfield code="0">(DE-588)4182527-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Sprachlogik</subfield><subfield code="0">(DE-588)4182527-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Oxford logic guides</subfield><subfield code="v">17</subfield><subfield code="w">(DE-604)BV000013997</subfield><subfield code="9">17</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=010756546&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-010756546</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="883" ind1="1" ind2=" "><subfield code="8">2\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></record></collection> |
| id | DE-604.BV017944673 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T19:23:28Z |
| institution | BVB |
| isbn | 0198250290 0198533918 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-010756546 |
| oclc_num | 488613196 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-83 DE-188 |
| owner_facet | DE-355 DE-BY-UBR DE-83 DE-188 |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | Oxford Univ. Pr. |
| record_format | marc |
| series | Oxford logic guides |
| series2 | Oxford logic guides |
| spelling | Shapiro, Stewart 1951- Verfasser (DE-588)131540564 aut Foundations without foundationalism a case for second-order logic Stewart Shapiro Repr. Oxford Oxford Univ. Pr. 2002 txt rdacontent n rdamedia nc rdacarrier Oxford logic guides 17 Logic, Symbolic and mathematical Sprachlogik (DE-588)4182527-5 gnd rswk-swf Formale Semantik (DE-588)4122144-8 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s DE-604 Formale Semantik (DE-588)4122144-8 s 1\p DE-604 Sprachlogik (DE-588)4182527-5 s 2\p DE-604 Oxford logic guides 17 (DE-604)BV000013997 17 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010756546&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Shapiro, Stewart 1951- Foundations without foundationalism a case for second-order logic Oxford logic guides Logic, Symbolic and mathematical Sprachlogik (DE-588)4182527-5 gnd Formale Semantik (DE-588)4122144-8 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4182527-5 (DE-588)4122144-8 (DE-588)4037951-6 |
| title | Foundations without foundationalism a case for second-order logic |
| title_auth | Foundations without foundationalism a case for second-order logic |
| title_exact_search | Foundations without foundationalism a case for second-order logic |
| title_full | Foundations without foundationalism a case for second-order logic Stewart Shapiro |
| title_fullStr | Foundations without foundationalism a case for second-order logic Stewart Shapiro |
| title_full_unstemmed | Foundations without foundationalism a case for second-order logic Stewart Shapiro |
| title_short | Foundations without foundationalism |
| title_sort | foundations without foundationalism a case for second order logic |
| title_sub | a case for second-order logic |
| topic | Logic, Symbolic and mathematical Sprachlogik (DE-588)4182527-5 gnd Formale Semantik (DE-588)4122144-8 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Logic, Symbolic and mathematical Sprachlogik Formale Semantik Mathematische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=010756546&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000013997 |
| work_keys_str_mv | AT shapirostewart foundationswithoutfoundationalismacaseforsecondorderlogic |