Saving Truth from Paradox

Saving Truth from Paradox is an ambitious investigation into paradoxes of truth and related issues, with occasional forays into notions such as vagueness, the nature of validity, and the Gnulldel incompleteness theorems. Hartry Field presents a new approach to the paradoxes and provides a systematic and detailed account of the main competing approaches. Part One examines Tarski´s, Kripke´s, and Lukasiewicz´s theories of truth, and discusses validity and soundness, and vagueness. Part Two considers a wide range of attempts to resolve the paradoxes within classical logic. In Part Three Field turns to non-classical theories of truth that that restrict excluded middle. He shows that there are theories of this sort in which the conditionals obey many of the classical laws, and that all the semantic paradoxes (not just the simplest ones) can be handled consistently with the naive theory of truth. In Part Four, these theories are extended to the property-theoretic paradoxes and to various other paradoxes, and some issues about the understanding of the notion of validity are addressed. Extended paradoxes, involving the notion of determinate truth, are treated very thoroughly, and a number of different arguments that the theories lead to "revenge problems" are addressed. Finally, Part Five deals with dialetheic approaches to the paradoxes: approaches which, instead of restricting excluded middle, accept certain contradictions but alter classical logic so as to keep them confined to a relatively remote part of the language. Advocates of dialetheic theories have argued them to be better than theories that restrict excluded middle, for instance over issues related to the incompleteness theorems and in avoiding revenge problems. Field argues that dialetheists´ claims on behalf of their theories are quite unfounded, and indeed that on some of these issues all current versions of dialetheism do substantially worse than the best theories that restrict excluded middle.

Table of Contents
Preface
Introduction
PART ONE: A Selective Background
1. Chapter 1: Self-Reference and Tarskinulls Theorem
2. Validity and the Unprovability of Soundness
3. Kripkenulls Theory of Truth (Strong Kleene Version)
4. Adding a Conditional? Curry and Lukasiewicz
5. Interlude on Vagueness, and the Paradoxes of König and Berry
PART TWO: Broadly Classical Approaches
6. Introduction to the broadly classical options
7. Truth-Value Gaps in Classical Theories
8. Truth-value Gluts in Classical Theories
9. A Second Interlude on Vagueness
10. Introduction to Supervaluational Approaches to Paradox
11. A Survey of Supervaluational and Revision-Rule Theories
12. Are Supervaluational and Revision Theories Self-Undermining?
13. Intersubstitutivity and the Purpose of Truth
14. Stratified and Contextual Theories
Stratified and Contextual Theories
15. What Is To Be Done?
16. Fixed Points and Revision Rules for Conditionals
17. More on Revision-theoretic Conditionals
18. What Has Been Done
PART FOUR: More on Paracomplete Solutions
19. Validity, Truth-Preservation and the Second Incompleteness Theorem
20. Other Paradoxes
21. Do Paracomplete Solutions Depend on Expressive Limitations?
22. Determinateness, Hyper-determinateness, Super-Determinateness and Revenge
PART FIVE: Paraconsistent Dialetheism
23. An Introduction to Paraconsistent Dialetheism
24. Some Dialetheic Theories
25. Paraconsistent Dialetheism and Soundness
26. Hyper-determinacy and revenge
Bibliography