Hostname: page-component-7c8c6479df-p566r Total loading time: 0 Render date: 2024-03-26T16:32:16.626Z Has data issue: false hasContentIssue false

On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set

Published online by Cambridge University Press:  15 January 2014

P.D. Welch*
Affiliation:
Department of Mathematics, University of Bristol, Bristol BS8 1TW, England. Graduate School of Science & Technology, Kobe University, Rokko-Dai, Nada-Ku, Kobe 657, Japan.
*
E-mail: welch@kobe-u.ac.jp. Current address: Institut für Formale Logik, Währinger Str. 25, A-1090 Wien, Austria

Abstract

We consider various concepts associated with the revision theory of truth of Gupta and Belnap. We categorize the notions definable using their theory of circular definitions as those notions universally definable over the next stable set. We give a simplified (in terms of definitional complexity) account of varied revision sequences—as a generalised algorithmic theory of truth. This enables something of a unification with the Kripkean theory of truth using supervaluation schemes.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2001

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1] Antonelli, G. A., A revision-theoretic analysis of the arithmetical hierarchy, Notre Dame Journal of Formal Logic, vol. 35 (1994), pp. 204208.CrossRefGoogle Scholar
[2] Barwise, Jon, Admissible sets and structures, Perspectives in Mathematical Logic, Springer-Verlag, 1975.CrossRefGoogle Scholar
[3] Belnap, Nuel, Gupta's rule of revision theory of truth, Journal of Philosophical Logic, vol. 11 (1982), pp. 103116.CrossRefGoogle Scholar
[4] Burgess, John P., The truth is never simple, The Journal of Symbolic Logic, vol. 51 (1986), no. 3, pp. 663681.CrossRefGoogle Scholar
[5] Chapuis, A., Alternate revision theories of truth, Journal of Philosophical Logic, vol. 25 (1996), pp. 399423.CrossRefGoogle Scholar
[6] Friedman, H., Minimality in the -degrees, Fundamenta Mathematicae, vol. 81 (1974), pp. 183192.CrossRefGoogle Scholar
[7] Gupta, A., Truth and paradox, Journal of Philosophical Logic, vol. 11 (1982), pp. 160.CrossRefGoogle Scholar
[8] Gupta, A. and Belnap, N., The revision theory of truth, M. I. T. Press, Cambridge, 1993.Google Scholar
[9] Herzberger, H., Notes on naive semantics, Journal of Philosophical Logic, vol. 11 (1982), pp. 61102.Google Scholar
[10] Hinman, P. G., Recursion on abstract structures, The handbook of computability theory (Griffor, E., editor), Studies in Logic series, vol. 140, North-Holland, Amsterdam, 1999.Google Scholar
[11] Jech, T., Set theory, Pure and Applied Mathematics, Academic Press, New York, 1978.Google Scholar
[12] Kremer, P., The Gupta-Belnap systems S# and S* are not axiomatisable, Notre Dame Journal of Formal Logic, vol. 34 (1993), pp. 583596.CrossRefGoogle Scholar
[13] Löwe, B., Revision sequences and computers with an infinite amount of time, Journal of Logic and Computation, vol. 11 (2001), pp. 2540.CrossRefGoogle Scholar
[14] McGee, V., Truth, vagueness, and paradox: An essay on the logic of truth, Hackett, 1991.Google Scholar
[15] Moschovakis, Y., Elementary induction on abstract structures, Studies in Logic series, vol. 77, North-Holland, Amsterdam, 1974.Google Scholar
[16] Sheard, M., A guide to truth predicates in the modern era, The Journal of Symbolic Logic, vol. 59 (1994), no. 3, pp. 10321054.Google Scholar
[17] Visser, A., Semantics and the liar paradox, Handbook of philosophical logic (Gabbay, D. and Guenther, F., editors), Reidel Publishing Co., Dordrecht, 1989, pp. 617706.Google Scholar
[18] Welch, P. D., On revision operators.Google Scholar
[19] Welch, P. D., Eventually infinite time Turing degrees: infinite time decidable reals, The Journal of Symbolic Logic, vol. 65 (2000), no. 3, pp. 11931203.CrossRefGoogle Scholar
[20] Yaqūb, A., The liar speaks the truth. A defense of the revision theory of truth, Oxford University Press, New York, 1993.Google Scholar