Truth through proof: a formalist foundation for mathematics
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Oxford [u.a.]
Oxford Univ. Press
2010
|
| Edition: | 1. publ. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. [262] - 272. - Hier auch später erschienene, unveränderte Nachdrucke |
| Physical Description: | XIV, 281 S. Ill., graph. Darst. |
| ISBN: | 9780199541492 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV036591189 | ||
| 003 | DE-604 | ||
| 005 | 20210407 | ||
| 007 | t | ||
| 008 | 100729s2010 ad|| |||| 00||| eng d | ||
| 015 | |a GBB059947 |2 dnb | ||
| 020 | |a 9780199541492 |9 978-0-19-954149-2 | ||
| 035 | |a (OCoLC)705703901 | ||
| 035 | |a (DE-599)BVBBV036591189 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-20 |a DE-19 |a DE-11 |a DE-355 |a DE-739 | ||
| 082 | 0 | |a 510.1 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SG 700 |0 (DE-625)143071: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Weir, Alan J. |e Verfasser |0 (DE-588)108783049 |4 aut | |
| 245 | 1 | 0 | |a Truth through proof |b a formalist foundation for mathematics |c Alan Weir |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Oxford [u.a.] |b Oxford Univ. Press |c 2010 | |
| 300 | |a XIV, 281 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. [262] - 272. - Hier auch später erschienene, unveränderte Nachdrucke | ||
| 650 | 4 | |a Mathematics / Philosophy | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematik | |
| 650 | 4 | |a Philosophie | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Philosophie der Logik |0 (DE-588)4382045-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 1 | |a Philosophie der Logik |0 (DE-588)4382045-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 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=020511896&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020511896 | ||
Record in the Search Index
| _version_ | 1804143189197586434 |
|---|---|
| adam_text | Titel: Truth through proof
Autor: Weir, Alan J.
Jahr: 2010
Contents
Introduction é
é. Metaphysics 12
§1 Traditional Realism 12
§11 Contemporary Realism 14
§111 Sense, Circumstance, World 25
2. Ontological Reductionism 39
§1 Projectivism in the SCW Framework 39
§11 Snapshot Dispositions, Correction, Fiction 47
§111 Reduction 56
§IV A Map of the Terrain 64
3. Neo-formalism 68
§1 An Initial Specification 68
§11 Contentful Language 77
§111 Quantification and Existence 90
4. Objections and Comparisons 99
§1 Closure 99
§11 Relativism or Pluralism? 101
§111 Incompleteness 118
5. Applying Mathematics 127
§1 Conservativeness 127
§11* Comparison with Factionalism 136
§111 Theoretical Language 141
§IV Promises, Promises 151
6. Proof Set in Concrete 152
§1 Tokenism 152
§11 The Spectre of Strict Finitism 176
7. Idealization Naturalized 192
§1 Idealization 192
§11 The Spectre of Finitism 209
XIV CONTENTS
8. LoglC 222
§1 Calculus versus Logic 222
§11 The Basic Semantics Again 223
§111 Logical Consequence 226
§IV The Conditional 230
§V* Quantification and Infinitary Logic 233
§VI Classical Recapture 235
§VII Really Existing Mathematics 239
Conclusion 249
Appendix 252
§A.i Minimax Rules 252
§A.2 Soundness of Strict Neo-classical Logic 253
§A.3 Infinitary Rules 256
§A.4 IS 257
§A.5 Prime Extensions 258
§A.6 Limitative Results in Infinitary Logics 260
Bibliography 262
Name Index 273
Subjed Index 277
|
| any_adam_object | 1 |
| author | Weir, Alan J. |
| author_GND | (DE-588)108783049 |
| author_facet | Weir, Alan J. |
| author_role | aut |
| author_sort | Weir, Alan J. |
| author_variant | a j w aj ajw |
| building | Verbundindex |
| bvnumber | BV036591189 |
| classification_rvk | CC 2600 SG 700 SK 130 |
| ctrlnum | (OCoLC)705703901 (DE-599)BVBBV036591189 |
| 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.1 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik Philosophie |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01757nam a2200457 c 4500</leader><controlfield tag="001">BV036591189</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210407 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100729s2010 ad|| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBB059947</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199541492</subfield><subfield code="9">978-0-19-954149-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)705703901</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036591189</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-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">510.1</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">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">Weir, Alan J.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)108783049</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Truth through proof</subfield><subfield code="b">a formalist foundation for mathematics</subfield><subfield code="c">Alan Weir</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford [u.a.]</subfield><subfield code="b">Oxford Univ. Press</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 281 S.</subfield><subfield code="b">Ill., graph. Darst.</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. [262] - 272. - Hier auch später erschienene, unveränderte Nachdrucke</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics / 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">Mathematik</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="650" ind1="0" ind2="7"><subfield code="a">Philosophie der Logik</subfield><subfield code="0">(DE-588)4382045-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2="1"><subfield code="a">Philosophie der Logik</subfield><subfield code="0">(DE-588)4382045-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</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=020511896&sequence=000002&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-020511896</subfield></datafield></record></collection> |
| id | DE-604.BV036591189 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T22:43:37Z |
| institution | BVB |
| isbn | 9780199541492 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020511896 |
| oclc_num | 705703901 |
| open_access_boolean | |
| owner | DE-20 DE-19 DE-BY-UBM DE-11 DE-355 DE-BY-UBR DE-739 |
| owner_facet | DE-20 DE-19 DE-BY-UBM DE-11 DE-355 DE-BY-UBR DE-739 |
| physical | XIV, 281 S. Ill., graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Oxford Univ. Press |
| record_format | marc |
| spelling | Weir, Alan J. Verfasser (DE-588)108783049 aut Truth through proof a formalist foundation for mathematics Alan Weir 1. publ. Oxford [u.a.] Oxford Univ. Press 2010 XIV, 281 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. [262] - 272. - Hier auch später erschienene, unveränderte Nachdrucke Mathematics / Philosophy Logic, Symbolic and mathematical Mathematik Philosophie Logik (DE-588)4036202-4 gnd rswk-swf Philosophie der Logik (DE-588)4382045-1 gnd rswk-swf Logik (DE-588)4036202-4 s Philosophie der Logik (DE-588)4382045-1 s DE-604 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020511896&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Weir, Alan J. Truth through proof a formalist foundation for mathematics Mathematics / Philosophy Logic, Symbolic and mathematical Mathematik Philosophie Logik (DE-588)4036202-4 gnd Philosophie der Logik (DE-588)4382045-1 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4382045-1 |
| title | Truth through proof a formalist foundation for mathematics |
| title_auth | Truth through proof a formalist foundation for mathematics |
| title_exact_search | Truth through proof a formalist foundation for mathematics |
| title_full | Truth through proof a formalist foundation for mathematics Alan Weir |
| title_fullStr | Truth through proof a formalist foundation for mathematics Alan Weir |
| title_full_unstemmed | Truth through proof a formalist foundation for mathematics Alan Weir |
| title_short | Truth through proof |
| title_sort | truth through proof a formalist foundation for mathematics |
| title_sub | a formalist foundation for mathematics |
| topic | Mathematics / Philosophy Logic, Symbolic and mathematical Mathematik Philosophie Logik (DE-588)4036202-4 gnd Philosophie der Logik (DE-588)4382045-1 gnd |
| topic_facet | Mathematics / Philosophy Logic, Symbolic and mathematical Mathematik Philosophie Logik Philosophie der Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020511896&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT weiralanj truththroughproofaformalistfoundationformathematics |