Since the publication of Kripke’s “Outline of a Theory of Truth” in 1975, we have seen a flood of work on the Liar paradox. However, only more recently have there been efforts to extend the results of these investigations to contexts in which structurally similar paradoxes arise. In this paper I aim to contribute to our understanding of paradox by showing how the techniques and ideas of Kripke can throw light on paradoxes associated with the idea of reference. I will presuppose familiarity with the basic ideas of Kripke, 1984; notation will be congruent with that in Kremer, 1988.
KeywordsFunction Symbol Atomic Formula Truth Predicate Valuation Scheme Liar Paradox
Unable to display preview. Download preview PDF.
- Curry, Haskell B., (1976): Foundations of Mathematical Logic, second edition, Dover, New York. First edition published in 1963.Google Scholar
- Feferman, Solomon, (1984): “Towards Useful Type-Free Theories I,” in Martin, 1984, pp. 237–288. First published in 1984.Google Scholar
- Kremer, Michael, (1986): Logic and Truth, Ph.D. dissertation, University of Pittsburgh.Google Scholar
- Kripke, Saul, (1984): “Outline of a Theory of Truth,” in Martin, 1984, pp. 53–81. First published in 1975.Google Scholar
- Martin, Robert L., ed., (1984): Recent Essays on Truth and the Liar Paradox, Oxford University Press, Oxford.Google Scholar
- Ramsey, Frank P., (1978a): Foundations, D.H. Mellor, ed., Humanities Press, Atlantic Highlands, N.J.Google Scholar
- Ramsey, Frank P., (1978b): “The Foundations of Mathematics,” in Ramsey, 1978a, pp. 152–212. First published in 1925.Google Scholar
- Russell, Bertrand, (1956a): Logic and Knowledge, Macmillan, New York.Google Scholar
- Russell, Bertrand, (1956b): “Mathematical Logic as Based on the Theory of Types,” in Russell, 1956a, pp. 59–105. First published in 1908.Google Scholar
- Tarski, Alfred, (1983a): Logic, Semantics, Metamathematics, Hackett Publishing Co., Indianapolis.Google Scholar
- Tarski, Alfred, (1983b): “The Concept of Truth in Formalized Languages,” in Tarski, 1983a, pp. 152–268. First published in 1933.Google Scholar
- Tarski, Alfred, (1983c): “The Establishment of Scientific Semantics,” in Tarski, 1983a, pp. 401–408. First published in 1936.Google Scholar