Re: SUO: Re: IFF Comments Requested
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