Institutions, Madhyamaka, and universal
model theory. (abstract)
- The theory of ``institutions'' is a categorical universal
model theory which formalises the intuitive notion of
logical system, including syntax, semantics, and the satisfaction between them.
It provides the most complete form of abstract model theory, free of commitement
to any particular logic, the only one including signature morphisms, model
reducts, and even mappings (morphisms) between logics as primary
concepts.
This essay discusses the relationship between institution theory, considered together
with its thinking and methodologies, and Madhyamaka philosophical
school within Mahayana Buddhism.
We also discuss applications of this school of thought to model theory in
the form of the so-called `institution-independent model theory'.
back to Selected Publications