From a philosophical point of view, however, this traditional concep tion of propositional modal logic has some unsatisfactory. For example, the statement john is happy might be qualified by saying that john is usually happy, in which. Modal logic definition of modal logic by the free dictionary. Phil 143 modal logic professor wesley holliday uc berkeley, spring 2018 author. My aim in this paper is to map out the surrounding territory and to commence that investigation. Ambitious new work by one of the worlds leading philosophers. Modern origins of modal logic stanford encyclopedia of.

Garson find, read and cite all the research you need on researchgate. The book uses natural deduction systems, which are widely. 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. Introduction to philosophylogicmodal logic wikibooks. 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 modal is an expression like necessarily or possibly that is used to qualify the truth of a judgement. Lloyd humberstone, philosophical applications of modal logic. 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. A nice introduction to modal logic though somewhat outdated. An introduction to nonclassical logic by priest 2008. 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 descriptions, and the dere dedictio distinction. Basic concepts in modal logic1 stanford university. An introduction to modal logic geared towards philosophy students. The scope of this entry is the recent historical development of modal logic, strictly understood as the logic of necessity and possibility, and particularly the historical development of systems of modal logic, both syntactically and semantically, from c.

Contentsshow nature of logic logic is generally understood and accepted as a set of rules that tell us when an arguments premises support their conclusion. Modal logic for philosophers pdf free download epdf. Modal science to appear in canadian journal of philosophy, 46 2016, supplementary issue, and in mark mccullagh and juhani ylivakkuri eds. Discussion of philosophical issues concerning the development of modal logic is woven into the text.

A philosophical conception of propositional modal logic the. 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. The handbook of modal logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. 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 descriptions, and the dere dedicto distinction. This book is an introduction to logic for students of contemporary philosophy. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. History of analytic philosophy quantified modal logic saul kripke. Modal logic introduces three new symbols into classical. The chellas text in uenced me the most, though the order of presentation is inspired more by goldblatt. 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. Modal logics and philosophy 2nd edition, mcgillqueens university press, montrealkingston. Prominent modal logics are constructed from a weak logic called k after saul kripke. Modal operators 323 nontruthfunctionality 323 modal and nonmodal propositions. An understanding of just what logic is, can be enhanced by.

That is, it presents modal logic as a tool for talking about structures or models. There has been much philosophical discussion of whether endorsement of the kripke semantics brings ontological commitment to possible loglc. Modal logic for philosophers designed for use by philosophy students, this book provides an accessible yet technically s. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. While this is faithful to the field as a whole technically, modal predicate logic is just one of many system combinations, it is a serious omission for many purposes, and we will only. 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 and others published modal logic for philosophers by james w. 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. Quine is one of the most eminent philosophers alive today.

The study of modal logic has helped in the understanding of many other contexts for sentences that are not truthfunctional, such as ought it ought to be the case that p and believes alice believes that p. Handbook of modal logic download ebook pdf, epub, tuebl, mobi. Read download modal logic for philosophers pdf pdf download. Modal logic is a textbook on modal logic, intended for readers already acquainted with the elements of formal logic. An introduction to modal logic 2009 formosan summer school on logic, language, and computation 29 june10 july, 2009. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. However, the term modal logic may be used more broadly for a family of.

Notes on some ideas in lloyd humberstones philosophical applications of modal logic. The story weaves together an article of van benthem, syntactic aspects of modal incompleteness theorems, and a longstanding open question. 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 is an extension of classic propositional and predicate logic that allows the use of modal operators. This chapter discusses the historical heartland of philosophical modal logic namely, the scope and limitations of modal logic as an account of necessity and.

Lewiss pioneering work starting in 1912, with the first systems devised in 1918, to s. Modal science to appear in canadian journal of philosophy. Reductio ad absurdum tests 315 summary 320 6 modal propositional logic 323 1. Purchase handbook of modal logic, volume 3 1st edition. Chapters 1,2,3 and 5 have been distributed in class. Lecture notes modal logic linguistics and philosophy. Patrick blackburn, johan van benthem, frank wolter.

Modal logic for philosophers second edition t his book on modal logic is especially designed for philosophy students. Modal logic as metaphysics hardcover timothy williamson. Download pdf semantical considerations on modal logic. The reason, i think, is that the notion of rigid designation and, incidentally, lots of other things philosophers of modality talk about cannot be made sense of in the simple modal language of necessity and possibility the language we start off with before we introduce possible worlds talk. Modal logic for philosophers assets cambridge university press. Modal syntax and semantics pdf basic modal systems pdf 45. The normal modal logics are introduced with an emphasis on philosophical topics and applications. A new textbook on modal logic providing a modern introduction to modal logic. Modal logic, philosophy society and department of philosophy, university of uppsala. A modala word that expresses a modalityqualifies a statement. Possibilities and paradox bybeallandvanfraassen2003. Modal logic, philosophical issues in routledge encyclopedia. Entries can be found on deductive systems, such as propositional logic, modal logic, deontic logic, temporal logic, set theory, manyvalued logic, mereology, and paraconsistent logic.

A read is counted each time someone views a publication summary such as the title, abstract, and list of authors, clicks on a figure, or views or downloads the fulltext. Other readers will always be interested in your opinion of the books youve read. One is to explain what modal logic is, and how it is done. The 352 alphabetically arranged entries give a clear, basic introduction to a very broad range of logical topics. Modal predicate logic an important topic in philosophical applications of modal logic that we have mostly ignored in this survey is modal predicate logic. Partviiidiscusses the extension of tfl by nontruthfunctional operators for possibility and necessity. Now in his mideighties he has produced a sharp, sprightly book that encapsulates the whole of his philosophical enterprise, including his thinking on all the key components. Logic, from classical greek logos, originally meaning the word, but also referring to speech or reason is the science that evaluates reasoning within arguments. While epistemology has a long philosophical tradition dating back to ancient greece, epistemic logic is a much more recent development with applications in many fields, including philosophy, theoretical computer science, artificial intelligence, economics and linguistics. But what kind of structures can modal logic talk about. Epistemic modal logic is a subfield of modal logic that is concerned with reasoning about knowledge. Technical report 7807, department of mathematics, university of amsterdam, 1978. On the degree of incompleteness in modal logic and the covering relations in the lattice of modal logics. A new textbook on modal logic still in draft form provides a modern introduction to modal logic.

654 120 1648 144 617 738 1447 719 1507 578 642 1308 69 1117 727 1390 529 1209 764 143 1576 714 1562 1138 1002 339 1022 1489 581 1484 1498 1367 241 194 731 828 810 1212 100 77 1418 1340 653 1334 1014