Hostname: page-component-cd9895bd7-hc48f Total loading time: 0 Render date: 2024-12-26T04:19:31.249Z Has data issue: false hasContentIssue false

SUPERVALUATION ON TREES FOR KRIPKE’S THEORY OF TRUTH

Published online by Cambridge University Press:  15 December 2014

Abstract

A method of supervaluation for Kripke’s theory of truth is presented. It differs from Kripke’s own method in that it employs trees; results in a compositional semantics; assigns the intuitively correct truth values to the sentences of a particularly tricky example of Gupta’s; and – it is argued – is acceptable as an explication of the correspondence theory of truth.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2014 

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

BIBLIOGRAPHY

Austin, J. L. (1950). Truth. Proceedings of the Aristotelian Society, Suppl. Vol 24, 111128.Google Scholar
Beall, J. C. (2007). Revenge of the Liar: New Essays on the Paradox. Oxford: Oxford University Press.CrossRefGoogle Scholar
Belnap, N. (1982). Gupta’s rule of revision theory of truth. Journal of Philosophical Logic, 11, 103116.Google Scholar
Davis, L. (1979). An alternative formulation of Kripke’s theory of truth. Journal of Philosophical Logic, 8, 289296.Google Scholar
Gupta, A. (1982). Truth and paradox. Journal of Philosophical Logic, 11, 160.Google Scholar
Gupta, A. & Belnap, N. (1993). The Revision Theory of Truth. Cambridge: The MIT Press.CrossRefGoogle Scholar
Hazen, A. (1981). Davis’s formulation of Kripke’s theory of truth: A correction. Journal of Philosophical Logic 10, 309311.Google Scholar
Herzberger, H. (1982). Notes on naive semantics. Journal of Philosophical Logic, 11, 61102.Google Scholar
Kirkham, R. L. (1992). Theories of Truth: A Critical Introduction. Cambridge: MIT Press.Google Scholar
Kripke, S. (1975). Outline of a theory of truth. The Journal of Philosophy, 72, 690716.Google Scholar
Leitgeb, H. (2005). What truth depends on. Journal of Philosophical Logic, 34, 155192.Google Scholar
Meadows, T. (2013). Truth, dependence and supervaluation: Living with the ghost. Journal of Philosophical Logic, 42, 221240.Google Scholar
Schaffer, J. (2009). On what grounds what. In Chalmers, D. J., Manley, D., and Wasserman, R. editors. Metametaphysics: New Essays on the Foundations of Ontology. Oxford: Oxford University Press, pp. 347383.CrossRefGoogle Scholar
Tarski, A. (1933). Pojecie Prawda w Jezykach Nauk Dedukcyjnych. Translated as “The concept of truth in formalized languages” in Tarski, A. (1956), Logic, semantics, metamethematics. Oxford: Oxford University Press.Google Scholar
Tarski, A. (1944). The semantic conception of truth. Philosophy and Phenomenological Research, 4, 341376.Google Scholar
van Fraassen, B. (1966). Singular terms, truth-value gaps, and free logic. The Journal of Philosophy, 63, 481495.Google Scholar
Walicki, M. (2009). Reference, paradoxes and truth. Synthese 171, 195226.CrossRefGoogle Scholar
Wen, L. (2001). Semantic paradoxes as equations. Mathematical Intelligencer, 23, 4348.Google Scholar
Yablo, S. (1985). Truth and reflection. Journal of Philosophical Logic, 14, 297349.Google Scholar
Yablo, S. (1993). Paradox without self-reference. Analysis, 53, 251252.Google Scholar