Transcription

1 1 Reply to Stalnaker Timothy Williamson In Models and Reality, Robert Stalnaker responds to the tensions discerned in Modal Logic as Metaphysics between contingentism in modal metaphysics and the use of Kripke models in the semantics of modal logic. Stalnaker holds that the tensions in our intuitive conception of modal phenomena are real: both the contingency intuitions and the Kripke structures have features that need to be reconciled (section 5), and that The contingency intuitions are not unassailable data (section 7). His strategy for achieving reconciliation involves accepting the contingency intuitions while arguing that we can use models to give a fully realistic interpretation of a modal language without giving a realistic interpretation of the models we are using (section 1). The paper follows up the strategy of Stalnaker s earlier work (2010, 2012). Of his defence of contingentism and its compatibility with orthodox Kripke semantics, he writes (in section 1): that defense was not as explicit as it should have been about the status that I take Kripke models to have, and about the relation between these models and the reality that one is using them to model. This paper is an attempt to spell out in a little more detail what I take this relation to be.

2 2 It is easy enough to make out the broad outlines of Stalnaker s big picture, but much harder to bring it sharply into focus. Recent work by Peter Fritz and Jeremy Goodman has revealed some of the complexities and difficulties beneath the surface of Stalnaker s account (Fritz 2016; Fritz and Goodman 2016). Stalnaker s present paper does not fully resolve them. Since aspects of his account remain unclear, my comments will be tentative. 1. Stalnaker s realism and instrumentalism in model-theoretic semantics Consider this passage from Stalnaker s earlier book (2012, p. 41): the merely possible individuals, and the points in logical space used in Kripke models as I am interpreting them, are like the spatial points in a relativist s model of spatial structure. The intended subject matter of our modal theory consists of the actual individuals, the (actual) properties and relation[s] that they might exemplify, and the (actual) higher-order properties and relations that might be exemplified by properties, relations, and propositions, as well as by individuals. About all these things, our theory can be resolutely realistic. The reader may get the impression here that Stalnaker is contrasting the actual individuals in a Kripke model (the members of the domain of its actual world) with the merely possible individuals in the model (the non-members of that domain that are members of the domain of other worlds in the model): the merely possible individuals play an instrumental role, while the actual individuals themselves belong to the intended subject matter of the modal

3 3 theory. In my discussion of Stalnaker s criterion of representational significance, I quoted a similar passage from his slightly earlier article (Stalnaker 2010, p. 24; Williamson 2013, p. 189). However, in his response to my critical discussion of his earlier work, Stalnaker now insists that there is no reason why actual individuals in the Kripke model have to represent themselves (section 6). Thus even the identities of the members of the domain of the actual world of the model become representationally insignificant; what matters is only which individuals they correspond to. Is that what Stalnaker means by being resolutely realistic about such aspects of the model? Rather than worry about whether Stalnaker has modified his view, I will concentrate on his account in the present paper. He formulates his overall view of the model theory s role thus (section 3): The central claim of this paper is that one may intend a realistic interpretation of a language, but use nonrealistically interpreted models as aids in stating the compositional semantics for the language. That is, one may use a model as a representational device, interposed between the language being interpreted and the reality that is its intended subject matter. So there will be a correspondence between the language and the model theory, and a further correspondence between certain features of the model structure and the reality being modeled. To specify which features of the favoured model structure are to correspond to features of the modal reality being modelled, Stalnaker associates each world in the model with a group of permutations of the worlds and individuals, which induce permutations of all the settheoretic entities based on the model too. Then a set-theoretic feature of the model should

