From pycyn@aol.com Sat Sep 28 01:32:03 2002 Return-Path: X-Sender: Pycyn@aol.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_1_1_4); 28 Sep 2002 08:32:03 -0000 Received: (qmail 35867 invoked from network); 28 Sep 2002 08:32:03 -0000 Received: from unknown (66.218.66.217) by m1.grp.scd.yahoo.com with QMQP; 28 Sep 2002 08:32:03 -0000 Received: from unknown (HELO imo-m02.mx.aol.com) (64.12.136.5) by mta2.grp.scd.yahoo.com with SMTP; 28 Sep 2002 08:32:03 -0000 Received: from Pycyn@aol.com by imo-m02.mx.aol.com (mail_out_v34.13.) id r.15a.14db2e6a (4539) for ; Sat, 28 Sep 2002 04:31:56 -0400 (EDT) Message-ID: <15a.14db2e6a.2ac6c2fb@aol.com> Date: Sat, 28 Sep 2002 04:31:55 EDT Subject: Re: [lojban] Re: interactions between tenses, other tenses, and NA To: lojban@yahoogroups.com MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="part1_15a.14db2e6a.2ac6c2fb_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 X-Yahoo-Message-Num: 16152 --part1_15a.14db2e6a.2ac6c2fb_boundary Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 9/27/2002 3:39:31 PM Central Daylight Time, jjllambias@hotmail.com writes: << > If I understand correctly, "the usual language of formal > logic" would have something like ~Fab > > This can be described as: > > 1- Negation in front of the predicate > 2- Negation in front of the whole expression > > Lojban does: a~Fb, so as far as negation goes, it either follows > the usual language of formal logic (by 1) or it does not follow the > usual language of formal logic (by 2). >> Officially the Lojban is type 2 -- negation before the whole expression -- that being the usual meaning of the corresponding logical form. However, in those logics that do allow the usual Lojban form, the meaning is usually 1. But even then the internal negation form is said not to be usual, but wehipped out for special purposes (to disambiguate sentences involving Ruwwellian descriptions or for possibly empty worlds). --part1_15a.14db2e6a.2ac6c2fb_boundary Content-Type: text/html; charset="US-ASCII" Content-Transfer-Encoding: 7bit In a message dated 9/27/2002 3:39:31 PM Central Daylight Time, jjllambias@hotmail.com writes:

<<

If I understand correctly, "the usual language of formal
logic" would have something like ~Fab

This can be described as:

1- Negation in front of the predicate
2- Negation in front of the whole expression

Lojban does: a~Fb, so as far as negation goes, it either follows
the usual language of formal logic (by 1) or it does not follow the
usual language of formal logic (by 2).

>>
Officially the Lojban is type 2 -- negation before the whole expression -- that being the usual meaning of the corresponding logical form. However, in those logics that do allow the usual Lojban form, the meaning is usually 1. But even then the internal negation form is said not to be usual, but wehipped out for special purposes (to disambiguate sentences involving Ruwwellian descriptions or for possibly empty worlds). --part1_15a.14db2e6a.2ac6c2fb_boundary--