David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 29 (5):433-482 (2000)
We show how to construct certain L M, T -type interpreted languages, with each such language containing meaningfulness and truth predicates which apply to itself. These languages are comparable in expressive power to the L T -type, truth-theoretic languages first considered by Kripke, yet each of our L M, T -type languages possesses the additional advantage that, within it, the meaninglessness of any given meaningless expression can itself be meaningfully expressed. One therefore has, for example, the object level truth (and meaningfulness) of the claim that the strengthened Liar is meaningless.
|Keywords||truth paradox liar meaningfulness variational semantics|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Jon Barwise (1987). The Liar: An Essay on Truth and Circularity. Oxford University Press.
George Bealer (1982). Quality and Concept. Oxford University Press.
Kurt Gödel (1964). What is Cantor's Continuum Problem (1964 Version). In P. Benacerraf H. Putnam (ed.), Journal of Symbolic Logic. Prentice-Hall. 116-117.
W. C. Kneale (1962/1984). The Development of Logic. Oxford University Press.
Citations of this work BETA
No citations found.
Similar books and articles
C. S. Jenkins & Daniel Nolan (2008). Liar-Like Paradox and Object Language Features. American Philosophical Quarterly 45 (1):67 - 73.
R. G. Swinburne (1974). Meaningfulness Without Confirmability: A Reply. Analysis 35 (1):22 - 27.
Philip Kremer (2009). Comparing Fixed-Point and Revision Theories of Truth. Journal of Philosophical Logic 38 (4):363 - 403.
Peter Milne (1999). Tarski, Truth and Model Theory. Proceedings of the Aristotelian Society 99 (2):141–167.
Philippe Schlenker (2010). Super Liars. Review of Symbolic Logic 3 (3):374-414.
Hannes Leitgeb (2001). Truth as Translation – Part A. Journal of Philosophical Logic 30 (4):281-307.
Fred S. Roberts (1980). On Luce's Theory of Meaningfulness. Philosophy of Science 47 (3):424-433.
Dale Jacquette (2010). Circularity or Lacunae in Tarski's Truth-Schemata. Journal of Logic, Language and Information 19 (3):315-326.
Added to index2009-01-28
Total downloads8 ( #198,838 of 1,692,210 )
Recent downloads (6 months)1 ( #184,284 of 1,692,210 )
How can I increase my downloads?