4 4 correspond to something real according to a world w in the model if and only if the feature is invariant under all the permutations associated with w. Since being real according to the actual world should coincide with being real (tout court), a set-theoretic feature of the model should correspond to something real if and only if the feature is invariant under all the permutations associated with the actual world of the model. Depending on the nature of the invariant set-theoretic feature, it will correspond to a real object, property, relation, proposition, or whatever. To see how this might work, we can use a toy model. For simplicity, we may first consider a model of propositional modal logic, with worlds but no domains of individuals. For the set W of worlds, we take a set of just six ordered pairs: {<0, 0>, <0, 1>, <1, 0>, <1, 1>, <2, 0>, <2, 1>}. The designated actual world of the model is <0, 0>. As Stalnaker makes clear, there is no requirement for the worlds of a model to be worlds in any serious informal sense. Let the permutation group associated with the world <i, j> comprise just those permutations of W that map <i, j> to itself (as Stalnaker s account requires) and leave the first component of each pair fixed. One can think of <i, 0> and <i, 1> as qualitatively identical twin worlds, or mirror images of each other. Thus the permutation group associated with the actual world <0, 0> contains only four permutations: the identity permutation, the permutation that just swaps <1, 0> with <1, 1>, the permutation that just swaps <2, 0> with <2, 1>, and the permutation that makes both swaps. Since all those permutations leave each of <0, 0> and <0, 1> fixed, both those worlds in the model should correspond to real worlds: in the model, <0, 1>, though actually real, does not actually obtain. Each other world in the model is shifted by some of the permutations, so it should not correspond to a real world.

5 5 If sets of worlds in the model correspond to anything real, they correspond to propositions. For instance, each of the sets {<1, 0>, <1, 1>} and {<2, 0>, <2, 1>} is invariant under all the actual world permutations, so it should correspond to a real proposition. By contrast, each of the sets {<1, 0>, <2, 0>} and {<1, 0>, <2, 1>} is shifted by some of the permutations, and so should not correspond to a real proposition. But which real proposition is the set {<1, 0>, <1, 1>} supposed to correspond to? Obviously, nothing has yet been done to determine that. We cannot say that it is the proposition true in the worlds <1, 0> and <1, 1> and false in all other worlds, because neither <1, 0> nor <1, 1> is supposed to correspond to a real world. The set {<1, 0>, <1, 1>} is supposed to correspond to something real even though none of its members does. This is presumably the sort of phenomenon Stalnaker has in mind when he writes that we need not assume that the membership of the domain that is specified by a derived type is determined by the membership of the types from which it is derived and that For the contingentist, the relational structure exhibited by the type theory will be ungrounded in a way that it would be grounded if the necessitist s metaphysical assumptions were true (section 5). But then how is the correspondence to real propositions to be set up? Of course, in this particular case we could just stipulate a proposition for {<1, 0>, <1, 1>} to correspond to, preferably one that could be true in just two ways. But we cannot solve the problem for the whole infinite type-theoretic hierarchy by ad hoc stipulation alone. A more systematic approach is needed. Similar issues arise once we move to models of quantified modal logic and give each world a domain of individuals. Consider another toy model, this one with just two worlds, w and w*. By stipulation, the domain of individuals for w is {0, 1, 2, 3}; the domain of individuals for w* is {4, 5, 6, 7}. Each world is associated with the permutations of

6 6 individuals that fix each individual in its domain and map even individuals to even ones and odd individuals to odd ones. Of course, this is just a convenient way of specifying the permutations; the real individuals are not supposed to be numbers, and the numbers representing them have no intrinsic significance. Let w be the actual world of the model. Thus the group of permutations of individuals associated with the actual world contains only four permutations: the identity permutation, the permutation that just swaps 4 with 6, the permutation that just swaps 5 with 7, and the permutation that makes both swaps. Since only individuals in the domain of the actual world, are invariant under all the associated permutations, only they should correspond to real individuals. Let F be the monadic property intension whose extension at w is {0, 2} and whose extension at w* is {4, 6}. F is invariant under all four permutations, so it should correspond to a real property. But which real property should it correspond to? Even once we have associated the invariant individuals 0, 1, 2, and 3 in the model with real individuals, and the invariant worlds w and w* with real worlds, we cannot say that F should correspond to the property possessed by just the real individuals corresponding to 0 and 2 at the real world corresponding to w and by just the real individuals corresponding to 4 and 6 at the real world corresponding to w*, for neither 4 nor 6 is supposed to correspond to a real individual. The supposed correspondence between F and a real property is not determined by correspondences lower down the type-theoretic hierarchy. An ad hoc stipulative approach rapidly becomes infeasible even for very low levels of the type-theoretic as the models increase towards more realistic levels of complexity, in both the number of worlds and the associated domains of individuals. But the problem goes deeper than that. For Stalnaker wants Kripke models to play a key role in mediating between the modal language and the realistic interpretation we eventually give it. He says

7 7 that his claim will be that we can use models to give a fully realistic interpretation of a modal language without giving a realistic interpretation of the models we are using (section 1) and that one may intend a realistic interpretation of a language, but use nonrealistically interpreted models as aids in stating the compositional semantics for the language (section 3). Moreover, he regards such a key role as well-motivated: he says that the modeltheoretic representation has both a compelling intuitive motivation, and considerable success in clarifying the structure of modal discourse, so we should be reluctant to give it up, or even to treat it as a merely instrumental device (section 2). Thus the model-theoretic intermediaries should be properly integrated into the final fully realistic interpretation of the modal language. The problem is less urgent for the interpretation of the non-logical primitive constants of the language, because they are normally interpreted by one-off stipulations. It is much more serious for the interpretation of the quantifiers and variables of the various types. It is that which is at stake when Stalnaker writes We interpret the model structure with a correspondence relation between the invariant elements of the domains of individuals, properties, relations and propositions and elements of the appropriate kind in the corresponding categories in our type theory (section 5; the boldface italic expressions apply to appropriate set-theoretic ersatz items in the model, while the elements of the appropriate kind in the corresponding categories in our type theory are the real individuals, properties, relations, and propositions). We are told very little about which correspondence it is. Of course, we have some prior informal understanding of what real individuals, properties, relations, and propositions are, and so of what it means to generalize over them, independently of the model theory. But if we fall back on that prior informal understanding to interpret the modal language, we are in effect bypassing the formal model theory,

8 8 contrary to Stalnaker s stated intention of using the model theory to mediate between the modal language and its realistically interpreted compositional semantics. In his earlier book, Stalnaker has an appendix (B) discussing an approach to possible worlds semantics in terms of propositional functions, whose upshot is supposed to be that We can talk with a clear conscience, in the metalanguage, about a domain of possible individuals because we have shown how to reconcile that talk with more austere ontological commitments and how to do the compositional semantics in a way that assigns as values only properties, relations, and functions that actually exist, according to the metaphysics that is presupposed (2012, pp ). One might hope that this alternative semantics would somehow bear on the problem. But on examination it does not help. In particular, it leaves the role of the worlds unreduced, and the problem already arises for worlds, as we saw above. Nor does it help explain how the intension F in the second toy model gets to correspond to a real property. Since Stalnaker does not talk about propositional functions in the present paper, I will say no more about them here. The problems just discussed do not prevent Stalnaker from using the model theory as an algebraic device with which to specify a formal consequence relation for the modal language. But doing so falls far short of providing a compositional semantics for the modal language, since it does not provide its sentences with truth-conditions, even relative to specifications of the real objects, properties, relations, and propositions associated with its non-logical constants. For instance, if someone tells you which sentences are logical consequences of which sets of sentences, and that the 1-place predicate S corresponds to the property of being spherical, you cannot determine from that alone that x Sx is true if and only if it is necessary that something is spherical; inequivalent readings of and

9 9 different domains for the quantifier may yield the same consequence relation. Of course, you may happen to know the truth-condition of the formula independently, from your informal understanding of the modal language, but that is not what Stalnaker needs, since it involves no mediating role for the model theory. Moreover, if the model theory is only an algebraic device for specifying a formal consequence relation for the modal language, no other link having been specified to the intended interpretation of the language, why should we be interested in that consequence relation? We have not yet even been told why we should expect it to preserve truth from premises to conclusion, let alone why we should expect its logical truths (the consequences of the empty set of premises) to be all and only the metaphysically universal formulas. As far as I can see, Stalnaker has not yet elucidated an integral role for Kripke models to play in a realistically interpreted compositional semantics for a modal language Comprehension principles for Stalnakerian modal logic One of the important points of modal metaphysics on which Stalnaker and I agree, and on which we disagree with some other contributors to this volume, is that higher-order contingentism is a natural though not automatic generalization of first-order contingentism. As he says, If Hillary Clinton is a contingently existing object, then it seems

