From nobody@digitalkingdom.org Fri Mar 18 15:13:13 2005 Received: with ECARTIS (v1.0.0; list lojban-list); Fri, 18 Mar 2005 15:13:13 -0800 (PST) Received: from nobody by chain.digitalkingdom.org with local (Exim 4.44) id 1DCQeQ-0000iw-Kd for lojban-list-real@lojban.org; Fri, 18 Mar 2005 15:13:06 -0800 Received: from n13a.bulk.scd.yahoo.com ([66.94.237.24]) by chain.digitalkingdom.org with smtp (Exim 4.44) id 1DCQeO-0000hn-I5 for lojban-in@lojban.org; Fri, 18 Mar 2005 15:13:06 -0800 DomainKey-Signature: Received: from [66.218.66.59] by n13.bulk.scd.yahoo.com with NNFMP; 18 Mar 2005 23:12:29 -0000 Received: from [66.218.67.199] by mailer8.bulk.scd.yahoo.com with NNFMP; 18 Mar 2005 23:12:29 -0000 X-Yahoo-Newman-Property: groups-email 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> 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" X-Yahoo-Profile: bgoertzel MIME-Version: 1.0 Mailing-List: list lojban@yahoogroups.com; contact lojban-owner@yahoogroups.com Delivered-To: mailing list lojban@yahoogroups.com Precedence: bulk Date: Fri, 18 Mar 2005 20:12:21 -0500 Subject: [lojban] Re: lojban ills: implicit emphasis Content-Type: multipart/alternative; boundary="----=_NextPart_000_0326_01C52BF6.CA941A20" X-Spam-Score: -2.6 (--) X-archive-position: 9614 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: ben@goertzel.org Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list ------=_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: 7bit

****

Hoops! C converts <abc> into <acb>, not <bac>, 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 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 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 the argument list according to Lojban syntax.

-- Ben

To unsubscribe, send mail to lojban-unsubscribe@onelist.com

Yahoo! Groups Sponsor

Yahoo! Groups Links To visit your group on the web, go to: http://groups.yahoo.com/group/lojban/ To unsubscribe from this group, send an email to: lojban-unsubscribe@yahoogroups.com Your use of Yahoo! Groups is subject to the Yahoo! Terms of Service.
------=_NextPart_000_0326_01C52BF6.CA941A20--