The Four Basic Ontologies of Semantic Interpretation.
Roland Hausser · 2000
This paper compares the semantic interpretation of logical, programming, and natural languages. It shows that they are based on different ontologies, and investigates the relation between the ontology assumed and the analysis of empirical phenomena such as truth, the Epimenides paradox, propositional attitudes, and vagueness. Furthermore, it shows that there is a basic difference between a metalanguage-based and a procedural semantics, and that the choice between them depends on the ontology presumed.