A semantic perspective 3 chapters in this handbook. A new textbook on modal logic still in draft form provides a modern introduction to modal. For example, modal logic can be given an algebraic semantics, and under this interpretation modal logic is a tool for talking about what are known as boolean algebras with operators. That is, it presents modal logic as a tool for talking about structures or models. Johan van benthem, modal logic for open minds, csli lecture. But what kind of structures can modal logic talk about. Chapters 1,2,3 and 5 have been distributed in class. About the open logic project the open logic text is an open source, collaborative textbook of formal meta logic and formal methods, starting at an intermediate level i. An open introduction to modal logic, remixed by richard zach, 2020. Its now possible to rigorously show that some properties are unde nable in particular modal languages. Review hans van ditmarsch 2012 studia logica 100 5. It furthers the universitys objective of excellence in research, scholarship, and education by publishing worldwide. Feb 06, 20 i discuss the notion of logical consequence, and outline two important approaches to consequence. A new textbook on modal logic providing a modern introduction to modal logic.
The logic iled is proposed as an extension of intuitionistic logic apt for use as a general logic. Dec 29, 2015 most generally speaking, a mode is a kind of state of being. Request pdf on jan 1, 2012, hans van ditmarsch and others published modal logic for open minds, csli lecture notes by johan van benthem find, read. In addition, the following books and survey articles are recommended the relevant excerpts will be made available in class. A video explaining saul kripkes modal logic semantics, including possible worlds, the accessibility relation, and the valuation operation. All content, except where otherwise noted, is provided under a creative commons 4.
While it still retains a bit of this grandeur, today, modal logic sits at a crossroads of many academic disciplines, and thus, it provides a unique vantage point for students with broad interdisciplinary in. In modal logic for open minds, johan van benthem provides an introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. The oxford handbook of philosophy of mathematics and logic. Goble,editor,the blackwell guide to philosophical logic. Researchers in areas ranging from economics to computational linguistics have since realised its worth. The question, which modal logic is the right one for logical necessity. A solid background in firstorder logic is essential. In modal logic for open minds, johan van benthem provides an introduction to the field of modal logic, outlining its major ideas and exploring the numerous. The chellas text in uenced me the most, though the order of presentation is inspired more by goldblatt. Basic concepts in modal logic1 stanford university. This book is intended as an advanced undergraduatebeginning grad uate course on modal logic. To compile the source code into a pdf yourself, you need latex.
With more than 2,200 courses available, ocw is delivering on the promise of open sharing of knowledge. A list describing the best known of these logics follows. This book is to be read and you can also see how the usefulness of the book modal logic. Each short chapter in these notes corre sponds roughly to 1 1 2 hour class meeting, supported by a section. Chellas pdf online free download info about modal logic. Deductive systems and the decidability problem for hybrid logics 2014. Center for the study of language and information, 2010 ocolc7681533. Van benthem begins with the basic theories of modal logic, semantics, bisimulation, and axiomatics, and also covers more advanced topics, such as. Modal logic was born in the early part of the 20th century as a branch of logic applied to the analysis of philosophical notions and issues. Ive tried using modal logic for open minds, but it was too technical. Modal logic for open minds lecture notes 9781575865980. This looks like a great introduction for someone with a solid background in logic, but possibly not so much for others. Interpretations of modal logic mind oxford academic. Basic results about these concepts are stated and some simple proofs are given.
The concept of form 301 sentences and sentential forms in a logic 301 the relationship between sentences and sentenceforms 302 7. I is a common logical way of handling the notions of necessity, possibility, knowledge, belief, change, time, etc modalities i gives an alternative to. Though aimed at a nonmathematical audience in particular, students of philosophy and computer science, it is rigorous. The most straightforward way of constructing a modal logic is to add to some standard nonmodal logical system a new. As i have read further in this book, it looks to me that the for open minds portion of the title refers to the fact that the author goes quite far afield of typical modal logic as the book. Prominent modal logics are constructed from a weak logic called k after saul kripke. Van benthem begins with the basic theories of modal logic, semantics, bisimulation, and axiomatics, and also covers more advanced topics, such as expressive power and. Is there any better starting place for someone with a good background in predicate and propositional logic. Applications of modal logic in linguistics introduction ps pdf author. Modal logic for open minds, csli publications, 2010 r. The oxford handbook of philosophy of mathematics and logic stewart shapiro editor, professor of philosophy, ohio state university abstract. Phil 143 modal logic professor wesley holliday uc berkeley, spring 2018 tuth 1112. This logic was used heavily by the late george boolos in his 1993 magnum opus of the logic. Further instructions on compiling pdfs from the latex source can be found in the wiki.
Modal logic is the logic of necessity and possibility, and by extension of analogously paired notions like validity and consistency, obligation and permission, the known and the notruledout. Van benthem begins with the basic theories of modal logic, semantics, bisimulation, and axiomatics, and also covers more. Lecture notes modal logic linguistics and philosophy. Narrowly construed, modal logic studies reasoning that involves the use of the expressions necessarily and possibly. Modal logic for open minds modal logic mathematical logic. A view of its evolution 5 was a variable neither always true nor always false. Van benthem has an earlier book on modal logic thats a little more accessible. In modal logic for open minds, johan van benthem provides an uptodate introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. This website provides information about the book modal logic for open minds by johan van benthem. Modal logic linguistics and philosophy mit opencourseware. Mit opencourseware makes the materials used in the teaching of almost all of mits subjects available on the web, free of charge. Aug 22, 2002 this is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. Modal logic is at work in many disciplines beyond philosophy, as one can see in the 2006 handbook of modal logic or the conference series advances in modal logic. Modal logic wasborn in the earlypart of the 20th century as a branchof logic applied to the analysis of philosophical notions and issues.
A modala word that expresses a modalityqualifies a statement. This book provides comprehensive and accessible coverage of the disciplines of philosophy of mathematics and philosophy of logic. Questions for a proof theory of modal logic proof analysis in modal logic firstorder modal logic completeness for kripke semantics other nonclassical logics does the deduction theorem fail for modal logic. This is a moderately advanced level book, and was published recently, in 2010. An introduction to modal logic geared towards philosophy students. These notes are meant to present the basic facts about modal logic and so to provide a common ground for further study. Notes on modal logic stanford ai lab stanford university. Advanced truthtable techniques 294 corrected truthtables 294 reduced truthtables 297 6. The choice of logical connectives depends on the development of propositional logic one wants to follow. Johan van benthem, modal logic for open minds, csli lecture notes, stanford university, 2010, pp. Johan van benthem, modal logic for open minds philpapers. Open logic project open source, customizable, advanced. Phil 143 modal reasoning professor wesley holliday uc berkeley, fall 2012 tuth 23. However, the term modal logic is used more broadly to cover a family of logics with similar rules and a variety of different symbols.
Van benthem begins with the basic theories of modal logic, examining its relationship to language, semantics, bisimulation, and. An introduction pdf format for free to read online. 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. In modal logic for open minds, johan van benthem provides an uptodate. Studies in logic and practical reasoning handbook of modal. A modal a word that expresses a modalityqualifies a statement. February 2, 2010 vi modal logic for open minds iii selected applications 127 12 epistemic logic 3 doxastic and. Chapter 1 modal logics of space institute for logic. Csli publications has a website for the book from where it can be ordered. 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. Modal logic for open minds csli publications stanford university. A typical course of mine would cover, after the introduction, most of the mechanics of the. It may sound surprising, but the notion of a possible worldof a way things might have been or might becan be used to illuminate the whole of logical theory, and it can resolve many theoretical.
References problems of proof theory in modal logic sara negri university of helsinki workshop on recent trends in proof theory. In modal logic for open minds, johan van benthem provides an uptodate introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various. Citeseerx document details isaac councill, lee giles, pradeep teregowda. Modal logic, formal systems incorporating modalities such as necessity, possibility, impossibility, contingency, strict implication, and certain other closely related concepts. It also includes the semantic meaning of each of the.
In modal logic for open minds, johan van benthem provides an introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in. Classic logic is great for mathematics, but for the analysis of daily language and arguments, it lacks certain operators. Modal logic for open minds, csli lecture notes by johan van. Today, virtually all advanced work in modal logic and on the frontiers of logic rests on one version or another of possible worlds semantics. An introduction to modal logic 2009 formosan summer school on logic, language, and computation 29 june10 july, 2009. Modal logic for games and information introduction ps pdf authors. Van benthem 2010 is a textbook in modal logic with the same broad thrust.
The term modal logic refers to an enrichment of standard formal logic where the standard operations and, or, not, implication and perhaps forall, etc. Revealing modal status and modal relations 279 modal status 279 modal relations 284 deductive validity 290 5. Goble,editor,the blackwell guide to philosophical logic, pages203223. Tools and techniques in modal logic, elsevier, 1999. 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. Final 10th chapter 21 of part iii is about modal provability logic with the regular modal box meaning is provable and logic gl. Van benthem begins with the basic theories of modal logic, semantics. Van benthem begins with the basic theories of modal logic, examining its relationship to language, semantics, bisimulation, and axiomatics, and then covers more advanced topics, such as. However, the term modal logic is often used to include other extensions, for instance temporal logic, that allows for the expression of past or future truths.
For example, your hair dryer will have typically have at least two modes. At this writing, i am reading great chapter 7, the first one in part ii. Counterfactuals, neighborhood semantics, probability, predicative necessity, etc. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two di. Modal reasoning university of california, berkeley. Priors basic system of temporal logic, and discuss some of the fundamental logical questions pertaining to it.
A nice introduction to modal logic though somewhat outdated. Oxford university press is a department of the university of oxford. These notes are meant to present the basic facts about modal logic and so to provide a common ground for. Csli publications has a website for the book from where.