A Computable Solution to Partee's Temperature Puzzle

Liefke, Kristina und Sanders, Sam (2016): A Computable Solution to Partee's Temperature Puzzle. In: Li, Yanyan (Hrsg.): State-of-the-Art and Future Directions of Smart Learning. Singapore: Springer. S. 175-190

Abstract

This paper presents a computable solution to Partee's temperature puzzle which uses one of the standard tools of mathematics and the exact sciences: countable approximation. Our solution improves upon the standard Montagovian solution to the puzzle (i) by providing computable natural language interpretations for this solution, (ii) by lowering the complexity of the types in the puzzle's interpretation, and (iii) by acknowledging the role of linguistic and communicative context in this interpretation. These improvements are made possible by interpreting natural language in a model that is inspired by the Kleene-Kreisel model of countable-continuous functionals. In this model, continuous functionals are represented by lower-type objects, called the associates of these functionals, which only contain countable information.

• Dokumententyp: Buchbeitrag
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP)
• ISBN: 978-981-287-866-3
• Ort: Singapore
• Sprache: Englisch