Two of kripkes earlier works, a completeness theorem in modal logic 1959 and semantical considerations on modal logic 1963, the. Thus, whenever we say modal logic, we always mean propositional unimodal logic, modal logics without quanti. Semantical considerations on modal logic, acta philosophica fennica, 16, 1963, 8394. Neighborhood semantics for modal logic an introduction. Lewiss view of the relation between modal metaphysics and modal logic couldnt be more different. This cited by count includes citations to the following articles in scholar. Sep 22, 2016 in semantical considerations on modal logic, kripke articulates his project in the discourse of possible worlds. The main goal of the corse is to understand the basic techniques, results and applications of neighborhood semantics for modal logic and to understand the exact relationship with the standard relational semantics. In 1933 g odel introduced a calculus of provability also known as modal logic s4 and left open the question of its exact intended semantics. Almog 1980 notre dame journal of formal logic 21 2. Semantical considerations on modal logic, acta philosophica fennica 16 1 963.
Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general complex behaviors arising in linguistics, philosophy, ai, and other fields. Philosophical issues from kripkes semantical considerations. Semantical considerations on modal logic 91 provable in the system. Unfortunately, this choice does not correspond to a intuitively satisfying semantics. First edition, first impression in pristine original wraps of saul kripkes seminal first paper on modal logic, a completeness theorem in modal logic. Substance and firstorder quantification over individualconcepts. Introduction saul kripke has made fundamental contributions to a variety of areas of logic, and his name is attached to a corresponding variety of objects and results. Semantical considerations on modal counterfactual logic with corollaries on decidability, completeness, and consistency questions. A completeness theorem in modal logic with abstracts of.
Maybe this article will also have philosophical and mathematical logical interest. Technical report 7807, department of mathematics, university of amsterdam, 1978. Substance and firstorder quantification over individual. Saul kripke, semantical considerations of the modal logic. Click download or read online button to semantical considerations on modal logic naming and necessity book pdf for free now. Semantical considerations in modal logic, acta philosophica fennica 16 1963, pp. Acknowledgments i want to thank graeme forbes, peter pagin, dag w esterst. Researchers in areas ranging from economics to computational linguistics have since realised its worth. So without loss of generality, we could restrict our considerations to connected models. There has been much philosophical discussion of whether endorsement of the kripke semantics brings ontological commitment to possible worlds. There are interesting observations to make concerning the two systems. Interestingly, the classical version of our logic is not a normal modal logic, even in the case of relational semantics. Instead, we obtain a modal logic with both normal and nonnormal modalities, together with additional axiom that speci.
Pdf in semantical considerations on modal logic, kripke articulates his project in the discourse of. Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general complex behaviors arising in linguistics. The tableaux that leads to a decision procedure for the propositional calculi is considered. Al finalizar sus presentaciones, estaran exentos con 10. Foundations of modal metaphysics columbia university. Semantical considerations on modal logic free download as pdf file. A completeness theorem in modal logic, journal of symbolic logic 241.
His paper gives an exposition of some features of a semantical theory f modal logics. The twofold aim of semantical considerations on modal logic kripke 1963 is to show in outline. Kripke, semantical considerations on modal logics, acta philosophica fennica, 16, 1963, pp. On the degree of incompleteness in modal logic and the covering relations in the lattice of modal logics. There are logicians, myself among them, to whom the ideas of modal logic e. Proceedings of a colloquium on modal and manyvalued logics, helsinki, 2326 august, 1962, acta philosophica. For a fuller treatment, see brian chellas, modal logic cambridge. Lewiss are not intuitively clear until explained in nonmodal terms quine 1947, 43. A semantic perspective 3 chapters in this handbook. Two of kripkes earlier works, a completeness theorem in modal logic 1959 and semantical considerations on modal logic 1963, the former written when he was a teenager, were on modal logic. But often such semantical considerations do not seem at all relevant to the truth or falsity of the corresponding metaphysical theories. Vaughan pratt, semantical considerations on floydhoare logic, proc. Proceedings of a colloquium on modal and manyvalued logics, helsinki, august, kripke saul a semantical considerations for modal logics.
Semantical considerations on nonmonotonic logic robert c. However, that discussion is less than satisfactory because it has been conducted without the. We discuss saul kripkes seminal 1963 paper semantical considerations on modal logic, and sketch subsequent developments in modal logic with a. The most familiar logics in the modal family are constructed from a weak logic called k, named after kripke. That consideration of different levels of possibility. It has been argued that such provability interpretations of a modal operator are dispensable in favor of a provability predicate, attaching to the godel number of a. Basic concepts in modal logic1 stanford university. Semantical analysis of modal logic i normal modal propositional calculi. Semantical considerations on modal logic periodicos. We also consider the logic and semantics in classical setting. This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. We discuss saul kripkes seminal 1963 paper semantical considerations on modal logic, and sketch subsequent developments in modal logic with a view to their general logical thrust. The interpretation of necessity and the necessity of interpretation handout on normal constant and variable domain modal. Beall and bas van fraassen, possibilities and paradox oxford.
The ones marked may be different from the article in the profile. Hughes and max cresswell, a new introduction to modal logic routledge, 1996, or j. Note that in a connected model in which r is an equivalence relation, any. The present paper attempts to extend the results of l, in the domain of the. This chapter discusses semantical analysis of modal logic ii and nonnormal modal propositional calculi. Semantical considerations on modal logic naming and necessity download semantical considerations on modal logic naming and necessity ebook pdf or read online books in pdf, epub, and mobi format. Semantical analysis of modal logic i normal modal propositional. Documents and settingsall usersdocumentswordperfect. First, i will discuss the technical work that accessibility does in unifying and providing an extensional formal semantics for the plethora of modal logics that have come into existence since aristotle. I have no proof that modal logic is inadequate, so i hope modal logicians will take the examples as challenges.
They raise issues as to how best to formulate the theory. Semantical considerations on modal logic, acta philosophica fennica 16. To answer this question, williamson surveys and critically evaluates a vast array of formulations of quanti. In semantical considerations on modal logic, kripke articulates his project in the discourse of possible worlds. One of his major problems was the following reductionchallenge. The paper presents kripkes important ideas on the semantics of modal logic, or the logic of modal notions like necessity and possibility. Jul 12, 2019 emantical considerations on modal logic. From the semantical point of view, we are confronted with a number of decisions concerning the quantifiers, and these in turn prompt new questions about the. This logic is then compared with the system in kripkes semantical considerations on modal logic.
361 812 877 501 775 167 219 528 1027 514 27 1238 1424 822 1419 899 1109 648 906 1541 640 82 1026 259 473 1109 1398 21 1302 441 1050