Relating Intensional Semantic Theories: Established Methods and Surprising Results

摘要

Formal semantics comprises a plethora of theories which interpret natural language through the use of different ontological primitives (e.g. individuals, possible worlds, situations, propositions, individual concepts). The ontological relations between these theories are, today, still largely unexplored. In particular, it remains an open question whether the primitives from some of these theories can be coded in terms of objects from other theories, or whether the ontologies of some theories can even be reduced to the ontologies of other, ontologically poorer, theories. This paper answers the above questions for a proper subset of formal semantic theories which are designed for the interpretation of doxastic attitude reports. The paper formalizes some ontological relations between these theories that are only suggested (but are not made explicit) in the literature, and identifies several new relations. The paper uses these relations to show that 'the' unifying theory for attitude reports is, in fact, a class of theories whose members are equivalent up to coding.