Quantified modal logic pdf

In defense of the simplest quanti ed modal logic bernard linsky department of philosophy university of alberta and edward n. There are several reasons for this, including multiplicity of versions and inadequate syntax. Pdf quine and quantified modal logic against the received. Counterpart theory w t te can conduct formalized discourse about most topics perfectly well bv means of our allpurpose extensional. Modal logic as metaphysics hardcover timothy williamson. The model theory involves possible worlds with worldvariable domains. Logic for philosophy logic michigan state university. More specifically, we show that qctlt restricted to the temporal operator ex is. While interpolation and beths definability theorem fail in a number of wellknown quantified modal logics, their counterparts in quantified hybrid logic have these properties. Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality. Foundations of modal metaphysics phil c3912 fall 2015 friday 24pm description. The novice may wonder why quantified modal logic qml is considered difficult.

Buehler based on first order modal logic by fitting and mendelsohn. Actualism, serious actualism, and quantified modal logic hanson, william h. A prooftheoretic study of the correspondence of classical logic and modal logic kushida, h. These are the core lectures for students taking fhs paper 127. Propositional modal logic is a standard tool in many disciplines, but firstorder modal logic is not. Are there such things as merely possible people, who would have lived if our ancestors had acted differently. Quantified minimal modal logic and its applications, logic journal of the igpl, volume 11, issue 5.

Timothy williamson 2002 has offered what he believes to be a proof for his own necessary existence. In the topological semantics for propositional modal logic, s4 is known to be complete for the class of all topological spaces, for the rational line, for cantor space, and for the real line. Find materials for this course in the pages linked along the left. Click download or read online button to get handbook of modal logic book now. A brief outline of modal predicate logic whether, how far, and in what ways various properties of sentential modal logics carry. If we accept the historical interpretation of the network between quine, kripke and modal logic, which is to be presented here, we have to conclude that quines real philosophical animadversions against the. Pdf ockhamism and quantified modal logic logique et. While the bulk of the paper is devoted to developing the details of the semantics, to illustrate the scope. Repairing the interpolation theorem in quantified modal logic. Why propositional quantification makes modal logics on. This semantics generalizes flaggs 1985 construction of a model of a modal version of churchs thesis and firstorder arithmetic.

The case of quantified nonmonotone logics is left for future research. Or we can proceed more directly, speaking explicitly of possible worlds from the start. We need russells scoping mechanism, and just such a device was introduced into modal logic in 10, 11. Modal logic is used to reason about possibility and necessity, knowledge and belief, permission and obligation, past and future, and a variety of other topics. By regimenting our discourse into formal quantified modal logic we can eliminate some of these ambiguities. Examples for convenience, we reproduce the item logic modal logic of principia metaphysica in which the modal logic is defined. The other is to give a detailed survey of the large variety of modal logic systems found in the literature, with an eye to both their formal properties consistency, completeness and their philosophi.

Quantified modal logic on the rational line tspace. The logics rely on the philosophical tenet known as serious actualism in that within modal contexts they allow existential generalization from atomic formulas. Modal logic autumn 2019 this is a followon course to logic 1, focusing on modal extensions of classical propositional and predicate logic. Kenneth konyndyk presents a natural deduction treatment of propositional modal logic and quantified modal logic, historical information about its development, and discussions of the philosophical issues raised by. On modal logic with propositional quantifiers volume 34 issue 2 r. The textbooklike history of analytic philosophy is a history of myths, received views and dogmas. In this tutorial, we give examples of the axioms, consider some rules of inference and in particular, the derived rule of necessitation, and then draw out some consequences. For example, the statement john is happy might be qualified by saying that john is usually happy, in which case the term usually is functioning as a modal. The simplest quantified modal logic sqml defines a class of firstorder modal languages, a semantic theory for those languages, and a complete system of axioms and rules of inference for the semantics. Counterpart theory, quantified modal logic, and extra. Counterpart theory, quantified modal logic, and extra argument places david lewis we can couch our modal statements in the language of modal logic some times, anyway and then have recourse to possible worlds to explain the semantics of that language. Is the notion of metaphysical possibility intelligible. An admissible semantics for propositionally quantified relevant logics.

