Received: from wnt.dc.lsoft.com (wnt.dc.lsoft.com [205.186.43.7]) by locke.ccil.org (8.6.9/8.6.10) with ESMTP id SAA27399 for ; Thu, 7 Mar 1996 18:31:25 -0500 Message-Id: <199603072331.SAA27399@locke.ccil.org> Received: from PEACH.EASE.LSOFT.COM (205.186.43.4) by wnt.dc.lsoft.com (LSMTP for Windows NT v1.0a) with SMTP id 2DB50100 ; Thu, 7 Mar 1996 17:47:39 -0500 Date: Thu, 7 Mar 1996 16:17:41 -0300 Reply-To: "Jorge J. Llambias" Sender: Lojban list X-UIDL: 826241560.000 From: "Jorge J. Llambias" Subject: Comments on nobody.txt X-To: lojban@cuvmb.cc.columbia.edu To: John Cowan Status: U X-Mozilla-Status: 0001 Content-Length: 735 X-From-Space-Date: Fri Mar 08 10:11:28 1996 X-From-Space-Address: - 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