|Abstract||This paper develops a semantics for a fragment of English that is based on the idea of `impossible possible worlds'. This idea has earlier been formulated by authors such as Montague, Cresswell, Hintikka, and Rantala, but the present set-up shows how it can be formalized in a completely unproblematic logic---the ordinary classical theory of types. The theory is put to use in an account of propositional attitudes that is `hyperfine-grained', i.e. that does not suffer from the well-known problems involved with replacing expressions by logical equivalents.|
|Keywords||No keywords specified (fix it)|
|Categories||No categories specified (fix it)|
|Through your library||Configure|
Similar books and articles
Johan van Benthem & Eric Pacuit, Toward a Theory of Play: A Logical Perspective on Games and Interaction.
Edward N. Zalta (1997). A Classically-Based Theory of Impossible Worlds. Notre Dame Journal of Formal Logic 38 (4):640-660.
Christopher Menzel (1993). The Proper Treatment of Predication in Fine-Grained Intensional Logic. Philosophical Perspectives 7:61-87.
William S. Cooper (1968). The Propositional Logic of Ordinary Discourse. Inquiry 11 (1-4):295 – 320.
Janneke Van Lith (1999). Reconsidering the Concept of Equilibrium in Classical Statistical Mechanics. Philosophy of Science 66:S107 - S118.
Mark Jago (2007). Hintikka and Cresswell on Logical Omniscience. Logic and Logical Philosophy 15 (3).
Andrew Bacon (2013). Non-Classical Metatheory for Non-Classical Logics. Journal of Philosophical Logic 42 (2):335-355.
Mark Jago (2012). Constructing Worlds. Synthese 189 (1):59-74.
Reinhard Muskens (1995). Tense and the Logic of Change. In [Book Chapter].
Sy-David Friedman, Peter Koepke & Boris Piwinger (2006). Hyperfine Structure Theory and Gap 1 Morasses. Journal of Symbolic Logic 71 (2):480 - 490.
Added to index2009-01-28
Total downloads5 ( #160,368 of 549,084 )
Recent downloads (6 months)3 ( #25,722 of 549,084 )
How can I increase my downloads?