Received: from mail-gg0-f189.google.com ([209.85.161.189]:53200)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban+bncBDUJXW4Z74DBBMPXQGDQKGQE2F4FY2Q@googlegroups.com>)
	id 1TpMoj-0002TV-IW; Sun, 30 Dec 2012 09:37:09 -0800
Received: by mail-gg0-f189.google.com with SMTP id q1sf7350590ggm.16
        for <multiple recipients>; Sun, 30 Dec 2012 09:36:50 -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:from:date:message-id:subject: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:list-subscribe:list-unsubscribe:content-type;
        bh=RuXpwgDlwkjyY9bJFnizTcapAr+2sH+Lmca02pyFQtI=;
        b=ofIshVLwtvDrF6FbzrWPNoOUW/SYE3DPa0hdWjw8ud1xsXoo2WQuAkQrpGa57mZrsf
         HPA2Oa5znmltMbGr5OKA+6n1GXMBFuuMLMn06KXobbGz3n66yLpDWbG9HAPovsbjAX2n
         xgvm/qeD4Xy1welMWj9WaAXBW3cUx1uiI0uFIkyA4KvVckl0U41ZM4VpY+LVp0SDPhzo
         r6wfrGu3JOozj9V21uwM69LXD+2ExHO/tNEK313zRNljfUSAP2moqb4eTCQdO3Tve8kG
         wYbuYpuKngXqa73PLSX2lltSWa8sev/G2OIc9f9LA6wyYbJPPd564GcoqC7SIkkUzSfj
         q06w==
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:from:date:message-id:subject: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:list-subscribe:list-unsubscribe:content-type;
        bh=RuXpwgDlwkjyY9bJFnizTcapAr+2sH+Lmca02pyFQtI=;
        b=cHxXAxBzx06WbNQL0amWW1hnMhF0vr89gVDkX9c62H0haoaE1mMOccAEpRlCGUMWrb
         cRpKU/wi+7gEFPHkpxxq7G4MjDlSrz7XrH9gNKpINEa+wI+WJ0fFfttb1Fys/1xQjT9C
         vQYGGKy6rCtt79pHNKGi/L6hIp/cpE1lesI1/nDsKlXpkoHyWkTQZEVAMA+IS9JPvJ2n
         zP8MMZXY2J7DiDdqRwOC7Fj93T4/sWxqEEVLrtWKCmK2VtTEMauS1rlGIORrRhAicuYa
         y6NjbQbNMHg4wHBBfcXaI/PBqjAEayOb7R3qoZaJzhFN6yBBvLiFtGkGFTvoyZ6nRQdm
         q5yw==
X-Received: by 10.50.47.228 with SMTP id g4mr10726878ign.12.1356889010558;
        Sun, 30 Dec 2012 09:36:50 -0800 (PST)
X-BeenThere: lojban@googlegroups.com
Received: by 10.50.193.162 with SMTP id hp2ls12516901igc.35.canary; Sun, 30
 Dec 2012 09:36:49 -0800 (PST)
X-Received: by 10.66.80.34 with SMTP id o2mr5443913pax.9.1356889009442;
        Sun, 30 Dec 2012 09:36:49 -0800 (PST)
X-Received: by 10.66.80.34 with SMTP id o2mr5443912pax.9.1356889009433;
        Sun, 30 Dec 2012 09:36:49 -0800 (PST)
Received: from mail-pb0-f52.google.com (mail-pb0-f52.google.com [209.85.160.52])
        by gmr-mx.google.com with ESMTPS id e1si7801658paz.0.2012.12.30.09.36.49
        (version=TLSv1/SSLv3 cipher=OTHER);
        Sun, 30 Dec 2012 09:36:49 -0800 (PST)
Received-SPF: pass (google.com: domain of rpglover64@gmail.com designates 209.85.160.52 as permitted sender) client-ip=209.85.160.52;
Received: by mail-pb0-f52.google.com with SMTP id ro2so6649670pbb.11
        for <lojban@googlegroups.com>; Sun, 30 Dec 2012 09:36:49 -0800 (PST)
Received: by 10.66.75.66 with SMTP id a2mr115202575paw.65.1356889009336; Sun,
 30 Dec 2012 09:36:49 -0800 (PST)
MIME-Version: 1.0
Sender: lojban@googlegroups.com
Received: by 10.68.15.70 with HTTP; Sun, 30 Dec 2012 09:36:28 -0800 (PST)
From: ".arpis." <rpglover64+jbobau@gmail.com>
Date: Sun, 30 Dec 2012 12:36:28 -0500
Message-ID: <CALm==BVT4A0=3-kNhfORYDZLKhOvESVxpg69vgAF_cGDo8MCYg@mail.gmail.com>
Subject: [lojban] Distinguishing between free and bound variables
To: 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.160.52 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=f46d042f9c2666b29a04d2155743
X-Spam-Score: -0.1 (/)
X-Spam_score: -0.1
X-Spam_score_int: 0
X-Spam_bar: /

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

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


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

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

<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 />



--f46d042f9c2666b29a04d2155743--