Article contents
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
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2014
References
BIBLIOGRAPHY
- 4
- Cited by