Cogprints

Hyperfine-Grained Meanings in Classical Logic

Muskens, Reinhard (1991) Hyperfine-Grained Meanings in Classical Logic. [Journal (Paginated)]

Full text available as:

[img]
Preview
Postscript
204Kb
[img]
Preview
PDF
161Kb

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.

Item Type:Journal (Paginated)
Keywords:hyperintensionality, type theory, propositional attitudes
Subjects:Philosophy > Philosophy of Language
Linguistics > Semantics
Philosophy > Logic
ID Code:4707
Deposited By:Muskens, Dr Reinhard
Deposited On:21 Jan 2006
Last Modified:11 Mar 2011 08:56

Metadata

Repository Staff Only: item control page