From lojban+bncCML0xpmUARCD5rfmBBoEljHoSA@googlegroups.com Sun Oct 31 15:52:00 2010 Received: from mail-pw0-f61.google.com ([209.85.160.61]) by chain.digitalkingdom.org with esmtp (Exim 4.72) (envelope-from ) id 1PCgkn-0000IO-Lz; Sun, 31 Oct 2010 15:52:00 -0700 Received: by pwi2 with SMTP id 2sf417452pwi.16 for ; Sun, 31 Oct 2010 15:51:52 -0700 (PDT) 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:mime-version:received:received :in-reply-to:references:date:message-id:subject:from:to :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; bh=xQ31nSL/GaO74VfkhKoWtWMKGcNqotQmAmzo7TqRcTY=; b=re+qAP/JKda9qvZn39UHLEUS1mLxPoApNH72VvTdPCl1Us84XXhBVcVVy0wiIj+vR3 4nCQJ+ZZmtUYrP3cD2+8XyIgzL827YILAMfJBOu+fdqAj+NtoLB/njEcye4L+we+Wswg qePGuquz/c5m3AbaAwd94AQJji7CJ37AtsTdI= DomainKey-Signature: a=rsa-sha1; c=nofws; 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:list-post:list-help:list-archive:sender:list-subscribe :list-unsubscribe:content-type; b=4MO7TZ65RqSeCftn6ofGyoOm0q58fHXqmnNg3x9oIFLbcPXBwG7Ddwvl3iXssiYDfH qH252fLEt9uwKRcrAguvwtuDbfch1q1KuIC7LEiCvR0AaHoEdDVYLAEpfEqzqReotgb1 P3H14Tp6a9cCNQTm5iJ4/i//byqa7919cwGq0= Received: by 10.142.150.13 with SMTP id x13mr162247wfd.41.1288565507839; Sun, 31 Oct 2010 15:51:47 -0700 (PDT) X-BeenThere: lojban@googlegroups.com Received: by 10.142.6.9 with SMTP id 9ls4946268wff.3.p; Sun, 31 Oct 2010 15:51:47 -0700 (PDT) Received: by 10.142.165.11 with SMTP id n11mr2957712wfe.43.1288565507193; Sun, 31 Oct 2010 15:51:47 -0700 (PDT) Received: by 10.142.165.11 with SMTP id n11mr2957710wfe.43.1288565507153; Sun, 31 Oct 2010 15:51:47 -0700 (PDT) Received: from mail-pw0-f54.google.com (mail-pw0-f54.google.com [209.85.160.54]) by gmr-mx.google.com with ESMTP id p40si8150273wfc.2.2010.10.31.15.51.46; Sun, 31 Oct 2010 15:51:46 -0700 (PDT) Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 209.85.160.54 as permitted sender) client-ip=209.85.160.54; Received: by pwi8 with SMTP id 8so1079963pwi.27 for ; Sun, 31 Oct 2010 15:51:46 -0700 (PDT) MIME-Version: 1.0 Received: by 10.142.199.18 with SMTP id w18mr3832144wff.336.1288565506021; Sun, 31 Oct 2010 15:51:46 -0700 (PDT) Received: by 10.142.71.13 with HTTP; Sun, 31 Oct 2010 15:51:45 -0700 (PDT) In-Reply-To: References: <995110.82874.qm@web81303.mail.mud.yahoo.com> Date: Sun, 31 Oct 2010 18:51:45 -0400 Message-ID: Subject: Re: [lojban] Re: mi kakne lo bajra 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.160.54 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: List-Post: , List-Help: , List-Archive: Sender: lojban@googlegroups.com List-Subscribe: , List-Unsubscribe: , Content-Type: multipart/alternative; boundary=000e0cd32d8c41a1890493f18955 --000e0cd32d8c41a1890493f18955 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Yes, I know, it's built into the way that {ka} is constructed formally. But generalizing that to arbitrary arguments is much more difficult. mu'o mi'e latros. 2010/10/31 Jorge Llamb=EDas > On Sun, Oct 31, 2010 at 7:22 PM, Ian Johnson > wrote: > > And the idea that one argument of a predicate should be able to define > the > > types of the others is interesting, but then you start talking about > trying > > to implement a full-fledged type inference system in a spoken language = if > > you want everything to really make sense. I don't know if that's > reasonable > > (though it would be awesome if we pulled it off.) > > That a "ka" argument determines the type of another argument is really > unavoidable. > > In "ko'a broda lo ka ce'u brode", assuming that "ce'u" points to the > place where "ko'a" is (and that is determined by the meaning of > "broda") then obviously the type of ko'a will necessarily have to be > the type of the x1 of brode. Otherwise "ko'a" won't be able to have > the property "lo ka ce'u brode". > > mu'o mi'e xorxes > > -- > 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. > > --=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. --000e0cd32d8c41a1890493f18955 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Yes, I know, it's built into the way that {ka} is constructed formally.= But generalizing that to arbitrary arguments is much more difficult.
<= br>
mu'o mi'e latros.

2010/10/31 Jorge Llamb=EDas <jjllambias@gmail.com>
On Sun, Oct 31, 2010 at 7:22 PM, Ian Johnson <blindbravado@gmail.com> wrote: > And the idea that one argument of a predicate should be able to define= the
> types of the others is interesting, but then you start talking about t= rying
> to implement a full-fledged type inference system in a spoken language= if
> you want everything to really make sense. I don't know if that'= ;s reasonable
> (though it would be awesome if we pulled it off.)

That a "ka" argument determines the type of another argumen= t is really
unavoidable.

In "ko'a broda lo ka ce'u brode", assuming that "ce&= #39;u" points to the
place where "ko'a" is (and that is determined by the meaning = of
"broda") then obviously the type of ko'a will necessarily hav= e to be
the type of the x1 of brode. Otherwise "ko'a" won't be ab= le to have
the property "lo ka ce'u brode".

mu'o mi'e xorxes

--
You received this message because you are subscribed to the Google Groups &= quot;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/lojba= n?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.
--000e0cd32d8c41a1890493f18955--