Matters

The four basic ontologies of semantic interpretation: "Abstract:
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 propositional attitudes, truth, and the implementation of procedural semantics. "