Received: from mail-qc0-f184.google.com ([209.85.216.184]:53649)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncBCGJZH6EXQHBB5EJV2DQKGQEIZ7TCYA@googlegroups.com>)
	id 1TsOyK-0004hv-Dz; Mon, 07 Jan 2013 18:31:39 -0800
Received: by mail-qc0-f184.google.com with SMTP id j2sf6259088qch.11
        for <multiple recipients>; Mon, 07 Jan 2013 18:31:17 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=x-received:x-beenthere:x-received:x-received: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=tBSlLEFKq9piaEDvaQ3L8Ar8qGi+nzyzxV3b17OyXJk=;
        b=DtqkkgDmJ3srjPqwgG+Z/a6+e2I9dADLobRG/63Pj9lBEyidipTQOO0MP7rk4+dNFN
         jrC4uVwfm0gsKSTko40tDgkx0NH1d+eVpF10P4Lfq7MESFK0APxX8QbPwADyiE+/7DJJ
         9PyRCRDefozT4hGpNcwVyHg8dBybw85w/X+uxWz05jn948huSwabG2I3OcjDQnA/uyAp
         3IdvlEGV4uqmMU+lwj6xmQm0yHS47KgAfLcoJ0lpps2RdyVV6QWRhVAwnjQZIuheEr30
         60GwYWJDvobyT+3N7I+HOoufatLw3TJynFZx5u4M6j5ynmjnp7SbpxcLHvtheyWKT5/d
         jT9A==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=x-received:x-beenthere:x-received:x-received: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=tBSlLEFKq9piaEDvaQ3L8Ar8qGi+nzyzxV3b17OyXJk=;
        b=CMzZexSaICmV9VeLER63SOZjFVQMOwVaU404YdBWWGywHRUyOAo32srHmJ2Tl347Fq
         vOr6wZAUL19ANSM3vlTsdXOHwGeGxl4kkG9l/wPUr4UxFismyuDmKqokwXRBMtMPSoIj
         P2yUfHnpX1Q+5LcY2jcRtOPBo6EC+i+TGRSP91yPGJHH/mD5KcA8keBtAY6hURPE3M+k
         zuEe3D0ze5SmH6Qd++SSYh4bkMQX3prXUdubuWso2jmPZLohV72t/RY9O95Wo/Bs6Zmy
         Mwq2sCq/29RdtRVeTfFv1cjESe+XUOcQmKKiIG92FWM6MS7Ogsr5TfyZfN+fpciUrqcZ
         WAnw==
X-Received: by 10.50.135.66 with SMTP id pq2mr2971717igb.3.1357612277167;
        Mon, 07 Jan 2013 18:31:17 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.50.36.133 with SMTP id q5ls2363680igj.29.canary; Mon, 07 Jan
 2013 18:31:16 -0800 (PST)
X-Received: by 10.50.5.210 with SMTP id u18mr7539716igu.4.1357612276657;
        Mon, 07 Jan 2013 18:31:16 -0800 (PST)
X-Received: by 10.50.5.210 with SMTP id u18mr7539715igu.4.1357612276639;
        Mon, 07 Jan 2013 18:31:16 -0800 (PST)
Received: from mail-ob0-f175.google.com (mail-ob0-f175.google.com [209.85.214.175])
        by gmr-mx.google.com with ESMTPS id s15si654133igi.1.2013.01.07.18.31.16
        (version=TLSv1/SSLv3 cipher=OTHER);
        Mon, 07 Jan 2013 18:31:16 -0800 (PST)
Received-SPF: pass (google.com: domain of mturniansky@gmail.com designates 209.85.214.175 as permitted sender) client-ip=209.85.214.175;
Received: by mail-ob0-f175.google.com with SMTP id vb8so18074830obc.20
        for <lojban@googlegroups.com>; Mon, 07 Jan 2013 18:31:16 -0800 (PST)
MIME-Version: 1.0
Received: by 10.182.21.135 with SMTP id v7mr45004487obe.101.1357612276293;
 Mon, 07 Jan 2013 18:31:16 -0800 (PST)
