From ben@goertzel.org Fri Mar 18 15:12:29 2005 Return-Path: X-Sender: ben@goertzel.org X-Apparently-To: lojban@yahoogroups.com Received: (qmail 72020 invoked from network); 18 Mar 2005 23:12:28 -0000 Received: from unknown (66.218.66.217) by m6.grp.scd.yahoo.com with QMQP; 18 Mar 2005 23:12:28 -0000 Received: from unknown (HELO intelligenesiscorp.com) (208.234.8.229) by mta2.grp.scd.yahoo.com with SMTP; 18 Mar 2005 23:12:28 -0000 Received: from PICKLEWOMAN (vetta.vettatech.com [200.196.45.33]) by intelligenesiscorp.com (8.12.10/8.12.10) with SMTP id j2INCJbJ019827 for ; Fri, 18 Mar 2005 18:12:21 -0500 Message-ID: <032901c52c20$b467e310$7800020a@PICKLEWOMAN> To: References: <20050318230154.13401.qmail@web81304.mail.yahoo.com> Date: Fri, 18 Mar 2005 20:12:21 -0500 MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_NextPart_000_0326_01C52BF6.CA941A20" X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 6.00.2900.2180 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.2180 X-Originating-IP: 208.234.8.229 X-eGroups-Msg-Info: 1:12:0 From: "Ben Goertzel" Subject: Re: [lojban] Re: lojban ills: implicit emphasis X-Yahoo-Group-Post: member; u=1278257 X-Yahoo-Profile: bgoertzel X-Yahoo-Message-Num: 23976 ------=_NextPart_000_0326_01C52BF6.CA941A20 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable **** Hoops! C converts into , not , so {se} is fairly complex too. C is Lojban's (never used) {setese}. **** Yes, you're right; I was thinking of the normalized predicate-logic rather = than syntactic-string representation of Lojban semantics ;) [although I fa= iled to say so -- oops] E.g.,=20 mi tavla do is equivalent to the predicate logic formula (tavla) (mi) (do) (using combinatory-logic curried notation) which is equivalent to (C tavla) (do) (mi) using the C combinator. Using combinators on the syntactic-string representation of Lojban is a bit= screwy because of the arbitrariness of the placement of the predicate in t= he argument list according to Lojban syntax. -- Ben ------=_NextPart_000_0326_01C52BF6.CA941A20 Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

****

Hoops! C converts <abc> into <acb>, not=20 <bac>, so {se} is fairly complex too. C is Lojban's (neve= r=20 used) {setese}.

****

Yes, you're right; I was thinking of the normalized=20 predicate-logic rather than syntactic-string representation o= f=20 Lojban semantics ;) [although I failed to say so -- oops]

E.g.,

mi tavla do

is equivalent to the predicate logic formula

(tavla) (mi) (do)

(using combinatory-logic curried notation) which is equivalent=20 to

(C tavla) (do) (mi)

using the C combinator.

Using combinators on the syntactic-string representation of=20 Lojban is a bit screwy because of the arbitrariness of the placement o= f the=20 predicate in the argument list according to Lojban syntax.

-- Ben

------=_NextPart_000_0326_01C52BF6.CA941A20--