From lojban@cuvmb.bitnet Thu Mar 07 23:52:01 1996 Received: from punt4.demon.co.uk by stryx.demon.co.uk with SMTP id AA10722 ; Thu, 07 Mar 96 23:51:59 GMT Received: from punt-4.mail.demon.net by mailstore for ia@stryx.demon.co.uk id 826225956:19824:4; Thu, 07 Mar 96 19:12:36 GMT Received: from cunyvm.cuny.edu ([128.228.1.2]) by punt-4.mail.demon.net id aa19497; 7 Mar 96 19:11 GMT Received: from CUVMB.CC.COLUMBIA.EDU by CUNYVM.CUNY.EDU (IBM VM SMTP V2R3) with BSMTP id 2437; Thu, 07 Mar 96 14:10:43 EST Received: from CUVMB.COLUMBIA.EDU by CUVMB.CC.COLUMBIA.EDU (Mailer R2.07) with BSMTP id 2557; Thu, 07 Mar 96 14:11:06 EDT Date: Thu, 7 Mar 1996 16:17:41 -0300 Reply-To: "Jorge J. Llambias" Sender: Lojban list From: "Jorge J. Llambias" Subject: Comments on nobody.txt X-To: lojban@cuvmb.cc.columbia.edu To: Multiple recipients of list LOJBAN Message-ID: <826225903.19497.0@cunyvm.cuny.edu> Status: R A couple of comments on the logic paper: 1- Section 11 implicitly takes the view that {ro da poi broda} doesn't have existential import. With import, the rule that the quantifiers {ro} and {su'o} get interchanged when passing through a negation boundary breaks down. I agree with the paper, of course, but pc has said that that is not how things are defined in Lojban. (Also, example 11.11 is identical word for word to 11.4, so I don't understand the parenthetical remark saying that they are different.) 2- In Section 12, "ganai... ginai..." is translated a few times as "neither... nor...", which is wrong. It should be "either not... or not...". ("neither... nor..." would be "genai... ginai...".) Jorge