It has been proposed that the law of non-contradiction be revised to permit the simultaneous truth and falsity of the key sentences of the logical paradoxes, e.g., This sentence is false. In an attempt to show to what extent this bizarre suggestion of inconsistent models or truth-value gluts is a coherent suggestion it is proved that a first-order language for number theory can be semantically closed by having its own global truth predicate under some non-standard interpretation and thus that it (...) actually can contain the Liar sentence. It is proved that in this interpretation the Liar sentence is both true and false, although not every sentence is. (shrink)
Introduction -- Fatalism, free will, and foreknowledge -- Mind, the metric, and conventionality -- Time travel and backward causation -- Time's origin, and relationism vs. substantivalism -- McTaggart, tensed facts, and time's flow -- Presentism, the block universe, and perduring objects -- The arrow of time -- Zeno's paradoxes and supertasks.
The Liar Paradox is an argument that arrives at a contradiction by reasoning about a Liar Sentence. The classical Liar Sentence is the self-referential sentence “This sentence is false.”.
Philosophers are interested in a constellation of issues involving the concept of truth. A preliminary issue, although somewhat subsidiary, is to decide what sorts of things can be true. Is truth a property of sentences (which are linguistic entities in some language or other), or is truth a property of propositions (nonlinguistic, abstract and timeless entities)? The principal issue is: What is truth? It is the problem of being clear about what you are saying when you say some claim or (...) other is true. The most important theories of truth are the Correspondence Theory, the Semantic Theory, the Deflationary Theory, the Coherence Theory, and the Pragmatic Theory. They are explained and compared here. Whichever theory of truth is advanced to settle the principal issue, there are a number of additional issues to be addressed: i. Can claims about the future be true now? ii. Can there be some algorithm for finding truth – some recipe or procedure for deciding, for any claim in the system of, say, arithmetic, whether the claim is true? iii. Can the predicate “is true” be completely defined in other terms so that it can be eliminated, without loss of meaning, from any context in which it occurs? iv. To what extent do theories of truth avoid paradox? v. Is the goal of scientific research to achieve truth? Table of Contents.. (shrink)