Korean Journal of Logic 5 (2):1-21 (2002)

Nino Cocchiarella
Indiana University, Bloomington
A semantics for logical necessity, based on Carnap's criterion of adequacy, is given with respect to the ontology of logical atomism. A calculus for sentential (propositional) modal logic is described and shown to be complete with respect to this semantics. The semantics is then modified in terms of a restricted notion of 'all possible worlds' in the interpretation of necessity and shown to yield a completeness theorem for the modal logic S5. Such a restricted notion introduces material content into the meaning of necessity so that, in addition to atomic facts, there are "modal facts" that distinguish one world from another.
Keywords modal logic  logical necessity  Carnap  logical atomism
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,740
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Worlds and Models in Bayart and Carnap.Max Cresswell - 2016 - Australasian Journal of Logic 13 (1).
Modal Logic: An Introduction to its Syntax and Semantics.Nino B. Cocchiarella & Max A. Freund - 2008 - Oxford and New York: Oxford University Press USA.
Ray on Tarski on Logical Consequence.William H. Hanson - 1999 - Journal of Philosophical Logic 28 (6):605-616.
Charles Sanders Peirce on Necessity.Catherine Legg & Cheryl Misak - 2016 - In Adriane Rini, Edwin Mares & Max Cresswell (eds.), Logical Modalities from Aristotle to Carnap: The Story of Necessity. Cambridge, UK: Cambridge University Press. pp. 256-278.
Carnapian and Tarskian Semantics.Pierre Wagner - 2017 - Synthese 194 (1):97-119.
Validity and Necessity.Roberta Ballarin - 2005 - Journal of Philosophical Logic 34 (3):275-303.
Logical Consequence in Modal Logic.John Corcoran & George Weaver - 1969 - Notre Dame Journal of Formal Logic 10 (4):370-384.


Added to PP index

Total views
5 ( #1,183,741 of 2,462,895 )

Recent downloads (6 months)
1 ( #449,363 of 2,462,895 )

How can I increase my downloads?


My notes