Combining Texts

Ideas for 'Axiomatic Theories of Truth', 'Four Dimensionalism' and 'Paradox without Self-Reference'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


3 ideas

5. Theory of Logic / L. Paradox / 1. Paradox
Many new paradoxes may await us when we study interactions between frameworks [Halbach]
     Full Idea: Paradoxes that arise from interaction of predicates such as truth, necessity, knowledge, future and past truths have receive little attention. There may be many unknown paradoxes lurking when we develop frameworks with these intensional notions.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 24.2)
     A reaction: Nice. This is a wonderful pointer to new research in the analytic tradition, in which formal problems will gradually iron out our metaphysical framework.
5. Theory of Logic / L. Paradox / 6. Paradoxes in Language / a. The Liar paradox
An infinite series of sentences asserting falsehood produces the paradox without self-reference [Yablo, by Sorensen]
     Full Idea: Banning self-reference is too narrow to avoid the liar paradox. With 1) all the subsequent sentences are false, 2) all the subsequent sentences are false, 3) all the subsequent... the paradox still arises. Self-reference is a special case of this.
     From: report of Stephen Yablo (Paradox without Self-Reference [1993]) by Roy Sorensen - Vagueness and Contradiction 11.1
     A reaction: [Idea 9137 pointed out that the ban was too narrow. Sorensen p.168 explains why this one is paradoxical] This is a nice example of progress in philosophy, since the Greeks would have been thrilled with this idea (unless they knew it, but it was lost).
The liar paradox applies truth to a negated truth (but the conditional will serve equally) [Halbach]
     Full Idea: An essential feature of the liar paradox is the application of the truth predicate to a sentence with a negated occurrence of the truth predicate, though the negation can be avoided by using the conditional.
     From: Volker Halbach (Axiomatic Theories of Truth [2011], 19.3)