Re: SUO: Re: IFF Comments Requested
Hi Josiane,
Hope you won't mind if I jump on this one. In addition to the suggestion
you received, you might be interested in some material published in
French language (rare enough to be worth mentionning!) Rivenc's
"Introduction a la logique" (Petite Bibliotheque Payot, 1989) is a good
readable book covering an undergraduate course in propositional and
predicate calculus (this latter part will interest you the most). Cori
and Lascar's "Logique Mathématique" (Ed. Masson) covers the same
introductory material and go beyond.
I'm still studying those topics and although I'm using mostly "classics"
written in English, having at hand those books from the old country
proves occasionally very helpful and reassuring. Call me sentimental.
yours,
Pierre Grenon
P.S. Did you notice that Erdmann's table reproduced in John Sowa's paper
is incomplete as it seemingly ignore the existence and virtue of "vin
chaud"?
josiane caron wrote:
>
> Chris,
> Nice to answer me, but I am not sure to understand what you are
> referring to with the terminology ' first order logic and model theory' ?
> are you referring to the different indications you gave in your preceding
> mails about the set/class distinctions, and that I had commented? In this
> case it would be easy for me to explain what I understood, viz how to use
> some of the elements or functions to modelize several accounts and notably
> what I called 'locations' in my verbal protocol analysis.
> and I would be very glad to have your comments.
>
> But if it is not the case I am afraid that I can't. Really I can't never
> remember what do all these specific terms mean exactly.
>
> My first studies were in mathematics (algebre, topology and analyse), but I
> forgot. Later I was specialized in cognitive psychology and partly in
> cognitive linguistics.
>
> Sincerely yours
> Josiane
>
> At 22:18 06/10/01 -0500, vous avez écrit:
>
> > > I do not yet know if IFF is able to work for every problem I have already
> > > list. But I am sure I can start with.
> >
> >Have you already attempted to approach your problems via the rather
> >simpler and more familiar framework of first-order logic and model theory?
> >If not, why start with category theory? If so, could you detail exactly
> >the shortcomings you found in the first-order approach?
> >
> >Regards,
> >
> >-chris
> >
> >--
> >
> > /\ ASCII ribbon | Chris Menzel -- http://philebus.tamu.edu/~cmenzel
> > \/ campaign | Philosophy Dept, Texas A&M University
> > /\ against | College Station, TX 77843-4237
> >/ \ HTML email | voice: 979.845-5660 fax: 979.845.0458