Institutional model theory

This page is about the concept in mathematical logic. For the concept in sociology, see Institutional logic .

Institutional model theory generalizes a large portion of first-order model theory to an arbitrary logical system.

Overview

The notion of "logical system" here is formalized as an institution. Institutions constitute a model-oriented meta-theory on logical systems similar to how the theory of rings and modules constitute a meta-theory for classical linear algebra. Another analogy can be made with universal algebra versus groups, rings, modules etc. By abstracting away from the realities of the actual conventional logics, it can be noticed that institution theory comes in fact closer to the realities of non-conventional logics.

Institutional model theory analyzes and generalizes classical model-theoretic notions and results, like

For each concept and theorem, the infrastructure and properties required are analyzed and formulated as conditions on institutions, thus providing a detailed insight on which properties of first-order logic they rely and how much they can be generalized to other logics.

Further reading

External links

This article is issued from Wikipedia - version of the 6/30/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.