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