From lojban+bncCK30vq5WEO2hmOkEGgRISlUQ@googlegroups.com Thu Jan 06 10:59:10 2011 Received: from mail-px0-f189.google.com ([209.85.212.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Pav39-0006CS-AL; Thu, 06 Jan 2011 10:59:10 -0800 Received: by pxi19 with SMTP id 19sf6636179pxi.16 for ; Thu, 06 Jan 2011 10:58:57 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=domainkey-signature:received:x-beenthere:received:received:received :received:received-spf:received:date:from:to:subject:message-id :references:mime-version:in-reply-to:user-agent:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-disposition; bh=wNXUF5ujR6GnfswXeI3U34qOXS/XKsWnY9lpEx4WoOY=; b=EzU9GBb0jyRtqe4GMUyneedweQdMZgg2Sxk2HqkeHHhVqyOC/BiUMC726Un0YY+II5 I7ebKCPbH0y0T57GmA75Cz3TfwlGxyCpnpJ6E+fjJx0K7BDSFAFsNxgsrPuttPXVk8Ae qzgQ4CAppZ99DdnNiUK8AUX6vFoRWkhDE2TJE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:date:from:to:subject:message-id:references :mime-version:in-reply-to:user-agent:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type:content-disposition; b=tehVI7o+mQkjdjzhjeUujHLw3bbyvMFWLRLnCqaz5Y8NrW0p5UxypXtCPeRVflwX3x Z4h3SnMnKUWgzk86JlDtWmDV8mRwp7newYiDeYbj9V3mGmXWb1LPXrrFkw+U909+7NpB OypAV/kAwpcBmW/kaejRsku1dPy2l8HBqPxgA= Received: by 10.142.150.9 with SMTP id x9mr84717wfd.40.1294340333482; Thu, 06 Jan 2011 10:58:53 -0800 (PST) X-BeenThere: lojban@googlegroups.com Received: by 10.142.249.41 with SMTP id w41ls28996854wfh.1.p; Thu, 06 Jan 2011 10:58:51 -0800 (PST) Received: by 10.142.172.13 with SMTP id u13mr989634wfe.71.1294340331612; Thu, 06 Jan 2011 10:58:51 -0800 (PST) Received: by 10.142.172.13 with SMTP id u13mr989633wfe.71.1294340331589; Thu, 06 Jan 2011 10:58:51 -0800 (PST) Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234]) by gmr-mx.google.com with ESMTPS id w13si1283436wfh.7.2011.01.06.10.58.51 (version=TLSv1/SSLv3 cipher=RC4-MD5); Thu, 06 Jan 2011 10:58:51 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.234 as permitted sender) client-ip=173.13.139.234; Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.72) (envelope-from ) id 1Pav2w-0006CO-OM for lojban@googlegroups.com; Thu, 06 Jan 2011 10:58:50 -0800 Date: Thu, 6 Jan 2011 10:58:50 -0800 From: Robin Lee Powell To: lojban@googlegroups.com Subject: Re: Lojban is *NOT* broken! Stop saying that! (was Re: [lojban] Re: Vote for the Future Global Language) Message-ID: <20110106185850.GA23787@digitalkingdom.org> References: <9114501.161.1294150198377.JavaMail.geo-discussion-forums@yqhy19> <7c0687a1-deba-495a-9760-95d1d0649423@t8g2000prh.googlegroups.com> <20110105165231.GK17534@digitalkingdom.org> <4D25F32F.8000209@gmail.com> <20110106171347.GY17534@digitalkingdom.org> <4D260BE0.3020909@gmail.com> <948823.24460.qm@web81304.mail.mud.yahoo.com> MIME-Version: 1.0 In-Reply-To: <948823.24460.qm@web81304.mail.mud.yahoo.com> User-Agent: Mutt/1.5.20 (2009-06-14) X-Original-Sender: rlpowell@digitalkingdom.org X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of rlpowell@digitalkingdom.org designates 173.13.139.234 as permitted sender) smtp.mail=rlpowell@digitalkingdom.org Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: text/plain; charset=ISO-8859-1 Content-Disposition: inline On Thu, Jan 06, 2011 at 10:52:40AM -0800, John E Clifford wrote: > Well, the non-brivla stuff is, of course, also the non-predicate > logic stuff, so we are beyond semantics into pragmatics xorxes and I have done *some* work on "formal" definitions of cmavo; see http://www.lojban.org/tiki/tiki-index.php?page=BPFK+Section%3A+gadri , and I have occassionally fantasized about picking a few predicate-logic-related words as axioms and defining the entire rest of the language in terms of them. Perhaps that's what Andrew was aiming for. -Robin -- http://singinst.org/ : Our last, best hope for a fantastic future. Lojban (http://www.lojban.org/): The language in which "this parrot is dead" is "ti poi spitaki cu morsi", but "this sentence is false" is "na nei". My personal page: http://www.digitalkingdom.org/rlp/ -- You received this message because you are subscribed to the Google Groups "lojban" group. To post to this group, send email to lojban@googlegroups.com. To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com. For more options, visit this group at http://groups.google.com/group/lojban?hl=en.