|
|
Re: Eliminating Quantifiers For Dummies! A(x) E(y) ALL(t)EXIST(u)EaAb ..
Posted:
Jan 12, 2012 8:24 AM
|
|
Dan Christensen wrote:
>
> On Jan 11, 1:25 pm, Frederick Williams <freddywilli...@btinternet.com>
> wrote:
> > Dan Christensen wrote:
> >
> > > [...] The key point for me in that discussion
> > > was the comment that there is almost certainly no theorem of "first-
> > > order" group theory that cannot also be obtained from the usual set-
> > > theoretic group theory. What then is the point of "first order?"
> >
> > First order logic is well understood.
> > Higher order logic doesn't have an adequate proof system.
> >
>
> Are you claiming that the usual group theory uses higher orders of
> logic?
What is "usual group theory"? If it is "first order group theory", then
the answer is obvious. Any book about groups will use facts about sets,
possibly in a rather promiscuous way.
--
When a true genius appears in the world, you may know him by
this sign, that the dunces are all in confederacy against him.
Jonathan Swift: Thoughts on Various Subjects, Moral and Diverting
|
|
