Received: from mail-vb0-f62.google.com ([209.85.212.62]:39667)
	by stodi.digitalkingdom.org with esmtps (TLSv1:RC4-SHA:128)
	(Exim 4.76)
	(envelope-from <lojban-beginners+bncBDBPJRUZSQARBFM3QOGQKGQETL5VYUA@googlegroups.com>)
	id 1UgFf3-0003er-Rw; Sat, 25 May 2013 07:41:39 -0700
Received: by mail-vb0-f62.google.com with SMTP id f13sf1730083vbg.27
        for <multiple recipients>; Sat, 25 May 2013 07:41:27 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=20120806;
        h=x-beenthere:mime-version:in-reply-to:references:date:message-id
         :subject:from: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:sender:list-subscribe
         :list-unsubscribe:content-type;
        bh=X0mta/5bu0A9EDpcSp2AySwAUoTvYj4gmgEEfVOHkpM=;
        b=JDr3WoJv8lDf8Prmni2daB+Twj1CLOKcT1a/4YYC7bbscQJ9tEQtWVolNVKMrKEFkG
         l7kd6u5Df5MKoATUG6/jjsiWFRQwK6z5Cgrhch1eAdR0umKTyj5F61MOqmJTIiaRg3By
         fy9qmuYG0BbbR36UfsnRpVB3QNbJxz/RUxWb2eHczV56C0k2CilCdQ+zM2KrFO/JEWkV
         +yulq4MUHiA2Es9gpBA+pnD8bAVtT6lPU/dR0cWbxc2ZMx0QP3xPrrZzPnJvSZlXylpl
         qXcsi1meXJmguTm8nanbGWlMkOt4/T8pVdPE7WV8eac+57wvxjy1IBdVKfCmElrTNFRw
         48xA==
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=x-beenthere:mime-version:in-reply-to:references:date:message-id
         :subject:from: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:sender:list-subscribe
         :list-unsubscribe:content-type;
        bh=X0mta/5bu0A9EDpcSp2AySwAUoTvYj4gmgEEfVOHkpM=;
        b=YCN2ykni8FHdHJNaso499vw9jR3H0QK4uAFSxknLu5wdQq8ZJUSGU4jas/Cm0zFvZO
         iKCinaxKbuoZqdYz3CejlofREWtZi5Sx9UCCJo5FeDl85D5HD4++x4iWdswkwVTmQcC7
         WMynUTPIrAfEH6gKUjNQT76uhWrHDeCsgJHG8ZmlaAyo78sOMzaqgChK8DD360ZpiZTX
         9ZM6+QEWzEXLsbJLutrvlgvNCHzsiw43rRfOVvQfbb62SxGnrXzDhXkJldMI1okRsZsm
         Z6GFcNlcCQmimTExHYJT0JpINsomkVaIpgXqd8mDaGZG5WBmdWwKM0jdOca85tdYS0i6
         ioDg==
X-Received: by 10.50.67.111 with SMTP id m15mr441323igt.12.1369492887084;
        Sat, 25 May 2013 07:41:27 -0700 (PDT)
X-BeenThere: lojban-beginners@googlegroups.com
Received: by 10.50.159.133 with SMTP id xc5ls1080846igb.3.canary; Sat, 25 May
 2013 07:41:25 -0700 (PDT)
X-Received: by 10.50.47.115 with SMTP id c19mr3447760ign.2.1369492885151;
        Sat, 25 May 2013 07:41:25 -0700 (PDT)
Received: from mail-ie0-x22c.google.com (mail-ie0-x22c.google.com [2607:f8b0:4001:c03::22c])
        by gmr-mx.google.com with ESMTPS id b5si872265igd.0.2013.05.25.07.41.25
        for <lojban-beginners@googlegroups.com>
        (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128);
        Sat, 25 May 2013 07:41:25 -0700 (PDT)
Received-SPF: pass (google.com: domain of blindbravado@gmail.com designates 2607:f8b0:4001:c03::22c as permitted sender) client-ip=2607:f8b0:4001:c03::22c;
Received: by mail-ie0-x22c.google.com with SMTP id 16so15190399iea.3
        for <lojban-beginners@googlegroups.com>; Sat, 25 May 2013 07:41:25 -0700 (PDT)
MIME-Version: 1.0
X-Received: by 10.50.20.130 with SMTP id n2mr1768420ige.87.1369492884919; Sat,
 25 May 2013 07:41:24 -0700 (PDT)
Received: by 10.64.20.78 with HTTP; Sat, 25 May 2013 07:41:24 -0700 (PDT)
In-Reply-To: <CAHxnAmK-KL76830fNeV2Uh42=ECMUSMmDcF4a_aZ=DpSgG-P5g@mail.gmail.com>
References: <519C13CF.1090406@gmx.de>
	<CAHxnAmK-KL76830fNeV2Uh42=ECMUSMmDcF4a_aZ=DpSgG-P5g@mail.gmail.com>
