Re: Is Truth Mysterious?

David Marcus wrote:
herbzet wrote:

Page 45: "Solution to the Liar paradox (Formal version). It is the
assumption of existence of a sentence given that satisfies
the Liar equation X := XF that causes contradiction in the
Liar paradox. In other words >>> there can be no sentence
given that says, of itself, that it is false. <<<

[emphasis mine]

Yes.

Consider this variant of the Liar:

This sentence-given is false.

This doesn't seem as paradoxical because we don't assume that "This
sentence-given is false" is a sentence-given. The solution to the Liar
is to realize that "This sentence-given is false" is a more precise way
of saying "This sentence is false", i.e., they mean the same thing.

--
David Marcus
.

Relevant Pages

  • =?iso-8859-1?q?Re:_Descriptions,_Presuppositions,_Liar,_G=F6del?=
    ... Then A is not a sentence and has nothing to do with the Liar Paradox. ... that "All round squares are large" presupposes "A round square ...
    (sci.logic)
  • Devlin, Devlin, havent you read your Frege?
    ... So, when proper attention is paid to context, the Liar Paradox ceases ... is just as pressing a conundrum for situation theory as it is for any of ...
    (sci.logic)
  • Re: OUTGOEDELING A HUMAN?
    ... and neither does "corresponds with the way the world is". ... and you are saying that the Liar ... The Liar paradox is not even expressible in ZFC. ... Why in the world should ZFC be affected by the Liar paradox? ...
    (sci.logic)
  • Re: Liars Paradox in Godels Theorem (newbie question)
    ... That implication of the first incompleteness theorem doesn't tell us anything substantial about the liar paradox. ... There is a connection between the liar paradox and Gödel's proof; Gödel arrived at his proof of the first incompleteness theorem after realizing that arithmetical truth can't arithmetical as that would lead to the liar being expressible. ...
    (sci.logic)
  • Re: Solution to Liar Paradox
    ... G. Frege wrote: ... Couldn't find a solution to the liar there, ... Did you have trouble downloading the file? ... David Marcus ...
    (sci.logic)