Re: [ontolog-forum] Next steps in using ontologies as standards

[paola.dimaio@xxxxxxxxx]

>
> and yes, category theory relies on logic 

called categorical logic perhaps?

4, A little piece of categorical logic
One of the major achievements of category theory in mathematical logic and in computer science, has been a unied treatment of semantics for all kinds of logical systems and term calculi which are the basis for programming languages. One can say that mathematical logic, seen as the study of classical first order logic, rst started to be a real subject with the discovery, by Godel, of the completeness theorem for set-theoretic interpretations: a sentence ' is provable if and only if ' is true in all possible interpretations. This unites the two approaches to logic: proof theory and model theory, makes logic accessible for mathematical methods and enables one to give nice and elegant proofs of proof theoretical properties by model theory (for example, the Beth and Craig denability and interpolation theorems).

from
Jaap van Oosten
Department of Mathematics
Utrecht University
The Netherlands
Revised, July 2002

http://www.math.uu.nl/people/jvoosten/syllabi/catsmoeder.pdf

pdm
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (01)