Received: from mail-gg0-f185.google.com ([209.85.161.185]:46801)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncBDUJXW4Z74DBBFMTQKDQKGQEBARHBEQ@googlegroups.com>)
	id 1TpNk4-0002dw-Dm; Sun, 30 Dec 2012 10:36:21 -0800
Received: by mail-gg0-f185.google.com with SMTP id q6sf7047553ggc.12
        for <multiple recipients>; Sun, 30 Dec 2012 10:36:06 -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:sender:in-reply-to:references:from:date:message-id
         :subject:to:cc:x-original-sender:x-original-authentication-results
         :reply-to:precedence:mailing-list:list-id:x-google-group-id
         :list-post:list-help:list-archive:list-subscribe:list-unsubscribe
         :content-type;
        bh=mRAXz3tXw3OhV9ooKjYUMRbAyBCF+TmIfgAuzF/X/RI=;
        b=YtMdztL29TsP4cWZPElWALfp5zuAo/y5su74utHqu1OSTPqNJrnZKKrnBqeAvPRavl
         GIMnz/TWhtZfaaHHCF2L4YjPiq0FmfVqzZF6FI9q2PUWRRa8NB0VfHTKySV8vgNOrh04
         ydeCjEJrYc9p7Ig8lridc+ivprfSaFio7GXatre98a0CtPfVc3yqx3+8k66vyA7jqzIm
         3Xe+v3YRsd7TY9gEeQ490IR0s+m+wuITsacSnsBmyzBhw3FEy+ScQ6HUY9+DwvQFUYBM
         oK4mdOeapY82V658WoDmwV4iFZ4I/uAZqgJzr8tnq6v8xy+TI4Q8bIIkSPSB3J1NDviw
         g6wA==
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:sender:in-reply-to:references:from:date:message-id
         :subject:to:cc:x-original-sender:x-original-authentication-results
         :reply-to:precedence:mailing-list:list-id:x-google-group-id
         :list-post:list-help:list-archive:list-subscribe:list-unsubscribe
         :content-type;
        bh=mRAXz3tXw3OhV9ooKjYUMRbAyBCF+TmIfgAuzF/X/RI=;
        b=QOXnhZYhdafx9TewTPRi/V5DwjLEn0TAElRSIFRWd0DmY7jqGP4jzuMSOkPKLMAynQ
         QOdvauQMuWQz2Gy7ZP/8stBg58BPm5F/bOiSBbUhv9bm8tKDpTu2Ne//XHOmHi9PN5Fp
         KmfQdKQdqX9lR4FhQGX319wb244AWmo3G3+LYoaDOB4V7CpVMWcnN20yokqUA6ZaiqYX
         jROCEIggEOSJdRlerCWNuTImkLDvxZZDF5rMYBP1WxW20QF/6mjepFR6XQAe/hKpO9jH
         s2v5OD8yPsVOOmO1qsY2UNm6/ruBi48/AwB8u6e1LrfA5X2A4boOJz9GlzPXuUhiOXvT
         +i6A==
X-Received: by 10.50.42.194 with SMTP id q2mr12892761igl.11.1356892565643;
        Sun, 30 Dec 2012 10:36:05 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.50.6.199 with SMTP id d7ls8900421iga.14.gmail; Sun, 30 Dec
 2012 10:36:04 -0800 (PST)
X-Received: by 10.66.84.161 with SMTP id a1mr6318537paz.47.1356892564889;
        Sun, 30 Dec 2012 10:36:04 -0800 (PST)
X-Received: by 10.66.84.161 with SMTP id a1mr6318536paz.47.1356892564879;
        Sun, 30 Dec 2012 10:36:04 -0800 (PST)
Received: from mail-da0-f53.google.com (mail-da0-f53.google.com [209.85.210.53])
        by gmr-mx.google.com with ESMTPS id js4si7750522pbb.2.2012.12.30.10.36.04
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sun, 30 Dec 2012 10:36:04 -0800 (PST)
Received-SPF: pass (google.com: domain of rpglover64@gmail.com designates 209.85.210.53 as permitted sender) client-ip=209.85.210.53;
Received: by mail-da0-f53.google.com with SMTP id x6so5468136dac.40
        for <lojban@googlegroups.com>; Sun, 30 Dec 2012 10:36:04 -0800 (PST)
Received: by 10.68.234.201 with SMTP id ug9mr121905497pbc.63.1356892564777;
 Sun, 30 Dec 2012 10:36:04 -0800 (PST)
MIME-Version: 1.0
Sender: lojban@googlegroups.com
Received: by 10.68.15.70 with HTTP; Sun, 30 Dec 2012 10:35:44 -0800 (PST)
In-Reply-To: <f29b6ffd-f7ad-4df3-924e-5d9262e2d74b@googlegroups.com>
References: <CALm==BVT4A0=3-kNhfORYDZLKhOvESVxpg69vgAF_cGDo8MCYg@mail.gmail.com>
 <f29b6ffd-f7ad-4df3-924e-5d9262e2d74b@googlegroups.com>
From: ".arpis." <rpglover64+jbobau@gmail.com>
Date: Sun, 30 Dec 2012 13:35:44 -0500
Message-ID: <CALm==BUvARoyw7WxtsTPZ=+McJ8ZBVPskK_BObrAuFFb-06cqg@mail.gmail.com>
Subject: [lojban] Re: Distinguishing between free and bound variables
To: la gleki <gleki.is.my.name@gmail.com>
Cc: Lojban <lojban@googlegroups.com>
X-Original-Sender: rpglover64@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 domain of rpglover64@gmail.com designates 209.85.210.53 as permitted sender)
 smtp.mail=rpglover64@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>
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=047d7b33da18526b3704d2162bb8
X-Spam-Score: -0.1 (/)
X-Spam_score: -0.1
X-Spam_score_int: 0
X-Spam_bar: /

--047d7b33da18526b3704d2162bb8
Content-Type: text/plain; charset=ISO-8859-1

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.


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

<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"gmail_extra"><br><br><div class=3D"gmail_quote">On Sun,=
 Dec 30, 2012 at 12:39 PM, la gleki <span dir=3D"ltr">&lt;<a href=3D"mailto=
:gleki.is.my.name@gmail.com" target=3D"_blank">gleki.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 class=3D"HOEnZb"><div class=3D"h5"><br><br>On Sunday, December 30, 2012 9=
:36:28 PM UTC+4, .arpis. wrote:<blockquote class=3D"gmail_quote" style=3D"m=
argin:0;margin-left:0.8ex;border-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 "=
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 />



--047d7b33da18526b3704d2162bb8--