(Gah, I deleted the reference of that footnote without not= icing, sorry.)

mi'e la latro'a mu'o

On S= at, May 25, 2013 at 10:41 AM, Ian Johnson <blindbravado@gmail.com= > wrote:

On Sat, M= ay 25, 2013 at 10:18 AM, Betsemes <betsemes@gmail.com> wrot= e:

On Tue, May 21, 2013 at 8:39 PM, selpa&= #39;i <seladwa@gmx.d= e> wrote:
> We know that na(ku), quantifiers, connectives and tenses are bridi
> operators, but what about non-tense tags?

As I follow the conversation on the main lojban list, I think I more<= br> or less understand what's a bridi operator.

But I'm having difficulties on seeing how a quantifier is a bridi
operator. Could someone please explain it to me in mathematical and/or
computer languages terms? Or maybe point me to the appropriate
webpage.

mu'o mi'e betsemes
It depends on how you loo= k at it, really. Essentially you have the syntax of a proposition, i.e. a r= elation between variables, some of which may be unbound, and then the quant= ifiers bind the variables.=A0

Suppose there are no constants, and consider the senten= ce P(x,y). Since there are no constants, x and y are unbound. So this doesn= 't say anything, but it has the syntax of a proposition. Then when you = add quantifiers you take the same sentence and get an actual proposition wi= th bound variables. For example, forall x: exists y: P(x,y).

A more clear "bridi operator" way of lo= oking at it is actually that the quantifiers act on the bridi from the inne= rmost quantifier out. That is, my previous example has the proposition P(x,= y), which is acted on by the existential quantifier to give "exists y:= P(x,y)". Then the existentially quantified statement is acted on by t= he universal quantifier to give "forall x: exists y: P(x,y)".

*Sorry that although I am a math student, I am not a lo= gic student, so this is not at all a formal term. Hopefully it is still und= erstandable.=A0

mi'e la latr= o'a mu'o

--
You received this message because you are subscribed to the Google Groups &= quot;Lojban Beginners" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to lojban-beginners+unsubscribe@googlegroups.com.
To post to this group, send email to lojban-beginners@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban-beginners?hl=3Den. For more options, visit https://groups.google.com/groups/opt_out.

--089e0116178e9ad92e04dda0a540--