Return-Path: <@CUNYVM.CUNY.EDU:LOJBAN@CUVMB.BITNET> Received: from kantti.helsinki.fi by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0svYnp-0000ZOC; Thu, 21 Sep 95 02:43 EET DST Received: from fiport.funet.fi (fiport.funet.fi [128.214.109.150]) by kantti.helsinki.fi (8.6.12+Emil1.1/8.6.5) with ESMTP id CAA10851 for ; Thu, 21 Sep 1995 02:43:45 +0300 Received: from CUNYVM.CUNY.EDU (MAILER@CUNYVMV2) by FIPORT.FUNET.FI (PMDF V5.0-3 #2494) id <01HVIT5HE4KG000SEL@FIPORT.FUNET.FI> for veion@XIRON.PC.HELSINKI.FI; Thu, 21 Sep 1995 02:44:44 +0200 (EET) Received: from CUNYVM.CUNY.EDU (NJE origin LISTSERV@CUNYVM) by CUNYVM.CUNY.EDU (LMail V1.2a/1.8a) with BSMTP id 5432; Wed, 20 Sep 1995 19:42:48 -0400 Date: Thu, 21 Sep 1995 00:41:07 +0100 From: ucleaar Subject: pc on ro Sender: Lojban list To: Veijo Vilva Reply-to: ucleaar Message-id: <01HVIT5HILMA000SEL@FIPORT.FUNET.FI> Content-transfer-encoding: 7BIT X-To: lojban@cuvmb.cc.columbia.edu MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Content-Length: 1438 Lines: 33 I think I probably fail in my struggles to understand pc, but here goes, anyway: > When someone says in the ordinary course of events (well, not > all that ordinary in this traditional example) "All unicorns are white," > the response "There aren't any unicorns" is neither intended nor > understood as confirming the original claim. It is a challenge to the > original claim, a contrary claim to it, as much as "Some are blue" is. There are plenty of occasions in normal English usage when _all/every_ is not given an interpretation where existence is implicated. Jorge has already made this point, & I think someone else recently said that when existence is implicated, this can be entrusted to pragmatics. However, I wouldn't be averse to requiring {ro da broda [if] brode} (I forget which GIhA it is). I'm all in favour of the syntax matching the logical form as closely as possible. > After reworking through the stages of the shift, I can find only one step > which seems to me to be open to reconsideration. That is the > identification of _ro broda_ with _ro lo broda_. What is the extent of this reconsideration? Does it apply to other members of PA? How does it affect the {lo/lo/lohi} series, if {ro broda} is no longer an abbreviation for {ro lo broda}? > Unlike the existential import of _ro da poi broda_, which is central to > Lojban as a language Am I alone in not knowing that this is so? --- And