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