For a basic introduction to the algebra of modal logic, consult hughes and cresswell 1968, chapter 17 on boolean algebra and modal logic. A new textbook on modal logic still in draft form provides a modern introduction to modal logic. 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. Researchers in areas ranging from economics to computational linguistics have since realised its worth. This book presupposes that readers know the attractions and power of this approach, including the notions of logical syntax, semantics, proof, and metatheory of formal systems. I personally learned modal logic from chellass modal logic. Books notes on modal logic stanford university preface these notes were composed while teaching a class at stanford and studying the work of brian chellas modal.
What is the best intro to logic book for a self learner. If your roommate picked up the book and thumbed through it, they would not immediately become a logic student. An introduction to modal logic geared towards philosophy students. An introduction to modal logic and a companion to modal logic. If youve got some mathematical background seems reasonable, since youre following gowers and tao andor your budget is 0. A new introduction to modal logic is an entirely new work, completely rewritten by the authors to incorporate all the new developments that have taken places since 1968 both in modal propositional logical and modal predicate logic, but without sacrificing the clarity of exposition and approachability that were essential features of the earlier. A new introduction to modal logic 5 conjunctive normal form 94 equivalence transformations 94 conjunctive normal form 96 modal functions and modal degree 97 s5 reduction theorem 98 mcnf theorem 101 testing formulae in mcnf 103 the completeness of s5 105 a decision procedure for s5validity 108 triv and ver again 108. Introductory modal logic notre dame university press. 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. After working through the material in this book, a student should be able to understand most quantified expressions that arise in their philosophical reading.
A modala word that expresses a modalityqualifies a statement. Arguments whose understanding depends on some fundamental knowledge of modal logic have always been important in philosophy of religion, metaphysics, and. 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. Modal operators 323 nontruthfunctionality 323 modal and nonmodal propositions. The main text for the course is brian chellas modal logic. A new introduction to modal logic pdf free download epdf. Introduction to philosophylogicmodal logic wikibooks.
This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Illustrative chapters focus on deontic logic and conditionality. Thus, whenever we say modal logic, we always mean propositional unimodal logic, modal logics without quanti. A semantic perspective 3 chapters in this handbook.
The new edition of this classic textbook, introduction to mathematical logic, sixth edition explores the principal topics of mathematical logic. Read book modal logic as metaphysics free pdf video. An introduction, but a more modern treatment inline with current interests in modal logic is van benthems modal logic for open minds. Propositional modal logic any complete system of logic needs at least three components. Logic category studies and exercises in formal logic by john neville keynes the macmillan company, 1906 in addition to a detailed exposition of certain portions of formal logic, the following pages contain a number of problems worked out in detail and unsolved problems, by means of which the student may test his command over logical processes. 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. The new edition of this widely used and respected textbook includes three new chapters on conditional logic. Modal logics and philosophy by rod girle overdrive. From it we deduce the basic completeness results in modal logic.
An introduction to modal logic 2009 formosan summer school on logic, language, and computation 29 june10 july, 2009. This book is the best introduction to modal logic i know, and it is great for reference too. Modern origins of modal logic stanford encyclopedia of. Purchase handbook of modal logic, volume 3 1st edition. Though, i should say, it doesnt go as in depth as, say, a new introduction to modal logic by hughes and cresswell, which is a great booka classicbut isnt the best if you need to ease your way into modal logic. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal this longawaited book replaces hughes and cresswells two classic studies of modal logic. An introduction to its syntax and semantics 9780195366570. Introduction to modal logic download link ebooks directory.
It covers propositional logic, firstorder logic, firstorder number theory, axiomatic set theory, and the theory of computability. Modal logic is a textbook on modal logic, intended for readers already acquainted with the elements of formal logic. Its one of the most if not the most readable introductions to modal logic. The choice of logical connectives depends on the development of propositional logic one wants to follow. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal. This chapter introduces the theory of consequence relations and matrix semantics. Modal logic, developed as an extension of classical propositional logic and firstorder quantification theory, integrates the notions of possibility and necessity and necessary implication. Modal logics and philosophy by rod girle overdrive rakuten. An investigation in quantified modal logic free books. A good start for the absolute basics is paul tellers book it is free here, and has an answer manual for all the exercises which is somewhat of a rarity if you get through that and what to continue, check out peter smiths site, it has a great guide aimed at philosophers, though for self learners, complete with. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on.
For example, the statement john is happy might be qualified by saying that john is usually happy, in which. A brief outline of modal predicate logic whether, how far, and in what ways various properties of sentential modal logics carry. I took an intro to logic class at school, we used the logic book 6th ed. Chapters 1,2,3 and 5 have been distributed in class. For the love of physics walter lewin may 16, 2011 duration. Modal logic is an extension of classic propositional and predicate logic that allows the use of modal operators. A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. A new introduction to modal logic is an entirely new work, completely rewritten by the authors. Kenneth konyndyks introduction to modal logic is a must.
Yet, it is possible for someone besides a logic student to read this book. This content was uploaded by our users and we assume good faith they have the permission to share this book. Kindle ebooks can be read on any device with the free kindle app. W is called our universe and elements of w are called worlds r is a relation on w. A nice introduction to modal logic though somewhat outdated. Pdf a new introduction to modal logic download full. Some problematic uses of modal expressions 329 it is possible that 329. Chellas pdf online free download info about 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. An introduction to its syntax and semantics amazon site. Assignments modal logic linguistics and philosophy mit. Please refer to the assigned text for homework assignments and the take home final. Depends a bit what level you are at, and if you have any math background. 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.
A new introduction to modal logic is an entirely new work, completely rewritten. Oct 20, 1995 a new introduction to modal logic is an entirely new work, completely rewritten by the authors. An introduction cambridge university press, 1980, which is entirely available in pdf form on courseworks section class files, folder shared files. The text also offers historical perspectives and many new exercises of varying difficulty, which motivate and lead students to an indepth, practical understanding of the material. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. This longawaited book replaces hughes and cresswells two classic studies of modal logic.
Modal logic introduces three new symbols into classical. Other chapters have been revised and updated, making the second edition a fully comprehensive introduction to modal logics and their application. Essays in metaphysics cambridge studies in philosophy. This book is to be read and you can also see how the usefulness of the book modal logic. The language l plphas the following list of symbols as alphabet. An introduction to formal logic open textbook library. Apr 22, 2016 read book modal logic as metaphysics free pdf. An introduction pdf format for free to read online. Modal logic attempts to include the notions of modality necessary, contingent, possible and impossible, among others into the structure of classical logic propositional logic and predicate calculus and is therefore an extension of classical logic. Introductory modal logic fills the need for a basic text on modal logic, accessible to students of elementary symbolic logic. An introduction to modal logic geared to wards philosophy students. Cresswell this longawaited book replaces hughes and cresswells two classic studies of modal logic.
717 1311 417 880 302 302 535 885 440 807 149 763 380 868 279 206 940 1415 742 449 395 311 296 555 470 1052 734 882 1160 1455 847 1067 92 1187 1042 542 1255 1025 880 146 1119 675 941 753 1146