[FOM] Reply to Franzen, Heck, Davis

Torkel Franzen torkel at sm.luth.se
Mon Apr 21 15:09:44 EDT 2003


Dean Buckner says:

  >Well I'm unable to decide for myself.

  In your earlier message to the list, you substituted a sentence for
the first occurrence of "G" and a name of that sentence for the
second occurrence of "G" - in short, just what is needed to make sense
of "if G then G is true". So it doesn't appear that you're a counterexample
to my earlier claim that "anybody who can follow the discussion can also
decide when a Gödel sentence for S is to be substituted for 'G' in my
comments, and when a term designating a Gödel sentence for S is
to be substituted for 'G'."

---
Torkel Franzen


More information about the FOM mailing list