Re: Where is the paradox in liar?

Daryl McCullough wrote:

Let's consider liar's paradox:

This sentence is false

At this point we know that (1) is not true and (1) is not false. Where
is the contradiction?

Try considering a related sentence:

This sentence is not true.

That's only a definition difference.

The paradox or contradiction occurs only if you assume that ever
sentence is true or false (and that "This is false." or "This is not
true." is a sentence.)

Try considering the C-B extension to the Liar Paradox:

"It is not true of it." is true of itself.

This is actually more fundamental than "This is false."! You can prove
the incompleteness of this expression in less steps than it takes to
prove that of "This is not true." or the slightly more involved "This
is false."

Also see my "1,000 Paradoxes" post listing 997 others as well.

C-B

.

Relevant Pages

  • Re: ZFC is proven to be inconsistent
    ... I asked you to prove the Skolem paradox is a contradiction ... the very axioms which prove the existence of uncountable sets be satisfie ... cardinality of the real numbers exceeds the cardinality of the naturals ...
    (sci.logic)
  • Re: Indefinite Extensibility and Computationalism
    ... Your argument is too fuzzy to take seriously without clarification. ... It's not enough to agree that "heterological" leads to a contradiction, ... That leads to a contradiction. ... A paradox can be provoked by the assumption that a concept ...
    (sci.logic)
  • Re: Mathematicians are in deep shit for 2 reasons
    ... Because in idiomatic English a person saying ... "Skolem's Paradox sounds like a contradiction" ... You mean, "it sounds like a contradiction, although it's not one", ... So, while Skolem's Paradox sounds like an antinomy, it is in fact ...
    (sci.logic)
  • Re: This sentence is not true
    ... The Three Cards Paradox. ... You can check that this is a paradox. ... This Boolean system has no solution. ... contradiction proves there is no solution', ...
    (sci.logic)
  • Re: Question from Analysis book
    ... every nonblack nonraven object is evidence for the ... Note that I am using "paradox" in its main sense of ... the restricted sense of "leading to a logical contradiction". ... constitute evidence for the statement "all ravens are black", ...
    (sci.math)