On Thu, 2008-10-23 at 22:49 -0400, Geoffrey Spear wrote: > On Thu, Oct 23, 2008 at 10:17 PM, Pavitra <[EMAIL PROTECTED]> wrote: > > Er, right. > > What's the word for the truth-value of "this statement is true"? I > > can't find it on Wikipedia. > > > > Indeterminate? > > > > Floyd? > > I don't know that there is a generally-accepted term; I don't think > 'circular' is often applied to self-referential statements although > technically I guess they constitute a really small circle. And I just > packed up my copy of Godel, Escher, Bach 2 days ago too; if there is a > concise term it's probably in there.
Such a statement is a Henkin statement, if I remember correctly. -- ais523