10 10 reasonable to think that the properties of being identical to Hillary, or being the daughter of Hillary are also contingent (section 2). Stalnaker endorses such higher-order contingentism. As Modal Logic as Metaphysics notes, higher-order contingentism involves restrictions on comprehension principles for higher-order modal logic. For instance, in the quoted passage, Stalnaker allows that there is the property of being the daughter of Hillary Clinton, which we may express in the higher-order modal language thus (reading the 1-place predicate D is the daughter of Hillary Clinton.): (1) X x (Xx Dx) But Stalnaker denies that there is necessarily such a property; in other words, he denies the necessitation of (1): (N1) X x (Xx Dx) In effect, Stalnaker rejects the natural modal comprehension principle CompM for quantification into monadic predicate position, which provides necessitated instances such as (N1) (Williamson 2013, pp ). Restricting CompM has a cost: it obstructs normal second-order reasoning in modal contexts. For instance, suppose that in reasoning about counterfactual circumstances we assume the second-order generalization X Φ(X). We may wish to infer the instance Φ(D);

11 11 but we have no general right to do that, given the failure of (N1); (1) is insufficient, since we have it only for the actual circumstances. Of course, first-order contingentism faces a similar problem. For instance, suppose that in reasoning about counterfactual circumstances we assume the first-order generalization x φ(x). We may wish to infer the instance φ(d); but we have no general right to do that, given the failure of x d=x under first-order contingentism; x d=x is insufficient, since we have it only for the actual circumstances. What my book emphasizes is that the failures of comprehension undermine the free use of the kind of reasoning that provides the most powerful reason for introducing higher-order logic in the first place (Williamson 2013, pp ). I now elaborate the point by showing how much higher-order modal logic we in effect assume when applying non-modal mathematics in scientific reasoning about phase spaces of possible states of a physical system (Williamson 2016b and 2016c). In the most natural formalization of reasoning about phase spaces, specific states are treated like worlds, and sets of such states like propositions, so generalizing about sets of states corresponds to quantifying into sentence position. Stalnaker is a contingentist about propositions too, so similar issues arise. For instance, he allows that there is the proposition that Hillary Clinton is running for President in 2016, which we may express using quantification into sentence position thus (reading P Hillary Clinton is running for President in 2016 ): (2) X (X P)

12 12 But Stalnaker denies that there is necessarily such a proposition; in other words, he denies the necessitation of (2): (N2) X (X P) In effect, Stalnaker rejects the natural modal comprehension principle CompP for quantification into sentence position, which provides necessitated instances such as (N1) (Williamson 2013, p. 290). But the obvious semantics for interpreting a modal language with quantification into sentence position over phase spaces verifies principles generalizing (2) and (N2). It is not even clear whether Stalnaker s principles entitle him to instances of the comprehension principles without the initial occurrence of the necessity operator. For instance, he will presumably allow that there is the property of not being the daughter of Hillary Clinton (permutation-invariance is preserved under negation). We might formalize that thus: (3) X x (Xx Dx) For Stalnaker, such a property exists only contingently: in some possible circumstances, there is no Hillary Clinton and no property of not being her daughter; there is just no distinction between being her daughter and not being her daughter. By classical modal

13 13 reasoning that Stalnaker accepts, in those circumstances many things would have not been her daughter. By (3), they would in effect have had the property of not being her daughter even though there would have been no such property for them to have had. In other words, a predication can be true with respect to circumstances in which the property designated by the predicate does not exist. But this involves Stalnaker in treating predications as asymmetrical between subject and predicate with respect to existential commitment, for his preferred first-order modal logic includes the principle that a predication cannot be true with respect to circumstances in which the object designated by the subject term does not exist (Stalnaker 1994; see Williamson 2013, pp for discussion). In brief, predications strictly imply the existence of the object but do not strictly imply the existence of the property. By contrast, an attractive feature of Stalnaker s approach in the present paper is the symmetry of treatment between objects, properties, relations, and propositions. In this reply, I have raised several challenges to Stalnaker s account of the semantics, logic, and metaphysics of modal discourse. I hope that they will encourage him to develop a more explicit theory, so that the strengths and weaknesses of his version of contingentism can be properly assessed.

14 14 Note 1 For a closely related debate on how the model theory of modal logic connects to modal metaphysics with reference to Williamson 2013 see derosset 2016, Kment 2016, and Williamson 2016a.

The final chapter of the book is devoted to the question of the epistemological status of holistic pragmatism itself. White thinks of it as a thesis, a statement that may have been originally a very generalized

THE EVOLUTIONARY VIEW OF SCIENTIFIC PROGRESS Dragoş Bîgu dragos_bigu@yahoo.com Abstract: In this article I have examined how Kuhn uses the evolutionary analogy to analyze the problem of scientific progress.

Philosophy of Mind and Metaphysics Lecture III: Qualitative Change and the Doctrine of Temporal Parts Tim Black California State University, Northridge Spring 2004 I. PRELIMINARIES a. Last time, we were

Review of Epistemic Modality Malte Willer This is a long-anticipated collection of ten essays on epistemic modality by leading thinkers of the field, edited and introduced by Andy Egan and Brian Weatherson.

November 18, 2013. Penultimate version. Final version forthcoming in Inquiry. On Recanati s Mental Files Dilip Ninan dilip.ninan@tufts.edu 1 Frege (1892) introduced us to the notion of a sense or a mode

Philosophical Perspectives, 20, Metaphysics, 2006 IN DEFENSE OF ESSENTIALISM 1 L. A. Paul University of Arizona Australian National University/RSSS Introduction If an object has a property essentially,

PHL 317K 1 Fall 2017 Overview of Weeks 1 5 We officially started the class by discussing the fact/opinion distinction and reviewing some important philosophical tools. A critical look at the fact/opinion

KINDS (NATURAL KINDS VS. HUMAN KINDS) Both the natural and the social sciences posit taxonomies or classification schemes that divide their objects of study into various categories. Many philosophers hold

The Nature of Time Humberto R. Maturana November 27, 1995. I do not wish to deal with all the domains in which the word time enters as if it were referring to an obvious aspect of the world or worlds that

The need for theoretical knowledge in architectural practice Lars Marcus Architecture is epistemologically a complex field and there is not a common understanding of its nature, not even among people working

LOCKE S EMPIRICAL THEORY OF COGNITION: THE THEORY OF IDEAS Let us then suppose the mind to be, as we say, white paper, void of all characters, without any ideas; how comes it to be furnished? Whence comes

Phenomenology Glossary Phenomenology: Phenomenology is the science of phenomena: of the way things show up, appear, or are given to a subject in their conscious experience. Phenomenology tries to describe

Aaron Tuor Philosophy of Language March 17, 2014 On Meaning The general aim of this paper is to evaluate theories of linguistic meaning in terms of their success in accounting for definitions of meaning

Review Essay Review of Krzysztof Brzechczyn, Idealization XIII: Modeling in History Giacomo Borbone University of Catania In the 1970s there appeared the Idealizational Conception of Science (ICS) an alternative

CARROLL ON THE MOVING IMAGE Thomas E. Wartenberg (Mount Holyoke College) The question What is cinema? has been one of the central concerns of film theorists and aestheticians of film since the beginnings

The ambiguity of definite descriptions by MICHAEL MCKINSEY (Wayne State University) HOW are the semantic referents, or denotations, of definite descriptions determined? One commonly held view is the view

Monadology and Music 2: Leibniz s Demon Soshichi Uchii (Kyoto University, Emeritus) Abstract Drawing on my previous paper Monadology and Music (Uchii 2015), I will further pursue the analogy between Monadology

KANT S TRANSCENDENTAL LOGIC This part of the book deals with the conditions under which judgments can express truths about objects. Here Kant tries to explain how thought about objects given in space and

DOI: 10.1111/ejop.12050 Logic and Ontology in Hegel s Theory of Predication Abstract: In this paper I sketch some arguments that underlie Hegel s chapter on judgment, and I attempt to place them within

Objective Interpretation and the Metaphysics of Meaning Maria E. Reicher, Aachen 1. Introduction The term interpretation is used in a variety of senses. To start with, I would like to exclude some of them

Incommensurability and the Bonfire of the Meta-Theories: Response to Mizrahi Lydia Patton, Virginia Tech What is Taxonomic Incommensurability? Moti Mizrahi states Kuhn s thesis of taxonomic incommensurability

Practical Intuition and Rhetorical Example Paul Schollmeier I Let us assume with the classical philosophers that we have a faculty of theoretical intuition, through which we intuit theoretical principles,

