Received: from mail-bw0-f61.google.com ([209.85.214.61]:38591) by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128) (Exim 4.76) (envelope-from ) id 1RJBNU-000441-9x; Wed, 26 Oct 2011 14:51:22 -0700 Received: by bkat2 with SMTP id t2sf25505bka.16 for ; Wed, 26 Oct 2011 14:51:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references:date :message-id:subject:from:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-google-group-id:list-post:list-help:list-archive:sender :list-subscribe:list-unsubscribe:content-type; bh=R4GnWa5I8Gq0q/ULawj8bwKnKw6uwnetLDCEqFFcDjk=; b=clX4/CBa5ny7lqki3EWoScbee1sApLceRlPTENHeGozvx6AQ2whysY9ceoxOnxMTui eI5gYTgCLzzplvKXizI+gE/n19powWY8/uLwhc5nvzCu86PMBB9vnF6ws5R1JJGWTtEG Ce87vuf1lbmTp3q4o8H6JAO9JjEVCvLoRTSkY= Received: by 10.204.33.72 with SMTP id g8mr2127bkd.18.1319665865836; Wed, 26 Oct 2011 14:51:05 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.205.65.196 with SMTP id xn4ls1080136bkb.3.gmail; Wed, 26 Oct 2011 14:51:04 -0700 (PDT) Received: by 10.204.10.77 with SMTP id o13mr296409bko.8.1319665864556; Wed, 26 Oct 2011 14:51:04 -0700 (PDT) Received: by 10.204.10.77 with SMTP id o13mr296408bko.8.1319665864542; Wed, 26 Oct 2011 14:51:04 -0700 (PDT) Received: from mail-fx0-f45.google.com (mail-fx0-f45.google.com [209.85.161.45]) by gmr-mx.google.com with ESMTPS id v27si1737240fad.3.2011.10.26.14.51.04 (version=TLSv1/SSLv3 cipher=OTHER); Wed, 26 Oct 2011 14:51:04 -0700 (PDT) Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.161.45 as permitted sender) client-ip=209.85.161.45; Received: by faap15 with SMTP id p15so2500117faa.32 for ; Wed, 26 Oct 2011 14:51:04 -0700 (PDT) MIME-Version: 1.0 Received: by 10.223.62.15 with SMTP id v15mr61894390fah.22.1319665864345; Wed, 26 Oct 2011 14:51:04 -0700 (PDT) Received: by 10.152.5.165 with HTTP; Wed, 26 Oct 2011 14:51:04 -0700 (PDT) In-Reply-To: <20111026033114.GB3119@gonzales> References: <20111023213304.GA3230@gonzales> <20111024151402.GA3062@gonzales> <4EA5ACD4.4030106@gmail.com> <20111024184651.GC3062@gonzales> <4EA5F890.6070501@gmail.com> <20111025002558.GA27114@gonzales> <4EA60BBC.1040707@gmail.com> <20111025021504.GB27114@gonzales> <4EA68224.1080406@gmail.com> <20111026033114.GB3119@gonzales> Date: Wed, 26 Oct 2011 18:51:04 -0300 Message-ID: Subject: Re: [lojban] {zo'e} as close-scope existentially quantified plural variable From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= To: lojban@googlegroups.com X-Original-Sender: jjllambias@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of jjllambias@gmail.com designates 209.85.161.45 as permitted sender) smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 X-Spam-Score: 0.0 (/) X-Spam_score: 0.0 X-Spam_score_int: 0 X-Spam_bar: / On Wed, Oct 26, 2011 at 12:31 AM, Martin Bays wrote: > * Tuesday, 2011-10-25 at 10:32 +0100 - And Rosta : >> Martin Bays, On 25/10/2011 03:15: >> > If Lion X is equal to Lion Y, then they satisfy the same predicates. So >> > if we can agree that Lion X is called Nigel while Lion Y is called >> > Samantha, or if X likes to eat gazelles while Y prefers humans, then we >> > must agree that there are at least two lions. Right? >> >> So not one lion that changes its name and dietary preferences? > > The use of the present tense was intended to rule that out. Change need not be with respect to time. Consider for example "this road changes its name at the state border". mu'o mi'e xorxes -- You received this message because you are subscribed to the Google Groups "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.