On Monday 14 July 2008 05:51:06 pm Ian Kelly wrote: > On Sun, Jul 13, 2008 at 9:55 PM, Ben Caplan > > <[EMAIL PROTECTED]> wrote: > > On Sunday 13 July 2008 10:45:42 pm ihope wrote: > >> Either the sky is always red or, if I do not hereby initiate an > >> inquiry case on this sentence, then the sky is always green. > > > > (R v (~I => G)) > > > > Since ~G, it follows that I (ihope127 does in fact call said CFJ). > > Although ~R, (false v true) evaluates to true. > > > > TRUE. > > Your reasoning appears circular. You have to assume the statement > to be true before you can determine that I follows from ~G. > > -root
Oops. Let's try that again. Call the original statement S. [That is, let (S == (R v (~I => G))).] Since ~G, ((~I => G) => I). Then (S => (R v I)). Since ~R, it follows that ((R v I) => I). Hence (S => I). I think the sentence is effectively equivalent to "I call for judgement on this statement." The precedent of CFJ 1903 may be relevant here. Pavitra
