On meaningfulness and truth

Journal of Philosophical Logic 29 (5):433-482 (2000)
Abstract
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)
DOI 10.1023/A:1026528019554
Options
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 27,590
Through your library
References found in this work BETA
Logic, Semantics, Metamathematics.Alfred Tarski - 1956 - Oxford, Clarendon Press.
The Development of Logic.W. C. Kneale - 1962 - Oxford University Press.

View all 18 references / Add more references

Citations of this work BETA
Axioms for Determinateness and Truth.Solomon Feferman - 2008 - Review of Symbolic Logic 1 (2):204-217.

Add more citations

Similar books and articles
Liar-Like Paradox and Object Language Features.C. S. Jenkins & Daniel Nolan - 2008 - American Philosophical Quarterly 45 (1):67 - 73.
Comparing Fixed-Point and Revision Theories of Truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
Tarski, Truth and Model Theory.Peter Milne - 1999 - Proceedings of the Aristotelian Society 99 (2):141–167.
Super Liars.Philippe Schlenker - 2010 - Review of Symbolic Logic 3 (3):374-414.
Truth as Translation – Part A.Hannes Leitgeb - 2001 - Journal of Philosophical Logic 30 (4):281-307.
On Luce's Theory of Meaningfulness.Fred S. Roberts - 1980 - Philosophy of Science 47 (3):424-433.
Circularity or Lacunae in Tarski's Truth-Schemata.Dale Jacquette - 2010 - Journal of Logic, Language and Information 19 (3):315-326.

Monthly downloads

Added to index

2009-01-28

Total downloads

23 ( #218,490 of 2,168,170 )

Recent downloads (6 months)

1 ( #346,757 of 2,168,170 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums