Or what is not the same there is a crossworld individual which is a maximal counterpartinterrelated sum of possible individuals of whom i am one. A semantic perspective 3 chapters in this handbook. The eight postulates constitutive of lewiss counterpart theory are expressed in an. On the translation from quantified modal logic into the.
Counterpart theory, quantified modal logic, and extra argument places. This approach is described in a very beautiful paper by david lewis of ucla, called counterpart theory and quantified modallogic, which appeared in. Indexicality glossary bibliography biographical sketch summary modal logic is a broad and rapidly expanding area of logic with applications to such. Parts, counterparts, and modal occurrents columbia university. Xs counterparts in other worlds are all and 3 counterpart theory and quantified modal logic, this journal, lxv, 5. Counterpart theory and quantified modal logic andrew m. The predicate logic is a free logic, permitting the empty domain, and nonreferring singular terms. Transworld identity stanford encyclopedia of philosophy.
These keywords were added by machine and not by the authors. Unquantified logic, modal or not, is much weaker in its expressive power than quantified one. Among the positions lewis defends are modal realism, materialism, socially contextualized formal semantics, and functionalism of the mind. Counterpart semantics for quantified modal logic department of. Counterpart theory and quantified modal logic 41 counterparts. One is to explain what modal logic is, and how it is done. The reason we want to utilize modal logic is to precisify ordinary language. I in cor02 corsi tries to provide a completeness proof for qml systems based on classical and free logic, and kripkes theory of quanti. The survival of my counterpart the survival of my counterpart french, peter a. Modal fragmentalism the philosophical quarterly oxford. Feb 20, 2014 the six philosophers youll read in college college humor parody philosophy tube duration.
To solve these puzzles, the usual interpretation rules of counterpart theory must be extended beyond the simple language of quantified modal logic. Logically possible worlds and counterpart semantics for modal logic. David kellogg lewis september 28, 1941 october 14, 2001 was an american philosopher. Fragmentalism is a nonstandard version of atheory originally presented by kit fine. In his counterpart theory and quantified modal logic 1968, lewis offers a radical alternative to qml. It turns out to be a limit case of the categorical semantics. Giving alternative semantics that avoids them is an active project. Over the past few years, different interpretations and developments of the view have been proposed. There is a difference, however, between quantified modal logic and its semantics in terms of possible worlds. Pdf counterpart semantics for quantified modal logic. Philosophical papers volume i oi oxford index journals. The novice may wonder why quantified modal logic qml is considered difficult.
That is plausible enough, for the counterpart relation is a relation of similarity. Counterpart theory has at least three advantages over quantified modal logic as a vehicle for formalized discourse about modality. In this paper, i shall outline some basic ideas of a semantical theory of modal logic, including quantified modal logic. Examples for convenience, we reproduce the item logic modal logic of principia metaphysica in which the modal logic is defined. Or what is not the same there is a crossworld individual which is a maximal counterpart interrelated sum of possible individuals of whom i am one. Lewis taught briefly at ucla and then at princeton from 1970 until his. On the translation from quantified modal logic into the counterpart. 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. The counterpart theory which was introduced by david lewis is an alternative semantics to the possible worlds semantics for quantified 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. Model theory of modal logic 251 over the given frame in e. More precisely, let us call x a worldstage of y iff 1 x is a possible individual. I present a more comprehensive semantics that allows talking about pecific times and worlds, that takes into account the multiplicity and sortaldependence of counterpart relations, and that does.
Due to the flexibility of semantics of the counterpart theory, lewiss translation may. Handout 14 trees for quantified modal logic april 8 pages 5658. Yet there remain residual quinean worries in the epistemic case. Counterpart semantics is proposed as the appropriate semantical framework for a foundational investigation of quantified modal logics. In light of the various ways the world could be arranged, it is plausible thatthere is a nearby possible world, which would be almost identical to the actual world, if it were actualized, where you and your modal counterpart disagree over modal belief p. Counterpart theory and quantified modal logic lewis youtube. You might be tempted to think that your modal belief is true. Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. In order to meet this challenge, lewis modifies his counterpart theory to allow for multiple counterpart relations e. David lewiss classic counterparttheoretic treatment of quantified modal logic fails to validate three of the least controversial principles of the propositional logic of metaphysical modality.
In this tutorial, we give examples of the axioms, consider some rules of inference and in particular, the derived rule of necessitation, and then draw out some consequences. Counterpart theory and quantified modal logic oxford. Modal logic nest domain kripke frame counterpart theory rigid designator. Lecture notes lecture notes will be made available in blackboard. On the other hand, the passage from local to global semantics is achieved if one looks at truth in all states an abstraction through implicit universal. Many philosophers, following david lewis, believe that we should look to counterpart theory, not quantified modal logic, as a means of understanding modal discourse. Counterpart semantics a foundational study on quantified. I is the relation of being a part of a world, c is the counterpart relation. Whilst qml adds modal operators the box necessity and diamond possibility to our existing firstorder logic, lewiss counterpart theory simply extends.
I in gar05 garson considers completeness for kripke structures with domains of intensional objects. Lewis, counterpart theory and quantified modal logic. Basic results about these concepts are stated and some simple. Ordinary language is notoriously ambiguous and the analysis of ordinary language modal operators is fraught with difficulty. Lewis interprets modal claims by using a translation from quantified modal logic into the counterpart theory.
Foundations of modal metaphysics columbia university. Since a fuller treatment is easy to carry out on the basis of this outline. Combinations and completeness transfer for quantified. The other is to give a detailed survey of the large variety of modal logic systems found in the literature, with an eye to both their formal properties consistency, completeness and their philosophi. Basic concepts in modal logic1 stanford university. Counterpart theory w t te can conduct formalized discourse about most topics perfectly well bv means of our allpurpose extensional logic, provided with predicates and a domain of quanti fication suited to the subject matter at hand. The possibility of a person switching bodies presents a challenge to lewiss conviction that necessarily, a person occupies a body at a time if and only if that person is identical with that body at that time. The chellas text in uenced me the most, though the order of presentation is inspired more by goldblatt.
Counterpart theory and quantified modal logic oxford scholarship. Buehler based on first order modal logic by fitting and mendelsohn january 5, 2015. Significant parts of modal discourse involve either implicit or explicit reference to what is actually the case, raising the question of how talk. Lewis counterpart theory and quantified modal logic the journal of philosophy, p. It is an open question whether there are appropriate ways to. Unfortunately, this choice does not correspond to an intuitively satisfying semantics. The simplest quantified modal logic sqml defines a class of firstorder modal languages, a semantic theory for those languages, and a complete system of axioms and rules of inference for the semantics. By regimenting our discourse into formal quantified modal logic we can eliminate some of these ambiguities.
To read them, youll need to have either adobe acrobat or adobe acrobat reader installed. Examples for convenience, we reproduce the item logicmodal logic of principia metaphysica in which the modal logic is defined. A modala word that expresses a modalityqualifies a statement. For example, the statement john is happy might be qualified by saying that john is usually happy, in which. The eight postulates constitutive of lewiss counterpart theory are expressed in an extensional first. Countering counterpart theory countering counterpart theory sagal, paul t. 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. Kripkes objectual interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these quinean worries. These notes are meant to present the basic facts about modal logic and so to provide a common. Quantified modal logic in logic and philosophy of logic categorize this paper isbns 0022362x.
This means that the classic theory of quantification is not valid on the class of all kripke frames. Modal logic and its applications encyclopedia of life. Handout 15 tree conversion metatheory for quantified modal logic april 10 pages 5960. Counterpart theory still presupposes possible worlds, but differs in certain important respects from the kripkean view. Counterpart theory and the paradox of occasional identity. The survival of my counterpart, the southern journal of. In the next paragraph we highlight the unsatisfactory features of. This process is experimental and the keywords may be updated as the learning algorithm improves. In this tutorial, we give examples of the axioms, consider some rules of inference and in particular, the derived rule. Objections 1 a system of modal propositional logic is a bona fide logic only if it has a quantificational extension. The logic of counterpart theory with actuality university of michigan.
Counterpart theory, quantified modal logic, and extra. Topics discussed include possible worlds, counterpart theory, modality, personal identity, radical interpretation, language, propositional attitudes, the mind, and intensional semantics. By regimenting our discourse into formal quantified modal logic we can eliminate some of. Counterpart theory and quantified modal logic authors. Whilst qml adds modal operators the box necessity and diamond possibility to our existing firstorder logic, lewiss counterpart theory simply extends the domain of quantification of firstorder logic, so that it. In this landmark paper, lewis outlines his theory of modality and counterparts. The quantified modal logic that lewis employs for this purpose has two salient features. Or we can proceed more directly, speaking explicitly of possible worlds from the start. Uncontested principles of modal logic while lewis 1968. Standardly counterpart theorists will need the two primitive symbols. Handout 16 expanding substitutional to intensional models april 15.
This approach is described in a very beautiful paper by david lewis of ucla, called counterpart theory and quantified modal logic, which appeared in the march 1968 issue of the journal of philosophy. Counterparts of persons and their bodies oxford scholarship. Actualism the simplest quantified modal logic sqml. Counterpart theory, quantified modal logic, and extra argument places david lewis we can couch our modal statements in the language of modal logic some times, anyway and then have recourse to possible worlds to explain the semantics of that language. The six philosophers youll read in college college humor parody philosophy tube duration.
1457 1381 797 873 796 1216 720 70 200 110 743 1514 1527 1216 860 63 394 527 923 114 970 786 149 1018 1073 466 31 147 246 689 484