Received: from mail-fa0-f59.google.com ([209.85.161.59]:35627)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncBC65FOEL4UJRBC7OWKDQKGQEGGW4ROA@googlegroups.com>)
	id 1TsjMB-0007uV-8x; Tue, 08 Jan 2013 16:17:36 -0800
Received: by mail-fa0-f59.google.com with SMTP id v1sf487363fav.24
        for <multiple recipients>; Tue, 08 Jan 2013 16:17:15 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=x-received:x-beenthere:x-received:x-received:received-spf
         :x-authenticated:x-provags-id:message-id:date:from:user-agent
         :mime-version:to:subject:references:in-reply-to:x-y-gmx-trusted
         :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=7x+Kh1JA8lumbX071Urf1DB0nuyiXED5zp1ilrZP5vQ=;
        b=OMaNCVd87ukQlAx9pzVzN6phwOPjcD0kENvcml0Q/xCqRVYAeUlT2Jh2+4bRieQjea
         lzVLTgbWuEUxLMdFjyn2BOe2/fAEVNZ1M7B6ZlYpnOnvLSHs/Vl2Vm5qtQoi4QrssKTv
         FA9nWYjasULHhFqM6i/8abMjx3KST3yHfP7ZbidkTTDqCoz4eaH8ayLqQZ3BItCrHPCC
         0VGnMjqqtXBaegPAVE001bVbz63V8EZ6H5jw+X7hdwxL5XaZI8Larq7EONxdTeWruIH0
         hfqJ6uvwSPH3vSy5Tqfl6/JNEMSjiXETB/Akyx6v2EQwe2HotDEoXkEYozT1yvgbmCTm
         EmCw==
X-Received: by 10.180.78.161 with SMTP id c1mr2522054wix.12.1357690635550;
        Tue, 08 Jan 2013 16:17:15 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.181.12.79 with SMTP id eo15ls583352wid.22.gmail; Tue, 08 Jan
 2013 16:17:15 -0800 (PST)
X-Received: by 10.14.214.197 with SMTP id c45mr82394844eep.7.1357690635105;
        Tue, 08 Jan 2013 16:17:15 -0800 (PST)
X-Received: by 10.14.214.197 with SMTP id c45mr82394843eep.7.1357690635095;
        Tue, 08 Jan 2013 16:17:15 -0800 (PST)
Received: from mout.gmx.net (mout.gmx.net. [212.227.15.18])
        by gmr-mx.google.com with ESMTP id z44si24799233een.0.2013.01.08.16.17.15;
        Tue, 08 Jan 2013 16:17:15 -0800 (PST)
Received-SPF: pass (google.com: domain of seladwa@gmx.de designates 212.227.15.18 as permitted sender) client-ip=212.227.15.18;
Received: from mailout-de.gmx.net ([10.1.76.32]) by mrigmx.server.lan
 (mrigmx001) with ESMTP (Nemesis) id 0MgJFg-1Tf1jA3ZWY-00NiAP for
 <lojban@googlegroups.com>; Wed, 09 Jan 2013 01:17:14 +0100
Received: (qmail invoked by alias); 09 Jan 2013 00:17:14 -0000
Received: from p54AF4111.dip0.t-ipconnect.de (EHLO [192.168.2.100]) [84.175.65.17]
  by mail.gmx.net (mp032) with SMTP; 09 Jan 2013 01:17:14 +0100
X-Authenticated: #54293076
X-Provags-ID: V01U2FsdGVkX1+ujL0E8emuFIzH57xFNqPrLlCQvW0lEuQk+z0xTR
	kehP8CQ+Ef4CEE
Message-ID: <50ECB70B.4080900@gmx.de>
Date: Wed, 09 Jan 2013 01:17:15 +0100
From: selpa'i <seladwa@gmx.de>
User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:17.0) Gecko/17.0 Thunderbird/17.0
MIME-Version: 1.0
To: lojban@googlegroups.com
Subject: Re: [lojban] searching
References: <CAEimHHBi1SpOunKv4yVgo4RO1=d8+T+H41UAbRHfhjrDvJ12tg@mail.gmail.com> <CAOQ8VDU2vZr5LWtEB6QiaSqJvcM9hX6STTvQSOzQyGwUdmO_dQ@mail.gmail.com> <CAOQ8VDUf80C0ag2aWGAqb3-sU=Jt4sjQFWK-T4L+m83n1=s=Kg@mail.gmail.com> <CAEimHHBP1ob0wQfaVNB2jCV3tV--QJc=0CH40dPm_4PMEq6p4A@mail.gmail.com> <CA+gZtgL6G3TnWJTK6bN8LgVDUrzgA1H95gmjbZ+Fbsghq=raZg@mail.gmail.com> <1357670696.88472.YahooMailNeo@web184401.mail.bf1.yahoo.com> <50EC7255.7000808@gmx.de> <1357673481.26665.YahooMailNeo@web184401.mail.bf1.yahoo.com> <50ECAE1C.1060105@gmx.de> <CA+gZtgJmoJr9UBFwwqXPy6XHt5BkmJUF3KqL58UeCPd_Sm2v2g@mail.gmail.com>
In-Reply-To: <CA+gZtgJmoJr9UBFwwqXPy6XHt5BkmJUF3KqL58UeCPd_Sm2v2g@mail.gmail.com>
X-Y-GMX-Trusted: 0
X-Original-Sender: seladwa@gmx.de
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of seladwa@gmx.de designates 212.227.15.18 as permitted sender) smtp.mail=seladwa@gmx.de
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
X-Spam-Score: 0.0 (/)
X-Spam_score: 0.0
X-Spam_score_int: 0
X-Spam_bar: /

la latro'a cu cusku di'e
> His point involves a definition of {da broda} as "there exists x in the
> universe of discourse such that x broda". This does not require "There
> exists x in the universe of discourse such that x broda gi'e zasti [fi
> zu'i]", since we talk about things that don't exist all the time. Under
> this definition, if you say {lo pavyseljirna}, there's a unicorn in the
> universe of discourse, irrespective of whether it exists in reality.

"Reality" (which you described with zasti fi zu'i) doesn't matter, since 
we're talking in terms of UDs. lo pavyseljirna introduces unicorns into 
our UD, but it still doesn't claim that one *exists* in *this UD* (other 
UDs don't matter, nor does "reality"). This distinction seems important, 
and it matters a lot when we talk about xorlo too. So, I'm not sure this 
is exactly the point he makes. Some clarification would be useful.

mu'o mi'e la selpa'i

-- 
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.