Re: Leibniz Semantics

2001-03-28 Thread Marchal
rwas rwas wrote: IF: AB:C 11 1 10 0 01 1 00 1 Can someone explain the IF table? I refer you to my last post to George Levy in the present thread, where I say a little more. I would like to add something, though. Someone asked (I guess jokingly) to Bertrand Russell to explain why

Re: another anthropic reasoning

2001-03-28 Thread Wei Dai
On Fri, Mar 23, 2001 at 04:53:24PM -0500, Jacques Mallah wrote: You'll have to define what effectively decide means and how to apply that concept generally. (Have you introduced it before? I think this is the first time I've seen it.) I thought the meaning to be obvious in this

Re: Leibniz Semantics

2001-03-28 Thread George Levy
Thanks Hal, For a while I thought that Bruno and I inhabited portions of the Plenitude with different logics (modal logic). [EMAIL PROTECTED] wrote: A v B A - B 1 1 1 1 1 1 1 1 0 1 0 0 0 1 1 0 1