From gordon.dyke@bluewin.ch Mon Apr 08 11:55:45 2002 Return-Path: X-Sender: gordon.dyke@bluewin.ch X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_0_3_1); 8 Apr 2002 18:55:44 -0000 Received: (qmail 43862 invoked from network); 8 Apr 2002 18:55:44 -0000 Received: from unknown (66.218.66.216) by m8.grp.scd.yahoo.com with QMQP; 8 Apr 2002 18:55:44 -0000 Received: from unknown (HELO mta1n.bluewin.ch) (195.186.1.210) by mta1.grp.scd.yahoo.com with SMTP; 8 Apr 2002 18:55:44 -0000 Received: from oemcomputer (213.3.35.135) by mta1n.bluewin.ch (Bluewin AG 6.0.040) id 3CAAC7690029EE71 for lojban@yahoogroups.com; Mon, 8 Apr 2002 20:55:43 +0200 Message-ID: <002101c1df37$c3196020$872303d5@oemcomputer> To: "jboste" Subject: why is if ganai..gi? Date: Mon, 8 Apr 2002 21:58:31 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4133.2400 X-MIMEOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 From: "G. Dyke" X-Yahoo-Group-Post: member; u=81437350 X-Yahoo-Profile: gregvdyke X-Yahoo-Message-Num: 13941 I'm still following this logic course. we are still doing propositional logic, using the following axioms (among others and using G for Gamma (hypothesis), - for not, | to separate judgments from hypothesesesesesse ahemm and F for false): G, A | F || G | -A J red absurd. G,-A | F || G | A K red absurd. The lecturer explained that "intuitive" logicians preferred not to accept the K red absurd. as it is used to demonstrate: || G | A or -A exclusion of a third case He also explained that sometimes this third case exclusion is taken as an axiom (which is also rejected by many). I seem to be getting cause and consequence of being "intuitive" mixed up here, but anyways: >From the refgramm, it seems to be accepted that a proposition is either true or false. But why force this into lojban: A => B <=> -B or A when this judgment can only be made given K red. or third case exclusion. Greg, hoping he got it right and didn't make too much of a fool of himself. -- http://www.myepfl.ch/gregory.dyke .i lo'e to'e makcu cu djica lenu tolcumla morsi kei lo telda'a .i lo'e je'a makcu cu go'i to'ebo le se go'i