Axiomatic theories of truth:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge [u.a.]
Cambridge Univ. Press
2011
|
| Edition: | 1. publ. |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | IX, 364 S. |
| ISBN: | 9780521115810 0521115817 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV036754300 | ||
| 003 | DE-604 | ||
| 005 | 20110530 | ||
| 007 | t | ||
| 008 | 101103s2011 |||| 00||| eng d | ||
| 015 | |a GBB090854 |2 dnb | ||
| 020 | |a 9780521115810 |c (hbk.) |9 978-0-521-11581-0 | ||
| 020 | |a 0521115817 |9 0521115817 | ||
| 035 | |a (OCoLC)705943292 | ||
| 035 | |a (DE-599)BVBBV036754300 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 |a DE-11 |a DE-12 |a DE-355 |a DE-19 | ||
| 082 | 0 | |a 121 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Halbach, Volker |e Verfasser |0 (DE-588)114528071 |4 aut | |
| 245 | 1 | 0 | |a Axiomatic theories of truth |c Volker Halbach |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Cambridge [u.a.] |b Cambridge Univ. Press |c 2011 | |
| 300 | |a IX, 364 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 4 | |a Truth | |
| 650 | 0 | 7 | |a Axiomatische Methode |0 (DE-588)4143744-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wahrheit |0 (DE-588)4064314-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Wahrheit |0 (DE-588)4064314-1 |D s |
| 689 | 0 | 1 | |a Axiomatische Methode |0 (DE-588)4143744-5 |D s |
| 689 | 0 | 2 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |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=020671501&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-020671501 | ||
Record in the Search Index
| _version_ | 1804143418581975040 |
|---|---|
| adam_text | IMAGE 1
CONTENTS
PART I FOUNDATIONS 1
1 DEFINITIONAL AND AXIOMATIC THEORIES OF TRUTH 3
2 OBJECTS OF TRUTH 9
3 TARSKI 15
4 TRUTH AND SET THEORY 25
4.1 DEFINITIONS AND AXIOMATIZATIONS 25
4.2 PARADOXES AND TYPING 27
5 TECHNICAL PRELIMINARIES 29
5.1 PEANO ARITHMETIC 29
5.2 TRUTH AND SATISFACTION 35
5.3 TRANSLATIONS AND THE RECURSION THEOREM 36
6 COMPARING AXIOMATIC THEORIES OF TRUTH 39
PART II TYPED TRUTH 49
7 DISQUOTATION 53
8 CLASSICAL COMPOSITIONAL TRUTH 63
8.1 THE CONSERVATIVITY OF COMPOSITIONAL TRUTH 68
8.2 CONSERVATIVITY AND MODEL THEORY 82
8.3 NONSTANDARD MODELS 83
8-4 LACHLAN S THEOREM 89
8.5 SATISFACTION CLASSES AND AXIOMATIC THEORIES OF TRUTH 98 8.6
COMPOSITIONAL TRUTH AND ELEMENTARY COMPREHENSION 101 8.7 POSITIVE TRUTH
116
9 HIERARCHIES 12 3
9.1 TARSKI S HIERARCHY AXIOMATIZED 125
9.2 ILLFOUNDED HIERARCHIES 129
V
IMAGE 2
PART III TYPE-FREE TRUTH 135
10 TYPED AND TYPE-FREE THEORIES OF TRUTH 140
11 REASONS AGAINST TYPING 146
12 AXIOMS AND RULES 149
13 AXIOMS FR TYPE-FREE TRUTH 152
14 CLASSICAL SYMMETRIE TRUTH 159
14.1 THE FRIEDMAN-SHEARD THEORY AND REVISION SEMANTICS 162 14-2 PROOF
THEORY OF THE FRIEDMAN-SHEARD THEORY 175
14.3 THE FRIEDMAN-SHEARD AXIOMATIZATION 185
14-4 EXPRESSING NECESSITATION VIA REFLECTION 188
14.5 WITHOUT SATISFACTION 192
15 KRIPKE-FEFERMAN 195
15.1 FIXED-POINT SEMANTICS 202
15.2 COMPLETENESS AND CONSISTENCY 212
15.3 PROOF THEORY OF THE KRIPKE-FEFERMAN SYSTEM 217
15-4 EXTENSIONS 225
16 AXIOMATIZING KRIPKE S THEORY IN PARTIALLOGIC 228
16.1 PARTIAL KRIPKE-FEFERMAN 231
16.2 PROOF-THEORETIC ANALYSIS OF PARTIAL KRIPKE-FEFERMAN 244
17 GROUNDED TRUTH 257
18 ALTERNATIVE EVALUATION SCHEMATA 263
19 DISQUOTATION 267
19.1 MAXIMAL CONSISTENT SETS OF DISQUOTATION SENTENCES 267 19.2 MAXIMAL
CONSERVATIVE SETS OF DISQUOTATION SENTENCES 272 19.3 POSITIVE
DISQUOTATION 274
19.4 THE SEMANTICS OF POSITIVE DISQUOTATION 277
19.5 PROOF THEORY OF POSITIVE DISQUOTATION 280
PART IV WAYS TO THE TRUTH 287
20 CLASSICAL LOGIC 289
20.1 THE COSTS OF NONCLASSICALLOGIC 291
20.2 THE INTERNALLOGIC OF THE KRIPKE-FEFERMAN THEORY 295 20.3 EXPRESSIVE
POWER IN NONCLASSICALLOGIC 300
20-4 CONTAINING NONCLASSICALLOGIC 303
VI
IMAGE 3
21 DEFLATIONISM
21.1 DISQUOTATIONALISM 21.2 CONSERVATIVITY
22 REFLEDION 22.1 REFLEDION PRINCIPLES 22.2 REFLEDIVE CLOSURE
23 ONTOLOGICAL REDUDION
24 APPLYING THEORIES OF TRUTH 24.1 TRUTH IN NATURALLANGUAGE 24.2
EXTENDING SCHEMATA
INDEX OF SYSTEMS
BIBLIOGRAPHY
INDEX
VII
3 06 3 0 7 3 12
3 22
3 22
3 26
33 0
333
333
335
343
345
357
|
| any_adam_object | 1 |
| author | Halbach, Volker |
| author_GND | (DE-588)114528071 |
| author_facet | Halbach, Volker |
| author_role | aut |
| author_sort | Halbach, Volker |
| author_variant | v h vh |
| building | Verbundindex |
| bvnumber | BV036754300 |
| classification_rvk | CC 2500 |
| ctrlnum | (OCoLC)705943292 (DE-599)BVBBV036754300 |
| 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 |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01562nam a2200433 c 4500</leader><controlfield tag="001">BV036754300</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110530 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">101103s2011 |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">GBB090854</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780521115810</subfield><subfield code="c">(hbk.)</subfield><subfield code="9">978-0-521-11581-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0521115817</subfield><subfield code="9">0521115817</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)705943292</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036754300</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-29</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-19</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Halbach, Volker</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)114528071</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Axiomatic theories of truth</subfield><subfield code="c">Volker Halbach</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge [u.a.]</subfield><subfield code="b">Cambridge Univ. Press</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 364 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="650" ind1=" " ind2="4"><subfield code="a">Truth</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Axiomatische Methode</subfield><subfield code="0">(DE-588)4143744-5</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">Wahrheit</subfield><subfield code="0">(DE-588)4064314-1</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">Axiomatische Methode</subfield><subfield code="0">(DE-588)4143744-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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=" "><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=020671501&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-020671501</subfield></datafield></record></collection> |
| id | DE-604.BV036754300 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T22:47:21Z |
| institution | BVB |
| isbn | 9780521115810 0521115817 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-020671501 |
| oclc_num | 705943292 |
| open_access_boolean | |
| owner | DE-29 DE-11 DE-12 DE-355 DE-BY-UBR DE-19 DE-BY-UBM |
| owner_facet | DE-29 DE-11 DE-12 DE-355 DE-BY-UBR DE-19 DE-BY-UBM |
| physical | IX, 364 S. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Cambridge Univ. Press |
| record_format | marc |
| spelling | Halbach, Volker Verfasser (DE-588)114528071 aut Axiomatic theories of truth Volker Halbach 1. publ. Cambridge [u.a.] Cambridge Univ. Press 2011 IX, 364 S. txt rdacontent n rdamedia nc rdacarrier Truth Axiomatische Methode (DE-588)4143744-5 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Wahrheit (DE-588)4064314-1 gnd rswk-swf Wahrheit (DE-588)4064314-1 s Axiomatische Methode (DE-588)4143744-5 s Logik (DE-588)4036202-4 s DE-604 V:DE-604 application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020671501&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Halbach, Volker Axiomatic theories of truth Truth Axiomatische Methode (DE-588)4143744-5 gnd Logik (DE-588)4036202-4 gnd Wahrheit (DE-588)4064314-1 gnd |
| subject_GND | (DE-588)4143744-5 (DE-588)4036202-4 (DE-588)4064314-1 |
| title | Axiomatic theories of truth |
| title_auth | Axiomatic theories of truth |
| title_exact_search | Axiomatic theories of truth |
| title_full | Axiomatic theories of truth Volker Halbach |
| title_fullStr | Axiomatic theories of truth Volker Halbach |
| title_full_unstemmed | Axiomatic theories of truth Volker Halbach |
| title_short | Axiomatic theories of truth |
| title_sort | axiomatic theories of truth |
| topic | Truth Axiomatische Methode (DE-588)4143744-5 gnd Logik (DE-588)4036202-4 gnd Wahrheit (DE-588)4064314-1 gnd |
| topic_facet | Truth Axiomatische Methode Logik Wahrheit |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020671501&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT halbachvolker axiomatictheoriesoftruth |