]>
The repository administrator has not yet configured an RDF license.
hyperfine.ps
hyperfine.pdf
preview.png
preview.png
indexcodes.txt
text/html
HTML Summary of #4707
Hyperfine-Grained Meanings in Classical Logic
Hyperfine-Grained Meanings in Classical Logic (Postscript)
Hyperfine-Grained Meanings in Classical Logic (PDF)
Hyperfine-Grained Meanings in Classical Logic (Image (PNG))
Hyperfine-Grained Meanings in Classical Logic (Image (PNG))
Hyperfine-Grained Meanings in Classical Logic (Indexer Terms)
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.
133/13
1991
Hyperfine-Grained Meanings in Classical Logic
Semantics
Philosophy of Language
Logic
Muskens
Reinhard
Reinhard Muskens
Logique et Analyse