Adding quantifier machinery to classical propositional logic yields firstorder classical logic, fully formed and ready to go. A primary semantics for logical necessity as based on the notion of all possible worlds of a logical space is also described and shown to be essentially incomplete. In order to translate quantified modal logic, with its difficulties of referential opacity, we must complicate the situation calculus to a degree which makes it rather clumsy. Quantified modal logic on the rational line 441 it is well known that. Handout semantics for quantified modal logic april 3april 8 pages 5355. What are the controversies behind systems of quantified modal logic. Modal logic is, strictly speaking, the study of the deductive behavior of the.

With propositional modal logic, we defined the semantics with the notion of a model a set of worlds, a binary relation, and a bivalent propositional interpretation. In 1947 in a paper on identity in modal logic in the journal of symbolic logic 12 jsl, there is a formal proof of the necessity of identity for systems of quantified modal logic. Essentialism in quantified modal logic springerlink. Pdf labelled proofs for quantified modal logic alberto. In the semantics for the quantified modal language, a model will be a quadruple. This chapter describes the syntax of firstorder modal predicate logic and develops the firstorder extensions of the different sentential modal logics constructed in chapter 2. One is to explain what modal logic is, and how it is done. The semantics of modal propositional logic philosophy 431 spring 20 this handout draws on sider, logic for philosophy, ch. Necessary existence and the semantics of quantified modal logic 1. Are there future people, who have not yet been conceived. Proof theory for quantified monotone modal logics logic.

Many of the readings are online, and all can be obtained from the college or other libraries in oxford, but if you are struggling to get hold of anything, email me, as i have pdf copies of nearly everything. Basic tense logic and combining modality and tense. Prerequisites phil 201 introduction to logic is the only prerequisite for this course. For modal logic, however, adding quantifiers is far from the end of the story, as we will soon see. However, the term modal logic may be used more broadly for a family of. In 9 we developed a semantics for quantified relevant logic that uses general frames. Though mainly the last few years have witnessed a huge amount of historical work that aimed to. The reason we want to utilize modal logic is to precisify ordinary language. Zalta department of philosophy stanford university by combining the laws of classical quanti cation theory with the modal propositional logic kin the most direct manner, one produces the simplest quanti ed modal logic. These are special cases of the main result of the paper. The distinction between intensional and extensional entities is parallel to the distinction between sense and reference. But certainly adding quantifiers is the place to start. What it amounts to is separating the notion of formula and predicate. A modal is an expression like necessarily or possibly that is used to qualify the truth of a judgement.

Ordinary language is notoriously ambiguous and the analysis of ordinary language modal operators is fraught with difficulty. This site is like a library, use search box in the widget to get ebook that you want. Starting from free quantified modal logic k, with or without identity. In phil 201, you should have learned how to construct firstorder proofs for propositional and predicate logic. If you refer to the paper, please send me a message. Pdf a general semantics for quantified modal logic. Modal logic is, strictly speaking, the study of the deductive behavior of the expressions it is necessary that and it is possible that. A modala word that expresses a modalityqualifies a statement. Handbook of modal logic download ebook pdf, epub, tuebl. Actualism the simplest quantified modal logic sqml.

But they may also be of interest to others who want to learn about the technical details and philosophical applications of extensions to and deviations from. Labelled proofs for quantified modal logic uq espace. He rejects the search for a metaphysically neutral logic as futile. There is detailed historical discussion of how the metaphysical issues emerged in the twentiethcentury development of quantified modal logic, through the work of such figures as rudolf carnap, ruth barcan marcus, arthur prior, saul kripke, david lewis, robert stalnaker, alvin plantinga, and kit fine. Buehler based on first order modal logic by fitting and mendelsohn january 5, 2015.

This is a strong motivation for the present approach. The cost of the messier house plus the assumption that no object can be abstract in some worlds and concrete in others must be counted against their view, even as the simplicity of their logic counts for it. In this paper we deal with the semantics for quantified modal logic, qml in short, and their philosophical relevance. Semantics of quantified modal logic oxford scholarship.

