A solid background in firstorder logic is essential. 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. Or, at least, this is a thesis we try to defend in this chapter. However, the term modal logic may be used more broadly for a family of related systems. Ontological foundations of russells theory of modality pdf. Philosophy of logic is the investigation, critical analysis and intellectual reflection on issues arising in logic. One of his major problems was the following reductionchallenge. Survey on dynamic logics of informational attitudes pdf. The oxford handbook of philosophy of mathematics and logic stewart shapiro editor, professor of philosophy, ohio state university abstract. The field is considered to be distinct from philosophical logic.
Lecture notes modal logic linguistics and philosophy. Philosophical logic is the branch of study that concerns questions about reference, predication, identity, truth, quantification. Garson is a professor in the department of philosophy at the university of houston. Counterfactuals, neighborhood semantics, probability, predicative necessity, etc. Impossibility is parsed as not obtaining in any possible worlds. 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. Logic and ontology firstorder temporal logic and the ontology of physical objects share.
Modal logic was born in philosophy, and has travelled widely. Advanced truthtable techniques 294 corrected truthtables 294 reduced truthtables 297 6. A new textbook on modal logic still in draft form provides a modern introduction to modal logic. According to platonism, there is a realm of necessarily existing abstract objects comprising a framework of reality beyond the material world. 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. The form of the theory most commonly cited was developed by david lewis, first in a paper and later. Every effort is made to simplify the presentation by using diagrams instead of more complex mathematical apparatus. Something is possible if there is at least one possible world in which it obtains. These are important in his discussion of modal logic and tense logic. Phil 143 modal logic professor wesley holliday uc berkeley, spring 2018 tuth 1112. Encyclopedia of philosophy ballarin, 2008 plus the chapter logic in philosophy by j. The ifcolog journal of logics college publications home. View enhanced pdf access article on wiley online library html view.
Studies in logic and practical reasoning handbook of. Modal logic for philosophers second edition t his book on modal logic is especially designed for philosophy students. An introduction to modal logic 2009 formosan summer school on logic, language, and computation 29 june10 july, 2009. Philosophers ground their talk of possibility and necessity in possible worlds, the semantic representation of modal 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. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. Modal science to appear in canadian journal of philosophy, 46 2016, supplementary issue, and in mark mccullagh and juhani ylivakkuri eds.
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. Twodimensional modal logic answers and hints references index. This chapter discusses the historical heartland of philosophical modal logic namely. Modal science to appear in canadian journal of philosophy. This article explores the compatibility of, and relationship between, the platonic and theistic metaphysical visions. 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. The term alethic is popular in the literature on modal logic, but not necessarily popular in other literature e. Basic concepts in modal logic1 stanford university. Energy and environment gerad 25th anniversary book title. In fact, the effort to clarify them has been continuing hundred years since frege8, 9.
Counterpart theory still presupposes possible worlds, but differs in certain important respects from the kripkean view. Also, although ill talk of sentences, i wish you to understand me to mean sentenceradicals. They were further developed and studied by both philosophers parikh, stalnaker etc. 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. 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.
It provides an accessible yet technically sound treatment of modal logic and its philosophical applications. 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. Johan van benthem eric pacuit artificial intelligence. This book provides comprehensive and accessible coverage of the disciplines of philosophy of mathematics and philosophy of logic. Using the semantics of modal logics, objections against this conclusion can be. 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. Modal logic, philosophy society and department of philosophy, university of uppsala, vol.
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. Philosophers have long been interested in how a modal claim can be known, justified, or understood. Dmbl, is characterized by the modus ponens, the classical axioms c. These include logics for belief, for tense and other temporal expressions. Ambitious new work by one of the worlds leading philosophers. In part 1, the reader is introduced to some standard systems of modal logic and provided with a series of. I think the same would be wise for the methodology of science.
Fletcher professor of philosophy at tufts university. 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. Limitations of space have ruled out any attempt at writing a survey of all the work going on in our field. Extended outline of an earlier course including an appendix on modal logic pdf, june 15, 2009 version. The initiative consists of a conference series together with volumes based on the conferences. 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. 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. 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. Advances in modal logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. Philosophical and methodological motivations for combining logics. Possible objects stanford encyclopedia of philosophy. For graduate students in philosophy, this course satis. This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. 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. Revealing modal status and modal relations 279 modal status 279 modal relations 284 deductive validity 290 5. An analysis of plantingas response to the ontological argument. Modality and modal logic in medieval philosophy, university of western ontario. Modal logic for philosophers assets cambridge university press. Modal logic is the study of modal propositions and the logical relationships that they bear to one another. A critical introduction to the metaphysics of modality examines the eight main contemporary theories of possibility behind a central metaphysical topic. In computer science, modal logic is important because of the relatively good complexity classes of its various. Modal logic 204 possible worlds 212 problems with the canonical conception of possible worlds 216 transworld identity and identi. Annual logic lecture university of connecticut logic group. The second volume in the blackwell brown lectures in philosophy, this volume offers an original and provocative take on the nature and methodology of philosophy based on public lectures at brown university, given by the preeminent philosopher, timothy williamson. There are logicians, myself among them, to whom the ideas of modal logic e. Modal logic is an extension of classic propositional and predicate logic that allows the use of modal operators.
Reductio ad absurdum tests 315 summary 320 6 modal propositional logic 323 1. Abduction at the interface of logic and philosophy of science. Epistemic logic was rst formalized by hintikka 1962, who also sketched the rst steps in formalizing doxastic logic. Dennett is a cognitive scientist in addition to being a philosopher, and his work considers philosophy of mind and. A cutfree sequent system for twodimensional modal logic. Pdf modality and modal logic in medieval philosophy. The oxford handbook of philosophy of mathematics and 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. Kripke, putnam, and donnellan 239 introduction 239 the traditional theory of meaning and reference 240. Modal logic for philosophers request pdf researchgate. Combining logics stanford encyclopedia of philosophy. A modal a word that expresses a modalityqualifies a statement. 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.
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. This is not a book of modal logic for philosophers. In this paper, i provide a new semantics for firstorder logic built around this idea. Even though they use rabinstyle tree models, they introduce additional epis. Hortys approach is based on default theories as known from the framework of default logic. Megarian school of philosophy what happenswasnecessarily going to happen. 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. 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. When i purchased the book, i thought it was going to be about how modal logic is used to solve philosophical problems. Now, epistemic temporal logics live at a dangerous edge here. Two logical faces of belief revision 1 institute for logic. Modal logic linguistics and philosophy mit opencourseware. A critical introduction to the metaphysics of modality.
The polytheistic approach to modal logics alethic modal logic. Herein we present an extension to our previous work on the modal transition system analyser mtsa 19 tool that now includes the dcs algorithm. Modal logic for philosophers pdf free download epdf. It prepares students to read the logically sophisticated articles in todays philosophy journals, and helps them resist bullying by symbolmongerers. An introduction to modal logic geared towards philosophy students. Discussion of philosophical issues concerning the development of modal logic is woven into the text. 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. Philosophers have argued untiringly, over many centuries, about the ties of logic with ontology.
Is modal logic really established as part of mathematical logic. Philosophy department, university of auckland, new zealand. The epistemology of modality stanford encyclopedia of. Modal logic is, strictly speaking, the study of the deductive behavior of the expressions it is necessary that and it is possible that. And what enabled me to do that is the position of logic at the interface of many disciplines, allowing logicians to draw inspiration. 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. 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.
Garson this book on modal logic is especially designed for philosophy students. One is to explain what modal logic is, and how it is done. The story weaves together an article of van benthem, syntactic aspects of modal incompleteness theorems, and a longstanding open question. 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. 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. 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. Platonism and theism internet encyclopedia of philosophy. Semantics of functional terms modal logic and metaphysics. Request pdf modal logic for philosophers designed for use by philosophy. A nice introduction to modal logic though somewhat outdated. 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. To read them, youll need to have either adobe acrobat or adobe acrobat reader installed.
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. Designed for use by philosophy students, this 2006 book provides an accessible, yet technically sound treatment of modal logic and its philosophical. Some philosophers, notably kant, discuss both of these worlds and what can be inferred about each one. This book is an introduction to logic for students of contemporary philosophy. Modal logic for philosophers designed for use by philosophy students, this book provides an accessible yet technically s.
The philosophy of philosophy timothy williamson download. In short, it teaches the logic necessary for being a contemporary philosopher. Dynamic epistemic and doxastic logics sonja smets, illc. Use the link below to share a fulltext version of this article with your friends and colleagues. Lewiss are not intuitively clear until explained in non modal. Firstorder modal logic and the ontology of physical objects. 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. Lecture notes modal logic linguistics and philosophy mit. 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. 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. Identity and descriptions pdf contingent identity pdf 2425.
Sep 11, 2018 if we want to address modal questions, i. This book on modal logic is especially designed for philosophy stu dents. Read download modal logic for philosophers pdf pdf download. The concept of form 301 sentences and sentential forms in a logic 301 the relationship between sentences and sentenceforms 302 7. 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. 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. The method is clear and appropriate for a wide range of metaphysical issues. Modal operators 323 nontruthfunctionality 323 modal and nonmodal propositions. A new textbook on modal logic providing a modern introduction to modal logic. In philosophy, specifically in the area of modal metaphysics, counterpart theory is an alternative to standard possibleworlds semantics for interpreting quantified modal logic.
This possibilist view validates the converse barcan formula. Modal logic is a type of formal logic primarily developed in the 1960s that extends classical. Philosophy of mathematics and philosophy of history request pdf. However, despite our developing a sentential model of the attitudes, well continue to call them propositional attitudes, rather than sentential attitudes. As a mature adult it has moved out of the parental home and is nowadays straying far from its parent. 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. For more on how to combine modal logic with predicate logic where the. Necessity is parsed as obtaining in all possible worlds. 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. They involve the modal concepts of actuality, possibility. The prospect of a new logic for philosophy by david corfield 2020 isbn.
1177 315 1196 1075 38 1110 1545 913 801 710 1279 1085 586 1527 1283 102 355 126 59 783 1390 769 1121 951 3 536 921 892 1165 1400 1290 1262 323 672