Re: Why Regularity?

"Rupert" <rupertmccallum@xxxxxxxxx> writes:

There is a mathematical analysis of the liar paradox. Tarski proved
that no language can define its own truth predicate. That's how the
liar paradox is avoided in mathematics.

There's a more recent treatment of the paradox in "The Liar", by
Barwise and Etchemendy. They use coalgebraic semantics to analyze the
paradoxical statement, if I recall correctly.

--
Jesse F. Hughes
"I don't know if you noticed but I had a tremendous drop in confidence
concomittant [sic] with a dramatic grip of existential crisis."
--- James S. Harris even has better diseases than you
.

Relevant Pages

  • Re: Exception to the rule? (Tarski´s T-scheme)
    ... > "Priest takes symmetry between gap and glut accounts to be broken by ... > symmetry, paradox, and all that/. ... system falls prey to the ordinary Liar Paradox by similar reasoning. ... But assigning to L doesn't seem to work either. ...
    (sci.logic)
  • Re: Solution to Liar Paradox
    ... It is like Russell's paradox: ... The Liar simply foregos completeness, ... self-reference, negation, substitution and consistency. ... The Liar paradox involves the use of 4 of the 5 properties of systems ...
    (sci.logic)
  • Re: Why Regularity?
    ... There's a more recent treatment of the paradox in "The Liar", ... Wen points out that the Liar paradox is very similar to a boolean ... The sentence on the second card is true, ...
    (sci.math)
  • Re: FORGET ABOUT " TRUE IN A SYSTEM "
    ... > Actually, the Liar Paradox occurs with full force in first-order logic, if ... Now apply the liars paradox using the more general case. ... Its not an ill defined formula, its a NEW GATEWAY INTO INFORMATION THEORY. ... ProgramsMaximumOutput C ProgramsOutput ...
    (sci.logic)
  • Re: FORGET ABOUT " TRUE IN A SYSTEM "
    ... > Actually, the Liar Paradox occurs with full force in first-order logic, if ... Now apply the liars paradox using the more general case. ... Its not an ill defined formula, its a NEW GATEWAY INTO INFORMATION THEORY. ... ProgramsMaximumOutput C ProgramsOutput ...
    (sci.math)
Loading