Received: by 10.182.186.98 with HTTP; Mon, 7 Jan 2013 18:31:16 -0800 (PST)
In-Reply-To: <CALm==BUvARoyw7WxtsTPZ=+McJ8ZBVPskK_BObrAuFFb-06cqg@mail.gmail.com>
References: <CALm==BVT4A0=3-kNhfORYDZLKhOvESVxpg69vgAF_cGDo8MCYg@mail.gmail.com>
	<f29b6ffd-f7ad-4df3-924e-5d9262e2d74b@googlegroups.com>
	<CALm==BUvARoyw7WxtsTPZ=+McJ8ZBVPskK_BObrAuFFb-06cqg@mail.gmail.com>
Date: Mon, 7 Jan 2013 21:31:16 -0500
Message-ID: <CAKOEKkRcNbhyo8MLh7rEfr0Y1E57gUVBNkbqrT-SyqXL-FaFnQ@mail.gmail.com>
Subject: Re: [lojban] Re: Distinguishing between free and bound variables
From: Michael Turniansky <mturniansky@gmail.com>
To: lojban@googlegroups.com
X-Original-Sender: mturniansky@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of mturniansky@gmail.com designates 209.85.214.175 as permitted
 sender) smtp.mail=mturniansky@gmail.com; dkim=pass header.i=@gmail.com
Reply-To: lojban@googlegroups.com
Precedence: list
Mailing-list: list lojban@googlegroups.com; contact lojban+owners@googlegroups.com
List-ID: <lojban.googlegroups.com>
X-Google-Group-Id: 1004133512417
List-Post: <http://groups.google.com/group/lojban/post?hl=en_US>, <mailto:lojban@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban?hl=en_US>
Sender: lojban@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:lojban+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban/subscribe?hl=en_US>, <mailto:googlegroups-manage+1004133512417+unsubscribe@googlegroups.com>
Content-Type: multipart/alternative; boundary=14dae93b637478a07404d2bdbd19
X-Spam-Score: -0.1 (/)
X-Spam_score: -0.1
X-Spam_score_int: 0
X-Spam_bar: /

--14dae93b637478a07404d2bdbd19
Content-Type: text/plain; charset=ISO-8859-1

  For templating you can (and we do) use ko'a, et al, but if you don't like
that, you can also use the broda series.
   do na ue xusra lo du'u broda.
                            --gejyspa

On Sun, Dec 30, 2012 at 1:35 PM, .arpis. <rpglover64+jbobau@gmail.com>wrote:

