[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [lojban] Re: Distinguishing between free and bound variables



  For templating you can (and we do) use ko'a, et al, but if you don't like that, you can also use the broda series.
   do na ue xusra lo du'u broda.
                            --gejyspa

On Sun, Dec 30, 2012 at 1:35 PM, .arpis. <rpglover64+jbobau@gmail.com> wrote:
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.

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