From lojban+bncCML0xpmUARDgwbHxBBoEy_ks6A@googlegroups.com Sun Jul 24 11:14:19 2011 Received: from mail-fx0-f61.google.com ([209.85.161.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Ql3Bj-0003ja-SA; Sun, 24 Jul 2011 11:14:18 -0700 Received: by fxd2 with SMTP id 2sf4893522fxd.16 for ; Sun, 24 Jul 2011 11:13:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:mime-version:in-reply-to:references:date :message-id:subject:from:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-google-group-id:list-post:list-help:list-archive:sender :list-subscribe:list-unsubscribe:content-type; bh=uyFzRWzcfitCITKA7xcdL8YJQjZCXz1My39Rry1JLhc=; b=DjV5SRnpDLIs4DtiO93ovneRU1ldZ7Q5jEjMua9VL6+I1KjQjGYLQDSWPKykeKW7dE XTI5fkHA9+LHlyichbZMrprL5GDT3KymxvLJF2Y1+RXKtl12Dk5M/973IC+b2RZbWjpz nEqJP6fy/DsIbERacmmggTTQaquR6WWBbH3u4= Received: by 10.223.65.201 with SMTP id k9mr1065209fai.4.1311531232835; Sun, 24 Jul 2011 11:13:52 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.204.133.90 with SMTP id e26ls1676328bkt.0.gmail; Sun, 24 Jul 2011 11:13:51 -0700 (PDT) Received: by 10.204.144.89 with SMTP id y25mr450836bku.6.1311531231693; Sun, 24 Jul 2011 11:13:51 -0700 (PDT) Received: by 10.204.144.89 with SMTP id y25mr450835bku.6.1311531231671; Sun, 24 Jul 2011 11:13:51 -0700 (PDT) Received: from mail-fx0-f48.google.com (mail-fx0-f48.google.com [209.85.161.48]) by gmr-mx.google.com with ESMTPS id d14si758852fac.3.2011.07.24.11.13.51 (version=TLSv1/SSLv3 cipher=OTHER); Sun, 24 Jul 2011 11:13:51 -0700 (PDT) Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 209.85.161.48 as permitted sender) client-ip=209.85.161.48; Received: by mail-fx0-f48.google.com with SMTP id 7so5763243fxg.35 for ; Sun, 24 Jul 2011 11:13:51 -0700 (PDT) MIME-Version: 1.0 Received: by 10.223.21.220 with SMTP id k28mr5487481fab.63.1311531231511; Sun, 24 Jul 2011 11:13:51 -0700 (PDT) Received: by 10.223.74.194 with HTTP; Sun, 24 Jul 2011 11:13:51 -0700 (PDT) In-Reply-To: References: Date: Sun, 24 Jul 2011 14:13:51 -0400 Message-ID: Subject: Re: [lojban] bu'a From: Ian Johnson To: lojban@googlegroups.com X-Original-Sender: blindbravado@gmail.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: domain of blindbravado@gmail.com designates 209.85.161.48 as permitted sender) smtp.mail=blindbravado@gmail.com; dkim=pass (test mode) header.i=@gmail.com Reply-To: lojban@googlegroups.com Precedence: list Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com List-ID: X-Google-Group-Id: 1004133512417 List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=00151747b19a2a84e404a8d4a94a --00151747b19a2a84e404a8d4a94a Content-Type: text/plain; charset=ISO-8859-1 I think bu'a/bu'e/bu'i would be much much much more useful if Lojban were a second order language, because then we could talk about the existence of predicates with desired properties in a non-stilted fashion. As a first order language, though, with second order mechanisms requiring stilted language, I don't think bu'a/bu'e/bu'i are especially useful. mu'o mi'e latros On Sun, Jul 24, 2011 at 12:01 PM, tijlan wrote: > What is your view on the bu'a series? Potentially useful? Totally > pointless? I've never used it myself, but I could be missing some > important aspect of Lojban as a logical language. > > mu'o mi'e tijlan > > -- > 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. > > -- 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. --00151747b19a2a84e404a8d4a94a Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
I think bu'a/bu'e/bu'i would be much much much more useful= if Lojban were a second order language, because then we could talk about t= he existence of predicates with desired properties in a non-stilted fashion= . As=A0a first order language, though, with second order mechanisms requiri= ng stilted language, I don't think bu'a/bu'e/bu'i are espec= ially useful.
=A0
mu'o mi'e latros
=A0
On Sun, Jul 24, 2011 at 12:01 PM, tijlan <jbotijlan@gmail.com> wrote:
What is your view on the bu'= a series? Potentially useful? Totally
pointless? I've never used it = myself, but I could be missing some
important aspect of Lojban as a logical language.

mu'o mi'e = tijlan

--
You received this message becau= se 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?h= l=3Den.


--
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@googlegrou= ps.com.
For more options, visit this group at http://groups.google.com/group/lojban= ?hl=3Den.
--00151747b19a2a84e404a8d4a94a--