Saving truth from paradox:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Oxford [u.a.]
Oxford Univ. Press
2008
|
| Ausgabe: | 1. publ. |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XV, 406 S. graph. Darst |
| ISBN: | 9780199230747 9780199230754 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV023128689 | ||
| 003 | DE-604 | ||
| 005 | 20110221 | ||
| 007 | t | ||
| 008 | 080214s2008 xxkd||| |||| 00||| eng d | ||
| 010 | |a 2007048245 | ||
| 020 | |a 9780199230747 |9 978-0-19-923074-7 | ||
| 020 | |a 9780199230754 |9 978-0-19-923075-4 | ||
| 035 | |a (OCoLC)181422178 | ||
| 035 | |a (DE-599)BVBBV023128689 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxk |c GB | ||
| 049 | |a DE-29 |a DE-12 |a DE-19 |a DE-83 |a DE-11 |a DE-355 |a DE-188 | ||
| 050 | 0 | |a BC199.P2 | |
| 082 | 0 | |a 165 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Field, Hartry H. |d 1946- |e Verfasser |0 (DE-588)136845983 |4 aut | |
| 245 | 1 | 0 | |a Saving truth from paradox |c Hartry Field |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a Oxford [u.a.] |b Oxford Univ. Press |c 2008 | |
| 300 | |a XV, 406 S. |b graph. Darst | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Geldigheid |2 gtt | |
| 650 | 7 | |a Paradoxen |2 gtt | |
| 650 | 7 | |a Waarheid |2 gtt | |
| 650 | 4 | |a Paradox | |
| 650 | 4 | |a Truth | |
| 650 | 0 | 7 | |a Wahrheit |0 (DE-588)4064314-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Paradoxon |0 (DE-588)4044593-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Paradoxon |0 (DE-588)4044593-8 |D s |
| 689 | 0 | 1 | |a Wahrheit |0 (DE-588)4064314-1 |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=016331063&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-016331063 | ||
Datensatz im Suchindex
| _version_ | 1804137402236665856 |
|---|---|
| adam_text | CONTENTS INTRODUCTION 1 GRELLING S PARADOX 2 RUSSELL S PARADOX FOR
PROPERTIES 3 . .. V. RUSSELI S PARADOX FOR SETS 4 SOLUTION MUTES TO
RUSSELL S PARADOX FOR PROPERTIES 5 GRELLING AGAIN 6 CHANGE OF LOGIC AND
CHANGE OF MEANING 7 SOME CONNECTIONS TO OTHER ISSUES PART I. A SELECTIVE
BACKGROUND 1 1 1 2 4 11 14 18 1 SELF-REFERENCE AND TARSKI S THEOREM 23
1.1 SELF-REFERENCE AND GOEDEL- TARSKI DIAGONALIZATION 24 1.2 TARSKI S
UNDEFINABILITY THEOREM 27 1.3 TARSKI S UNDEFINABILITY THEOREM STATES
MORE THAN UNDEFINABILITY 30 1.4 ANOTHER FORM OFTARSKI S THEOREM 32 1.5
CAN SET-THEORETIC TRUTH BE DEFINED? 33 1.6 INDUCTIVE CHARACTERIZATIONS
AND RESTRICTED TRUTH DEFINITIONS 36 1.7 FURTHER REMARKS ON EXPLICIT
DEFINITION 39 2 VALIDITY AND THE UNPROVABILITY OF SOUNDNESS 42 2.1
VALIDITY AND THE NECESSATY PRESERVATION OF TRUTH 42 2.2 TRUTH IN A MODEL
43 2.3 THE KREISEL SQUEEZING ARGUMENT 46 2.4 THE UNPROVABILITY OF
SOUNDNESS 48 3 KRIPKE S THEORY OFTRUTH (STRONG KLEENE VERSION) 56 3.1
THE KRIPKE CONSTRUETION FOR RESTRICTED LANGUAGES 58 3.2 THE KRIPKE
CONSTRUCTION FOR UNRESTRICTED LANGUAGES 62 3.3 CONSERVATIVENESS 65 3.4
DOES TRUTH COINCIDE WITH SEMANTIC VALUE 1 EVEN FOR RESTRICTED LANGUAGES?
(KFS V. FM) 68 3.5 GAPS AND GLUTS 70 XLI CONTENTS 3.6 THE WEAKNESSES
OFKRIPKE S CONSTRUCTION 72 3.7 ACCEPTANCE AND REJECTION IN KFS 73 3.8
DEFECTIVENESS AGAIN 76 APPENDIX: KLEENE LOGIC AND OTHER DEMORGAN LOGICS
79 4 ADDING A CONDITIONAL? CURRY AND LUKASIEWICZ 83 4.1 THE CURRY
PARADOX 83 4.2 CONTINUUM-VALUED SEMANTICS 86 4.3 WHAT DO THE SEMANTIC
VALUES MEAN? 88 4.4 DETERMINATE TRUTH IN CONTINUUM-VALUED SEMANTICS 89
4.5 ULTIMATE FAILURE: QUANTIFIERS 92 4.6 INDETERMINACY AND REJECTION 94
APPENDIX: THE CONSERVATIVENESS THEOREM 97 5 INTERLUDE ON VAGUENESS, AND
THE PARADOXES OFKOENIG AND BERRY 100 5.1 MUST VAGUE PREDICATES HAVE SHARP
BOUNDARIES? 100 5.2 PENUMBRAL CONNECTIONS AND HIGHER ORDER VAGUENESS 102
5.3 MUST HIGHER ORDER VAGUENESS COLLAPSE? 104 5.4 LINEAR ORDER? 105 5.5
THE KOENIG AND BERRY PARADOXES 106 5.6 THE ROLE OF A CLASSICAL
META-THEORY FOR A NON-CLASSICALLANGUAGE 108 PART 11. BROADLY CLASSICAL
APPROACHES 6 INTRODUCTION TO THE BROADLY CLASSICAL OPTIONS 117 7
TRUTH-VALUE GAPS IN CLASSICAL THEORIES 121 7.1 GAPS AND (T-OUT) 121 7.2
KLEENE-STYLE GAPS VERSUS SUPERVALUATION-STYLE GAPS 124 7.3 DECLARING
ONE S AXIOMS UNTRUE 130 7.4 PROPOSITIONS TO THE RESCUE? 132 7.5
TRUTH-OF, HETEROLOGICALITY, AND PROPERTIES 134 7.6 RESTRICTED (T-OUT)
135 7.7 DOES DECLARING ONE S AXIOMS UNTRUE DESTROY THE PURPOSE OF TRUTH?
138 8 TRUTH-VALUE GLUTS IN CLASSICAL THEORIES 142 8.1 GLUTS AND (T-IN)
142 8.2 (T-IN) THEORIES 143 8.3 WHAT DO GLUT THEORIES SAY ABOUT
THEMSELVES? 146 8.4 EVALUATION OF GLUTS V. GAPS 147 CONTENTS XLL1 9 A
SECOND INTERLUDE ON VAGUENESS 150 9.1 INDETERMINACY IN CLASSICAL
THEORIES 150 9.2 SUPERVALUATIONISM 153 10 INTRODUCTION TO
SUPERVALUATIONAL APPROACHES TO PARADOX 156 10.1 THE SIMPLEST
SUPERVALUATIONAL FIXED POINTS 156 10.2 INDETERMINACY, WEAK VALIDITY, AND
REASONING BY CASES 160 10.3 THE STATUS OF THE TRUTH RULES 162 10.4
INDETERMINACY AGAIN 164 10.5 BOOLEAN-VALUED SEMANTICS 166 10.6 STRONG
VALIDITY, AND WEAK VALIDITY REVISITED 169 10.7 YOGI BERRA S ADVICE AND
IGNORANCE INTERPRETATIONS 172 11 A SURVEY OF SUPERVALUATIONAL AND
REVISION-RULE THEORIES 176 11.1 SIMPLE SUPERVALUATIONISM IS VERY WEAK
176 11.2 GENERAL SUPERVALUATIONAL FIXED POINT THEORIES 177 11.3 AVOIDING
THE PROBLEMS OF SIMPLE SUPERVALUATIONISM 181 11.4 RULE-OF-REVISION
THEORIES 186 11.5 SOUNDNESS PROOFS REVISITED 190 12 ARE SUPERVALUATIONAL
AND REVISION THEORIES SELF-UNDERMINING? 192 12.1 WHAT DO STRONG
SUPERVALUATIONAL AND STRONG REVISION THEORIES SAY ABOUT THEMSELVES? 192
12.2 WHAT DO MEDIUM SUPERVALUATIONAL AND MEDIUM REVISION THEORIES SAY
ABOUT THEMSELVES? 196 12.3 ARE EVEN THE STRONG THEORIES REALLY
SELF-UNDERMINING ? 199 12.4 GOEDEL S SECOND INCOMPLETENESS THEOREM 200
12.5 CONCLUSION 204 13 INTERSUBSTITUTIVITY AND THE PURPOSE OFTRUTH 205
13.1 HARMLESS GAPS 206 13.2 ACCEPTANCE AND REJECTION IN WEAKLY CLASSICAL
THEORIES 208 13.3 THE REST OF THE ICEBERG 209 14 STRATIFIED AND
CONTEXTUAL THEORIES 211 14.1 CONTEXTUAL THEORIES AND STRENGTHENED LIAR
REASONING 211 14.2 STRATIFIED GAP AND GLUT THEORIES 214 14.3 THE GHOST
OF THE TARSKI HIERARCHY : STRATIFIED INTERNAL FIXED POINT THEORIES 222
14.4 STRATIFIED DETERMINACY PREDICATES FOR WEAKLY CLASSICAL THEORIES 225
XIV CONTENTS PART III. PARACOMPLETENESS 15 WHATLS TO BE DONE? 231 15.1 A
FRAMEWORK FOR GENERALIZING CONTINUUM-VALUED SEMANTICS 231 15.2
DETERMINATENESS AND THE LIAR HIERARCHY 235 15.3 MORE ON THE
NEVER-COLLAPSING HIERARCHY OF DETERMINATELY OPERATORS 239 16 FIXED
POINTS AND REVISION RULES FOR CONDITIONALS 242 16.1 YABLO FIXED POINTS
244 16.2 REVISIONISM 249 16.3 THE TRANSFINITE LIAR HIERARCHY AND OTHER
EXAMPLES 253 APPENDIX: THE FUNDAMENTAL THEOREM 257 17 MORE ON REVISION-
THEORETIC CONDITIONALS 259 17.1 ALGEBRAIC SEMANTICS 259 17.2
CONSERVATIVENESS AND SCHEMAS 262 17.3 MODAL SEMANTICS 264 17.4 LAWS AND
NON-IAWS 266 17.5 VARIATIONS 271 18 WHAT HAS BEEN DONE 275 PART IV. MORE
ON PARACOMPLETE SOLUTIONS 19 VALIDITY, TRUTH-PRESERVATION, AND THE
SECOND INCOMPLETENESS THEOREM 281 19.1 ANOTHER FORM OFCURRY S PARADOX
281 19.2 THE VALIDITY ARGUMENT 284 19.3 THE SECOND INCOMPLETENESS
THEOREM 286 20 OTHER PARADOXES 291 20.1 PARADOXES OF DENOTATION 291 20.2
THE NAIVE THEORY OF PROPERTIES, RELATIONS, AND PROPOSITIONS 294 20.3 SET
THEORY 296 20.4 PARADOXES OF TRUTH AND VALIDITY 298 20.5 NON-BIVALENT
VALIDITY? 303 21 DO PARACOMPLETE SOLUTIONS DEPEND ON EXPRESSIVE
LIMITATIONS? 309 21.1 BOOLEAN NEGATION AND EXCLUSION NEGATION 309 21.2
INTUITIONIST NEGATION AND THE INTUITIONIST CONDITIONAL 312 21.3 WRIGHT S
ARGUMENT 314 21.4 RESTALL S ARGUMENT 316 CONTENTS 22 DETERMINATENESS,
HYPER-DETERMINATENESS, AND SUPER-DETERMINATENESS 22.1 TRANSFINITE
ITERATION MADE RIGOROUS 22.2 HYPER-DETERMINATENESS: THE PROBLEM 22.3
HYPER-DETERMINATENESS: THE SOLUTION 22.4 EXPANDING THE LANGUAGE? 22.5
HIGHER-ORDER RESOURCES 22.6 SUPER-DETERMINATENESS 23 DETERMINATENESS,
STRATIFICATION, AND REVENGE 23.1 STRATIFIED TRUTH V. ITERATED
DETERMINACY 23.2 GENUINE COSTS 23.3 TRYING CO GET REVENGE PART V.
PARACONSISTENT DIALETHEISM 24 AN INTRODUCTION TO PARACONSISTENT
DIALETHEISM 24.1 DIALETHEISM, THE TRUTH SCHEMA, AND INTERSUBSTITUTIVITY
24.2 ACCEPTANCE, REJECTION, AND DEGREE OFBELIEF 24.3 GLUTS, GAPS, AND
INTERSUBSTITUTIVITY AGAIN 25 SOME DIALETHEIC THEORIES 25.1 PRIEST SLP
25.2 DUALIZING PARACOMPLETE THEORIES 25.3 PRIEST S CONDITIONALS 26
PARACONSISTENT DIALETHEISM AND SOUNDNESS 26.1 THE FIRST INCOMPLETENESS
THEOREM, CURRY S PARADOX, AND TRUTH-PRESERVATION 26.2 CAN WE GET EVEN
RESTRICTED TRUTH-PRESERVATION? 27 HYPER-DETERMINACY AND REVENGE 27.1
MODEL THEORY, DESIGNATED VALUES AND TRUTH 27.2 SOLE TRUTH AND SOLE
FALSEHOOD 27.3 EXTENDED PARADOX? REFERENCES INDEX XV 325 326 331 333 338
340 343 347 347 350 353 361 361 363 364 368 368 369 371 376 376 380 384
384 386 390 393 399
|
| adam_txt |
CONTENTS INTRODUCTION 1 GRELLING'S PARADOX 2 RUSSELL'S PARADOX FOR
PROPERTIES 3 . . V. RUSSELI' S PARADOX FOR SETS 4 SOLUTION MUTES TO
RUSSELL'S PARADOX FOR PROPERTIES 5 GRELLING AGAIN 6 CHANGE OF LOGIC AND
CHANGE OF MEANING 7 SOME CONNECTIONS TO OTHER ISSUES PART I. A SELECTIVE
BACKGROUND 1 1 1 2 4 11 14 18 1 SELF-REFERENCE AND TARSKI'S THEOREM 23
1.1 SELF-REFERENCE AND GOEDEL- TARSKI DIAGONALIZATION 24 1.2 TARSKI'S
"UNDEFINABILITY THEOREM" 27 1.3 TARSKI'S "UNDEFINABILITY THEOREM" STATES
MORE THAN UNDEFINABILITY 30 1.4 ANOTHER FORM OFTARSKI'S THEOREM 32 1.5
CAN SET-THEORETIC TRUTH BE DEFINED? 33 1.6 INDUCTIVE CHARACTERIZATIONS
AND RESTRICTED TRUTH DEFINITIONS 36 1.7 FURTHER REMARKS ON EXPLICIT
DEFINITION 39 2 VALIDITY AND THE UNPROVABILITY OF SOUNDNESS 42 2.1
VALIDITY AND THE NECESSATY PRESERVATION OF TRUTH 42 2.2 TRUTH IN A MODEL
43 2.3 THE KREISEL SQUEEZING ARGUMENT 46 2.4 THE UNPROVABILITY OF
SOUNDNESS 48 3 KRIPKE'S THEORY OFTRUTH (STRONG KLEENE VERSION) 56 3.1
THE KRIPKE CONSTRUETION FOR RESTRICTED LANGUAGES 58 3.2 THE KRIPKE
CONSTRUCTION FOR UNRESTRICTED LANGUAGES 62 3.3 CONSERVATIVENESS 65 3.4
DOES TRUTH COINCIDE WITH SEMANTIC VALUE 1 EVEN FOR RESTRICTED LANGUAGES?
(KFS V. FM) 68 3.5 GAPS AND GLUTS 70 XLI CONTENTS 3.6 THE WEAKNESSES
OFKRIPKE'S CONSTRUCTION 72 3.7 ACCEPTANCE AND REJECTION IN KFS 73 3.8
DEFECTIVENESS AGAIN 76 APPENDIX: KLEENE LOGIC AND OTHER DEMORGAN LOGICS
79 4 ADDING A CONDITIONAL? CURRY AND LUKASIEWICZ 83 4.1 THE CURRY
PARADOX 83 4.2 CONTINUUM-VALUED SEMANTICS 86 4.3 WHAT DO THE SEMANTIC
VALUES MEAN? 88 4.4 DETERMINATE TRUTH IN CONTINUUM-VALUED SEMANTICS 89
4.5 ULTIMATE FAILURE: QUANTIFIERS 92 4.6 INDETERMINACY AND REJECTION 94
APPENDIX: THE CONSERVATIVENESS THEOREM 97 5 INTERLUDE ON VAGUENESS, AND
THE PARADOXES OFKOENIG AND BERRY 100 5.1 MUST VAGUE PREDICATES HAVE SHARP
BOUNDARIES? 100 5.2 PENUMBRAL CONNECTIONS AND HIGHER ORDER VAGUENESS 102
5.3 MUST HIGHER ORDER VAGUENESS COLLAPSE? 104 5.4 LINEAR ORDER? 105 5.5
THE KOENIG AND BERRY PARADOXES 106 5.6 THE ROLE OF A CLASSICAL
META-THEORY FOR A NON-CLASSICALLANGUAGE 108 PART 11. BROADLY CLASSICAL
APPROACHES 6 INTRODUCTION TO THE BROADLY CLASSICAL OPTIONS 117 7
TRUTH-VALUE GAPS IN CLASSICAL THEORIES 121 7.1 GAPS AND (T-OUT) 121 7.2
KLEENE-STYLE GAPS VERSUS SUPERVALUATION-STYLE GAPS 124 7.3 DECLARING
ONE'S AXIOMS UNTRUE 130 7.4 PROPOSITIONS TO THE RESCUE? 132 7.5
TRUTH-OF, HETEROLOGICALITY, AND PROPERTIES 134 7.6 RESTRICTED (T-OUT)
135 7.7 DOES DECLARING ONE'S AXIOMS UNTRUE DESTROY THE PURPOSE OF TRUTH?
138 8 TRUTH-VALUE GLUTS IN CLASSICAL THEORIES 142 8.1 GLUTS AND (T-IN)
142 8.2 (T-IN) THEORIES 143 8.3 WHAT DO GLUT THEORIES SAY ABOUT
THEMSELVES? 146 8.4 EVALUATION OF GLUTS V. GAPS 147 CONTENTS XLL1 9 A
SECOND INTERLUDE ON VAGUENESS 150 9.1 INDETERMINACY IN CLASSICAL
THEORIES 150 9.2 SUPERVALUATIONISM 153 10 INTRODUCTION TO
SUPERVALUATIONAL APPROACHES TO PARADOX 156 10.1 THE SIMPLEST
SUPERVALUATIONAL FIXED POINTS 156 10.2 INDETERMINACY, WEAK VALIDITY, AND
REASONING BY CASES 160 10.3 THE STATUS OF THE TRUTH RULES 162 10.4
INDETERMINACY AGAIN 164 10.5 BOOLEAN-VALUED SEMANTICS 166 10.6 STRONG
VALIDITY, AND WEAK VALIDITY REVISITED 169 10.7 YOGI BERRA'S ADVICE AND
IGNORANCE INTERPRETATIONS 172 11 A SURVEY OF SUPERVALUATIONAL AND
REVISION-RULE THEORIES 176 11.1 SIMPLE SUPERVALUATIONISM IS VERY WEAK
176 11.2 GENERAL SUPERVALUATIONAL FIXED POINT THEORIES 177 11.3 AVOIDING
THE PROBLEMS OF SIMPLE SUPERVALUATIONISM 181 11.4 RULE-OF-REVISION
THEORIES 186 11.5 SOUNDNESS PROOFS REVISITED 190 12 ARE SUPERVALUATIONAL
AND REVISION THEORIES SELF-UNDERMINING? 192 12.1 WHAT DO STRONG
SUPERVALUATIONAL AND STRONG REVISION THEORIES SAY ABOUT THEMSELVES? 192
12.2 WHAT DO MEDIUM SUPERVALUATIONAL AND MEDIUM REVISION THEORIES SAY
ABOUT THEMSELVES? 196 12.3 ARE EVEN THE STRONG THEORIES REALLY
"SELF-UNDERMINING"? 199 12.4 GOEDEL'S SECOND INCOMPLETENESS THEOREM 200
12.5 CONCLUSION 204 13 INTERSUBSTITUTIVITY AND THE PURPOSE OFTRUTH 205
13.1 HARMLESS GAPS 206 13.2 ACCEPTANCE AND REJECTION IN WEAKLY CLASSICAL
THEORIES 208 13.3 THE REST OF THE ICEBERG 209 14 STRATIFIED AND
CONTEXTUAL THEORIES 211 14.1 CONTEXTUAL THEORIES AND "STRENGTHENED LIAR
REASONING" 211 14.2 STRATIFIED GAP AND GLUT THEORIES 214 14.3 "THE GHOST
OF THE TARSKI HIERARCHY": STRATIFIED INTERNAL FIXED POINT THEORIES 222
14.4 STRATIFIED DETERMINACY PREDICATES FOR WEAKLY CLASSICAL THEORIES 225
XIV CONTENTS PART III. PARACOMPLETENESS 15 WHATLS TO BE DONE? 231 15.1 A
FRAMEWORK FOR GENERALIZING CONTINUUM-VALUED SEMANTICS 231 15.2
DETERMINATENESS AND THE LIAR HIERARCHY 235 15.3 MORE ON THE
NEVER-COLLAPSING HIERARCHY OF DETERMINATELY OPERATORS 239 16 FIXED
POINTS AND REVISION RULES FOR CONDITIONALS 242 16.1 YABLO FIXED POINTS
244 16.2 REVISIONISM 249 16.3 THE TRANSFINITE LIAR HIERARCHY AND OTHER
EXAMPLES 253 APPENDIX: THE FUNDAMENTAL THEOREM 257 17 MORE ON REVISION-
THEORETIC CONDITIONALS 259 17.1 ALGEBRAIC SEMANTICS 259 17.2
CONSERVATIVENESS AND SCHEMAS 262 17.3 MODAL SEMANTICS 264 17.4 LAWS AND
NON-IAWS 266 17.5 VARIATIONS 271 18 WHAT HAS BEEN DONE 275 PART IV. MORE
ON PARACOMPLETE SOLUTIONS 19 VALIDITY, TRUTH-PRESERVATION, AND THE
SECOND INCOMPLETENESS THEOREM 281 19.1 ANOTHER FORM OFCURRY'S PARADOX
281 19.2 THE VALIDITY ARGUMENT 284 19.3 THE SECOND INCOMPLETENESS
THEOREM 286 20 OTHER PARADOXES 291 20.1 PARADOXES OF DENOTATION 291 20.2
THE NAIVE THEORY OF PROPERTIES, RELATIONS, AND PROPOSITIONS 294 20.3 SET
THEORY 296 20.4 PARADOXES OF TRUTH AND VALIDITY 298 20.5 "NON-BIVALENT"
VALIDITY? 303 21 DO PARACOMPLETE SOLUTIONS DEPEND ON EXPRESSIVE
LIMITATIONS? 309 21.1 BOOLEAN NEGATION AND "EXCLUSION NEGATION" 309 21.2
INTUITIONIST NEGATION AND THE INTUITIONIST CONDITIONAL 312 21.3 WRIGHT'S
ARGUMENT 314 21.4 RESTALL'S ARGUMENT 316 CONTENTS 22 DETERMINATENESS,
HYPER-DETERMINATENESS, AND SUPER-DETERMINATENESS 22.1 TRANSFINITE
ITERATION MADE RIGOROUS 22.2 HYPER-DETERMINATENESS: THE PROBLEM 22.3
HYPER-DETERMINATENESS: THE SOLUTION 22.4 EXPANDING THE LANGUAGE? 22.5
HIGHER-ORDER RESOURCES 22.6 SUPER-DETERMINATENESS 23 DETERMINATENESS,
STRATIFICATION, AND REVENGE 23.1 STRATIFIED TRUTH V. ITERATED
DETERMINACY 23.2 GENUINE COSTS 23.3 TRYING CO GET REVENGE PART V.
PARACONSISTENT DIALETHEISM 24 AN INTRODUCTION TO PARACONSISTENT
DIALETHEISM 24.1 DIALETHEISM, THE TRUTH SCHEMA, AND INTERSUBSTITUTIVITY
24.2 ACCEPTANCE, REJECTION, AND DEGREE OFBELIEF 24.3 GLUTS, GAPS, AND
INTERSUBSTITUTIVITY AGAIN 25 SOME DIALETHEIC THEORIES 25.1 PRIEST'SLP
25.2 DUALIZING PARACOMPLETE THEORIES 25.3 PRIEST'S CONDITIONALS 26
PARACONSISTENT DIALETHEISM AND SOUNDNESS 26.1 THE FIRST INCOMPLETENESS
THEOREM, CURRY' S PARADOX, AND TRUTH-PRESERVATION 26.2 CAN WE GET EVEN
RESTRICTED TRUTH-PRESERVATION? 27 HYPER-DETERMINACY AND REVENGE 27.1
MODEL THEORY, DESIGNATED VALUES AND TRUTH 27.2 SOLE TRUTH AND SOLE
FALSEHOOD 27.3 EXTENDED PARADOX? REFERENCES INDEX XV 325 326 331 333 338
340 343 347 347 350 353 361 361 363 364 368 368 369 371 376 376 380 384
384 386 390 393 399 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Field, Hartry H. 1946- |
| author_GND | (DE-588)136845983 |
| author_facet | Field, Hartry H. 1946- |
| author_role | aut |
| author_sort | Field, Hartry H. 1946- |
| author_variant | h h f hh hhf |
| building | Verbundindex |
| bvnumber | BV023128689 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC199 |
| callnumber-raw | BC199.P2 |
| callnumber-search | BC199.P2 |
| callnumber-sort | BC 3199 P2 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2500 CC 2600 |
| ctrlnum | (OCoLC)181422178 (DE-599)BVBBV023128689 |
| dewey-full | 165 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 165 - Fallacies and sources of error |
| dewey-raw | 165 |
| dewey-search | 165 |
| dewey-sort | 3165 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| discipline_str_mv | Philosophie |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01675nam a2200493zc 4500</leader><controlfield tag="001">BV023128689</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110221 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">080214s2008 xxkd||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2007048245</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199230747</subfield><subfield code="9">978-0-19-923074-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780199230754</subfield><subfield code="9">978-0-19-923075-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)181422178</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV023128689</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">xxk</subfield><subfield code="c">GB</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC199.P2</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">165</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 2600</subfield><subfield code="0">(DE-625)17610:</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">Field, Hartry H.</subfield><subfield code="d">1946-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136845983</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Saving truth from paradox</subfield><subfield code="c">Hartry Field</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">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 406 S.</subfield><subfield code="b">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="650" ind1=" " ind2="7"><subfield code="a">Geldigheid</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Paradoxen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Waarheid</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Paradox</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Truth</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">Paradoxon</subfield><subfield code="0">(DE-588)4044593-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Paradoxon</subfield><subfield code="0">(DE-588)4044593-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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=" "><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=016331063&sequence=000003&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-016331063</subfield></datafield></record></collection> |
| id | DE-604.BV023128689 |
| illustrated | Illustrated |
| index_date | 2024-07-02T19:54:26Z |
| indexdate | 2024-07-09T21:11:42Z |
| institution | BVB |
| isbn | 9780199230747 9780199230754 |
| language | English |
| lccn | 2007048245 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-016331063 |
| oclc_num | 181422178 |
| open_access_boolean | |
| owner | DE-29 DE-12 DE-19 DE-BY-UBM DE-83 DE-11 DE-355 DE-BY-UBR DE-188 |
| owner_facet | DE-29 DE-12 DE-19 DE-BY-UBM DE-83 DE-11 DE-355 DE-BY-UBR DE-188 |
| physical | XV, 406 S. graph. Darst |
| publishDate | 2008 |
| publishDateSearch | 2008 |
| publishDateSort | 2008 |
| publisher | Oxford Univ. Press |
| record_format | marc |
| spelling | Field, Hartry H. 1946- Verfasser (DE-588)136845983 aut Saving truth from paradox Hartry Field 1. publ. Oxford [u.a.] Oxford Univ. Press 2008 XV, 406 S. graph. Darst txt rdacontent n rdamedia nc rdacarrier Geldigheid gtt Paradoxen gtt Waarheid gtt Paradox Truth Wahrheit (DE-588)4064314-1 gnd rswk-swf Paradoxon (DE-588)4044593-8 gnd rswk-swf Paradoxon (DE-588)4044593-8 s Wahrheit (DE-588)4064314-1 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=016331063&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Field, Hartry H. 1946- Saving truth from paradox Geldigheid gtt Paradoxen gtt Waarheid gtt Paradox Truth Wahrheit (DE-588)4064314-1 gnd Paradoxon (DE-588)4044593-8 gnd |
| subject_GND | (DE-588)4064314-1 (DE-588)4044593-8 |
| title | Saving truth from paradox |
| title_auth | Saving truth from paradox |
| title_exact_search | Saving truth from paradox |
| title_exact_search_txtP | Saving truth from paradox |
| title_full | Saving truth from paradox Hartry Field |
| title_fullStr | Saving truth from paradox Hartry Field |
| title_full_unstemmed | Saving truth from paradox Hartry Field |
| title_short | Saving truth from paradox |
| title_sort | saving truth from paradox |
| topic | Geldigheid gtt Paradoxen gtt Waarheid gtt Paradox Truth Wahrheit (DE-588)4064314-1 gnd Paradoxon (DE-588)4044593-8 gnd |
| topic_facet | Geldigheid Paradoxen Waarheid Paradox Truth Wahrheit Paradoxon |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016331063&sequence=000003&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT fieldhartryh savingtruthfromparadox |