“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.” (Roland Hausser – Universität Erlangen-Nürnberg Abteilung Computerlinguistik) – courtesy of langemark