|
|
Re: Eliminating Quantifiers For Dummies! A(x) E(y) ALL(t)EXIST(u)EaAb ..
Posted:
Jan 24, 2012 10:22 AM
|
|
Dan Christensen wrote:
>
> On Jan 23, 7:11 pm, Jack Campin <bo...@purr.demon.co.uk> wrote:
> >
> > The first order theory of groups is defined syntactically by a fully
> > explicit finite set of rules. Mendelson tells you exactly what's in
> > it. It doesn't have any terms to denote sets of any kind.
> >
>
> Then why did Mendelson mention the fact that EVERY interpretation of
> EVERY first-order languange has a SET (his word), the so-called domain
> of interpretation associated with it?
Jack Campin is talking about syntax, you're talking about
interpretation.
--
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
|
|
