This site has been permanently archived. This is a static copy provided by the University of Southampton.
---
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."
altloc:
- http://let.uvt.nl/general/people/rmuskens/pubs/hyperfine.pdf
- http://let.uvt.nl/general/people/rmuskens/pubs/hyperfine.ps
chapter: ~
commentary: ~
commref: ~
confdates: ~
conference: ~
confloc: ~
contact_email: ~
creators_id: []
creators_name:
- family: Muskens
given: Reinhard
honourific: ''
lineage: ''
date: 1991
date_type: published
datestamp: 2006-01-21
department: ~
dir: disk0/00/00/47/07
edit_lock_since: ~
edit_lock_until: ~
edit_lock_user: ~
editors_id: []
editors_name: []
eprint_status: archive
eprintid: 4707
fileinfo: /style/images/fileicons/application_postscript.png;/4707/1/hyperfine.ps|/style/images/fileicons/application_pdf.png;/4707/2/hyperfine.pdf
full_text_status: public
importid: ~
institution: ~
isbn: ~
ispublished: pub
issn: ~
item_issues_comment: []
item_issues_count: 0
item_issues_description: []
item_issues_id: []
item_issues_reported_by: []
item_issues_resolved_by: []
item_issues_status: []
item_issues_timestamp: []
item_issues_type: []
keywords: 'hyperintensionality, type theory, propositional attitudes'
lastmod: 2011-03-11 08:56:19
latitude: ~
longitude: ~
metadata_visibility: show
note: ~
number: ~
pagerange: 159-176
pubdom: FALSE
publication: ' Logique et Analyse'
publisher: ~
refereed: TRUE
referencetext: ~
relation_type: []
relation_uri: []
reportno: ~
rev_number: 14
series: ~
source: ~
status_changed: 2007-09-12 17:01:55
subjects:
- phil-lang
- ling-sem
- phil-logic
succeeds: ~
suggestions: ~
sword_depositor: ~
sword_slug: ~
thesistype: ~
title: Hyperfine-Grained Meanings in Classical Logic
type: journalp
userid: 6111
volume: 133/13