[FOM] Paradoxicality and normal-form proofs

schiphol@altern.org schiphol at altern.org
Wed Sep 4 14:36:45 EDT 2002

Dr. Tennant writes

>I claim that paradoxicality consists in THERE NOT BEING 
> any normal-form
>proof, or normal-form disproof, of the statement in

Doesn't this amount to forbid all self-referential sentences? I don't see the way to give a normal-form proof for:

"This sentence is true"

which, intuitively, I would just classify as true with no further complication.

Is there any benefit of your proposal over and above Russell's theory of types or Tarski's language-level theory?


More information about the FOM mailing list