> The construct in question was not the "Surely you don't mean" part, but
> the "x" part of the sentence.
>
> For example, {ju'o do na skudji ko'a} doesn't do it, because it indicates
> that {ko'a} is bound somewhere in context to mean a particular thing, and
> instead I'd like to provide a template, sort of like {ce'u} or {ke'a} or
> even {ma kau}, but not quite any of them.
>
> {la'e do'i} might solve it, but feels like a hack.
> {ko'a bi'u} also might, but seems ambiguous with "a new referent of the
> same {ko'a}" rather than "a new {ko'a}".
>
>
> On Sun, Dec 30, 2012 at 12:39 PM, la gleki <gleki.is.my.name@gmail.com>wrote:
>
>> {ju'o do na skudji lo nu do cliva mi}
>>
>>
>> On Sunday, December 30, 2012 9:36:28 PM UTC+4, .arpis. wrote:
>>>
>>> Alt title: distinguishing between variables and metavariables.
>>>
>>> If I say, in English "Surely you don't mean *x*.", it is clear (from
>>> context) that "x" is a metavariable, standing in for a potential
>>> expression, and not a variable bound to an actual expression.
>>>
>>> Any suggestions on how to model that distinction in lojban?
>>>
>>> --
>>> mu'o mi'e .arpis.
>>>
>>
>
>
> --
> mu'o mi'e .arpis.
>
> --
> 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.


--14dae93b637478a07404d2bdbd19
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">=A0 For templating you can (and we do) use ko&#39;a, et al=
, but if you don&#39;t like that, you can also use the broda series.<div>=
=A0 =A0do na ue xusra lo du&#39;u broda.</div><div>=A0 =A0 =A0 =A0 =A0 =A0 =
=A0 =A0 =A0 =A0 =A0 =A0 =A0 =A0 --gejyspa<br>
<br><div class=3D"gmail_quote">On Sun, Dec 30, 2012 at 1:35 PM, .arpis. <sp=
an dir=3D"ltr">&lt;<a href=3D"mailto:rpglover64+jbobau@gmail.com" target=3D=
"_blank">rpglover64+jbobau@gmail.com</a>&gt;</span> wrote:<br><blockquote c=
lass=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;=
padding-left:1ex">
<div dir=3D"ltr"><div><div><div>The construct in question was not the &quot=
;Surely you don&#39;t mean&quot; part, but the &quot;x&quot; part of the se=
ntence.<br><br></div>For example, {ju&#39;o do na skudji ko&#39;a} doesn&#3=
9;t do it, because it indicates that {ko&#39;a} is bound somewhere in conte=
xt to mean a particular thing, and instead I&#39;d like to provide a templa=
te, sort of like {ce&#39;u} or {ke&#39;a} or even {ma kau}, but not quite a=
ny of them.<br>


<br></div>{la&#39;e do&#39;i} might solve it, but feels like a hack.<br></d=
iv>{ko&#39;a bi&#39;u} also might, but seems ambiguous with &quot;a new ref=
erent of the same {ko&#39;a}&quot; rather than &quot;a new {ko&#39;a}&quot;=
.<br>


</div><div class=3D"im HOEnZb"><div class=3D"gmail_extra"><br><br><div clas=
s=3D"gmail_quote">On Sun, Dec 30, 2012 at 12:39 PM, la gleki <span dir=3D"l=
tr">&lt;<a href=3D"mailto:gleki.is.my.name@gmail.com" target=3D"_blank">gle=
ki.is.my.name@gmail.com</a>&gt;</span> wrote:<br>


<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex">{ju&#39;o do na skudji lo nu do cliva mi}<di=
v><div><br><br>On Sunday, December 30, 2012 9:36:28 PM UTC+4, .arpis. wrote=
:<blockquote class=3D"gmail_quote" style=3D"margin:0;margin-left:0.8ex;bord=
er-left:1px #ccc solid;padding-left:1ex">


<div dir=3D"ltr"><div>Alt title: distinguishing between variables and metav=
ariables.<br><br></div>If I say, in English &quot;Surely you don&#39;t mean=
 <i>x</i>.&quot;, it is clear (from context) that &quot;x&quot; is a metava=
riable, standing in for a potential expression, and not a variable bound to=
 an actual expression.<br clear=3D"all">




<div><div><br></div><div>Any suggestions on how to model that distinction i=
n lojban?<br></div><div><br>-- <br>mu&#39;o mi&#39;e .arpis.<br>
</div></div></div>
</blockquote></div></div></blockquote></div><br><br clear=3D"all"><br>-- <b=
r>mu&#39;o mi&#39;e .arpis.<br>
</div>

<p></p>

-- <br>
You received this message because you are subscribed to the Google Groups &=
quot;lojban&quot; group.<br></div><div class=3D"HOEnZb"><div class=3D"h5">
To post to this group, send email to <a href=3D"mailto:lojban@googlegroups.=
com" target=3D"_blank">lojban@googlegroups.com</a>.<br>
To unsubscribe from this group, send email to <a href=3D"mailto:lojban%2Bun=
subscribe@googlegroups.com" target=3D"_blank">lojban+unsubscribe@googlegrou=
ps.com</a>.<br>

For more options, visit this group at <a href=3D"http://groups.google.com/g=
roup/lojban?hl=3Den" target=3D"_blank">http://groups.google.com/group/lojba=
n?hl=3Den</a>.<br>


</div></div></blockquote></div><br></div></div>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups "=
lojban" group.<br />
To post to this group, send email to lojban@googlegroups.com.<br />
To unsubscribe from this group, send email to lojban+unsubscribe@googlegrou=
ps.com.<br />

For more options, visit this group at http://groups.google.com/group/lojban=
?hl=3Den.<br />



--14dae93b637478a07404d2bdbd19--