Re: Deep Thoughts # 17: Liar Paradox is a Formal Metamathematical Theorem

From: Brian Quincy Hutchings (QncyMI_at_netscape.net)
Date: 10/06/04 

Date: 6 Oct 2004 15:06:54 -0700

the liar "paradox" is just the result of not considering time
"in the equation;" it is simply decategorized, as they say.
     this is the same as with his Village Barber "paradox."
 
what is a "wff?"

chvol@aol.com (Charlie-Boo) wrote in message news:<3df1e59f.0410050421.187eb478@posting.google.com>...
> The Liar Paradox is the following metamathematical theorem applied to
> English:
>
> Theorem 1 ("This is not true."): No system can enjoy all of the
> following properties:
> 1. The provability predicate is expressible.
> 2. Negation is expressible.
> 3. Substitution is expressible. (S-M-N theorem)
> 4. The system (every wff) is consistent.
> 5. The system (every wff) is decidable.

--ils duces d'Enron!
http://larouchepub.com

Relevant Pages

  • Re: Post Axiom Syndrome
    ... Consider the Liar paradox. ... The Liar is not so bad, but with further primary objectives in an ... ZF is inconsistent, because the set-theoretical universe is infinite, ...
    (sci.logic)
  • Re: My investigations into Godels Incompleteness Theorem
    ... the Liar, is not literally self-referential ... understood or explained in the literature. ... When CBL is used to formalize the Liar Paradox, ... particular sets and systems of representation we formalize these ...
    (sci.logic)
  • Re: Solution to Liar Paradox
    ... It is like Russell's paradox: ... why is the Liar not such sentence in spite of all appearances? ... The Liar simply foregos completeness, ... self-reference, negation, substitution and consistency. ...
    (sci.logic)
  • Re: Solution to Liar Paradox
    ... English sentences must have truth assignments that satisfy them. ... Having an allowable truth assignment does not by itself solve the Liar ... For example, consider Curry's paradox; ...
    (sci.logic)
  • Re: Why Regularity?
    ... that no language can define its own truth predicate. ... There's a more recent treatment of the paradox in "The Liar", ... Is my analogy between the liar paradox and ZFC consistent? ...
    (sci.math)