On Wed, 29 Aug 2012, Tanner Swett wrote:
> On Wed, Aug 29, 2012 at 8:24 PM, Sean Hunt <scsh...@csclub.uwaterloo.ca>
> wrote:
> > On Wed, Aug 29, 2012 at 8:20 PM, Tanner Swett <swe...@mail.gvsu.edu> wrote:
> >> Define the word "ooF" as meaning {I call a CFJ on the statement "I
> >> have already called a CFJ in this message. (Foo)".}, and define the
> >> word "raB" as meaning {I call a CFJ on the statement "I have already
> >> called a CFJ in this message. (Bar)".}.
> >
> > All three fail. The first two due to attempting to create infinite
> > recursion via ISIDTID, and the third due to failing to be a sentence
> > describable as true or false.
>
> Re the first two: no they're not. The definition of "Foo" mentions,
> but does not use, the word Foo, so there is no recursion.
Encasing one of your ISIDs in an ISIDefine does not prevent it from being
ISID. Also, CFJ 2737.
