A new introduction to modal logic, routledge, 1996. Please refer to the assigned text for homework assignments and the take home final. Questions from a new introduction to modal logic by hughes. Questions from a new introduction to modal logic by hughes and cresswell. Cresswell, an introduction to modal logic, methuen, 1968. By the same authors an introduction to modal logic a companion to modal logic g. As an excellent background on modal logic, these notes are also partly based on a manuscript by schmitt sch03 and the book by hughes and cresswell hc96. Basic concepts of modal logic video course course outline modal logic extends classical logic with the ability to express not only.
Cresswell professor of philosophy victoria university of wellington \. Modal logic autumn 2019 this is a followon course to logic 1, focusing on modal extensions of classical propositional and predicate logic. The semantics of propositional attitudes, bradford booksmit press. A new introduction to modal logic is an entirely new work, completely rewritten by the authors. Ulf friedrichsdorf and peter schroederheister the title of this book might suggest that it is primarily a continuation of the authors wellknown introduction to modal logic 1968. A new introduction to modal logic by ge hughes and mj cresswell. I is a common logical way of handling the notions of necessity, possibility, knowledge, belief, change, time, etc modalities i gives an alternative to. Hughes, of an introduction to modal logic, london, methuen, 1968. The chellas text in uenced me the most, though the order of presentation is inspired more by goldblatt. Hughes late professor of philosophy victoria university of wellington m. Beside that the book a new introduction to modal logic. Book note ge hughes and mj cresswell, a companion to modal. Cresswell professor of philosophy victoria university of wellington \ london and new york.
Cresswell is professor and chairman of the department of philosophy, victoria university of wellington, new zealand. 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. J bookplateleaf 0005 boxid ia1258116 camera sony alphaa6300 control. Researchers in areas ranging from economics to computational linguistics have since realised its worth. Download pdf a new introduction to modal logic free. Assignments modal logic linguistics and philosophy.
As well as an interest in ancient philosophy he has published several articles on plato and aristotle his main research area is modal logic and the philosophy of language. 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. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic. This longawaited book replaces hughes and cresswells two classic studies of modal logic. I no longer have copies of that paper but i enclose a reference from hughes and cresswell introduction to.
When we wrote it, we were able to give a reasonably comprehensive survey of the state of modal logic at that time. Cresswell, a companion to modal logic, methuen, 1984. An earlier book of ours, entitled an introduction to modal logic iml, was published in 1968. The main stream in new zealand has been modal logic, started by prior in the 1950s and continued principally through the efforts of. Kenneth konyndyks introduction to modal logic is a must.
Assignments modal logic linguistics and philosophy mit. 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. This longawaited book replaces hughes and cresswell s two classic studies of modal logic. A modala word that expresses a modalityqualifies a statement. Beall and bas van fraassen, possibilities and paradox oxford. Modal logic introduces three new symbols into classical. M j cresswell this longawaited book replaces not one but both of hughes and cresswells two previous classic studies of modal logic. Logic, published by methuen in 1968 and reprinted as a university paperback. Basic concepts of modal logic video course course outline modal logic extends classical logic with the ability to express not only p is true, but also statements like p is known or p is. The main stream in new zealand has been modal logic, started by prior in the 1950s and continued principally through the efforts of hughes and cresswell. There is a lack of consistency regarding symbols for modal operators.
Pdf a new introduction to modal logic download full pdf. George edward, 1918publication date 1968 topics modality logic publisher. A new introduction to modal logic george edward hughes, m. Cresswell was the coauthor with his colleague and former teacher g. Modal logic for open minds, csli publications, 2010. Participation in platos parmenides cresswell 1975 the. Semantical considerations on modal logic, acta philosophica fennica 16 1 963. Hughes and cresswell, of course, referred to the authors an introduction to modal. Documents and settingsall usersdocumentswordperfect. 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. 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. They have incorporated all the new developments that have taken place since 1968 in both. We have endeavored to present what we regard as the main streams of logical research in australia and new zealand from the very beginnings up to around 2008. An introduction to modal logic 2009 formosan summer school on logic, language, and computation 29 june10 july, 2009.
This book was later replaced by a new introduction to modal logic 1996. Beside that the book a new introduction to modal logic by m. An introduction to modal logic ordinary logic studies the partition of sentences1 into two categories, true and false. An introduction to modal logic and a companion to modal logic. 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 introduction to modal logic pdf free download epdf. Modern origins of modal logic stanford encyclopedia of. Cresswell this longawaited book replaces hughes and cresswell s two classic studies of modal logic.
This is an advanced 2001 textbook on modal logic, a field which caught the attention of computer scientists in the late 1970s. For a fuller treatment, see brian chellas, modal logic cambridge. Hughes and cresswell 1996 a classical, comprehensive book on modal logics that supersedes two previous books hughes. It is to be initial opinion for you to like to open up a book and learn it. This longawaited book replaces not one but both of hughes and cresswells two previous classic studies of modal logic. Hughes an introduction to modal logic, london, methuen, 1968 2 logics and languages, london, methuen, 1973 reissued as volume i of routledge library editions. Its one of the most if not the most readable introductions to modal logic. Basic concepts in modal logic1 stanford university. The language l plphas the following list of symbols as alphabet.
Introduction to philosophylogicmodal logic wikibooks. This book is an introduction to logic for students of contemporary philosophy. Further background on modal logic can be found in the book by fitting and mendelsohn fm99. An introduction to modal logic i introduction and historical. Hughes and max cresswell, a new introduction to modal logic routledge, 1996, or j. Hughes a companion to modal logic, london, methuen, 1984 4 structured meanings. 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. Another introduction to modal logic follows transition systems and finite. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal. An introduction to modal logic i introduction and historical remarks marco cerami palack y university in olomouc department of computer science olomouc, czech republic olomouc, october 10th 20 marco cerami upol modal logic i 10. A new introduction to modal logic george edward hughes. This is a more informal version of pretty much the same material as in our textbook, but with further more up to date applications. Hughes, of an introduction to modal logic methuen 1968 and author of logics and languages methuen 1973. 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.