From pycyn@aol.com Thu Jul 04 11:43:36 2002
Return-Path: <Pycyn@aol.com>
X-Sender: Pycyn@aol.com
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: mail-8_0_7_4); 4 Jul 2002 18:43:36 -0000
Received: (qmail 4162 invoked from network); 4 Jul 2002 18:43:36 -0000
Received: from unknown (66.218.66.218)
  by m8.grp.scd.yahoo.com with QMQP; 4 Jul 2002 18:43:36 -0000
Received: from unknown (HELO imo-m09.mx.aol.com) (64.12.136.164)
  by mta3.grp.scd.yahoo.com with SMTP; 4 Jul 2002 18:43:36 -0000
Received: from Pycyn@aol.com
  by imo-m09.mx.aol.com (mail_out_v32.21.) id r.81.1de97d1f (18710)
  for <lojban@yahoogroups.com>; Thu, 4 Jul 2002 14:43:28 -0400 (EDT)
Message-ID: <81.1de97d1f.2a55f150@aol.com>
Date: Thu, 4 Jul 2002 14:43:28 EDT
Subject: Re: [lojban] pro-sumti question
To: lojban@yahoogroups.com
MIME-Version: 1.0
Content-Type: multipart/alternative; boundary="part1_81.1de97d1f.2a55f150_boundary"
X-Mailer: AOL 7.0 for Windows US sub 10509
From: pycyn@aol.com
X-Yahoo-Group-Post: member; u=2455001
X-Yahoo-Profile: kaliputra

--part1_81.1de97d1f.2a55f150_boundary
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit

In a message dated 7/4/2002 12:43:29 PM Central Daylight Time, 
jjllambias@hotmail.com writes:


> >On {remei} as a solution, note also that {remei} refers to a mass and thus
> >would be true if only one of the pair had the property in question. The
> >result wanted would require something like {piro le remei cu tatpi}.
> 
> I disagree with both statements.
> 
> Starting with the second, {le remei} and {piro le remei}
> refer to the same thing: the pair as a whole. To claim something
> for each member we can use {ro lu'a le remei}. The Book says
> that the default for {lei} is {pisu'o} instead of {piro} (which
> would be the correct default) but this does not apply in this
> case since the gadri we're using is {le}. {le remei} is the
> pair, not some part of the pair.
> 

As you know, even when I agree with your criticisms of it (as I do pretty 
much here), I am obligated to work by the baseline. Hence the implicit 
quantifier on masses is {pisu'o}. Now, to be sure, the implicit external 
quantifier on {le} is {ro}, so we are referring to all the dyadic masses I 
have in mind, but that is presumably just the one composed of the dog(s) and 
the cat(s). But that does NOT mean we are referring to the WHOLE of that 
mass. Absent some specific indication, we are dealing {pisu'o}ness. I am 
not perfectly sure that {piro} gets what I want (or, rather, avoids the 
one-tired-dog-case), but without it, the problem clearly remains.

<As for the first claim, it is based on the wrong idea that
properties of the members are automatically properties of the
mass. This is clearly not so for many properties, and I don't
see why one member being tired should make the pair tired.>

Nope, it is based on the complex idea that the properties of a mass are 
related in a variety of reasonably precise ways to properties of members of 
the massed set. We know that weight or yogurt-eating are simply additive, 
that (for team masses) winning is a causative resultant of the actions of 
individuals, and so on. But even in saying this we are often thinking of the 
mass as the whole of the mass, when -- barring explicit signs otherwise (or 
our winning this change) -- only some indefinit4e part of the mass is 
directly involved. Now, clearly if one dog in the mass of critters is tired, 
the some part of that mass is tired and so, in Lojban, the mass is tired: {le 
remei cu tatpi}. It may be unreasonable, but it is by the Book.

I like your reading of {mei} in the second letter, too.

--part1_81.1de97d1f.2a55f150_boundary
Content-Type: text/html; charset="US-ASCII"
Content-Transfer-Encoding: 7bit

<HTML><FONT FACE=arial,helvetica><BODY BGCOLOR="#ffffff"><FONT style="BACKGROUND-COLOR: #ffffff" SIZE=2>In a message dated 7/4/2002 12:43:29 PM Central Daylight Time, jjllambias@hotmail.com writes:<BR>
<BR>
<BR>
<BLOCKQUOTE TYPE=CITE style="BORDER-LEFT: #0000ff 2px solid; MARGIN-LEFT: 5px; MARGIN-RIGHT: 0px; PADDING-LEFT: 5px">&gt;On {remei} as a solution, note also that {remei} refers to a mass and thus<BR>
&gt;would be true if only one of the pair had the property in question.&nbsp; The<BR>
&gt;result wanted would require something like {piro le remei cu tatpi}.<BR>
<BR>
I disagree with both statements.<BR>
<BR>
Starting with the second, {le remei} and {piro le remei}<BR>
refer to the same thing: the pair as a whole. To claim something<BR>
for each member we can use {ro lu'a le remei}. The Book says<BR>
that the default for {lei} is {pisu'o} instead of {piro} (which<BR>
would be the correct default) but this does not apply in this<BR>
case since the gadri we're using is {le}. {le remei} is the<BR>
pair, not some part of the pair.<BR>
</BLOCKQUOTE><BR>
<BR>
As you know, even when I agree with your criticisms of it (as I do pretty much here), I am obligated to work by the baseline.&nbsp; Hence the implicit quantifier on masses is {pisu'o}.&nbsp; Now, to be sure, the implicit external quantifier on {le} is {ro}, so we are referring to all the dyadic masses I have in mind, but that is presumably just the one composed of the dog(s) and the cat(s).&nbsp; But that does NOT mean we are referring to the WHOLE of that mass.&nbsp; Absent some specific indication, we are dealing {pisu'o}ness.&nbsp; I am not perfectly sure that {piro} gets what I want (or, rather, avoids the one-tired-dog-case), but without it, the problem clearly remains.<BR>
<BR>
&lt;As for the first claim, it is based on the wrong idea that<BR>
properties of the members are automatically properties of the<BR>
mass. This is clearly not so for many properties, and I don't<BR>
see why one member being tired should make the pair tired.&gt;<BR>
<BR>
Nope, it is based on the complex idea that the properties of a mass are related in a variety of reasonably precise ways to properties of members of the massed set.&nbsp; We know that weight or yogurt-eating are simply additive, that (for team masses) winning is a causative resultant of the actions of individuals, and so on.&nbsp; But even in saying this we are often thinking of the mass as the whole of the mass, when -- barring explicit signs otherwise (or our winning this change) -- only some indefinit4e part of the mass is directly involved.&nbsp; Now, clearly if one dog in the mass of critters is tired, the some part of that mass is tired and so, in Lojban, the mass is tired: {le remei cu tatpi}.&nbsp; It may be unreasonable, but it is by the Book.<BR>
<BR>
I like your reading of {mei} in the second letter, too.<BR>
</FONT></HTML>
--part1_81.1de97d1f.2a55f150_boundary--

