[lojban] Re: Distinguishing between free and bound variables

[la gleki <gleki.is.my.name@gmail.com>]

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