Re: SUO: Propositions (was Peirce's MS 514)
At 24-03-01 00:16, John F. Sowa wrote:
>With that caveat, I agree that there are a lot of interesting
>possibilities for using category theory. Joe Goguen & Co. have
>been using "institution theory" for related purposes:
>
> http://citeseer.nj.nec.com/384650.html
>
> "Abstract: Institutions formalize the intuitive notion
> of logical system, including both syntax and semantics."
>
>Following is the plain text version of the HTML file cited above.
### FYI and for what it's worth in the same Stanford bookstore buying spree
I mentioned before I grabbed a copy of "Conceptual Mathemathics" by Lawvere
& Shanuel, Cambridge UP. I'm finding it to be a really decent intro into
category theory for dummies (although you have to translate some concepts
into a more common terminology, e.g. pushouts and pullbacks are not called
as such).
### good luck
--Robert Meersman back home at last -for a few days- and working on a
really withering reply to Pat Hayes' last contribution to the
Occurrents/Continuants" thread :-)
=============================================================
Prof Dr Robert A Meersman VUB STARLab
Department of Computer Science Vrije Universiteit Brussel
Bldg. G-10, Pleinlaan 2 B-1050 Brussels Belgium
phn (+32|0) 2 629 3308 fax (+32|0) 2 629 3525
http://www.starlab.vub.ac.be/staff/robert/ h
=============================================================