Received: from mail-pv0-f189.google.com ([74.125.83.189])
	by chain.digitalkingdom.org with esmtp (Exim 4.72)
	(envelope-from <lojban-beginners+bncCJ2UzZHuDRD2iKfuBBoEHt28Rg@googlegroups.com>)
	id 1QJvyh-0004k0-Kw; Tue, 10 May 2011 16:04:34 -0700
Received: by pvc22 with SMTP id 22sf6380647pvc.16
        for <multiple recipients>; Tue, 10 May 2011 16:04:26 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=domainkey-signature: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=BPsIeRGew2oWrYpYQkZiqocCozbth9VaEE81xoogxcM=;
        b=Xnq64BR7WdkEmPcQSSptKnc/KCOEVouSgozmsWpChOamYHFjh3U8bPLhfCoRpAjC0j
         qC7pZWHvoF+JDL0OHwMvEeZJKADLtbEqvD44sgkQJLVhtMYxjTaFsnOkiWx5jT8HX8R2
         y8ndE4E+ocMJB2nsQzNl6Mdb1xrdXKUGxc37I=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        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;
        b=gZYPfnZ40DgJVw/LR/FfMBfVMdoI/sL9790dYrNOK3R+2ul+wS8J4mJ3WEiAJApzoy
         MnMtxqEDJWQdHy8110ZeMKs5/7MOrE4M9vYzyXJcaGVqCm8KPpweoeJINu3iz1oQ26VY
         R+EG0DEvQLihBghGBPWSBUOCMoEN70n9gH53s=
Received: by 10.68.0.4 with SMTP id 4mr972815pba.63.1305068662188;
        Tue, 10 May 2011 16:04:22 -0700 (PDT)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.68.36.67 with SMTP id o3ls11117353pbj.0.gmail; Tue, 10 May
 2011 16:04:21 -0700 (PDT)
Received: by 10.68.33.104 with SMTP id q8mr1543250pbi.49.1305068661335;
        Tue, 10 May 2011 16:04:21 -0700 (PDT)
Received: by 10.68.33.104 with SMTP id q8mr1543249pbi.49.1305068661320;
        Tue, 10 May 2011 16:04:21 -0700 (PDT)
Received: from mail-vx0-f179.google.com ([209.85.220.179])
        by gmr-mx.google.com with ESMTPS id v3si3576745pbp.11.2011.05.10.16.04.21
        (version=TLSv1/SSLv3 cipher=OTHER);
        Tue, 10 May 2011 16:04:21 -0700 (PDT)
Received-SPF: pass (google.com: domain of jjllambias@gmail.com designates 209.85.220.179 as permitted sender) client-ip=209.85.220.179;
Received: by vxi40 with SMTP id 40so1400222vxi.10
        for <lojban-beginners@googlegroups.com>; Tue, 10 May 2011 16:04:20 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.52.116.33 with SMTP id jt1mr7810302vdb.249.1305068660146; Tue,
 10 May 2011 16:04:20 -0700 (PDT)
Received: by 10.52.185.167 with HTTP; Tue, 10 May 2011 16:04:20 -0700 (PDT)
In-Reply-To: <BANLkTi=_xDF-SZBH5o57R8rMW3Rkp2ZaVA@mail.gmail.com>
References: <d02197b3-ec11-4945-8fdf-7f94b9907c9c@u26g2000vby.googlegroups.com>
	<025af042-f0be-48ff-b7de-79434433d587@l2g2000prg.googlegroups.com>
	<BANLkTi=atY=KK4=OQbhBxv6J=u9j93C6Hw@mail.gmail.com>
	<201105062251.18981.phma@phma.optus.nu>
	<BANLkTi=O3cPEyrW7yWS1vJdX5GCaL51XSQ@mail.gmail.com>
	<BANLkTi=eKkQJD7mYzbo2KWyTYiTJRyw7GA@mail.gmail.com>
	<BANLkTimLwVovLR8Mdj33tvaiNvQJAeGPfQ@mail.gmail.com>
	<BANLkTikDQo8t5L5-rKB56CEGEEWB0oXwNw@mail.gmail.com>
	<BANLkTi=B7CRctyZKDMFo382ZMyHdFLJn7Q@mail.gmail.com>
	<BANLkTimoj1fTxbNVhdH0r4Sgb6=zaaKrMg@mail.gmail.com>
	<BANLkTim5ee7s6emXtrwzgFqWBJK-34EY4g@mail.gmail.com>
	<BANLkTi=_xDF-SZBH5o57R8rMW3Rkp2ZaVA@mail.gmail.com>
Date: Tue, 10 May 2011 20:04:20 -0300
Message-ID: <BANLkTimP6kuCmY2j4zWHf8+VZ4K79ZuDLQ@mail.gmail.com>
Subject: Re: [lojban-beginners] Re: ci lo gerku vs lo ci gerku
From: =?ISO-8859-1?Q?Jorge_Llamb=EDas?= <jjllambias@gmail.com>
To: lojban-beginners@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.220.179 as permitted sender)
 smtp.mail=jjllambias@gmail.com; dkim=pass (test mode) header.i=@gmail.com
Reply-To: lojban-beginners@googlegroups.com
Precedence: list
Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com
List-ID: <lojban-beginners.googlegroups.com>
X-Google-Group-Id: 300742228892
List-Post: <http://groups.google.com/group/lojban-beginners/post?hl=en_US>, <mailto:lojban-beginners@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban-beginners+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban-beginners?hl=en_US>
Sender: lojban-beginners@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1
Content-Length: 1298

On Tue, May 10, 2011 at 7:35 PM, Ian Johnson <blindbravado@gmail.com> wrote:
> You can't have a se broda without a broda, in some sense.

I agree. That's why you can't really say that the empty set is a se
cmima, and why "se cmima" is not a very good word for "set" (and
"botpi" is not a very good word for bottles without lids).

> The broda might
> not be a "thing" (in a slightly looser sense than {dacti}), but it must
> "exist".

What exactly is the argument, then? That "nomei" must make logical
sense only because it is grammatical? "nomei" only makes sense when
you allow yourself to talk about nothing as a thing. It can make for
some interesting philosophical ponderings, but it's not part of
ordinary predicate logic. In predicate logic you only deal with
things, not with things that count and quasi-things that don't count.
If it exists in a logical sense, then it immediately counts as one,
not zero.

mu'o mi'e xorxes

-- 
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To post to this group, send email to lojban-beginners@googlegroups.com.
To unsubscribe from this group, send email to lojban-beginners+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban-beginners?hl=en.