Intensional (Language-) Ontology
Key concept: ontological approximation
- Ontology ?L (for a language L) = set of axioms (theory) intended to specify the intended meaning of the symbols in L
? (language specific) theory; has Models(?L)
- ?L approximates C iff L commits to C and there exists an intensional interpretation for L such that the intended (classical) models of L are included in Models(?L)