On Wed, 27 Feb 2008, Ian Kelly wrote:
> On Wed, Feb 27, 2008 at 12:31 PM, Kerim Aydin <[EMAIL PROTECTED]> wrote: >> not judged FALSE -> a delivered judgement by BobTHJ is legal > > I disagree with this link in the chain. If the CFJ was not judged > FALSE by BobTHJ, it only implies that the CFJ has not yet been judged. > It certainly does not carry the same implication as if it had been > judged TRUE. But the fact that it was not judged depended on the judgement that BobTHJ delivered. If it was not judged, then there was nothing preventing BobTHJ from delivering the judgement, in fact, e is required to. And e did. which means e didn't. -Goethe