Hostname: page-component-76fb5796d-x4r87 Total loading time: 0 Render date: 2024-04-26T11:00:49.228Z Has data issue: false hasContentIssue false

The truth is never simple

Published online by Cambridge University Press:  12 March 2014

John P. Burgess*
Affiliation:
Department of Philosophy, Princeton University, Princeton, New Jersey 08540

Abstract

The complexity of the set of truths of arithmetic is determined for various theories of truth deriving from Kripke and from Gupta and Herzberger.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1986

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]Belnap, N. D. Jr., Gupta's rule of revision theory of truth, Journal of Philosophical Logic, vol. 11 (1982), pp. 103116.CrossRefGoogle Scholar
[2]Blamey, S., Partial logic, Handbook of philosophical logic (Gabbay, D. and Guenthner, F., editors), vol. 3, Reidel, Dordrecht, 1986, pp. 170.Google Scholar
[3]Gupta, A., Truth and paradox, Journal of Philosophical Logic, vol. 11 (1982), pp. 160.CrossRefGoogle Scholar
[4]Hellman, G., Review of [7], [8], [3], [5], this Journal, vol. 50 (1985), pp. 10681071.Google Scholar
[5]Herzberger, H., Notes on naive semantics, Journal of Philosophical Logic, vol. 11 (1982), pp. 61102.CrossRefGoogle Scholar
[6]Kleene, S. C., Introduction to metamathematics, Van Nostrand, New York, 1952.Google Scholar
[7]Kripke, S., Outline of a theory of truth, Journal of Philosophy, vol. 72 (1975), pp. 690716.CrossRefGoogle Scholar
[8]Martin, R. L. and Woodruff, P. W., On representing ‘true-in-L” in L, Philosophia vol. 5 (1975), pp. 217221.CrossRefGoogle Scholar
[9]McGee, V., Technical notes on three systems of naive semantics (unpublished).Google Scholar
[10]Moschovakis, Y. N., Elementary induction on abstract structures, North-Holland, Amsterdam, 1974.Google Scholar
[11]Moschovakis, Y. N., Descriptive set theory, North-Holland, Amsterdam, 1980.Google Scholar
[12]van Fraassen, B. C., Formal semantics, Macmillan, New York, 1971.Google Scholar
[13]Visser, A., Semantics and the liar paradox, Handbook of philosophical logic (Gabbay, D. and Guenthner, F., editors), vol. 4, Reidel, Dordrecht (to appear).Google Scholar