To: |
"[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|

From: |
paola.dimaio@xxxxxxxxx |

Date: |
Sat, 24 Jan 2009 22:18:03 +0700 |

Message-id: |
<c09b00eb0901240718t7dd2406fw9066a5919157ffbd@xxxxxxxxxxxxxx> |

> > 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 unied 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 first 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 denability 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) |

Previous by Date: | Re: [ontolog-forum] Next steps in using ontologies as standards, paola . dimaio |
---|---|

Next by Date: | Re: [ontolog-forum] Next steps in using ontologies as standards, Matthew West |

Previous by Thread: | Re: [ontolog-forum] Next steps in using ontologies as standards, paola . dimaio |

Next by Thread: | Re: [ontolog-forum] Next steps in using ontologies as standards, Pat Hayes |

Indexes: | [Date]
[Thread]
[Top]
[All Lists] |