Path: news.cambrium.nl!textnews.cambrium.nl!feeder3.cambrium.nl!feed.tweaknews.nl!postnews.google.com!news1.google.com!news.glorb.com!news2!news.glorb.com!newsfeed2.telusplanet.net!newsfeed.telus.net!edtnps83.POSTED!7564ea0f!not-for-mail
From: paul c <toledobythesea@oohay.ac>
User-Agent: Thunderbird 2.0.0.14 (X11/20080421)
MIME-Version: 1.0
Newsgroups: comp.databases.theory
Subject: Re: Onto a potential relational manipulation language
References: <c63bd0fa-3a91-40e1-9249-252c161d2aa2@t39g2000prh.googlegroups.com> 	<ghlulp$1pdi$2@mud.stack.nl> <Uqz%k.3776$si6.1143@edtnps83> 	<63a4d28c-948c-491a-a27e-c5a1496b85d5@z28g2000prd.googlegroups.com> 	<934bce99-fe7d-43a0-8678-4d7934ab6fc3@a26g2000prf.googlegroups.com> 	<3ebb61cf-641f-4bb8-9d13-8561ea27b8c1@r37g2000prr.googlegroups.com> 	<fc372f6f-f230-4666-b127-14d0c24eb85d@w1g2000prm.googlegroups.com> 	<Knz0l.146$xD3.53@edtnps83> <aa15b2cc-83f4-4a31-b2a0-ef7ad0aacedc@35g2000pry.googlegroups.com>
In-Reply-To: <aa15b2cc-83f4-4a31-b2a0-ef7ad0aacedc@35g2000pry.googlegroups.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Lines: 13
Message-ID: <0iA0l.156$xD3.108@edtnps83>
Date: Fri, 12 Dec 2008 21:00:44 GMT
NNTP-Posting-Host: 205.250.64.8
X-Trace: edtnps83 1229115644 205.250.64.8 (Fri, 12 Dec 2008 14:00:44 MST)
NNTP-Posting-Date: Fri, 12 Dec 2008 14:00:44 MST
Xref:  news.cambrium.nl

vadimtro@gmail.com wrote:
...
> What I was saying that algebraic version of predicate calculus
> (whatever this might be) doesn't have *explicit* quantifiers. By
> explicit I mean their syntactic appearance, especially the
> introduction of auxiliary bind variables. Arguably quantifiers with
> these bind variables introduce a steep learning curve for anybody who
> transitioned from propositional to predicate calculus.
> ...

Okay, I won't argue with a language expert, which I think you are, at 
least compared to me. (I've been called a language philistine a couple 
of times and that was probably accurate).