Some philosophers, notably kant, discuss both of these worlds and what can be inferred about each one. Garson this book on modal logic is especially designed for philosophy students. Ambitious new work by one of the worlds leading philosophers. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. Platonism and theism internet encyclopedia of philosophy. Necessity is parsed as obtaining in all possible worlds. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field. This book on modal logic is especially designed for philosophy stu dents. The prospect of a new logic for philosophy by david corfield 2020 isbn. Counterfactuals, neighborhood semantics, probability, predicative necessity, etc. Some philosophers and scientists, such as the logical positivists, reject the entire subject of metaphysics as meaningless, while others disagree and think that it is legitimate.
Modal logic is the study of modal propositions and the logical relationships that they bear to one another. In part 1, the reader is introduced to some standard systems of modal logic and provided with a series of. The initiative consists of a conference series together with volumes based on the conferences. This paper investigates what happens when we merge two different lines of theorizing about counterfactuals, with particular attention to the goal of giving a compositional. Modal logic, philosophy society and department of philosophy, university of uppsala, vol. This book is an introduction to logic for students of contemporary philosophy. Dmbl, is characterized by the modus ponens, the classical axioms c.
Pdf modality and modal logic in medieval philosophy. Energy and environment gerad 25th anniversary energy and environment is a volume on energy and environmental modeling that describes a broad variety of modeling methodologies, embodied in models of varying scopes and philosophies, ranging from topdown integrated assessment models to bottomup partial equilibrium models, to hybrid models. Lewiss are not intuitively clear until explained in non modal. His research interests include logic, especially modal logic, the philosophy of mind, neural networks, formal semantics, natural language processing and philosophical issues concerning the impact of information technology. The term alethic is popular in the literature on modal logic, but not necessarily popular in other literature e. Modal operators 323 nontruthfunctionality 323 modal and nonmodal propositions. An analysis of plantingas response to the ontological argument. This is not a book of modal logic for philosophers. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. This book provides comprehensive and accessible coverage of the disciplines of philosophy of mathematics and philosophy of logic. Modal logic was born in philosophy, and has travelled widely. It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. Identity and descriptions pdf contingent identity pdf 2425. Philosophy of mathematics and philosophy of history request pdf.
In philosophy, specifically in the area of modal metaphysics, counterpart theory is an alternative to standard possibleworlds semantics for interpreting quantified modal logic. 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. The polytheistic approach to modal logics alethic modal logic. The logic is characterized by a class of relational structures defined according to ideas of epistemic twodimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority. To read them, youll need to have either adobe acrobat or adobe acrobat reader installed. Semantics of functional terms modal logic and metaphysics. An introduction to modal logic geared towards philosophy students. Philosophers have long been interested in how a modal claim can be known, justified, or understood. For graduate students in philosophy, this course satis. Reductio ad absurdum tests 315 summary 320 6 modal propositional logic 323 1. The twodimensional modal logic of davies and humberstone 1980 is an important aid to our understanding the relationship between actuality, necessity and a priori knowability. In this paper, i provide a new semantics for firstorder logic built around this idea. Modal logic is a type of formal logic primarily developed in the 1960s that extends classical. Modal logic for open minds byjohanvanbenthem,availableatthebookstore.
Philosophical and methodological motivations for combining logics. 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. 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. Abduction at the interface of logic and philosophy of science. This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. Covering modal skepticism, modal expressivism, modalism, modal realism, ersatzism, modal fictionalism, modal agnosticism, and the new modal actualism, this comprehensive introduction to modality places contemporary debates in an historical. Lecture notes modal logic linguistics and philosophy mit. Revealing modal status and modal relations 279 modal status 279 modal relations 284 deductive validity 290 5. The ifcolog journal of logics college publications home.
Annual logic lecture university of connecticut logic group. Dynamic epistemic and doxastic logics sonja smets, illc. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical. Herein we present an extension to our previous work on the modal transition system analyser mtsa 19 tool that now includes the dcs algorithm. View enhanced pdf access article on wiley online library html view. Something is possible if there is at least one possible world in which it obtains. Given the ease with which kripkean modal logics can be expressed in firstorder logic, the case for modal logic is not directly one of expressiveness. Philosophy department, university of auckland, new zealand. Modal logic linguistics and philosophy mit opencourseware. Even though they use rabinstyle tree models, they introduce additional epis. Modal logic is an extension of classic propositional and predicate logic that allows the use of modal operators.
Modal logic for philosophers request pdf researchgate. Logic and ontology firstorder temporal logic and the ontology of physical objects share. Why abandon the default appraoch 2017 pdf john horty has proposed an approach to reasoning with oughtpropositions which stands in contrast to the standard modal approach to deontic logic. Reasoning about protocols under imperfect information pdf. Incidentally, my text for modal logic is modal logic for open minds, and my text for rstorder metatheory last time was chiswell and hodges mathematical logic, plus. The term temporal logic has been broadly used to cover all approaches to reasoning about time and temporal information, as well as their formal representation, within a logical framework, and also more narrowly to refer specifically to the modal logic type of approach introduced around 1960 by arthur prior under the name tense logic and subsequently developed further by many logicians and. Basic concepts in modal logic1 stanford university. In short, it teaches the logic necessary for being a contemporary philosopher. There are logicians, myself among them, to whom the ideas of modal logic e. Dennett is a cognitive scientist in addition to being a philosopher, and his work considers philosophy of mind and. A critical introduction to the metaphysics of modality. Looking beyond modal logic to inductive logic 370 the cardinality of a class and other concepts of class size 371 the concept of contingent content 372 monadic modal functors 375 what are the prospects for a fullydeveloped inductive logic.
Kripke, putnam, and donnellan 239 introduction 239 the traditional theory of meaning and reference 240. A critical introduction to the metaphysics of modality examines the eight main contemporary theories of possibility behind a central metaphysical topic. Megarian school of philosophy what happenswasnecessarily going to happen. This possibilist view validates the converse barcan formula. I show how a cutfree hypersequent calculus for 2d modal logic not only captures the logic precisely, but may be used to address issues in the epistemology and. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. Philosophers have argued untiringly, over many centuries, about the ties of logic with ontology. The modal logic t is characterized by the modus ponens, the classical axioms c. Chapters 1,2,3 and 5 have been distributed in class. Since this article is about modal logic, not epistemology or metaphysics or whatever, i think we should stick to alethic. This article explores the compatibility of, and relationship between, the platonic and theistic metaphysical visions. Reporting on joint work with chungchieh shan, i will show that the logic is sound and complete with respect to the usual class of relational models. Extended outline of an earlier course including an appendix on modal logic pdf, june 15, 2009 version. Modal logic is, strictly speaking, the study of the deductive behavior of the expressions it is necessary that and it is possible that.
When i purchased the book, i thought it was going to be about how modal logic is used to solve philosophical problems. Garson is a professor in the department of philosophy at the university of houston. Discussion of philosophical issues concerning the development of modal logic is woven into the text. The field is considered to be distinct from philosophical logic. Introduction saul kripke has made fundamental contributions to a variety of areas of logic, and his name is attached to a corresponding variety of objects and results.
A nice introduction to modal logic though somewhat outdated. Johan van benthem eric pacuit artificial intelligence. Sep 11, 2018 if we want to address modal questions, i. Phil 143 modal logic professor wesley holliday uc berkeley, spring 2018 tuth 1112. Impossibility is parsed as not obtaining in any possible worlds. Modal science to appear in canadian journal of philosophy, 46 2016, supplementary issue, and in mark mccullagh and juhani ylivakkuri eds. One of his major problems was the following reductionchallenge. In fact, the effort to clarify them has been continuing hundred years since frege8, 9. A modal a word that expresses a modalityqualifies a statement. Philosophy of logic is the investigation, critical analysis and intellectual reflection on issues arising in logic. Ontological foundations of russells theory of modality pdf. Twodimensional modal logic answers and hints references index. These include logics for belief, for tense and other temporal expressions.
A new textbook on modal logic providing a modern introduction to modal logic. They were further developed and studied by both philosophers parikh, stalnaker etc. A central object for thought the square of opposition is a very famous theme coming from aristotelian logic dealing with the notions of opposition, negation, quantification and proposition. These are important in his discussion of modal logic and tense logic. And in the modal logic, researchers succeeded in it to a certain extent, proposed some possible solutions to the problems in the philosophy and ordinary languages. An introduction to modal logic 2009 formosan summer school on logic, language, and computation 29 june10 july, 2009. A new textbook on modal logic still in draft form provides a modern introduction to modal logic. Energy and environment gerad 25th anniversary book title. For more on how to combine modal logic with predicate logic where the. Modality and modal logic in medieval philosophy, university of western ontario. 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. Designed for use by philosophy students, this 2006 book provides an accessible, yet technically sound treatment of modal logic and its philosophical. Modal science to appear in canadian journal of philosophy. Johan van benthem 41 broad strokes, i would say that i use the logical mindset to look at epistemological issues in a new light, providing new answers, but maybe more often.
Possible objects stanford encyclopedia of philosophy. Epistemic logic was rst formalized by hintikka 1962, who also sketched the rst steps in formalizing doxastic logic. The ontology of nonactual possible objects is an integral part of the possibilist view that quantifiers in quantified modal logic range over all possible objects, nonactual as well as actual. Advances in modal logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. Modal logic for philosophers assets cambridge university press. The oxford handbook of philosophy of mathematics and logic.
Encyclopedia of philosophy ballarin, 2008 plus the chapter logic in philosophy by j. Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophical discussion, modal logics and philosophy focuses on showing how useful modal logic can be as a tool for formal philosophical analysis. The concept of form 301 sentences and sentential forms in a logic 301 the relationship between sentences and sentenceforms 302 7. Modal logic 204 possible worlds 212 problems with the canonical conception of possible worlds 216 transworld identity and identi. And what enabled me to do that is the position of logic at the interface of many disciplines, allowing logicians to draw inspiration. 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. This chapter discusses the historical heartland of philosophical modal logic namely. Van benthems manual of intensional logic van benthem, 1988a extends the canvas to linguistics and computer science, while the editorial introduction to the 2006 handbook of modal logic blackburn et al. Despite being closely related, the research on these topics has been developed independently. The form of the theory most commonly cited was developed by david lewis, first in a paper and later. Hortys approach is based on default theories as known from the framework of default logic.
Combining logics stanford encyclopedia of philosophy. The story weaves together an article of van benthem, syntactic aspects of modal incompleteness theorems, and a longstanding open question. Modal logic for philosophers designed for use by philosophy students, this book provides an accessible yet technically s. Request pdf modal logic for philosophers designed for use by philosophy. The method is clear and appropriate for a wide range of metaphysical issues. The epistemology of modality stanford encyclopedia of. Modal logic for philosophers pdf free download epdf. They involve the modal concepts of actuality, possibility. Using the semantics of modal logics, objections against this conclusion can be. Counterpart theory still presupposes possible worlds, but differs in certain important respects from the kripkean view. In computer science, modal logic is important because of the relatively good complexity classes of its various.
Use the link below to share a fulltext version of this article with your friends and colleagues. Modal logic for philosophers second edition t his book on modal logic is especially designed for philosophy students. Firstorder modal logic and the ontology of physical objects. While some have followed parmenides in identifying the two, others particularly since abelard have asserted the ontological neutrality of logic and, finally, a third party has oscillated between those two extremes.
The philosophy of philosophy timothy williamson download. Advanced truthtable techniques 294 corrected truthtables 294 reduced truthtables 297 6. It prepares students to read the logically sophisticated articles in todays philosophy journals, and helps them resist bullying by symbolmongerers. 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. Survey on dynamic logics of informational attitudes pdf. Also, although ill talk of sentences, i wish you to understand me to mean sentenceradicals. Philosophical logic is the branch of study that concerns questions about reference, predication, identity, truth, quantification. Aristotle may also be credited with the formulation of several metalogical theses, most notably the law of noncontradiction, the principle of the excluded middle, and the law of bivalence. A cutfree sequent system for twodimensional modal logic. Studies in logic and practical reasoning handbook of. I think the same would be wise for the methodology of science.
Is modal logic really established as part of mathematical logic. One is to explain what modal logic is, and how it is done. Leibnizs conceptual containment theory says that singular propositions of the form a is f are true when the complete concept of being a contains the concept of being f. Two logical faces of belief revision 1 institute for logic. Or, at least, this is a thesis we try to defend in this chapter. However, despite our developing a sentential model of the attitudes, well continue to call them propositional attitudes, rather than sentential attitudes. Fifth world congress on the square of opposition 1. According to platonism, there is a realm of necessarily existing abstract objects comprising a framework of reality beyond the material world. 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. Furthermore, thedevelopmentofanimproved syntactical hiding for the utilized logic embedding technique allows the refutation to be presented in a humanfriendly way, suitable for nonexperts in the technicalities of higherorder theorem proving. Read download modal logic for philosophers pdf pdf download. Abduction at the interface of logic and philosophy of science 273 puter science, economic game theory, and formal sociology are rapidly developing new interfaces today, including studies of strategies, belief change, and preference merge. A solid background in firstorder logic is essential.
457 359 159 253 1138 1095 139 165 476 1090 1647 1007 399 1082 1629 833 871 396 978 1398 47 323 1026 166 54 222 1165 1482 1167 1345 932 448 1263 438