Received: from mail-vc0-f186.google.com ([209.85.220.186]:64788)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncBCRZPH6MCMIOF6EBQ4CRUBBKGSBW2@googlegroups.com>)
	id 1TpMrZ-0002Uh-2z; Sun, 30 Dec 2012 09:40:04 -0800
Received: by mail-vc0-f186.google.com with SMTP id fl17sf7030085vcb.23
        for <multiple recipients>; Sun, 30 Dec 2012 09:39:46 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=x-received:x-beenthere:x-received:date:from:to:cc:message-id
         :in-reply-to:references:subject:mime-version:x-original-sender
         :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=mt05uDEdFSfgduG7G/aOWNup6riUXlbcmni0PfglnAQ=;
        b=eYBDHvHgQj3dhAHUJjnnbfEELzO40VL87UpQeeJClYlsBNYJLFVpAqwG9CZNxEemJS
         cKjPZa20COEFbJt3nC8fHDVzt4vISE0p1QQXAgVHa8WoheiIyhBJC6ZoYgvHRMs7h1nh
         0OILcL1zmpsGXUlIXMdRon1CWy59ne/QFuCq2WuRxMskchlVP/VNwrMx05coJU+JvJlx
         UFzrHcYSEqNE+DfTdg18Ct4uHn6pS8vgjefDm+NlLalVroWewGcNFKZGO7b7ZpqqQBkL
         F9MWllZjSXI3h1Z15IWVyFV1vU2nL8n+wVNeJ5FL8+K3PV+X/tPkNmpwRfUrl8CfzltO
         M3UA==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=x-received:x-beenthere:x-received:date:from:to:cc:message-id
         :in-reply-to:references:subject:mime-version:x-original-sender
         :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=mt05uDEdFSfgduG7G/aOWNup6riUXlbcmni0PfglnAQ=;
        b=WExjxFHhmlIripW9O7NpY/PTpmKkx/ABC02O79Z0JbJlDc5MEm1Yqs7GYmSAfQsk7R
         wnSoyUyplZhK5j4arx6mZe3I3mmmEeNrQyiQvxyMYfNIDc/H2U3Jc2cV2O35JF4fRi0N
         nY+U+JCk/+hz3GHnvJnuLTr1XYBqWFloYS86OvLr2L6H5kFFtSQmx1nyjJVaDuWyYAJ5
         N/Pm3iZac2Vb5F39GmyV3QW3XWJcazJf3Z8YwWLtT/3E9jn6YNCAC0LpEyuaLXl+IVZk
         1H6wGQbeSDxRbKk/tzGCls5y4Hf0xkfrSUhAB7slHLvrKP3MsNtjMVChE1ZBdCaCaqCk
         UFrA==
X-Received: by 10.49.15.6 with SMTP id t6mr5722765qec.20.1356889186414;
        Sun, 30 Dec 2012 09:39:46 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.49.0.19 with SMTP id 19ls4759606qea.55.gmail; Sun, 30 Dec 2012
 09:39:46 -0800 (PST)
X-Received: by 10.49.1.43 with SMTP id 11mr5883750qej.29.1356889186102;
        Sun, 30 Dec 2012 09:39:46 -0800 (PST)
Date: Sun, 30 Dec 2012 09:39:45 -0800 (PST)
From: la gleki <gleki.is.my.name@gmail.com>
To: lojban@googlegroups.com
Cc: rpglover64+jbobau@gmail.com
Message-Id: <f29b6ffd-f7ad-4df3-924e-5d9262e2d74b@googlegroups.com>
In-Reply-To: <CALm==BVT4A0=3-kNhfORYDZLKhOvESVxpg69vgAF_cGDo8MCYg@mail.gmail.com>
References: <CALm==BVT4A0=3-kNhfORYDZLKhOvESVxpg69vgAF_cGDo8MCYg@mail.gmail.com>
Subject: [lojban] Re: Distinguishing between free and bound variables
MIME-Version: 1.0
X-Original-Sender: gleki.is.my.name@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="----=_Part_489_32146451.1356889185676"
X-Spam-Score: -0.1 (/)
X-Spam_score: -0.1
X-Spam_score_int: 0
X-Spam_bar: /

------=_Part_489_32146451.1356889185676
Content-Type: text/plain; charset=ISO-8859-1

{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.
>  

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To view this discussion on the web visit https://groups.google.com/d/msg/lojban/-/WWOzzkqiAmgJ.
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.


------=_Part_489_32146451.1356889185676
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

{ju'o do na skudji lo nu do cliva mi}<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 meta=
variables.<br><br></div>If I say, in English "Surely you don't mean <i>x</i=
>.", 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.<=
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'o mi'e .arpis.<br>
</div></div></div>
</blockquote>

<p></p>

-- <br />
You received this message because you are subscribed to the Google Groups "=
lojban" group.<br />
To view this discussion on the web visit <a href=3D"https://groups.google.c=
om/d/msg/lojban/-/WWOzzkqiAmgJ">https://groups.google.com/d/msg/lojban/-/WW=
OzzkqiAmgJ</a>.<br />=20
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 />



------=_Part_489_32146451.1356889185676--