On Meaningfulness and Truth |
| |
Authors: | McDonald Brian Edison |
| |
Institution: | (1) Department of Philosophy, Indiana University, Bloomington, IN 47405, USA |
| |
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 |
本文献已被 SpringerLink 等数据库收录! |
|