Abstraction in First-Order Modal Logic

&
Theoria 34 (3):203-207 (1968)
  Copy   BIBTEX

Abstract

The first amounts, roughly, to "It is necessarily the case that any President of the U.S. is a citizen of the U.S." But the second says, "the person who in fact is the President of the U.S, has the property of necessarily being a citizen of the U.S," Thus, while (2) is clearly true, it would be reasonable to consider (3) false

Categories

Keywords

Reprint years

2008

DOI

10.1111/j.1755-2567.1968.tb00351.x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

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

Through your library

My notes

Similar books and articles

Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Higher-Order Modal Logic—A Sketch.Melvin Fitting - unknown
Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Properties and the Interpretation of Second-Order Logic.B. Hale - 2013 - Philosophia Mathematica 21 (2):133-156.
The Translation of First Order Logic into Modal Predicate Logic.Beomin Kim - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:65-69.
A new modal lindström theorem.Johan van Benthem - 2007 - Logica Universalis 1 (1):125-138.
Toward model-theoretic modal logics.Minghui Ma - 2010 - Frontiers of Philosophy in China 5 (2):294-311.
On Quantified Modal Logic.Melvin Fitting - unknown
Modal logic and model theory.Giangiacomo Gerla & Virginia Vaccaro - 1984 - Studia Logica 43 (3):203 - 216.
Modal Logics Between Propositional and First Order.Melvin Fitting - unknown
Hale's dilemma.Daniel Nolan - manuscript
Undecidability of first-order intuitionistic and modal logics with two variables.Roman Kontchakov, Agi Kurucz & Michael Zakharyaschev - 2005 - Bulletin of Symbolic Logic 11 (3):428-438.
Modal Logics A Summary of the Well-Behaved.Melvin Fitting - unknown
Modal logic: an introduction to its syntax and semantics.Nino Barnabas Cocchiarella & Max A. Freund - 2008 - New York: Oxford University Press. Edited by Max A. Freund.

Analytics

Added to PP
2010-09-13

Downloads
183 (#103,295)

6 months
13 (#165,103)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Richmond Thomason
University of Michigan, Ann Arbor
Robert Stalnaker
Massachusetts Institute of Technology

Citations of this work

First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.
Logics of public communications.Jan Plaza - 2007 - Synthese 158 (2):165 - 179.
Intensional logic.Melvin Fitting - 2008 - Stanford Encyclopedia of Philosophy.

View all 18 citations / Add more citations

References found in this work

No references found.

Add more references