Dialogical logic is an approach to logic in which the meaning of the logical constants connectives and quantifiers and the notion of validity are explained in gametheoretic terms. Phil 143 modal logic professor wesley holliday uc berkeley, spring 2015 author. This book presupposes that readers know the attractions and power of this approach, including the notions of logical syntax, semantics, proof, and. The primary goal is to provide students in philosophy 370 at the university of maryland, college park with a study guide that will complement the lectures on modal logic. If we can combine reasoning, or at least combine logics, why not decompose them. Sections 2 and 3 deal with topics in epistemic logic and deontic logic, respectively, and are meant to illustrate two di. Modal operators 323 nontruthfunctionality 323 modal and nonmodal propositions. Using the semantics of modal logics, objections against this. 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. Garson this book on modal logic is especially designed for philosophy students. Notes on modal logic notes for phil370 eric pacuit october 22, 2012 these short notes are intended to introduce some of the basic concepts of modal logic. Philosophy of logic, logic, philosophy of education, pluralism, dogmatism, misconceptions. Modal logic for philosophers second edition t his book on modal logic is especially designed for philosophy students. Propositional modal logic modal logic is the logic of necessity, possibility and other related notions.
Deontic logic introduction and application in computer science. Sentential operators are devices that take sentences to form new sentences. However, the term modal logic may be used more broadly for a family of. Discussion of philosophical issues concerning the development of modal logic is woven into the text. This book is to be read and you can also see how the usefulness of the book modal logic. The epistemology of modality stanford encyclopedia of. The method of analysis 180 the objects of philosophical analysis 180 three levels of analysis 181 the idea of a complete analysis 183 the need for a further kind of analysis 184 possibleworlds analysis 185 degrees of analytical knowledge 187 3. Hence, the logic question in african philosophy in the 21 st century should be concerned with how to redefine, discover and develop new laws and systems of logic that will help africans and other. Philosophical logic refers to those areas of philosophy in which recognized methods of logic have traditionally been used to solve or advance the discussion of philosophical problems. The truth or falsity of the compound proposition a. Modal logic is, strictly speaking, the study of the deductive behavior of the expressions it is necessary that and it is possible that. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. No previous exposure to epistemic logic is assumed. Preface this book is an introduction to logic for students of contemporary philosophy.
This is not a book of modal logic for philosophers. Symbolic logic january 7, 2016 instructor carlotta pavese, phd main lecture time wednesday and friday 10. Philosophical methods include questioning, critical. Counterfactuals, neighborhood semantics, probability, predicative necessity, etc. Chellas pdf online free download info about modal logic. Lecture notes modal logic linguistics and philosophy.
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. Many readers will likely be amused at what the professional philosophers quoted on the back cover consider lively and accessible. Informal logic and the dialectical approach to argument. Holliday university of california, berkeley abstract this chapter provides a brief introduction to propositional epistemic logic and its applications to epistemology. Readers with no previous knowledge of formal logic will. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus.
Chapters 1,2,3 and 5 have been distributed in class. In semantical considerations on modal logic, kripke articulates his project in. A semantic perspective 3 chapters in this handbook. Modal logic for philosophers pdf free download epdf. This book is an introduction to logic for students of contemporary philosophy. Reductio ad absurdum tests 315 summary 320 6 modal propositional logic 323 1. Consequently, an object exists necessarily as far as w is concerned iff it exists in all worlds that w can access. This chapter discusses the historical heartland of philosophical modal logicnamely, the scope and limitations of modal logic as an account of necessity and possibility. Again here, philosophers argue about this matter of modal realism.
An introduction to modal logic geared towards philosophy students. For more on how to combine modal logic with predicate logic where the. After giving an overview of classical logic, john burgess introduces five central branches of nonclassical logic temporal, modal, conditional, relevantistic, and intuitionistic, focusing on the sometimes problematic. Modal logic for philosophers designed for use by philosophy students, this book provides an accessible yet technically s.
After giving an overview of classical logic, john burgess introduces five central branches of nonclassical logic, focusing on the sometimes problematic relationship between. The philosophy of modality is the area in which one studies the metaphysics, semantics, epistemology, and logic of modal claimsthat is, claims about what is necessary, possible, contingent, essential, and accidental. 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. A modal a word that expresses a modalityqualifies a statement. Combining logics stanford encyclopedia of philosophy. Lecture notes 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.
Is it possible to combine different logics into coherent systems with the purpose of using. A prerequisite to benefiting from burgess philosophical logic is at least one introductory course in symbolic logic. Classical and nonclassical logics vanderbilt university. Such questions are often posed as problems to be studied or resolved. Request pdf modal logic for philosophers designed for use by philosophy. The meaning of each logical constant such as and, or, implies, not, every, and so. The chellas text in uenced me the most, though the order of presentation is inspired more by goldblatt. In reflecting on the origins of informal logic, johnson and blair 2002, pp. From if to is cambridge introductions to philosophy. An introduction pdf format for free to read online. Syllogistic logic, laws of noncontradiction and excluded middle, modal logic. Many philosophers recognize the importance of modal logic, broadly construed, in contemporary philosophical discourse. Philosophers have long been interested in how a modal claim can be known, justified, or understood. A modal is an expression like necessarily or possibly that is used to qualify the truth of a judgement.
Modal logic starts with such modal words and the inferences involving them. Philosophical applications of modal logic philpapers. 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. Ambitious new work by one of the worlds leading philosophers. Implication, in logic, a relationship between two propositions in which the second is a logical consequence of the first. Among these, sybil wolfram highlights the study of argument, meaning, and truth, while colin mcginn presents identity, existence, predication, necessity and truth as the main topics of his book on. 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.
Some of the sophists classified types of sentences logoi according to their force. Modal logic was born in philosophy, and has travelled widely. In most systems of formal logic, a broader relationship called material implication is employed, which is read if a, then b, and is denoted by a. The agenda introduction basic modal logic normal systems of modal logic metatheorems of normal systems variants of modal logic conclusion. Logic dictionary keith burgessjackson 12 august 2017 addition add. Notes on some ideas in lloyd humberstones philosophical applications of modal logic. Basic concepts in modal logic1 stanford university. In reasoning we often use words such as necessarily, possibly, can, could, must and so on. For example, if we know that an argument is valid, then we know that it is necessarily true that if the premises are true, then the conclusion is true. A new textbook on modal logic still in draft form provides a modern introduction to modal logic.
Very broadly, p is necessary in world w iff p is true in all worlds that w can access where the definition of accessibility differs from modal system to system. Philosophical logic is a clear and concise critical survey of nonclassical logics of philosophical interest written by one of the worlds leading authorities on the subject. So protagoras 485415 bce, who included wish, question, answer and command diels kranz dk 80. Modalswords that express modalitiesqualify a statement.
Now we must combine the semantics of predicate logic, which has. Philosophy from greek, philosophia, literally love of wisdom is the study of general and fundamental questions about existence, knowledge, values, reason, mind, and language. Modal logic cambridge tracts in theoretical computer science book 53 patrick blackburn. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. We studied a little logic in both subjects, but there was barely any attempt to connect logic with philosophybut one course in philosophy of. Modal logic for philosophers request pdf researchgate. Prominent modal logics are constructed from a weak logic called k after saul kripke. 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. An introduction to modal logic 2009 formosan summer school on logic, language, and computation 29 june10 july, 2009. Finally, we combine the two obtained truth values and get f. Classic logic is great for mathematics, but for the analysis of daily language and arguments, it lacks certain operators. I was an undergraduate in both mathematics and philosophy at the university of keele in the 1960s.
58 1369 641 242 829 343 648 1392 1257 1027 643 723 503 1090 1021 476 381 38 271 1216 1091 1370 1096 562 482 1116 587 885 1244 1013 256 529 661