Unfortunately, this choice does not correspond to a intuitively satisfying semantics. The other is to give a detailed survey of the large variety of modal logic systems found in the litera. As for quantified normal modal logics, labelled calculi allow for an elegant and uniform proof of completeness for all the qmml considered. W and r are the same as in the semantics for propositional modal logic. Introductory modal logic notre dame university press. Bull skip to main content accessibility help we use cookies to distinguish you from other users and to provide you with a better experience on our websites. By combining the laws of classical quantification theory with the modal propositional logic k in the most direct manner, one produces the sim plest quantified. In this seminar, we will discuss foundational questions in the theory of metaphysical possibility. These and other innovations provide philosophers with easy access to a rich variety of topics in modal logic, including a full coverage of quantified modal logic, nonrigid designators, definite.

While interpolation and beths definability theorem fail in a number of wellknown quantified modal logics for example in quantified modal k, t, d, s4, s4. These sentences, i will argue, have a threefold ambiguity. For this purpose, however, kripkes semantics for quantified modal logic is inadequate. Quantified minimal modal logic and its applications. Objections 1 a system of modal propositional logic is a bona fide logic only if it has a quantificational extension. Questions like those raise deep issues about both the nature of being and its logical relations with contingency and change. A semantic perspective 3 chapters in this handbook. On modal logic with propositional quantifiers the journal.

The book contains detailed historical discussion of how the metaphysical issues emerged in the twentieth century development of quantified modal logic, through the work of such figures as rudolf. Firstordermodallogic university of california, berkeley. Introductory modal logic fills the need for a basic text on modal logic, accessible to students of elementary symbolic logic. In addition to the standard connectives and quantifiers, we assume that, for every n. Foundations of modal metaphysics columbia university.

A semantics for quantified modal logic is presented that is based on kleenes notion of realizability. Necessary existence and the semantics of quantified modal logic. Propositional modal logic is a wellknown tool, since possible worlds can rep resent computational states or moments of time or ways an agent. Quantified modal logic and the plural dere 375 world the president at that world is a u. Today geometry is the study of a vast range of mathematical structures, closely enough related to structures once thought to. Counterpart theory and quantified modal logic authors. There is a special predicate on individuals and situations existsi,s which is regarded as true when i names an individual existing in the situation s. Montagues paradox, informal provability, and explicit modal logic dean, walter, notre dame journal of formal logic, 2014. A general strategy for proving completeness theorems for quantified modal logics is provided. I no longer have copies of that paper but i enclose a reference from.

The modal generalization to the vocabulary, add one logical expression. Pdf semantics and ontology in quantified modal logic. The authors develop semantics for firstorder modal predicate logic in terms of standard model theory, the models of which we take to be settheoretic counterparts of possible worlds. The authors distinguish in this section between actualism, which is based on free logic, i. Lecture notes modal logic linguistics and philosophy. This proof, though, is not an exercise in existential immodesty on a grand scale since it generalises to be an argument for the seemingly. When it comes to kripkestyle semantics for quantified modal logic, theres a choice to be made concerning the interpretation of the quantifiers. Quantified hybrid logic is quantified modal logic extended with apparatus for naming states and asserting that a formula is true at a named state. In this paper, we adapt that model theory to treat quantified modal logics.

To read them, youll need to have either adobe acrobat or adobe acrobat reader installed. Ockhamism and quantified modal logic logique et analyse 2015. The paper discusses several firstorder modal logics that extend the classical predicate calculus. In the topological semantics for quantified modal logic, qs4 is known to be complete for the class of all topological spaces, and for the family of subspaces of the irrational line. Handout 18 modal description theory april 24 pages 6871. Quantified modal logic and the plural dere 373 oa every f might be g. Intensional logic is an approach to predicate logic that extends firstorder logic, which has quantifiers that range over the individuals of a universe, by additional quantifiers that range over terms that may have such individuals as their value. Counterpart theory w t te can conduct formalized discourse about most topics perfectly well bv means of our allpurpose extensional logic, provided with predicates and a domain of quanti fication suited to the subject matter at hand.