Modal logic is, strictly speaking, the study of the deductive behavior of the. This essay explains basic modal concepts, illustrates some different kinds of possibility and necessity, and briefly explains how we try to identify whether a modal claim is true or false. Each view of the semantics of modal logic in terms of pointed or plain structures or frames corresponds to a notion of modal theories and modal equivalence. Modify, remix, and reuse just remember to cite ocw as the source. When it comes to evaluating modal logic it is tempting to borrow from the anthropologists who seem to agree that our civilization has lived through two great waves of change in the past, the agricultural revolution and the industrial revolution. About the open logic project the open logic text is an opensource, collaborative textbook of formal metalogic and formal methods, starting at an intermediate level i. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their. My aim in this paper is to map out the surrounding territory and to commence that investigation. This content was uploaded by our users and we assume good faith they have the permission to share this book. Modal logics and philosophy places its emphasis firmly on showing how useful modal logic can be as a tool for formal philosophical analysis. Modal logic is the study of modal propositions and the logical relationships that they bear to.
Garson is a professor in the department of philosophy at the university of houston. Use features like bookmarks, note taking and highlighting while reading modal logic for philosophers. Notes on modal logic notes for philosophy 151 eric pacuit january 28, 2009 these short notes are intended to supplement the lectures and text ntroduce some of the basic concepts of modal logic. Generally this involves the study of two operators. Download pdf a new introduction to modal logic book full free. Ambitious new work by one of the worlds leading philosophers. Modal logic for philosophers kindle edition by garson, james w download it once and read it on your kindle device, pc, phones or tablets. This book on modal logic is especially designed for philosophy students. These notes are meant to present the basic facts about modal logic and so to provide a common. A modal is an expression like necessarily or possibly that is used to qualify the truth of a judgement. The indispensability of modal concepts within propositional logics 218. Please refer to the assigned text for homework assignments and the take home final. Click download or read online button to get handbook of modal logic book now. James w garson designed for use by philosophy students, this book provides an accessible yet technically sound treatment of modal logic and its philosophical applications.
It is popular practice to borrow metaphors between different fields of thought. Modal logic was formalized for the first time by c. Basic concepts in modal logic1 stanford university. Modal logic is, strictly speaking, the study of the deductive behavior of the expressions it is necessary that and it is possible that. Modal logic for philosophers kindle edition by garson. In modal logic as metaphysics, timothy williamson argues for positive answers to those questions on the basis of an integrated approach to the issues, applying the technical resources of modal logic to provide structural cores for metaphysical theories. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. There has been much philosophical discussion of whether endorsement of the kripke semantics brings ontological commitment to possible loglc. This chapter discusses the historical heartland of philosophical modal logicnamely. Open logic project open source, customizable, advanced. Modal logics and philosophy, first edition mcgillqueen. The notes are based mainly on priest 2008 and sider 2010. Modal logic is the study of the logic of necessity and possibility.
Modal logics and philosophy, second edition mcgillqueen. Modal logic, philosophy society and department of philosophy, university of uppsala, vol. However, that discussion is less than satisfactory because it has been conducted without the necessary investigation of the. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. Modal logics and philosophy rod girle logic formalism. There has been much philosophical discussion of whether endorsement of the kripke semantics brings ontological commitment to possible worlds. Proceedings of the 1963 international symposium at berkeley.
A modala word that expresses a modalityqualifies a statement. As modal logic that are important in philosophy, and iii. Lewis 1, who constructed five propositional systems of modal logic, given in the literature the notations s1s5 their formulations are given below. Download course materials modal logic linguistics and. Takehome midterm exam covers propositional modal logic. 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.
Pdf a new introduction to modal logic download full. This site is like a library, use search box in the widget to get ebook that you want. An introduction to modal logic 2009 formosan summer school on logic, language, and computation 29 june10 july, 2009. To download a free copy of acrobat reader, click here. Modal logic, formal systems incorporating modalities such as necessity, possibility, impossibility, contingency, strict implication, and certain other closely related concepts. Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophical discussion, modal logics and philosophy focuses on showing how useful modal logic can be as a.
Modal logics and philosophy pdf free download epdf. Syllabus contains instructor contact information, course description, course requirements and a rough schedule. This chapter discusses the historical heartland of philosophical modal logic namely. The polytheistic approach to modal logics alethic modal logic.
Girle and others published modal logics and philosophy find, read and cite all the research you need on researchgate. Modal logics and philosophy, second edition 1st edition. This longawaited book replaces hughes and cresswells two classic studies of modal logic. In semantical considerations on modal logic, kripke articulates his project in the discourse of possible worlds. Other chapters have been revised and updated, making the second edition a fully comprehensive introduction to modal logics and their application. An introduction to modal logic and a companion to modal logic. Lecture notes modal logic linguistics and philosophy. Modal logic was born in philosophy, and has travelled widely. His research interests include logic, especially modal logic, the philosophy of mind, neural networks, formal semantics, natural language processing and philosophical. The most straightforward way of constructing a modal logic is to add to some standard nonmodal logical system a new. Modal logic for philosophers designed for use by philosophy students, this book provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Girle emphasizes possible world semantics for modal logics and its formal method, jeffreystyle truthtrees, in which standard truthtrees are extended in a simple and.
This book is an introduction to logic for students of contemporary philosophy. Modal syntax and semantics pdf basic modal systems pdf 45. One is to explain what modal logic is, and how it is done. 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. Get your kindle here, or download a free kindle reading app. The authors focus on the use of modal languages as tools to analyze the properties of relational structures, including their algorithmic and algebraic aspects, and applications to issues in logic and computer science such as completeness, computability and complexity are considered. Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophical discussion, modal logics and philosophy places its emphasis firmly on showing how useful modal logic can be as a tool for formal philosophy, metaphysics, temporal reasoning, epistemics, the analysis of action and processes, and ethical reasoning.
A new introduction to modal logic available for download and read online in other formats. The story weaves together an article of van benthem, syntactic aspects of modal incompleteness theorems, and a longstanding open question. Find materials for this course in the pages linked along the left. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. Megarian school of philosophy what happenswasnecessarily going to happen. Now in this, our last chapter, we concentrate our attention on the kind of propositional logic modal propositional logic within which modal concepts feature overtly. The primary goal is to provide students in philosophy 151 at stanford university with a study guide that will complement the lectures on modal logic. It covers i basic approaches to logic, including proof theory and especially model theory, ii extensions of standard logic such as modal logic that are important in philosophy, and. In part 1, the reader is introduced to some standard systems of modal logic and provided with a series of exercises that encourage proficiency in manipulating these logics.
Modal operators 323 nontruthfunctionality 323 modal and nonmodal propositions. Counterfactuals, neighborhood semantics, probability, predicative necessity, etc. Or, at least, this is a thesis we try to defend in this chapter. Handbook of modal logic download ebook pdf, epub, tuebl. Modal logic, philosophy society and department of philosophy, university of uppsala. Elements of modal logic were in essence already known to aristotle 4th century b. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Preface the following are course notes written for my upperlevel undergraduate class philosophical logic.
It covers i basic approaches to logic, including proof theory and especially model theory, ii extensions of standard logic such as modal logic that are important in philosophy, and iii some elementary philosophy of logic. Modality, conditionals, vagueness, taught at the university of graz in spring 2014. Assignments modal logic linguistics and philosophy. Modal logic and philosophy introduction ps pdf authors. Modal logics and philosophy by rod girle overdrive. The open logic project is a collection of teaching materials on mathematical logic aimed at a nonmathematical audience, intended for use in advanced logic courses as taught in many philosophy departments. Pdf modal logic was born in philosophy, and has travelled widely. Though aimed at a nonmathematical audience in particular, students of philosophy and computer science, it is rigorous. Reductio ad absurdum tests 315 summary 320 6 modal propositional logic 323 1. A new introduction to modal logic is an entirely new work, completely rewritten by the authors. See in particular page 6 for a discussion about an. This chapter discusses the historical heartland of philosophical modal logicnamely, the scope and limitations of modal logic as an account of necessity and possibility.
Modal logic is an extension of classic propositional and predicate logic that allows the use of modal operators. 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. Modal logics and philosophy rod girle free ebook download as pdf file. Modal logics and philosophy request pdf researchgate. When it comes to evaluating modal logic it is tempting to borrow from the. Download pdf a new introduction to modal logic free.
72 445 1299 1567 897 1509 1338 260 1214 456 844 607 1012 1239 617 1081 1537 1378 1065 418 1111 1218 20 958 623 963 1586 1150 618 21 529 569 672 1111 881 654 553 388 1404 856 796