A philosophical conception of propositional modal logic

Philosophical Topics 21 (2):263-281 (1993)
  Copy   BIBTEX

Abstract

The author revises the formulation of propositional modal logic by interposing a domain of structured propositions between the modal language and the models. Interpretations of the language (i.e., ways of mapping the language into the domain of propositions) are distinguished from models of the domain of propositions (i.e., ways of assigning truth values to propositions at each world), and this contrasts with the traditional formulation. Truth and logical consequence are defined, in the first instance, as properties of, and relations among, propositions.

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

Modal sequents and definability.Bruce M. Kapron - 1987 - Journal of Symbolic Logic 52 (3):756-762.
Propositional logic.Kevin C. Klement - 2004 - Internet Encyclopedia of Philosophy.
Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Modal logic over finite structures.Eric Rosen - 1997 - Journal of Logic, Language and Information 6 (4):427-439.
Are There Ultimately Founded Propositions?Gregor Damschen - 2010 - Universitas Philosophica 27 (54):163-177.
The Metalogic of Quantum Logic.Peter Mittelstaedt - 1978 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1978:249 - 256.

Analytics

Added to PP
2009-01-28

Downloads
115 (#143,533)

6 months
8 (#158,054)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Edward Zalta
Stanford University

References found in this work

Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
Twenty-five basic theorems in situation and world theory.Edward N. Zalta - 1993 - Journal of Philosophical Logic 22 (4):385-428.
Theories of properties, relations, and propositions.George Bealer - 1979 - Journal of Philosophy 76 (11):634-648.
Logical and analytic truths that are not necessary.Edward N. Zalta - 1988 - Journal of Philosophy 85 (2):57-74.

View all 9 references / Add more references