Date: Sat, 25 May 2013 10:41:24 -0400
Message-ID: <CA+gZtgKHZ_+aWZeE9VJJtotr3An1T4puMTePWoNyLmQpsDReLA@mail.gmail.com>
Subject: Re: [lojban-beginners] Re: [lojban] Tags and bridi operators
From: Ian Johnson <blindbravado@gmail.com>
To: lojban-beginners@googlegroups.com
X-Original-Sender: blindbravado@gmail.com
X-Original-Authentication-Results: gmr-mx.google.com;       spf=pass
 (google.com: domain of blindbravado@gmail.com designates 2607:f8b0:4001:c03::22c
 as permitted sender) smtp.mail=blindbravado@gmail.com;       dkim=pass header.i=@gmail.com
Reply-To: lojban-beginners@googlegroups.com
Precedence: list
Mailing-list: list lojban-beginners@googlegroups.com; contact lojban-beginners+owners@googlegroups.com
List-ID: <lojban-beginners.googlegroups.com>
X-Google-Group-Id: 300742228892
List-Post: <http://groups.google.com/group/lojban-beginners/post?hl=en_US>, <mailto:lojban-beginners@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:lojban-beginners+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/lojban-beginners?hl=en_US>
Sender: lojban-beginners@googlegroups.com
List-Subscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:lojban-beginners+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/lojban-beginners/subscribe?hl=en_US>,
 <mailto:googlegroups-manage+300742228892+unsubscribe@googlegroups.com>
Content-Type: multipart/alternative; boundary=047d7bd75584ed9bf704dd8be8c5
X-Spam-Score: -0.1 (/)
X-Spam_score: -0.1
X-Spam_score_int: 0
X-Spam_bar: /
Content-Length: 5476

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

On Sat, May 25, 2013 at 10:18 AM, Betsemes <betsemes@gmail.com> wrote:

> On Tue, May 21, 2013 at 8:39 PM, selpa'i <seladwa@gmx.de> 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
> 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 look at it, really. Essentially you have the syntax
of a proposition, i.e. a relation between variables, some of which may be
unbound, and then the quantifiers bind the variables.

Suppose there are no constants, and consider the sentence 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 with bound variables.
For example, forall x: exists y: P(x,y).

A more clear "bridi operator" way of looking at it is actually that the
quantifiers act on the bridi from the innermost 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 the universal quantifier to give
"forall x: exists y: P(x,y)".

*Sorry that although I am a math student, I am not a logic student, so this
is not at all a formal term. Hopefully it is still understandable.

mi'e la latro'a mu'o

-- 
You received this message because you are subscribed to the Google Groups "Lojban Beginners" group.
To unsubscribe from this group and stop receiving emails from it, send an email 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=en.
For more options, visit https://groups.google.com/groups/opt_out.



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

<div dir=3D"ltr">On Sat, May 25, 2013 at 10:18 AM, Betsemes <span dir=3D"lt=
r">&lt;<a href=3D"mailto:betsemes@gmail.com" target=3D"_blank">betsemes@gma=
il.com</a>&gt;</span> wrote:<br><div class=3D"gmail_extra"><div class=3D"gm=
ail_quote">
<blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1p=
x #ccc solid;padding-left:1ex"><div class=3D"im">On Tue, May 21, 2013 at 8:=
39 PM, selpa&#39;i &lt;<a href=3D"mailto:seladwa@gmx.de">seladwa@gmx.de</a>=
&gt; wrote:<br>

&gt; We know that na(ku), quantifiers, connectives and tenses are bridi<br>
&gt; operators, but what about non-tense tags?<br>
<br>
</div>As I follow the conversation on the main lojban list, I think I more<=
br>
or less understand what&#39;s a bridi operator.<br>
<br>
But I&#39;m having difficulties on seeing how a quantifier is a bridi<br>
operator. Could someone please explain it to me in mathematical and/or<br>
computer languages terms? Or maybe point me to the appropriate<br>
webpage.<br>
<br>
mu&#39;o mi&#39;e betsemes</blockquote><div style>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</div>
<div style><br></div><div style>Suppose there are no constants, and conside=
r the sentence P(x,y). Since there are no constants, x and y are unbound. S=
o this doesn&#39;t say anything, but it has the syntax of a proposition. Th=
en when you add quantifiers you take the same sentence and get an actual pr=
oposition with bound variables. For example, forall x: exists y: P(x,y).<br=
>
</div><div style><br></div><div style>A more clear &quot;bridi operator&quo=
t; way of looking at it is actually that the quantifiers act on the bridi f=
rom the innermost quantifier out. That is, my previous example has the prop=
osition P(x,y), which is acted on by the existential quantifier to give &qu=
ot;exists y: P(x,y)&quot;. Then the existentially quantified statement is a=
cted on by the universal quantifier to give &quot;forall x: exists y: P(x,y=
)&quot;.</div>
<div style><br></div><div style>*Sorry that although I am a math student, I=
 am not a logic student, so this is not at all a formal term. Hopefully it =
is still understandable.=A0</div><div style><br></div><div style>mi&#39;e l=
a latro&#39;a mu&#39;o</div>
</div></div></div>

<p></p>

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

--047d7bd75584ed9bf704dd8be8c5--