논리연구 (Korean Journal of Logic)
- 제5권2호
- /
- Pages.1-21
- /
- 2002
- /
- 1598-7493(pISSN)
Logical Necessity Based on Carnap's Criterion of Adequacy
초록
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.
키워드