The best-known application of dialetheism is to semantic paradoxes such as the Liar. In particular, Graham Priest has advocated the adoption of an axiomatic truth theory in which contradictions arising from the Liar paradox can be accepted as theorems, while the Liar sentence itself is evaluated as being both true and false. Such eccentricities might be tolerated, in exchange for great rewards....

The Liar Paradox arises when a person stands up and says, “This assertion is false.” Is the speaker telling the truth or telling a lie? At first blush, it seems that the situation is paradoxical: if he is telling the truth, then he is not; if he is not telling the truth, then he is. In fact, that first blush lasted for almost two thousand years. First formulated by the ancient Greeks, the puzzl...

Philosophical work on truth covers two streams of inquiry, one concerning the nature (if any) of truth, the other concerning truth-related paradox, especially the Liar. For the most part these streams have proceeded fairly independently of each other. In his “Deflationary Truth and the Liar” (JPL 28:455–488, 1999) Keith Simmons argues that the two streams bear on one another in an important way...

unity truth and the liar the modern relevance of medieval solutions to the liar paradox What to say and what to do when mostly your friends love reading? Are you the one that don't have such hobby? So, it's important for you to start having that hobby. You know, reading is not the force. We're sure that reading will lead you to join in better concept of life. Reading will be a positive activity...

A fairly common assumption about the Liar paradox is that it is a formal problem that can be safely delegated to mathematical logicians, and that its proper resolution can be trusted not to disrupt anyone else’s philosophical theories and projects. Serious students of the Liar know better. While purely formal approaches to the Liar abound, it is not a purely formal problem. Philosophical interp...

This paper presents an approach to truth and the Liar paradox which combines elements of context dependence and hierarchy. This approach is developed formally, using the techniques of model theory in admissible sets. Special attention is paid to showing how starting with some ideas about context drawn from linguistics and philosophy of language, we can see the Liar sentence to be context depend...

In early 1974, I was visiting the Watson Research Center and I got the idea of calling GSdel on the phone. I picked up the phone and called and GSdel answered the phone. I said, "Professor GSdel, I 'm fascinated by your incompleteness theorem. I have a new proof based on the Berry paradox that I 'd like to tell you about." GSdel said, "It doesn't mat ter which paradox you use." He had used a pa...

In this paper, we do two things. First, we provide some support for adopting a version of the meaningless strategy with respect to the liar paradox, and, second, we extend that strategy, by providing, albeit tentatively, a solution to that paradox—one that is semantic, rather than logical.

This paper presents a formal theory which describes propositional binary logic as a semantically closed formal language, and allows for syntactically and semantically well-formed formulae, formal proofs (demonstrability in Hilbertian acception), deduction (Gentzen’s view of demonstrability), CNF-ization, and deconstruction to be expressed and tested in the same (computational) formal language, ...