From lojban+bncCIywt_XDCRCW0LHxBBoEwPgiuw@googlegroups.com Sun Jul 24 11:44:53 2011 Received: from mail-yx0-f189.google.com ([209.85.213.189]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1Ql3fT-0006YX-Mx; Sun, 24 Jul 2011 11:44:52 -0700 Received: by yxj20 with SMTP id 20sf4177934yxj.16 for ; Sun, 24 Jul 2011 11:44:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=beta; h=x-beenthere:received-spf:x-yahoo-newman-id:x-yahoo-newman-property :x-ymail-osg:x-yahoo-smtp:references:in-reply-to :x-apple-yahoo-original-message-folder:mime-version:message-id :x-mailer:from:x-apple-yahoo-replied-msgid:subject:date: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:content-transfer-encoding; bh=JAVkNJTulsDANFJQSOzwqCWZvTdqqpTeB+fLDJT/yhM=; b=5uXRD0vVJB015opXok+pIoL3HReRFUYUsCI6nvJPhHY2PPbKm/DYIzl+FPxDpbETn5 eKqOH5SgGDllygtcX2XBy+S3RvStW/aOu7QFiwteYSEv8KIeMMnsOyUtVGpH83XvUIy7 UufzNRm908GaT/2unw64/yDJdSyR9GFUsmpfo= Received: by 10.236.161.165 with SMTP id w25mr445324yhk.9.1311533078310; Sun, 24 Jul 2011 11:44:38 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.231.83.11 with SMTP id d11ls618838ibl.1.gmail; Sun, 24 Jul 2011 11:44:37 -0700 (PDT) Received: by 10.42.155.193 with SMTP id v1mr238197icw.75.1311533077625; Sun, 24 Jul 2011 11:44:37 -0700 (PDT) Received: by 10.42.155.193 with SMTP id v1mr238196icw.75.1311533077611; Sun, 24 Jul 2011 11:44:37 -0700 (PDT) Received: from nm18-vm0.bullet.mail.ne1.yahoo.com (nm18-vm0.bullet.mail.ne1.yahoo.com [98.138.91.37]) by gmr-mx.google.com with SMTP id k1si2018688icn.4.2011.07.24.11.44.36; Sun, 24 Jul 2011 11:44:36 -0700 (PDT) Received-SPF: pass (google.com: best guess record for domain of kali9putra@yahoo.com designates 98.138.91.37 as permitted sender) client-ip=98.138.91.37; Received: from [98.138.90.48] by nm18.bullet.mail.ne1.yahoo.com with NNFMP; 24 Jul 2011 18:44:36 -0000 Received: from [98.138.87.1] by tm1.bullet.mail.ne1.yahoo.com with NNFMP; 24 Jul 2011 18:44:36 -0000 Received: from [127.0.0.1] by omp1001.mail.ne1.yahoo.com with NNFMP; 24 Jul 2011 18:44:36 -0000 X-Yahoo-Newman-Id: 225151.52432.bm@omp1001.mail.ne1.yahoo.com Received: (qmail 54395 invoked from network); 24 Jul 2011 18:44:35 -0000 X-Yahoo-Newman-Property: ymail-3 X-YMail-OSG: i0FG27YVM1kZMccVuGnhCRpzTodinGyh8T2SmRpMJdT4kbe z8UZZGXnPhtk.nxTXJ2_Aa31CdLqcI_wjcASnNDD3vgGICasUyKLyUgX7_Od XgKX6CVKO0OFwAsLT68ReOtjZuMhbjFqVL.bOmCWZky.bvC78CDEorJwMY8n 15FCuS9bC4I3USfZA6kujTwGo6NTQE6nWpKaZ6LkTmth3vwVO7px8HoTHgnG Q10KvRI3iYsQ_rtA6mr1qBH8HdwcHyIBJfv6slOl6zR2UY9eJB29o9MxxKn_ _8861U72sjYSInOeTEsqVVqj4KZQlA2OuSZ0swQbX.lUXLZVJ2Lpr06rHhGG KhPt1FGg_dS_Qk3HUBZ67JweYeGhRCgfrFyAio.jA.eC0lF.VeUQlgfzFucN IECrTjvhjCABAJI5S_aMNGeEljwVJ_WLYwGhV_G5OgQ5wPDlgZztJElXPShu 5qDJGJO.X X-Yahoo-SMTP: xvGyF4GswBCIFKGaxf5wSjlg3RF108g- Received: from [192.168.1.68] (kali9putra@99.92.108.41 with xymcookie) by smtp104-mob.biz.mail.gq1.yahoo.com with SMTP; 24 Jul 2011 11:44:34 -0700 PDT References: In-Reply-To: X-Apple-Yahoo-Original-Message-Folder: AAlojbanery Mime-Version: 1.0 (iPad Mail 8G4) Message-Id: <87BB9A86-430F-4F64-9CD4-D8A5BD33B69A@yahoo.com> X-Mailer: iPad Mail (8G4) From: "John E. Clifford" X-Apple-Yahoo-Replied-Msgid: 1_9395327_AHXHjkQAALI0Tixg6gYETB3kPC8 Subject: Re: [lojban] bu'a Date: Sun, 24 Jul 2011 14:51:50 -0400 To: "lojban@googlegroups.com" X-Original-Sender: kali9putra@yahoo.com X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com: best guess record for domain of kali9putra@yahoo.com designates 98.138.91.37 as permitted sender) smtp.mail=kali9putra@yahoo.com; dkim=pass (test mode) header.i=@yahoo.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=Apple-Mail-1-366348269 Content-Transfer-Encoding: 7bit --Apple-Mail-1-366348269 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=ISO-8859-1 Lojban isn't clearly of one order or the other, since it treats sets and pr= operties and the like on a par with tree and dogs. There is no particular = problem in grammar or vocabulary to treating properties of predicates and q= uantification over them. There are some arguments about the correct way to= express a predicate as an argument, but that seems to revolve around just = what a predicate is in Lojban ontology. All the answers yield grammatical = and intelligible results, though sometimes different ones. None of them se= em particularly stilted, but I haven't seen enough cases to get a feel for = that. Sent from my iPad On Jul 24, 2011, at 14:13, Ian Johnson wrote: > 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 or= der language, though, with second order mechanisms requiring stilted langua= ge, I don't think bu'a/bu'e/bu'i are especially useful. > =20 > mu'o mi'e latros > =20 > 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. >=20 > mu'o mi'e tijlan >=20 > -- > 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@googlegr= oups.com. > For more options, visit this group at http://groups.google.com/group/lojb= an?hl=3Den. >=20 >=20 > --=20 > 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@googlegr= oups.com. > For more options, visit this group at http://groups.google.com/group/lojb= an?hl=3Den. --=20 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. --Apple-Mail-1-366348269 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=ISO-8859-1
Lojban isn't clearly of one order or t= he other, since it treats sets and properties and the like on a par with tr= ee and dogs.  There is no particular problem in grammar or vocabulary = to treating properties of predicates and quantification over them.  Th= ere are some arguments about the correct way to express a predicate as an a= rgument, but that seems to revolve around just what a predicate is in Lojba= n ontology.  All the answers yield grammatical and intelligible result= s, though sometimes different ones.  None of them seem particularly st= ilted, but I haven't seen enough cases to get a feel for that.
Sent from my iPad

On Jul 24, 2011, at 14:13, Ian Johnson &l= t;blindbravado@gmail.com> = wrote:

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 predicate= s with desired properties in a non-stilted fashion. As a first order l= anguage, 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 <jbotijlan@gmail.com> wrote:
What is your view on the bu'a se= ries? 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 a= re 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, v= isit this group at http://groups.google.com/group/lojban?hl=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@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=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.
--Apple-Mail-1-366348269--