|Liefke, Kristina (2015): Codability and Robustness in Formal Natural Language Semantics. In: Lecture Notes in Artificial Intelligence|
According to the received view of type-logical semantics (suggested by Montague and adopted by many of his successors), the correct prediction of entailment relations between lexically complex sentences requires many different types of semantic objects. This paper argues against the need for such a rich semantic ontology. In particular, it shows that Partee’s temperature puzzle – whose solution is commonly taken to require a basic type for indices or for individual concepts – can be solved in the more parsimonious type system from , which only assumes basic individuals and propositions. We generalize this result to show the soundness of the PTQ-fragment in the class of models from . Our findings support the robustness of type-theoretic models w.r.t. their objects’ codings.
|Keywords:||PTQ-fragment, individual concepts, temperature puzzle, entailment-preservation, coding, robustness|
|Faculties:||Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP)|
Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Logic
|Subjects:||100 Philosophy and Psychology > 160 Logic|
|Deposited On:||03. Apr 2015 06:18|
|Last Modified:||03. Apr 2015 06:18|