Hyperfine-grained meanings in classical logic

Logique Et Analyse 133:159-176 (1991)
  Copy   BIBTEX

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Tense and the logic of change.Reinhard Muskens - 1995 - In Urs Egli, Peter Pause, Christoph Schwarze, Arnim von Stechow & Götz Wienold (eds.), Lexical Knowledge in the Organization of Language. Amsterdam/Philadelphia: John Benjamins. pp. 147-183.
Constructing worlds.Mark Jago - 2012 - Synthese 189 (1):59-74.
Non-classical Metatheory for Non-classical Logics.Andrew Bacon - 2013 - Journal of Philosophical Logic 42 (2):335-355.
Hintikka and Cresswell on Logical Omniscience.Mark Jago - 2006 - Logic and Logical Philosophy 15 (3):325-354.
The propositional logic of ordinary discourse.William S. Cooper - 1968 - Inquiry: An Interdisciplinary Journal of Philosophy 11 (1-4):295 – 320.
A classically-based theory of impossible worlds.Edward N. Zalta - 1997 - Notre Dame Journal of Formal Logic 38 (4):640-660.

Analytics

Added to PP
2009-01-28

Downloads
62 (#234,541)

6 months
5 (#246,492)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Reinhard Muskens
University of Amsterdam

Citations of this work

Counterlogicals as Counterconventionals.Alexander W. Kocurek & Ethan J. Jerzak - 2021 - Journal of Philosophical Logic 50 (4):673-704.
Logic talk.Alexander W. Kocurek - 2021 - Synthese 199 (5-6):13661-13688.
Sense and the computation of reference.Reinhard Muskens - 2004 - Linguistics and Philosophy 28 (4):473 - 504.
The Logic of Hyperlogic. Part A: Foundations.Alexander W. Kocurek - 2024 - Review of Symbolic Logic 17 (1):244-271.

Add more citations

References found in this work

The proper treatment of quantification in ordinary English.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht. pp. 221--242.
The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1974 - In Richmond H. Thomason (ed.), Formal Philosophy. Yale University Press.
A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.

View all 14 references / Add more references