The Tarskian turn: deflationism and axiomatic truth
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass. [u.a.]
MIT Press
2011
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Literaturverz. S. [153] - 157 |
| Physical Description: | XII, 165 S. |
| ISBN: | 9780262015868 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV039165165 | ||
| 003 | DE-604 | ||
| 005 | 20200708 | ||
| 007 | t | ||
| 008 | 110729s2011 xxu |||| 00||| eng d | ||
| 010 | |a 2010049672 | ||
| 020 | |a 9780262015868 |c hardcover |9 978-0-262-01586-8 | ||
| 035 | |a (OCoLC)745532005 | ||
| 035 | |a (DE-599)BVBBV039165165 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-29 |a DE-11 |a DE-19 |a DE-521 | ||
| 050 | 0 | |a BD171 | |
| 082 | 0 | |a 121 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a CC 4400 |0 (DE-625)17626: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Horsten, Leon |d 1966- |e Verfasser |0 (DE-588)1049335686 |4 aut | |
| 245 | 1 | 0 | |a The Tarskian turn |b deflationism and axiomatic truth |c Leon Horsten |
| 264 | 1 | |a Cambridge, Mass. [u.a.] |b MIT Press |c 2011 | |
| 300 | |a XII, 165 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. [153] - 157 | ||
| 650 | 4 | |a Truth |x Deflationary theory | |
| 650 | 0 | 7 | |a Wahrheit |0 (DE-588)4064314-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Erkenntnistheorie |0 (DE-588)4070914-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Deflationismus |0 (DE-588)7523711-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Wahrheit |0 (DE-588)4064314-1 |D s |
| 689 | 0 | 1 | |a Erkenntnistheorie |0 (DE-588)4070914-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Deflationismus |0 (DE-588)7523711-8 |D s |
| 689 | 1 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m V:DE-604 |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024182544&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-024182544 | ||
Record in the Search Index
| _version_ | 1804148016052961280 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
PREFACE XI
1 ABOUT THIS BOOK 1
1.1 WHAT IS IT ABOUT? 1
1.2 WHAT IS IT NOT ABOUT? 5
1.3 FOR WHOM IS IT INTENDED? 6
1.4 HOW IS IT STRUCTURED? 7
1.5 NOTE ON TECHNICALITY AND NOTATION 8
2 AXIOMATIC THEORIES OF TRUTH 11
2.1 PILATE S QUESTION 11 2.2 ESSENCE AND FUNCTION 14
2.3 TARSKI S DISTRESS 19
2.4 THE FRAMEWORK 22
2.5 SOUNDNESS AND STRENGTH 24
3 ON THE SHOULDERS OF GIANTS 27
3.1 INTRODUCTION 27
3.2 CODING IN THE LANGUAGE OF PEANO ARITHMETIC 28
3.3 THE DIAGONAL LEMMA 29
3.4 METATHEOREMS 31
3.4.1 THE FIRST INCOMPLETENESS THEOREM 31
3.4.2 THE SECOND INCOMPLETENESS THEOREM 32
3.4.3 THE COMPLETENESS THEOREM 34
3.4.4 THE UNDEFINABILITY THEOREM 35
3.5 MORE STRENGTHENINGS 36
3.5.1 THE EXTENDED DIAGONAL LEMMA 36
3.5.2 THE NAIVE THEORY OF TRUTH 37
3.5.3 THE PARADOX OF THE KNOWER 39
3.6 BOUNDED TRUTH PREDICATES 41
3.6.1 COMPLEXITY CLASSES OF ARITHMETICAL FORMULAE 41
3.6.2 TRUE EQUATIONS 42
3.6.3 DEFINING BOUNDED TRUTH PREDICATES 43
3.7 SIMPLIFY,SIMPLIFY 44
IMAGE 2
VIII
4 THE DISQUOTATIONALTHEORY 47
4.1 TARSKI ON DEFINING TRUTH 47 4.2 THE DISQUOTATIONAL THEORY OF TRUTH
49
4.3 THE SOUNDNESS OF THE DISQUOTATIONAL THEORY 51
4.4 CLIMBING TARSKI S LADDER 53
4.5 THE UNIFORMITY OF THE CONEEPT OF TRUTH 55
4.6 CONTEXTUAL THEORIES OF TRUTH 56
5 DEFLATIONISM 59
5.1 THE UNBEARABLE LIGHTNESS OF TRUTH 59 5.2 COMMITMENTS OF DEFLATIONIST
THEORIES 60
5.2.1 THE MEANING OF THE CONEEPT OF TRUTH 61
5.2.2 THE FUNCTION OF THE CONEEPT OFTRUTH 63
5.2.3 TRUTH AS A LOGIEO-LINGUISTIE NOTION 65
5.3 FOREIGN TONGUES 66
6 THE COMPOSITIONAL THEORY 69
6.1 CLOUDS ON THE HORIZON 69
6.2 THE COMPOSITIONAL THEORY OF TRUTH 71
6.3 TRUTH AND SATISFACTION 73
6.4 THE POWER OF TRUTH 74
CONTENTS
7 CONSERVATIVENESS AND DEFLATIONISM 79
7.1 DEFINING CONSERVATIVENESS 79 7.2 CONSERVATIVE OVER WHAT? 81
7.2.1 CONSERVATIVENESS OVER LOGIE 81
7.2.2 CONSERVATIVENESS OVER ARITHMETIE 82
7.2.3 CONSERVATIVENESS OVER EMPIRIEAL SCIENEE AND METAPHYSIES 85
7.3 TRUTH AND EPISTEMOLOGY 86
7.4 TRUTH AND MEANING 91
7.5 DEFLATING ARITHMETIEAL NONEONSERVATIVENESS 92
7.6 SUBSTANTIALITY AND IRREDUCIBILITY 94
7.6.1 REDUCIBILITY AND INTERPRETABILITY 94
7.6.2 A CONSERVATIVE BUT NONINTERPRETABLE TRUTH THEORY 95
7.6.3 DISQUOTATIONALISM REVISITED 97
7.7 A SERIOUS GAME 99
8 MAXIMIZINGCLASSICALCOMPOSITIONALITY 103
8.1 TYPED AND UNTYPED THEORIES 103 8.2 THE FRIEDMAN-SHEARD THEORY 104
8.3 THE REVISION THEORY OF TRUTH 105
8.4 PROBING THE FRIEDMAN-SHEARD THEORY 107
8.5 IS THE FRIEDMAN-SHEARD THEORY SOUND? 111
8.6 A SOMEWHAT FRIVOLOUS GAME 113
8.6.1 SUBSYSTEMS OF SECOND-ORDER ARITHMETIE 113
8.6.2 THE STRENGTH OF FS 114
8.6.3 THE WEAKNESS OF FS 115
IMAGE 3
CONTENTS
9 KRIPKE STHEORYAXIOMATIZED 117
9.1 KRIPKE S SEMANTICAL THEORY OF TRUTH 117 9.1.1 CONSTRUCTING MODELS
FOR SELF-REFERENTIAL TRUTH 117
9.1 .2 PROPERTIES AND VARIATIONS 120
9.2 KRIPKE-FEFERMAN 124
9.3 THE INNER LOGIC OF KF 126
9.4 A CONSERVATIVE TYPE-FREE THEORY 130
9.5 PARTIAL KRIPKE-FEFERMAN 132
9.5.1 RESTRICTED CONDITIONALIZATION 132
9.5.2 PARTIAL ARITHMETIC AND DETERMINATE TRUTHS 133
9.5.3 THE TRUTH RULES 134
9.6 ANALYSIS AND EVALUATION 135
9.6.1 NATURALNESS 135
9.6.2 METHODOLOGY 136
9.6.3 SOUNDNESS 137
9.6.4 STRENGTH 138
10 TRUTHAND PHILOSOPHY 141
10.1 STRONG THEORIES OF TRUTH 141 10.2 INFERENTIAL DEFLATIONISM 143
10.2.1 TRUTH AND LOGICAL NOTIONS 143
10.2.2 SILENCE 144
10.2.3 A CONCEPT WITHOUT AN ESSENCE 146
10.3 HOW TRUTH RULES ARE USED 148
10.3.1 TRUTH IN THE FOUNDATIONS OF MATHEMATICS 148
10.3.2 TRUTH IN PHILOSOPHY 150
10.4 A LAST LOOK AT DEFLATIONISM 150
BIBLIOGRAPHY 153
GLOSSARY 159
AUTHOR INDEX 161
SUBJECT INDEX 163
IX
|
| any_adam_object | 1 |
| author | Horsten, Leon 1966- |
| author_GND | (DE-588)1049335686 |
| author_facet | Horsten, Leon 1966- |
| author_role | aut |
| author_sort | Horsten, Leon 1966- |
| author_variant | l h lh |
| building | Verbundindex |
| bvnumber | BV039165165 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BD171 |
| callnumber-raw | BD171 |
| callnumber-search | BD171 |
| callnumber-sort | BD 3171 |
| callnumber-subject | BD - Speculative Philosophy |
| classification_rvk | CC 2500 CC 4400 |
| ctrlnum | (OCoLC)745532005 (DE-599)BVBBV039165165 |
| dewey-full | 121 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 121 - Epistemology (Theory of knowledge) |
| dewey-raw | 121 |
| dewey-search | 121 |
| dewey-sort | 3121 |
| dewey-tens | 120 - Epistemology, causation, humankind |
| discipline | Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01810nam a2200493zc 4500</leader><controlfield tag="001">BV039165165</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200708 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">110729s2011 xxu |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2010049672</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262015868</subfield><subfield code="c">hardcover</subfield><subfield code="9">978-0-262-01586-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)745532005</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039165165</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-521</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BD171</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">121</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 4400</subfield><subfield code="0">(DE-625)17626:</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">Horsten, Leon</subfield><subfield code="d">1966-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1049335686</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">The Tarskian turn</subfield><subfield code="b">deflationism and axiomatic truth</subfield><subfield code="c">Leon Horsten</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. [u.a.]</subfield><subfield code="b">MIT Press</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 165 S.</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. [153] - 157</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Truth</subfield><subfield code="x">Deflationary theory</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wahrheit</subfield><subfield code="0">(DE-588)4064314-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Erkenntnistheorie</subfield><subfield code="0">(DE-588)4070914-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Deflationismus</subfield><subfield code="0">(DE-588)7523711-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wahrheit</subfield><subfield code="0">(DE-588)4064314-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Erkenntnistheorie</subfield><subfield code="0">(DE-588)4070914-0</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">Deflationismus</subfield><subfield code="0">(DE-588)7523711-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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">V:DE-604</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=024182544&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-024182544</subfield></datafield></record></collection> |
| id | DE-604.BV039165165 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:00:25Z |
| institution | BVB |
| isbn | 9780262015868 |
| language | English |
| lccn | 2010049672 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-024182544 |
| oclc_num | 745532005 |
| open_access_boolean | |
| owner | DE-29 DE-11 DE-19 DE-BY-UBM DE-521 |
| owner_facet | DE-29 DE-11 DE-19 DE-BY-UBM DE-521 |
| physical | XII, 165 S. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | MIT Press |
| record_format | marc |
| spelling | Horsten, Leon 1966- Verfasser (DE-588)1049335686 aut The Tarskian turn deflationism and axiomatic truth Leon Horsten Cambridge, Mass. [u.a.] MIT Press 2011 XII, 165 S. txt rdacontent n rdamedia nc rdacarrier Literaturverz. S. [153] - 157 Truth Deflationary theory Wahrheit (DE-588)4064314-1 gnd rswk-swf Erkenntnistheorie (DE-588)4070914-0 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Deflationismus (DE-588)7523711-8 gnd rswk-swf Wahrheit (DE-588)4064314-1 s Erkenntnistheorie (DE-588)4070914-0 s DE-604 Deflationismus (DE-588)7523711-8 s Logik (DE-588)4036202-4 s V:DE-604 application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024182544&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Horsten, Leon 1966- The Tarskian turn deflationism and axiomatic truth Truth Deflationary theory Wahrheit (DE-588)4064314-1 gnd Erkenntnistheorie (DE-588)4070914-0 gnd Logik (DE-588)4036202-4 gnd Deflationismus (DE-588)7523711-8 gnd |
| subject_GND | (DE-588)4064314-1 (DE-588)4070914-0 (DE-588)4036202-4 (DE-588)7523711-8 |
| title | The Tarskian turn deflationism and axiomatic truth |
| title_auth | The Tarskian turn deflationism and axiomatic truth |
| title_exact_search | The Tarskian turn deflationism and axiomatic truth |
| title_full | The Tarskian turn deflationism and axiomatic truth Leon Horsten |
| title_fullStr | The Tarskian turn deflationism and axiomatic truth Leon Horsten |
| title_full_unstemmed | The Tarskian turn deflationism and axiomatic truth Leon Horsten |
| title_short | The Tarskian turn |
| title_sort | the tarskian turn deflationism and axiomatic truth |
| title_sub | deflationism and axiomatic truth |
| topic | Truth Deflationary theory Wahrheit (DE-588)4064314-1 gnd Erkenntnistheorie (DE-588)4070914-0 gnd Logik (DE-588)4036202-4 gnd Deflationismus (DE-588)7523711-8 gnd |
| topic_facet | Truth Deflationary theory Wahrheit Erkenntnistheorie Logik Deflationismus |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=024182544&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT horstenleon thetarskianturndeflationismandaxiomatictruth |