From pycyn@aol.com Sat Aug 04 15:32:28 2001 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-7_2_0); 4 Aug 2001 22:32:28 -0000 Received: (qmail 1988 invoked from network); 4 Aug 2001 22:32:27 -0000 Received: from unknown (10.1.10.142) by l10.egroups.com with QMQP; 4 Aug 2001 22:32:27 -0000 Received: from unknown (HELO imo-m09.mx.aol.com) (64.12.136.164) by mta3 with SMTP; 4 Aug 2001 22:32:27 -0000 Received: from Pycyn@aol.com by imo-m09.mx.aol.com (mail_out_v31.9.) id r.7b.18910f43 (4185) for ; Sat, 4 Aug 2001 18:32:24 -0400 (EDT) Message-ID: <7b.18910f43.289dd1f8@aol.com> Date: Sat, 4 Aug 2001 18:32:24 EDT Subject: Re: [lojban] du'u & ka (was: ce'u (was: vliju'a To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_7b.18910f43.289dd1f8_boundary" X-Mailer: AOL 6.0 for Windows US sub 10531 From: pycyn@aol.com X-Yahoo-Message-Num: 9171 --part1_7b.18910f43.289dd1f8_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 8/4/2001 4:14:14 PM Central Daylight Time, xod@sixgirls.org writes: > > I *think* I recall a weak consensus that du'u = ce'u-less ka, > > which implies that ka must contain an implicit or explicit > > ce'u. > > > > > I recall Cowan saying something like this too. I would love to hear more > about this! > Whether Cowan said it or not, it makes a good deal of logical sense. On one popular view, a proposition is a function from worlds into truth values. On that view, a n-place property is a function from worlds into the set of sets of n-tuples in the domains of the worlds. A property defined without a {ce'u} is 0-placed and so, in each world it gives the set of 0-tuples that satisfies it. Since there is only 1 0-tuple (0), there are only two such sets, 0 and {0}. The result is thus isomorphic to a proposition at least. Of course, there are other ways of doing things that give quite different results. --part1_7b.18910f43.289dd1f8_boundary Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 8/4/2001 4:14:14 PM Central Daylight Time,
xod@sixgirls.org writes:


> I *think* I recall a weak consensus that du'u = ce'u-less ka,
> which implies that ka must contain an implicit or explicit
> ce'u.




I recall Cowan saying something like this too. I would love to hear more
about this!


Whether Cowan said it or not, it makes a good deal of logical sense.  On one
popular view, a proposition is a function from worlds into truth values. On
that view, a n-place property is a function from worlds into the set of sets
of n-tuples in the domains of the worlds.  A property defined without a
{ce'u} is 0-placed and so, in each world it gives the set of 0-tuples that
satisfies it.  Since there is only 1 0-tuple (0), there are only two such
sets, 0 and {0}.  The result is thus isomorphic to a proposition at least.  
Of course, there are other ways of doing things that give quite different
results. --part1_7b.18910f43.289dd1f8_boundary--