You define this relation in the way that characterizes the modality in question. Modal logicians from ruth barcan marcus to saul kripke, david lewis, and the necessicist timothy williamson are right to claim metaphysical necessity as the case in the purely abstract informational world of logic and mathematics. Hegel, to aesthetics logic of beauty on the other, with psychology, epistemology, mathematics etc. The language has components that correspond to a part of a natural language like english or greek. Modal logic as metaphysics kindle edition by timothy williamson. The agenda introduction basic modal logic normal systems of modal logic metatheorems of normal systems variants of modal logic conclusion. But when information is embodied in concrete matter, which is subject to the. The logic and metaphysics paper covers many of the central problems of philosophy.
Apr 14, 2018 the logic and metaphysics workshop will meet on april 23rd from 4. Download it once and read it on your kindle device, pc, phones or tablets. The grounds of this ontological aspect of logic were explicitly laid down by aristotle in the metaphysics, where some of the basic laws of logic were held to be among the most certain principles of all things. A prominent example is the principle called the barcan formula, after work done by ruth barcan marcus in the mid1940s. Modal logic as metaphysics hardcover timothy williamson. Looking at the key topics and debates in the metaphysics of logic, this wideranging collection of essays offers readers of mathematics, logic and philosophy an indepth overview of the field.
Modal logic as metaphysics by timothy williamson books. And as such logic has a lot to do with metaphysics. Williamson provides various highly technical arguments, all of which are based on strong modal logic as the arbiter in theory choice. The deductive system is to capture, codify, or simply record arguments that are valid for the given language, and the. One sense in which logic, so construed, is tied up with metaphysical matters is that the question of what the truthmakers of a sentence must be like calls for a specification of the ontology underlying our languagei. Modal logic as metaphysics timothy williamson download. Questions like those raise deep issues about both the nature of being and its logical relations with contingency and change. Williamsons new book is a very important addition to the literature on the subject. Mar 01, 2006 until the publication of this liberty fund edition, all but one of the works contained in logic, metaphysics, and the natural sociability of mankind were available only in latin. Get your kindle here, or download a free kindle reading app. It also contains an overview of the handbook, and a brief history of epistemic logic and pointers to the literature.
This essay is an abridged and slightly adapted version of chapter 14 of my book the evolution of modern metaphysics. But when information is embodied in concrete matter, which is subject to the laws of quantum physics and. The methodology of modal logic as metaphysics umass blogs. An introduction to modal logic 2009 formosan summer school on logic, language, and computation 29 june10 july, 2009. Necessitism 8x29yy x everything necessarily is something. 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. Do not be misled by the occurrence of the word logic in the title of the paper. Are there such things as merely possible people, who would have lived if our ancestors had acted. Syntax and proof theory came first, and semantics and model theory followed. In modal logic as metaphysics, timothy williamson argues for positive answers to are there future people, who have not yet been conceived. Download modal logic as metaphysics ebook pdf or read online books in pdf, epub.
Sentential operators are devices that take sentences to form new sentences. 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. This milestone english translation will provide a general audience with insight into hutchesons thought. Start your 48hour free trial to unlock this the logical basis of metaphysics study guide and get instant access to the following analysis. Modal logic as metaphysics the philosophical quarterly. Quantifiers and modal logic melvin fitting logic and. Logic, metaphysics and the natural sociability of mankind by. Typically, a logic consists of a formal or informal language together with a deductive system andor a modeltheoretic semantics. No previous exposure to epistemic logic is assumed. Modal logic in the sense that interests williamson is a branch of modal metaphysics that studies the sufficiently general truths about metaphysical modality 92.
Timothy williamson, modal logic as metaphysics, oxford university press, 20, 464pp. Classical logic stanford encyclopedia of philosophy. It is di cult to nd an extended, fullthroated defense of neutralism in the literature. Williamson aims to show how, in particular, the model theory of qml bears on a substantive, if highly abstract. Download pdf modal logic as metaphysics free online. Outlines of logic and metaphysics by erdmann, johann eduard, 18051892. Publication date 1896 topics logic, metaphysics publisher london, s. Timothy williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change. Outlines of logic and metaphysics internet archive. Semantics of functional terms modal logic and metaphysics. Descartes modal metaphysics stanford encyclopedia of. Start reading modal logic as metaphysics on your kindle in under a minute. Every effort has been made to simplify the presentation by using diagrams in place of more complex mathematical apparatus. Modal logic as metaphysics kindle edition by williamson.
A semantic perspective 3 chapters in this handbook. Therewith a radical elimination of metaphysics is attained. Timothy williamson, modal logic as metaphysics philpapers. Modal logic as metaphysics by timothy williamson, 9780198709435, available at book depository with free delivery worldwide.
In modal logic as metaphysics, timothy williamson argues for positive answers to those questions on the basis of an integrated approach to the issues, applying the technical resources of modal logic to provide structural cores for metaphysical theories. Williamsons modal logic as metaphysics ted sider modality seminar 1. Put roughly and vividly, necessitism says that everything necessarily exists. To answer this question, williamson surveys and critically evaluates a vast array of formulations of quanti. The central thesis of williamsons wonderful book modal logic as metaphysics is necessitism.
What is the relationship between logic and metaphysics. Jan 01, 20 in modal logic as metaphysics, timothy williamson argues for positive answers to are there future people, who have not yet been conceived. If you have defined a proper model, you know that rw1, w2 if in your model the pair w1, w2 is in the extension of r. The book provides a rigorous introduction to the technical backgroundfor example, concerning possible worlds semantics for modal logic and the interpretation of higherorder quantifersneeded to understand metaphysical questions in modal logic, as well as an extended argument for specific answers to them. Basic results about these concepts are stated and some simple proofs are given. Why modal logic is not metaphysics modal logicians from ruth barcan marcus to saul kripke, david lewis, and the necessicist timothy williamson are right to claim metaphysical necessity as the case in the purely abstract informational world of logic and mathematics. In traditional philosophy, metaphysics was the branch of philosophy in which philosophers attempted to construct models of reality not accessible to empirical sciences. Model theory and contingent existence princeton university. Philosophers can download a pdf of the complete book here with an interactive table of contents and index pdf bookmarks. When we construct arguments on the basis of basic a priori principles of metaphysics what descartes calls primary notions second replies, at 7.
One of the pleasing aspects of the book is the importance williamson attaches to expressing views about the nature of modality in the language of modal predicate logic. The study of modal logic takes many legitimate formsin this book it has taken the form of a metaphysical enquiry. Until the publication of this liberty fund edition, all but one of the works contained in logic, metaphysics, and the natural sociability of mankind were available only in latin. Sequent systems for modal logics 5 embedded into monadic predicate logic, the rstorder logic of unary predicates, under a translation t employing a single individual variable x, see for instance mints, 1992. Dummett on the logical basis of metaphysics springerlink. Williamson is however sympathetic to 5, which he calls the being constraint p. Contacts between modal logic and philosophy in new modes are very much in evidence in the literature on metaphysics zalta 1993, williamson 2000, 20, fine 2002, epistemic modals expressions like must, may, probably, and so on, where modal logic meets with epistemology and philosophy of language swanson 2011, yalcin 2007. Lewiss view of the relation between modal metaphysics and modal logic couldnt be more different. Timothy williamsons modal logic as metaphysics is, among much else, a detailed and complex defense of the metaphysical view he calls necessitism, the view.
In classical logic the move from propositional to quantificational is profound but essentially takes one route, following a direction we are all. The logic of common nouns, doctoral dissertation submitted to the university of pittsburgh 1977. The logic and metaphysics workshop will meet on april 23rd from 4. Contemporary investigations of modality started as study of modal logic. Lewiss view of the relation between modal metaphysics. Timothy williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Introduction preliminary definition of the subject matter of the history of logic is hard to come by.
To characterize the relevant standard of generality, williamson introduces the notion of metaphysical universality 9293. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics. In modal logic as metaphysics, timothy williamson argues for positive answers to those questions on the basis of an integrated approach to the issues, applying thetechnical resources of modal logic to provide structural cores for metaphysical theories. If you do not have a model you may be able to infer this from the presumed properties of r, for example from rw0, w1 and rw0, w2 you can infer rw1, w2 if r is euclidean. Timothy williamson, in modal logic as metaphysics, contends that contingentists must view the possible worlds semantics for quantified modal logic with a jaundiced eye. If logic and metaphysics appear disjoint, the reason is not just the lingering spell of a logical positivist conception of. Ambitious new work by one of the worlds leading philosophers. Methodology the title of this book may sound to some readers like good as evil, or perhaps cabbages as kings. Penelope rush is honorary associate with the school of philosophy and online lecturer for student learning at the university of tasmania. Reviewed by takashi yagisawa, california state university, northridge. Modal logic is an extension of classic propositional and predicate logic that allows the use of modal operators.
1121 83 449 91 883 599 1530 815 1115 1429 962 527 969 771 555 1320 143 674 576 1066 1345 1303 1466 976 127 812 645 97 1052 1491 560 1122 994 214 801 264 1183 1209