Hyperfine-grained meanings in classical logic
(1991)
| 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) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
  Try with proxy. Try with proxy. Try with proxy. Try with proxy. |
| Through your library | Configure |
Similar books and articlesEdward 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.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,368 of 549,084 )Recent downloads (6 months)3 ( #25,722 of 549,084 )How can I increase my downloads? |
My notes
Discussion
