At some step in proving the Liar Paradox in natural language, a sentence is derived that seems overdetermined with respect to its semantic value. This is complemented by Tarski’s Theorem that a formal language cannot consistently contain a naive truth predicate given the laws of logic used in proving the Liar paradox. I argue that proofs of the Eubulidean Liar either use a principle of truth with non-canonical names in a fallacious way or make a fallacious use of substitution of (...) identicals. Tarski never committed the first fallacy and may have himself considered it fallacious. Nevertheless, I clarify that it is fallacious. I then argue substitution of identicals needs to be restricted within the scope of the truth predicate. A logic for truth implementing this restriction is a monotonic extension of a classical first order logic, or indeed a formalizable fragment of natural language. Proofs of Tarski’s Indefinability of Truth theorem are invalid in this logic. This approach generalizes to invalidate proofs of Liar-like paradoxes, particularly the predicate form of the Knower paradox. Consequently, such a logic can be further extended in a way that avoids Montague’s theorem for such a system. Yet, the semantic status of a Liar sentence is not fully resolved. It is no longer overdetermined; it is now underdetermined. (shrink)

For a dialetheist, it is rational to believe that true contradictions exist. However, we argue that a dialetheist faces a complex dilemma given some bridge principles for rational beliefs that connect possibility and probability, including the so-called ‘Regularity Principle’. Either her belief is not doxastically possible even for her, or she must assign positive credence to the proposition that dialetheia exists. The former makes her belief prima facie self-defeating. The latter seems to compel her to choose between several more fine-grained (...) options, each of which seems undesirable for a regular and rational probability theory. It is unclear how a dialetheist would stay rationally regular, so we pose this challenge, seeking a response from a dialetheist. (shrink)