From jjllambias@hotmail.com Tue Mar 05 13:03:14 2002
Return-Path: <jjllambias@hotmail.com>
X-Sender: jjllambias@hotmail.com
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: unknown); 5 Mar 2002 21:03:14 -0000
Received: (qmail 69213 invoked from network); 4 Mar 2002 17:52:18 -0000
Received: from unknown (216.115.97.167)
  by m3.grp.snv.yahoo.com with QMQP; 4 Mar 2002 17:52:18 -0000
Received: from unknown (HELO hotmail.com) (216.33.241.155)
  by mta1.grp.snv.yahoo.com with SMTP; 4 Mar 2002 17:52:18 -0000
Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC;
  Mon, 4 Mar 2002 09:52:18 -0800
Received: from 200.49.74.2 by lw8fd.law8.hotmail.msn.com with HTTP;
  Mon, 04 Mar 2002 17:52:18 GMT
To: lojban@yahoogroups.com
Bcc: 
Subject: Re: [jboske] Quantifiers, Existential Import, and all that stuff
Date: Mon, 04 Mar 2002 17:52:18 
Mime-Version: 1.0
Content-Type: text/plain; format=flowed
Message-ID: <F155SzE2NSAW4eE2FGw00005cb5@hotmail.com>
X-OriginalArrivalTime: 04 Mar 2002 17:52:18.0890 (UTC) FILETIME=[53F882A0:01C1C3A5]
From: "Jorge Llambias" <jjllambias@hotmail.com>
X-Originating-IP: [200.49.74.2]
X-Yahoo-Group-Post: member; u=6071566
X-Yahoo-Profile: jjllambias2000


la lojbab cusku di'e

>Nothing new is needed, if Aristotle satisfies. I believe that {me'iro da
>broda cu brode} is a literal translation of the Aristotle approach.

(What's {da} doing there?)

me'iro broda cu brode
= su'o broda naku brode
= da'asu'o broda cu brode

Yes, that works. But they are all false if the set of broda
is empty, so I don't know whether Aristotle or pc would approve.

I think the default for {me'i} should be {me'iro}, and the
default for {da'a} should be {da'asu'o}, so that we could
simply say {me'i broda} or {da'a broda} there.

>(Of course we could get into philosophical hot water if we debate whether
>"not all" = "less than all" if "all" refers to something that does not
>exist, but I'll leave that to someone else %^).

Only if you take "all" to have existential import. Otherwise
there is no hot water.

mu'o mi'e xorxes


_________________________________________________________________
MSN Photos is the easiest way to share and print your photos: 
http://photos.msn.com/support/worldwide.aspx


