Relative Definability in Formal Ontologies
Brandon Bennett · 2004
The paper investigates technical meta-logical notions and theorems relating to definitions and relative definability and shows how these are relevant to the concerns of knowledge representation. In particular they can be used to identify sets of primitives that are sufficent to fully describe a given domain. Fundamental definability theorems of Tarski are examined, and it is shown how these can adapted to be applicable not only to precise and categorical mathematical theories but also to more loosely formalised ontological theories.