英文摘要
|
This paper aims at both introducing and commenting on Gupta and Belnap's revision theory of truth, and is divided into five sections. The first section points out the tension between T-biconditionals and the liar sentences. It also explains the goals of Gupta and Belnap's theory of truth. The second section gives an account of the major theses of Gupta and Belnap's revision theory of truth. The third section formalized the result of the previous section and expounds two formal semantic systems, S* and S#, in Gupta and Belnap's revised theory of truth. The forth section introduces and applies one of the natural deductive systems of their theory, C_0, in order to re-inspect some of the questions related to semantic paradoxes and circular definitions that are raised in the previous sections. In the fifth and final section, I examine in detail some of the consequences of Gupta and Belnap's revision theory of truth, discuss a few counterexamples discovered by Cook, Yaqub and myself, and propose my own view on the problem of truth. My conclusion is that, although Gupta and Belnap's revision theory of truth is both logically clear and partially successful, we nevertheless have good reasons to reject it.
|
参考文献
|
-
Gupta, A.,L. Goble(2001).Truth.The Blackwell guide to philosophical logic,90-114.
連結:
-
Burge, T.(1979).Semantical paradox.The Journal of Philosophy,76,169-198.
-
Chapuis, A.(1996).Alternative revision theories of truth.Journal of Philosophical Logic,25,339-423.
-
Cook, R. T.(2003).Still counterintuitive: A reply to Kremer.Analysis,63(3),257-261.
-
Cook, R. T.(2002).Counterintuitive consequences of the revision theory of truth.Analysis,62(1),16-22.
-
Gupta, A,N. Belnap(1993).The revision theory of truth.
-
Koons, R. C.(1994).Book review of the revision theory of truth.Notre Dame Journal of Formal Logic,35,606-631.
-
Kremer, M.(1993).The Gupta-Belnap systems S# and S* are not axiomatisable.Notre Dame Journal of Formal Logic,34,583-596.
-
Kremer, M.(2002).Intuitive consequences of the revision theory of truth.Analysis,62(4),330-336.
-
Kripke, S.,R. L. Martin(1975).Outline of a theory of truth.Recent essays on truth and the liar paradox,53-81.
-
Martin R. L.(1984).Recent essays on truth and the liar paradox.
-
Parsons, C.(1974).The liar paradox.Journal of Philosophical Logic,3(3),381-412.
-
Read, S.(1995).Thinking about logic
-
Suppes, P.(1972).Axiomatic set theory.
-
Tarski, A.,J. H. Woodger(1983).Logic, semantics, meta-mathematics
-
Yaqub, A. M.(1993).The liar speaks the truth: A defense of the revision theory of truth.
|