[lojban] Re: Distinguishing between free and bound variables

[".arpis." <rpglover64+jbobau@gmail.com>]

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.