- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
World travelling and mood swings
In Benedikt Löwe, Thoralf Räsch & Wolfgang Malzkorn (eds.), Foundations of the Formal Sciences II. Kluwer Academic Publishers (2003)
Abstract
It is not quite as easy to see that there is in fact no formula of this modal language having the same truth conditions (in terms of S5 Kripke semantics) as (1). This was rst conjectured by Allen Hazen2 and later proved by Harold Hodes3. We present a simple direct proof of this result and discuss some consequences for the logical analysis of ordinary modal discourse.Author's Profile
My notes
Similar books and articles
Possible-worlds semantics for modal notions conceived as predicates.Volker Halbach, Hannes Leitgeb & Philip Welch - 2003 - Journal of Philosophical Logic 32 (2):179-223.
Subjunctivity and cross-world predication.Kai F. Wehmeier - 2012 - Philosophical Studies 159 (1):107-122.
Mood and the Analysis of Non-Declarative Sentences.Deirdre Wilson & Dan Sperber - 1988 - In J. Dancy, J. M. E. Moravcsik & C. C. W. Taylor (eds.), Human Agency: Language, Duty, and Value : Philosophical Essays in Honor of J.O. Urmson. Stanford, Calif: Stanford University Press. pp. 77--101.
Mood and gradability: An investigation of the subjunctive mood in spanish.Elisabeth Villalta - 2008 - Linguistics and Philosophy 31 (4):467-522.
A proof-theoretic study of the correspondence of classical logic and modal logic.H. Kushida & M. Okada - 2003 - Journal of Symbolic Logic 68 (4):1403-1414.
Relational modality.Kathrin Glüer & Peter Pagin - 2008 - Journal of Logic, Language and Information 17 (3):307-322.
Analytics
Added to PP
2009-01-28
Downloads
43 (#369,570)
6 months
1 (#1,469,946)
2009-01-28
Downloads
43 (#369,570)
6 months
1 (#1,469,946)
Historical graph of downloads
Author's Profile
Citations of this work
The Problem of Cross-world Predication.Alexander W. Kocurek - 2016 - Journal of Philosophical Logic 45 (6):697-742.
Subjunctivity and cross-world predication.Kai F. Wehmeier - 2012 - Philosophical Studies 159 (1):107-122.
On the expressive power of first-order modal logic with two-dimensional operators.Alexander W. Kocurek - 2018 - Synthese 195 (10):4373-4417.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-cl5t5 uwo