Abstract
AbstractThe present paper attempts to provide an exact truthmaker semantical analysis of modalized propositions. According to the present proposal, an exact truthmaker for “Necessarily P” is a state that bans every exact truthmaker for “Not P”, and an exact truthmaker for “Possibly P” is a state that allows an exact truthmaker for P. Based on this proposal, a formal semantics will be developed; and the soundness and completeness results for a well-known family of the systems of normal modal propositional logic will be established. It shall be seen that the present analysis offers an exactification of the standard Kripke semantics in the sense that it analyzes the accessibility relation between possible worlds in terms of the banning and allowing relations between the constituent states, and thereby gives an account of “truth at a possible world” in terms of exact truthmaking.
Funder
Korea Advanced Institute of Science and Technology
Publisher
Springer Science and Business Media LLC
Reference20 articles.
1. Angelberger, A., F. L. G., Faroldi, and J. Korbmacher (2016). An exact truthmaker semantics for permission and obligation. In Deontic Logic and Normative Systems (Proceedings of DEON16). College Publications.
2. Armstrong, D. M. (2004). Truth and truthmakers. Cambridge University Press.
3. Kleene, S. C. (1938). On notations for ordinal numbers. The Journal of Symbolic Logic, 3(4), 150–155.
4. Kleene, S. C. (1952). Introduction to metamathematics. New York: Elsevier.
5. Kripke, S. A. (1959). A completeness theorem in modal logic. The Journal of Symbolic Logic, 24(1), 1–14.