From jjllambias@hotmail.com Thu Jun 08 18:40:48 2000 Return-Path: Received: (qmail 27375 invoked from network); 9 Jun 2000 01:40:47 -0000 Received: from unknown (10.1.10.27) by m1.onelist.org with QMQP; 9 Jun 2000 01:40:47 -0000 Received: from unknown (HELO hn.egroups.com) (10.1.2.221) by mta2 with SMTP; 9 Jun 2000 01:40:47 -0000 X-eGroups-Return: jjllambias@hotmail.com Received: from [10.1.10.113] by hn.egroups.com with NNFMP; 09 Jun 2000 01:40:47 -0000 Date: Fri, 09 Jun 2000 01:40:43 -0000 To: lojban@egroups.com Subject: the logical language Message-ID: <8hphur+5l8i@eGroups.com> In-Reply-To: <4.2.2.20000608172528.00b0fe60@127.0.0.1> User-Agent: eGroups-EW/0.82 MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Length: 774 X-Mailer: eGroups Message Poster From: "Jorge Llambias" la lojbab cusku di'e > At 09:05 PM 06/08/2000 +0000, Alfred W. T=FCting wrote: > >la mixael. .o la maikyl. .o la maik,l. .o la micael. cusku di'e > > Careful. I believe that .o as a connective doesn't group > associatively. The truth table for multiple .o, if I recall, gets pretty > strange. It does, but this is the simplest case: all truths gives truth no matter how you associate them. BTW, maybe the logical conlang was already invented centuries or millennia ago. For those who like the logical connectives part of Lojban here is an interesting paper about the Aymara language, which is so regular and logical (with three-valued logic!) that it must have started as a conlang: http://www.dt.fee.unicamp.br/~arpasi/biblio/igr/igr.html co'o mi'e xorxes