Formal theories of truth:
Truth is one of the oldest and most central topics in philosophy. Formal theories explore the connections between truth and logic, and they address truth-theoretic paradoxes such as the Liar. Three leading philosopher-logicians now present a concise overview of the main issues and ideas in formal th...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford, United Kingdom
Oxford University Press
2018
|
| Ausgabe: | First edition |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Zusammenfassung: | Truth is one of the oldest and most central topics in philosophy. Formal theories explore the connections between truth and logic, and they address truth-theoretic paradoxes such as the Liar. Three leading philosopher-logicians now present a concise overview of the main issues and ideas in formal theories of truth. Beall, Glanzberg, and Ripley explain key logical techniques on which such formal theories rely, providing the formal and logical background needed to develop formal theories of truth. They examine the most important truth-theoretic paradoxes, including the Liar paradoxes. They explore approaches that keep principles of truth simple while relying on nonclassical logic; approaches that preserve classical logic but do so by complicating the principles of truth; and approaches based on substructural logics that change the shape of the target consequence relation itself. Finally, inconsistency and revision theories are reviewed, and contrasted with the approaches previously discussed. For any reader who has a basic grounding in logic, this book offers an ideal guide to formal theories of truth |
| Beschreibung: | xii, 138 Seiten 20 cm |
| ISBN: | 0198815689 9780198815686 9780198815679 0198815670 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV044986802 | ||
| 003 | DE-604 | ||
| 005 | 20180723 | ||
| 007 | t | ||
| 008 | 180606s2018 b||| 00||| eng d | ||
| 020 | |a 0198815689 |c paperback |9 0-19-881568-9 | ||
| 020 | |a 9780198815686 |c paperback |9 978-0-19-881568-6 | ||
| 020 | |a 9780198815679 |c hardback |9 978-0-19-881567-9 | ||
| 020 | |a 0198815670 |9 0-19-881567-0 | ||
| 035 | |a (OCoLC)1038281348 | ||
| 035 | |a (DE-599)BVBBV044986802 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-355 |a DE-11 |a DE-703 | ||
| 084 | |a CC 4400 |0 (DE-625)17626: |2 rvk | ||
| 100 | 1 | |a Beall, Jeffrey C. |d 1966- |e Verfasser |0 (DE-588)132974606 |4 aut | |
| 245 | 1 | 0 | |a Formal theories of truth |c JC Beall, Michael Glanzberg, David Ripley |
| 250 | |a First edition | ||
| 264 | 1 | |a Oxford, United Kingdom |b Oxford University Press |c 2018 | |
| 300 | |a xii, 138 Seiten |c 20 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 520 | 3 | |a Truth is one of the oldest and most central topics in philosophy. Formal theories explore the connections between truth and logic, and they address truth-theoretic paradoxes such as the Liar. Three leading philosopher-logicians now present a concise overview of the main issues and ideas in formal theories of truth. Beall, Glanzberg, and Ripley explain key logical techniques on which such formal theories rely, providing the formal and logical background needed to develop formal theories of truth. They examine the most important truth-theoretic paradoxes, including the Liar paradoxes. They explore approaches that keep principles of truth simple while relying on nonclassical logic; approaches that preserve classical logic but do so by complicating the principles of truth; and approaches based on substructural logics that change the shape of the target consequence relation itself. Finally, inconsistency and revision theories are reviewed, and contrasted with the approaches previously discussed. For any reader who has a basic grounding in logic, this book offers an ideal guide to formal theories of truth | |
| 650 | 0 | 7 | |a Wahrheitstheorie |0 (DE-588)4127146-4 |2 gnd |9 rswk-swf |
| 653 | 0 | |a Truth | |
| 653 | 0 | |a Philosophy | |
| 653 | 0 | |a Certainty | |
| 653 | 0 | |a Logic | |
| 689 | 0 | 0 | |a Wahrheitstheorie |0 (DE-588)4127146-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Glanzberg, Michael |d ca. 20./21. Jh. |e Verfasser |0 (DE-588)1161765980 |4 aut | |
| 700 | 1 | |a Ripley, David |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung BSB München - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030379074&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030379074 | ||
Datensatz im Suchindex
| _version_ | 1804178592409583616 |
|---|---|
| adam_text | CONTENTS
Preface ix
Acknowledgments xi
1 Introduction 1
1.1 Our goals in the book 3
1.2 Basic structure of discussion 4
2 Truth-Theoretic Paradoxes: A Select Sampling 6
2.1 Introducing the Liar 6
2.2 Simple-falsity Liar 9
2.3 Simple-untruth Liar 10
2.4 Liar cycles n
2.5 Boolean compounds 11
2.6 Infinite sequences 13
2.7 On paradoxes beyond the Liar 14
3 Ingredients of a Liar 16
3.1 Basic ingredients 16
3.2 Guiding questions 23
4 Preliminaries and Technicalities 24
4.1 Truth and satisfaction 24
4.2 Talking about the language 26
4.3 Compositional principles 34
4.4 Consequence relations 35
5 Nonclassical logic: Unrestricted Capture-Release 38
5.1 Kleene-Kripke models 40
CONTENTS VI!
5.2 Consequence 45
5.3 Extra conditionals 52
5.4 Common objections 56
6 Classical Logic: Restricted Capture-Release 63
6.1 Classical logic 53
6.2 Tarski s hierarchy of languages 64
6.3 Proof theory for self-applicative truth 70
6.4 Model theory for classical truth 76
6.5 Contextualist approaches 80
6.6 Determinacy revisited 92
7 Digging Beneath the Structure 94
7.1 Deep structure 94
7.2 A formal framework 95
7.3 Going substructural 100
7.4 Advantages 101
7.5 Common objections 104
8 Other Directions: Revision and Inconsistency 109
8.1 Inconsistency views 109
8.2 The revision theory of truth 115
9 Closing Remarks 119
Bibliography 121
Name Index 133
General Index 136
Vfii j CONTENTS
|
| any_adam_object | 1 |
| author | Beall, Jeffrey C. 1966- Glanzberg, Michael ca. 20./21. Jh Ripley, David |
| author_GND | (DE-588)132974606 (DE-588)1161765980 |
| author_facet | Beall, Jeffrey C. 1966- Glanzberg, Michael ca. 20./21. Jh Ripley, David |
| author_role | aut aut aut |
| author_sort | Beall, Jeffrey C. 1966- |
| author_variant | j c b jc jcb m g mg d r dr |
| building | Verbundindex |
| bvnumber | BV044986802 |
| classification_rvk | CC 4400 |
| ctrlnum | (OCoLC)1038281348 (DE-599)BVBBV044986802 |
| discipline | Philosophie |
| edition | First edition |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02830nam a2200445 c 4500</leader><controlfield tag="001">BV044986802</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180723 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">180606s2018 b||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198815689</subfield><subfield code="c">paperback</subfield><subfield code="9">0-19-881568-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780198815686</subfield><subfield code="c">paperback</subfield><subfield code="9">978-0-19-881568-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780198815679</subfield><subfield code="c">hardback</subfield><subfield code="9">978-0-19-881567-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0198815670</subfield><subfield code="9">0-19-881567-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1038281348</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044986802</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-12</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-703</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="100" ind1="1" ind2=" "><subfield code="a">Beall, Jeffrey C.</subfield><subfield code="d">1966-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)132974606</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal theories of truth</subfield><subfield code="c">JC Beall, Michael Glanzberg, David Ripley</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">First edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford, United Kingdom</subfield><subfield code="b">Oxford University Press</subfield><subfield code="c">2018</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xii, 138 Seiten</subfield><subfield code="c">20 cm</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="520" ind1="3" ind2=" "><subfield code="a">Truth is one of the oldest and most central topics in philosophy. Formal theories explore the connections between truth and logic, and they address truth-theoretic paradoxes such as the Liar. Three leading philosopher-logicians now present a concise overview of the main issues and ideas in formal theories of truth. Beall, Glanzberg, and Ripley explain key logical techniques on which such formal theories rely, providing the formal and logical background needed to develop formal theories of truth. They examine the most important truth-theoretic paradoxes, including the Liar paradoxes. They explore approaches that keep principles of truth simple while relying on nonclassical logic; approaches that preserve classical logic but do so by complicating the principles of truth; and approaches based on substructural logics that change the shape of the target consequence relation itself. Finally, inconsistency and revision theories are reviewed, and contrasted with the approaches previously discussed. For any reader who has a basic grounding in logic, this book offers an ideal guide to formal theories of truth</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wahrheitstheorie</subfield><subfield code="0">(DE-588)4127146-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Truth</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Philosophy</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Certainty</subfield></datafield><datafield tag="653" ind1=" " ind2="0"><subfield code="a">Logic</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wahrheitstheorie</subfield><subfield code="0">(DE-588)4127146-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Glanzberg, Michael</subfield><subfield code="d">ca. 20./21. Jh.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1161765980</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ripley, David</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung BSB München - ADAM Catalogue Enrichment</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=030379074&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-030379074</subfield></datafield></record></collection> |
| id | DE-604.BV044986802 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:06:25Z |
| institution | BVB |
| isbn | 0198815689 9780198815686 9780198815679 0198815670 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030379074 |
| oclc_num | 1038281348 |
| open_access_boolean | |
| owner | DE-12 DE-355 DE-BY-UBR DE-11 DE-703 |
| owner_facet | DE-12 DE-355 DE-BY-UBR DE-11 DE-703 |
| physical | xii, 138 Seiten 20 cm |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | Oxford University Press |
| record_format | marc |
| spelling | Beall, Jeffrey C. 1966- Verfasser (DE-588)132974606 aut Formal theories of truth JC Beall, Michael Glanzberg, David Ripley First edition Oxford, United Kingdom Oxford University Press 2018 xii, 138 Seiten 20 cm txt rdacontent n rdamedia nc rdacarrier Truth is one of the oldest and most central topics in philosophy. Formal theories explore the connections between truth and logic, and they address truth-theoretic paradoxes such as the Liar. Three leading philosopher-logicians now present a concise overview of the main issues and ideas in formal theories of truth. Beall, Glanzberg, and Ripley explain key logical techniques on which such formal theories rely, providing the formal and logical background needed to develop formal theories of truth. They examine the most important truth-theoretic paradoxes, including the Liar paradoxes. They explore approaches that keep principles of truth simple while relying on nonclassical logic; approaches that preserve classical logic but do so by complicating the principles of truth; and approaches based on substructural logics that change the shape of the target consequence relation itself. Finally, inconsistency and revision theories are reviewed, and contrasted with the approaches previously discussed. For any reader who has a basic grounding in logic, this book offers an ideal guide to formal theories of truth Wahrheitstheorie (DE-588)4127146-4 gnd rswk-swf Truth Philosophy Certainty Logic Wahrheitstheorie (DE-588)4127146-4 s DE-604 Glanzberg, Michael ca. 20./21. Jh. Verfasser (DE-588)1161765980 aut Ripley, David Verfasser aut Digitalisierung BSB München - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030379074&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Beall, Jeffrey C. 1966- Glanzberg, Michael ca. 20./21. Jh Ripley, David Formal theories of truth Wahrheitstheorie (DE-588)4127146-4 gnd |
| subject_GND | (DE-588)4127146-4 |
| title | Formal theories of truth |
| title_auth | Formal theories of truth |
| title_exact_search | Formal theories of truth |
| title_full | Formal theories of truth JC Beall, Michael Glanzberg, David Ripley |
| title_fullStr | Formal theories of truth JC Beall, Michael Glanzberg, David Ripley |
| title_full_unstemmed | Formal theories of truth JC Beall, Michael Glanzberg, David Ripley |
| title_short | Formal theories of truth |
| title_sort | formal theories of truth |
| topic | Wahrheitstheorie (DE-588)4127146-4 gnd |
| topic_facet | Wahrheitstheorie |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030379074&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT bealljeffreyc formaltheoriesoftruth AT glanzbergmichael formaltheoriesoftruth AT ripleydavid formaltheoriesoftruth |