Proceedings of Bridges 2015: Mathematics, Music, Art, Architecture, Culture Permutations of the Octagon: An Aesthetic-Mathematical Dialectic James Mai School of Art / Campus Box 5620 Illinois State University

Building as Fundamental Ontological Structure Michael Bertrand A thesis submitted to the faculty of the University of North Carolina at Chapel Hill in partial fulfillment of the requirements for the degree

Action, Criticism & Theory for Music Education The refereed journal of the Volume 9, No. 1 January 2010 Wayne Bowman Editor Electronic Article Shusterman, Merleau-Ponty, and Dewey: The Role of Pragmatism

The Mind's Movement: An Essay on Expression Dissertation Abstract Stina Bäckström I decided to work on expression when I realized that it is a concept (and phenomenon) of great importance for the philosophical

Aesthetic Judgment and Perceptual Normativity HANNAH GINSBORG University of California, Berkeley, U.S.A. Abstract: I draw a connection between the question, raised by Hume and Kant, of how aesthetic judgments

Quine s Two Dogmas of Empiricism By Spencer Livingstone An Empiricist? Quine is actually an empiricist Goal of the paper not to refute empiricism through refuting its dogmas Rather, to cleanse empiricism

Published in in Real Metaphysics, ed. by H. Lillehammer and G. Rodriguez-Pereyra, Routledge, 2003, pp. 184-195. WHAT IS WRONG WITH THE RELATIONAL THEORY OF CHANGE? Gonzalo Rodriguez-Pereyra Hertford College,

Jari Eloranta, Heli Valtonen, Jari Ojala Methods, Topics, and Trends in Recent Business History Scholarship This article is an overview of our larger project featuring analyses of the recent business history

The Role of Ambiguity in Design by Richard J. Pratt What is the role of ambiguity in a work of design? Historically the answer looks to be very little. Having a piece of a design that is purposely difficult

The critique of iconicity: the Bierman-Goodman connection Made by : Agata Ziemba Patrycja Ziętek Bartłomiej Ziomek Michał Szymanek Introduction Ever since the 1960s the question regarding the specificity

14 Fictional Realism and Negative Existentials Tatjana von Solodkoff We have all been prone to say, in our common-sense usage of exist, that Pegasus does not exist, meaning simply that there is no such

CHAPTER IV RETROSPECT In the introduction to chapter I it is shown that there is a close connection between the autonomy of pedagogics and the means that are used in thinking pedagogically. In addition,

Louis Althusser s Centrism Anthony Thomson (1975) It is economism that identifies eternally in advance the determinatecontradiction-in-the last-instance with the role of the dominant contradiction, which

SIGNS, SYMBOLS, AND MEANING DANIEL K. STEWMT* In research on communication one often encounters an attempted distinction between sign and symbol at the expense of critical attention to meaning. Somehow,

Society for the Study of Symbolic Interaction SSSI/ASA 2002 Conference, Chicago From Symbolic Interactionism to Luhmann: From First-order to Second-order Observations of Society Submitted by David J. Connell

Texturalism and Performance Adorno's Theory of Truth Owen James Hulatt PhD University of York Department of Philosophy August 2011 Abstract This thesis establishes a new reading of Adorno s theory of truth.

From the Modern Transcendental of Knowing to the Post-Modern Transcendental of Language Unit 12: An unexpected outcome: the triadic structure of E. Stein's formal ontology as synthesis of Husserl and Aquinas

Chapter 3 Introduction: A Musico-Logical Offering Normal is a Distribution Unknown 3.1 Introduction to the Introduction As we have finally reached the beginning of the book proper, these notes should mirror

Thomas Reid's Notion of Exertion Hoffman, Paul David, 1952- Journal of the History of Philosophy, Volume 44, Number 3, July 2006, pp. 431-447 (Article) Published by The Johns Hopkins University Press DOI:

Authentication of Musical Compositions with Techniques from Information Theory. Benjamin S. Richards Abstract It is an oft-quoted fact that there is much in common between the fields of music and mathematics.

Kuhn History and Philosophy of STEM Lecture 6 Thomas Kuhn (1922 1996) Getting to a Paradigm Their achievement was sufficiently unprecedented to attract an enduring group of adherents away from competing