Skip to main content
Article thumbnail
Location of Repository

Hyperfine-Grained Meanings in Classical Logic

By Reinhard Muskens


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

Topics: Philosophy of Language, Semantics, Logic
Year: 1991
OAI identifier:

Suggested articles


  1. 1982a, Impossible Worlds Semantics and Logical Omniscience,
  2. (1908). 1982b, Quantified Modal Logic: Non-normal Worlds and Propositional Attitudes,
  3. 1989a, A Relational Formulation of the Theory of Types,
  4. 1989b, Going Partial in Montague Grammar,
  5. (1954). 1989c, Meaning and Partiality, Dissertation, University of Amsterdam.
  6. (1940). A Formulation of the Simple Theory of Types,
  7. (1984). A Logic of Implicit and Explicit Belief,
  8. (1963). A Theory of Propositional Types,
  9. (1974). Axioms for Abstract Model Theory,
  10. (1950). Completeness in the Theory of Types,
  11. (1974). Formal Philosophy,
  12. (1975). Impossible Possible Worlds Vindicated,
  13. (1975). Intensional and Higher-Order Modal Logic,
  14. (1972). Intensional Logics and Logical Truth,
  15. (1986). On Epistemic Logic and Logical Omniscience,
  16. (1988). Possible Logics for Belief, Rapport IR-170, Vrije Universiteit,
  17. Propositional Attitudes and Russellian Propositions,
  18. (1950). Synonymity, reprinted in
  19. (1974). Tensions,
  20. (1970). Universal Grammar, reprinted in Montague

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.