creators_name: Muskens, Reinhard
type: journalp
datestamp: 2006-01-21
lastmod: 2011-03-11 08:56:19
metadata_visibility: show
title: Hyperfine-Grained Meanings in Classical Logic
ispublished: pub
subjects: phil-lang
subjects: ling-sem
subjects: phil-logic
full_text_status: public
keywords: hyperintensionality, type theory, propositional attitudes
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.
date: 1991
date_type: published
publication:  Logique et Analyse
volume: 133/13
pagerange: 159-176
refereed: TRUE
citation:   Muskens, Reinhard  (1991) Hyperfine-Grained Meanings in Classical Logic.  [Journal (Paginated)]     
document_url: http://cogprints.org/4707/1/hyperfine.ps
document_url: http://cogprints.org/4707/2/hyperfine.pdf