<!DOCTYPE html><HTML lang="en"> <head><meta charset="utf-8"> <title>Lewis (David) - Philosophical Papers Volume II: Introduction (Theo Todman's Book Collection - Paper Abstracts) </title> <link href="../../TheosStyle.css" rel="stylesheet" type="text/css"><link rel="shortcut icon" href="../../TT_ICO.png" /></head> <BODY> <CENTER> <div id="header"><HR><h1>Theo Todman's Web Page - Paper Abstracts</h1><HR></div><A name="Top"></A> <TABLE class = "Bridge" WIDTH=950> <tr><th><A HREF = "../../PaperSummaries/PaperSummary_08/PaperSummary_8014.htm">Philosophical Papers Volume II: Introduction</A></th></tr> <tr><th><A HREF = "../../Authors/L/Author_Lewis (David).htm">Lewis (David)</a></th></tr> <tr><th>Source: Lewis - Philosophical Papers Volume II, Introduction</th></tr> <tr><th>Paper - Abstract</th></tr> </TABLE> </CENTER> <P><CENTER><TABLE class = "Bridge" WIDTH=800><tr><td><A HREF = "../../PaperSummaries/PaperSummary_08/PaperSummary_8014.htm">Paper Summary</A></td><td><A HREF = "../../PaperSummaries/PaperSummary_08/PaperCitings_8014.htm">Books / Papers Citing this Paper</A></td><td><A HREF = "../../PaperSummaries/PaperSummary_08/PapersToNotes_8014.htm">Notes Citing this Paper</A></td><td><A HREF="#ColourConventions">Text Colour-Conventions</a></td></tr></TABLE></CENTER></P> <hr><P><FONT COLOR = "0000FF"><U>Full Text</U><FONT COLOR = "800080"><ol type="1"><li>Eleven of the papers in this volume were originally published from 1972 to 1981; misprints apart, they are reprinted in their original form. In some cases, where retractions or additions seemed urgently needed, I have appended postscripts. Two other papers appear here for the first time. The papers in this volume deal with topics concerning counterfactuals, <a name="1"></a><A HREF="../../Notes/Notes_0/Notes_39.htm">causation</A><SUP>1</SUP>, and related matters. Papers in ontology, philosophy of mind, and philosophy of language have appeared in <a name="77"></a>"<A HREF = "../../BookSummaries/BookSummary_00/BookPaperAbstracts/BookPaperAbstracts_7.htm">Lewis (David) - Philosophical Papers Volume I</A>". I have left out papers which are rejoinders, or which are of primarily technical interest, or which overlap too much with the papers I have included. <U><A HREF="#On-Page_Link_P8014_2">Abstracts</A></U><SUB>2</SUB><a name="On-Page_Return_P8014_2"></A> of the omitted papers may be found here, in the bibliography of my writings. </li><li>Many of the papers, here and in Volume I, seem to me in hindsight to fall into place within a prolonged campaign on behalf of the thesis I call "Humean <a name="2"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenience</A><SUP>3</SUP>." Explicit discussion of that thesis appears only in <a name="51"></a>"<A HREF = "../../PaperSummaries/PaperSummary_00/PaperSummary_127.htm">Lewis (David) - A Subjectivist's Guide to Objective Chance</A>"; but it motivates much of the book. </li><li>Humean <a name="3"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenience</A><SUP>4</SUP> is named in honor of the greater denier of necessary connections. It is the doctrine that all there is to the world is a vast mosaic of local matters of particular fact, just one little thing and then another. (But it is no part of the thesis that these local matters are mental.) We have geometry; a system of external relations of spatio-temporal distance between points. Maybe points of spacetime itself, maybe point-sized bits of matter or aether or fields, maybe both. And at those points we have local qualities: perfectly natural intrinsic properties which need nothing bigger than a point at which to be <U><A HREF="#On-Page_Link_P8014_5">instantiated</A></U><SUB>5</SUB><a name="On-Page_Return_P8014_5"></A>. For short: we have an arrangement of qualities. And that is all. There is no difference without difference in the arrangement of qualities. All else <a name="4"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenes</A><SUP>6</SUP> on that. </li><li>First say it, then qualify it. I don't really mean to say that no two possible worlds whatsoever differ in any way without differing in their arrangements of qualities. For I condede that Humean <a name="5"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenience</A><SUP>7</SUP> is at best a contingent truth. Two worlds might indeed differ only in unHumean ways, if one or both of them is a world where Humean <a name="6"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenience</A><SUP>8</SUP> fails. Perhaps there might be extra, irreducible external relations, besides the spatiotemporal ones; there might be emergent natural properties of more-than-point-sized things; there might be things that endure identically through time or space, and trace out loci that cut across all lines of qualitative continuity. It is not, alas, unintelligible that there might be suchlike rubbish. Some worlds have it. And when they do, it can make differences between worlds even if they match perfectly in their arrangements of qualities. </li><li>But if there is suchlike rubbish, say I, then there would have to be extra natural properties or relations that are altogether alien to this world. Within the inner sphere of possibility, from which these alien intrusions are absent, there is indeed no difference of worlds without a difference in their arrangements of <U><A HREF="#On-Page_Link_P8014_9">qualities</A></U><SUB>9</SUB><a name="On-Page_Return_P8014_9"></A>. </li><li>Is this materialism?  no and yes. I take it that materialism is metaphysics built to endorse the truth and descriptive completeness of physics more or less as we know it; and it just might be that Humean <a name="7"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenience</A><SUP>10</SUP> is true, but our best physics is dead wrong in its inventory of the qualities. Maybe, but I doubt it. Most likely, if Humean <a name="8"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenience</A><SUP>11</SUP> is true at all, it is true in more or less the way that present physics would suggest. </li><li>I have conceded that Humean <a name="9"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenience</A><SUP>12</SUP> is a contingent, therefore an empirical, issue. Then why should I, as philosopher rather than physics fan, care about it? Isn't my professional business more with the whole expanse of logical space than with the question which of its districts happens to be ours?  Fair enough. Really, what I uphold is not so much the truth of Humean <a name="10"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenience</A><SUP>13</SUP> as the <em>tenability</em> of it. If physics itself were to teach me that it is false, I wouldn't grieve. </li><li>That might happen: maybe the lesson of Bell's <U><A HREF="#On-Page_Link_P8014_14">theorem</A></U><SUB>14</SUB><a name="On-Page_Return_P8014_14"></A> is exactly that there are <em>physical</em> entities which are unlocalized, and which might therefore make a difference between worlds  worlds in the inner sphere  that match perfectly in their arrangements of local qualities. Maybe so. I'm ready to believe it. But I am not ready to take lessons in ontology from quantum physics as it now is. First I must see how it looks when it is purified of instrumentalist frivolity, and dares to say something not just about pointer readings but about the constitution of the world; and when it is purified of doublethinking deviant logic; and  most of all  when it is purified of <U><A HREF="#On-Page_Link_P8014_15">supernatural</A></U><SUB>15</SUB><a name="On-Page_Return_P8014_15"></A> tales about the power of the observant mind to make things jump. If, after all that, it still teaches nonlocality, I shall submit willingly to the best of authority. </li><li>What I want to fight are <em>philosophical</em> arguments against Humean <a name="11"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenience</A><SUP>16</SUP>. When philosophers claim that one or another commonplace feature of the world cannot <a name="12"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervene</A><SUP>17</SUP> on the arrangement of qualities, I make it my business to resist. Being a commonsensical fellow (except where unactualized possible worlds are concerned) I will seldom deny that the features in question exist. I grant their existence, and do my best to show how they can, after all, <a name="13"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervene</A><SUP>18</SUP> on the arrangement of qualities. The plan of battle is as follows. </li><li>First, <b>laws of nature</b>. <ul type="disc"><li>Few would deny that laws of nature, whatever else they may be, are at least exceptionless regularities. Not all regularities are laws, of course. But, following the lead of (a short temporal segment of) Ramsey, I suggest that the laws are the ones that buy into those systems of truths that achieve an unexcelled combination of simplicity and strength. That serves the Humean cause. For what it is to be simple and strong is safely noncontingent; and what regularities there are, or more generally what candidate systems of truths, seems to <a name="14"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervene</A><SUP>19</SUP> safely on the arrangement of qualities. I stated such a theory of lawhood in my book <a name="78"></a>"<A HREF = "../../BookSummaries/BookSummary_00/BookPaperAbstracts/BookPaperAbstracts_34.htm">Lewis (David) - Counterfactuals</A>" (1973), and here I discuss it further in Postscript C to <a name="52"></a>"<A HREF = "../../PaperSummaries/PaperSummary_00/PaperSummary_127.htm">Lewis (David) - A Subjectivist's Guide to Objective Chance</A>". </li><li>I am prepared at this point to take the offensive against alleged unHumean lawmakers; I say there is no point believing in them, because they would be unfit for their work. Here I have in mind the theory that laws are made by a lawmaking second-order relation of <a name="15"></a><A HREF="../../Notes/Notes_10/Notes_1008.htm">universals</A><SUP>20</SUP>, a theory most fully presented by D. M. <U><A HREF="#On-Page_Link_P8014_21">Armstrong</A></U><SUB>21</SUB><a name="On-Page_Return_P8014_21"></A> in <a name="79"></a>"<A HREF = "../../BookSummaries/BookSummary_01/BookPaperAbstracts/BookPaperAbstracts_1192.htm">Armstrong (David) - What is a Law of Nature?</A>" (1983). Let N be the supposed lawmaker relation; the idea, in its simplest form, is that it is a contingent matter, and one not supervenient on the arrangement of qualities, which <a name="16"></a><A HREF="../../Notes/Notes_10/Notes_1008.htm">universals</A><SUP>22</SUP> stand in the relation N; but it is somehow necessary that if N(F, G), then we have the regularity that all F's are G's. I ask: how can the alleged lawmaker impose a regularity? Why can't we have N(F, G), and still have Fs that are not G's? What prevents it? Don't try defining N in terms of there being a law and hence a regularity  we're trying to explain lawhood. And it's no good just giving the lawmaker a name that presupposes that somehow it does its stuff, as when Armstrong calls it "necessitation." If you find it hard to ask why there can't be F's that are not G's when F "necessitates" G, you should ask instead how any N can do what it must do to deserve that name. </li></ul></li><li>Next, <b>counterfactuals</b>. I take them to be governed by similarity of worlds, according to the analysis given in <a name="53"></a>"<A HREF = "../../PaperSummaries/PaperSummary_00/PaperSummary_125.htm">Lewis (David) - Counterfactuals and Comparative Possibility</A>", in this volume. To the extent that this similarity consists of perfect match in matters of particular fact, it .<a name="17"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenes</A><SUP>23</SUP> easily on the arrangement of qualities; and to the extent that it consists of (perfect or imperfect) conformity by one world to the laws of the other, it <a name="18"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenes</A><SUP>24</SUP> if the laws do. In <a name="54"></a>"<A HREF = "../../Abstracts/Abstract_00/Abstract_126.htm">Lewis (David) - Counterfactual Dependence and Time's Arrow</A>", I argue that one important sort of counterfactual, at least, will work properly if it is governed by just these respects of similarity. </li><li>Next, <b><a name="19"></a><A HREF="../../Notes/Notes_0/Notes_39.htm">causation</A><SUP>25</SUP></b>. In <a name="55"></a>"<A HREF = "../../Abstracts/Abstract_00/Abstract_129.htm">Lewis (David) - Causation</A>" and its postscripts, I defend an analysis of <a name="20"></a><A HREF="../../Notes/Notes_0/Notes_39.htm">causation</A><SUP>26</SUP> in terms of counterfactual dependence between events. The counterfactuals are discussed here in the two papers just mentioned; and since counterfactual dependence only seems causal when it is between events, my treatment of <a name="21"></a><A HREF="../../Notes/Notes_0/Notes_39.htm">causation</A><SUP>27</SUP> requires <a name="56"></a>"<A HREF = "../../PaperSummaries/PaperSummary_00/PaperSummary_131.htm">Lewis (David) - Events</A>" before it is done. <a name="22"></a><A HREF="../../Notes/Notes_0/Notes_39.htm">Causation</A><SUP>28</SUP> draws the arrow from past to future; that arrow exists only as an asymmetric pattern in the arrangement of qualities, so causal counterfactuals must somehow be sensitive to the asymmetry. In <a name="57"></a>"<A HREF = "../../Abstracts/Abstract_00/Abstract_126.htm">Lewis (David) - Counterfactual Dependence and Time's Arrow</A>" I offer an account of that sensitivity. Given <a name="23"></a><A HREF="../../Notes/Notes_0/Notes_39.htm">causation</A><SUP>29</SUP>, or rather causal dependence, we can proceed to causal analyses of various things; for instance seeing, in <a name="58"></a>"<A HREF = "../../PaperSummaries/PaperSummary_00/PaperSummary_132.htm">Lewis (David) - Veridical Hallucination and Prosthetic Vision</A>", or what else you can do if you can freely raise your hand, in <a name="59"></a>"<A HREF = "../../Abstracts/Abstract_00/Abstract_133.htm">Lewis (David) - Are We Free to Break the Laws</A>". </li><li>Next, <b>persistence through time</b>. I take the view that nothing endures identically through time. (Except <a name="24"></a><A HREF="../../Notes/Notes_10/Notes_1008.htm">universals</A><SUP>30</SUP>, if such there be; their loci would coincide with relations of qualitative match, would indeed constitute these relations, so they would commit no violations of Humean <a name="25"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenience</A><SUP>31</SUP>.) Persisting particulars consist of temporal parts, united by various kinds of continuity. To the extent that the continuity is spatiotemporal and qualitative, of course it <a name="26"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenes</A><SUP>32</SUP> on the arrangement of qualities. But the continuity that often matters most is causal continuity: the thing stays more or less the same because of the way its later temporal parts depend causally for their existence and character on the ones just before. So the spatiotemporal boundaries of persisting things, for instance people, can <a name="27"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervene</A><SUP>33</SUP> on the arrangement of qualities, provided that <a name="28"></a><A HREF="../../Notes/Notes_0/Notes_39.htm">causation</A><SUP>34</SUP> does. I discuss lines of causal continuity, not ruling out zigzag or broken lines, in <a name="60"></a>"<A HREF = "../../Abstracts/Abstract_00/Abstract_58.htm">Lewis (David) - The Paradoxes of Time Travel</A>". In <a name="61"></a>"<A HREF = "../../Abstracts/Abstract_00/Abstract_113.htm">Lewis (David) - Survival and Identity</A>", in Volume I of these Papers, I reply to some paradoxes brought against the idea that our survival is a matter of continuities that unite our temporal <U><A HREF="#On-Page_Link_P8014_35">parts</A></U><SUB>35</SUB><a name="On-Page_Return_P8014_35"></A>. </li><li>Next, <b>mind and language</b>. Several papers in the previous volume concern the thesis that mental states, indexed with content when appropriate, are definable as the occupants of causal roles. Some of these states are people's beliefs, and some of their beliefs are their expectations about other people. In <a name="80"></a>"<A HREF = "../../BookSummaries/BookSummary_01/BookPaperAbstracts/BookPaperAbstracts_1325.htm">Lewis (David) - Convention</A>" (1968) and in <a name="62"></a>"<A HREF = "../../Abstracts/Abstract_00/Abstract_119.htm">Lewis (David) - Languages and Language</A>" and <a name="63"></a>"<A HREF = "../../Abstracts/Abstract_00/Abstract_116.htm">Lewis (David) - Radical Interpretation</A>" in Volume I, I suggested how semantic facts could obtain in virtue of the mutual expectations that prevail in a linguistic community. And so it goes. There is room for endless argument over the details, but I remain confident that at every step mentioned the connection is something like what I have said  enough like it, anyway, to allow the cumulative Humean <a name="29"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenience</A><SUP>36</SUP> of one thing after another. At every step mentioned  but there is one that I passed over. </li><li>There is one big bad bug: <b>chance</b>. It is here, and here alone, that I fear defeat. But if I'm beaten here, then the entire campaign goes <U><A HREF="#On-Page_Link_P8014_37">kaput</A></U><SUB>37</SUB><a name="On-Page_Return_P8014_37"></A>. For chances enter at the very begining. A law, I said with Ramsey, is a regularity that enters into the best systems. But what sort of systems? If there are chances  single-case objective probabilities, for instance, that a certain atom will decay this week  then some regularities have to do with chances, and the best true systems will be those that do best, inter alia, at systematizing the truth about chances. So bestness of true systems, and hence lawhood, and hence counterfactuals and <a name="30"></a><A HREF="../../Notes/Notes_0/Notes_39.htm">causation</A><SUP>38</SUP> and occupancy of causal roles and all the rest, will not <a name="31"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervene</A><SUP>39</SUP> just on the actual arrangement of qualities, but on that plus all the chances there are, at various times, of that arrangement continuing in one way or another. Therefore the only hope for Humean <a name="32"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenience</A><SUP>40</SUP> is that the chances themselves might somehow <a name="33"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervene</A><SUP>41</SUP> on the arrangement of qualities. </li><li>How could they? It is easy to go partway. The chances for alternative futures that obtain at a moment surely depend on just how things actually are at that moment. We might as well throw in the way things are at all previous times; that might help, and it's no harm including too much. So far, so good. We have a conditional: if history is so-and-so then the chances are such-and-such. And the antecedent of that conditional  history up to the moment in question  surely does <a name="34"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervene</A><SUP>42</SUP> on the arrangement of qualities. </li><li>But what is the status of the history-to-chance conditional itself? Is it necessary or contingent? If contingent, does it <a name="35"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervene</A><SUP>43</SUP> or not on the arrangement of qualities? </li><li>If history-to-chance conditionals are necessary truths, no worries. Then the chances at any moment <a name="36"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervene</A><SUP>44</SUP> on the arrangement of qualities, in fact on just the part of it up to that moment. Sometimes, we can see how the conditional might be necessary: suppose it says that when we have prominent symmetry in the present set-up and its alternative futures, then those futures have equal chances. But sometimes not. How can an equality of chances based on symmetries, or any such necessary principle, give us the connections we need between, say, the exact height of a potential barrier and the exact chance of tunnelling through it? I hope there is a way, given the trouble I'm in if not; but I can't see what it is. </li><li>If the conditionals are contingent, but themselves <a name="37"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervene</A><SUP>45</SUP> on the arrangement of qualities, then again no worries. That would be so if they hold in virtue of relevant actual frequencies throughout the world, for instance. Or they could <a name="38"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervene</A><SUP>46</SUP> in some fancier way, for instance by means of the "package deal" for chances and laws that I consider in Postscript C to <a name="64"></a>"<A HREF = "../../PaperSummaries/PaperSummary_00/PaperSummary_127.htm">Lewis (David) - A Subjectivist's Guide to Objective Chance</A>". Alas, I fear it cannot be so. The trouble is that whatever pattern it is in the arrangement of qualities that makes the conditionals true will itself be something that has some chance of coming about, and some chance of not coming about. What happens if there is some chance of getting a pattern that would undermine that very chance? The Principal Principle of <a name="65"></a>"<A HREF = "../../PaperSummaries/PaperSummary_00/PaperSummary_127.htm">Lewis (David) - A Subjectivist's Guide to Objective Chance</A>" affords a way of turning this vague worry into a proper argument; hence the dismal ending to that paper. </li><li>Why not give in? I could admit that the history-to-chance conditionals, and so the chances themselves, are contingent and do not <a name="39"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervene</A><SUP>47</SUP> on the arrangement of qualities. I could insist for consolation that at any rate all else <a name="40"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenes</A><SUP>48</SUP> on the arrangement of qualities and the chances together. Why not? I am not moved just by loyalty to my previous opinions. That answer works no better than the others. Here again the unHumean candidate for the job turns out to be unfit for its work. The distinctive thing about chances is their place in the 'Principal Principle,' which compellingly demands that we conform our credences about outcomes to our credences about their chances. Roughly, he who is certain the coin is fair must give equal credence to heads and tails; being less rough is the main business of <a name="66"></a>"<A HREF = "../../PaperSummaries/PaperSummary_00/PaperSummary_127.htm">Lewis (David) - A Subjectivist's Guide to Objective Chance</A>". I can see, dimly, how it might be rational to conform my credences about outcomes to my credences about history, symmetries, and frequencies. I haven't the faintest notion how it might be rational to conform my credences about outcomes to my credences about some mysterious unHumean magnitude. Don't try to take the mystery away by saying that this unHumean magnitude is none other than chance! I say that I haven't the faintest notion how an unHumean magnitude can possibly do what it must do to deserve that name  namely, fit into the principle about rationality of credences  so don't just stipulate that it bears that name. Don't say: here's chance, now is it Humean or not? Ask: is there any way that any Humean magnitude could fill the chance-role? Is there any way that an unHumean magnitude could? What I fear is that the answer is "no" both times! Yet how can I reject the very idea of chance, when I know full well that each tritium atom has a certain chance of decaying at any <U><A HREF="#On-Page_Link_P8014_49">moment</A></U><SUB>49</SUB><a name="On-Page_Return_P8014_49"></A>? </li><li></FONT>[ & Acknowledgements & snip] </li></ol><BR><HR><BR><U><B>In-Page Footnotes</U></B><a name="On-Page_Link_P8014_2"></A><BR><BR><U><A HREF="#On-Page_Return_P8014_2"><B>Footnote 2</B></A></U>: These will be worth digging our sometime!<a name="On-Page_Link_P8014_5"></A><BR><BR><U><A HREF="#On-Page_Return_P8014_5"><B>Footnote 5</B></A></U>: <FONT COLOR = "800080"><ul type="disc"><li>For ways to explain what makes a property natural and intrinsic, see my <a name="67"></a>"<A HREF = "../../Abstracts/Abstract_01/Abstract_1100.htm">Lewis (David) - New Work for a Theory of Universals</A>", Australasian Journal of Philosophy 61 (1983): 343-77. </li><li>However, I ought to add that besides the candidates considered there, class nominalism with primitive naturalness or a sparse theory of immanent <a name="41"></a><A HREF="../../Notes/Notes_10/Notes_1008.htm">universals</a>, there is a third strong contender: a theory of tropes like that of <a name="68"></a>"<A HREF = "../../Abstracts/Abstract_01/Abstract_1095.htm">Williams (Donald C.) - On the Elements of Being: I</A>" and <a name="69"></a>"<A HREF = "../../Abstracts/Abstract_21/Abstract_21600.htm">Williams (Donald C.) - On the Elements of Being: II</A>" (1953), but with the tropes cut to a minimum, so that the special status of natural properties is built into the ontology itself. </FONT> </li></ul> <a name="On-Page_Link_P8014_9"></A><U><A HREF="#On-Page_Return_P8014_9"><B>Footnote 9</B></A></U>: <FONT COLOR = "800080"><ul type="disc"><li>On contingent <a name="42"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenience</a> theses, see the discussion of materialism in <a name="70"></a>"<A HREF = "../../Abstracts/Abstract_01/Abstract_1100.htm">Lewis (David) - New Work for a Theory of Universals</A>". </li><li>On inner and outer spheres of possibility, see <a name="71"></a>"<A HREF = "../../Abstracts/Abstract_21/Abstract_21598.htm">Skyrms (Brian) - Tractarian Nominalism (For Wilfrid Sellars)</A>" (1981); and <a name="72"></a>"<A HREF = "../../Abstracts/Abstract_21/Abstract_21599.htm">Armstrong (David) - Metaphysics and Supervenience</A>" (1982). </li></ul> </FONT> <a name="On-Page_Link_P8014_14"></A><U><A HREF="#On-Page_Return_P8014_14"><B>Footnote 14</B></A></U>: See Wikipedia: <a name="W3139W"></a><A HREF = "https://en.wikipedia.org/wiki/Bell%27s_theorem" TARGET = "_top">Link</A>. <a name="On-Page_Link_P8014_15"></A><BR><BR><U><A HREF="#On-Page_Return_P8014_15"><B>Footnote 15</B></A></U>: I m glad to see Lewis takes this line! After all, mechanical observers collapse the wave function before a conscious mind looks at the printout. <a name="On-Page_Link_P8014_21"></A><BR><BR><U><A HREF="#On-Page_Return_P8014_21"><B>Footnote 21</B></A></U>: <FONT COLOR = "800080">See also <ul type="disc"><li><a name="73"></a>"<A HREF = "../../Abstracts/Abstract_02/Abstract_2259.htm">Dretske (Fred) - Laws of Nature</A>" (1977); and </li><li><a name="74"></a>"<A HREF = "../../Abstracts/Abstract_21/Abstract_21597.htm">Tooley (Michael) - The Nature of Laws</A>" (1977).</li></ul> </FONT> <a name="On-Page_Link_P8014_35"></A><U><A HREF="#On-Page_Return_P8014_35"><B>Footnote 35</B></A></U>: <FONT COLOR = "800080"><ul type="disc"><li>It is at this point that Humean <a name="43"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenience</a> has come under direct attack. </li><li>Saul Kripke, in "Identity through Time," given at the 1979 conference of the American Philosophical Association, Eastern Division, has argued that if a disk is made of homogeneous matter, then whether the disk is spinning or not is a feature of the world that does not <a name="44"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervene</a> on the arrangement of qualities. We might have two worlds, just alike in their arrangements of qualities, one with a spinning disk and one with a stationary disk. (My "Humean <a name="45"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenience</a>" corresponds roughly to the "attenuated holographic hypothesis," which was one of Kripke's targets.) Whether the disk spins is, of course, definable in terms of the persistence of its parts through time; so in the first instance it is persistence that fails to <a name="46"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervene</a>. But that might be because <a name="47"></a><A HREF="../../Notes/Notes_0/Notes_39.htm">causation</a> fails to <a name="48"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervene</a>, and persistence requires causal continuity. </li><li>I reply by conceding, as I have, that Humean <a name="49"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervenience</a> is contingent. The two worlds with their differing disks must (one or both) be worlds where there is something extra to make the difference. That does not show that any feature of this world fails to <a name="50"></a><A HREF="../../Notes/Notes_12/Notes_1263.htm">supervene</a> on the arrangement of qualities. (Here I am indebted to <a name="75"></a><A HREF = "../../Authors/J/Author_Johnston (Mark).htm">Mark Johnston</A>.) </li></ul> </FONT> <a name="On-Page_Link_P8014_37"></A><U><A HREF="#On-Page_Return_P8014_37"><B>Footnote 37</B></A></U>: Oh dear! & and Lewis can t see how he s not beaten. <a name="On-Page_Link_P8014_49"></A><BR><BR><U><A HREF="#On-Page_Return_P8014_49"><B>Footnote 49</B></A></U>: <FONT COLOR = "800080"><ul type="disc"><li><a name="76"></a><A HREF = "../../Authors/A/Author_Armstrong (David).htm">David Armstrong</A> has pointed out (in discussion) that matters are still worse if we grant that chances may take extreme values, one or zero exactly. Let H specify some course of history up to a certain moment and let F specify some course of history after that moment. Assume that H and F are contingent. (We need not assume that they are maximally specific.) Let T be a history-to-chance conditional which says that after history H, the chance of F would be exactly one. To grant that chances may take extreme values is to grant that some such H and T might both hold. Then is there any possibility that H and T might hold without F? I say not. Any genuine possibility deserves at least some small share of credence, perhaps infinitesimal but not zero; but to give nonzero credence to this alleged possibility would violate the Principal Principle. So H and T strictly imply F. Now consider our three hypotheses about the status of history-to-chance conditionals. <ol type="i"><li>Are they <b>noncontingent</b>? If so, T is necessary, since <em>ex hypothesi</em> it is at least possible. Then H by itself strictly implies F. How can that be? What prevents us having H without F, when they specify the character of wholly distinct parts of the world? This necessary connection between distinct existences is unintelligible. </li><li>Are they <b>contingent, but supervenient</b> on the arrangement of qualities? Then what would make T true is some pattern in the arrangement of qualities, and it is open to say that part of that pattern is simply that H does not hold or that F does. If so, we know how H and T can strictly imply F, so this second hypothesis gives no special problem about the case of extreme chances. But it still has its general problem: apart from the extreme case, how can a chancemaking pattern not give itself some chance of failing to obtain? </li><li>Are they <b>contingent, and not supervenient</b> upon the arrangement of qualities? Then if T is true, there is some unHumean feature of the world that makes it true. Call this unHumean chancemaker X. Now X and H strictly imply F. How can that be? How could X manage to impose this constraint on the arrangement of qualities? If we reject strict implication of F by H alone, as we should, then we grant that there are arrangements of qualities which make H hold without F. How does X prevent us from having any of these arrangements? Compare this unHumean chancemaker with Armstrong's unHumean lawmaker, denounced above. Armstrong has a fair <em>tu quoque</em> against anyone who accepts the one and balks at the other. For the two are alike in their supposed power to constrain the course of events, except that one imposes a connection in the single case and the other imposes a general regularity. (Indeed, the chancemaker might just be the lawmaker at work in one particular instance.) Either way, it's unintelligible how the unHumean constrainer can possibly do its stuff. </li></ol></li><li>None of these three alternatives seems at all good. The escape routes from the trilemma  doubting that chances really can take the extreme values, doubting that every genuine possibility deserves some slight credence, or doubting the Principal Principle  seem just as bad. But so far as I can see, we must choose one evil or another. </FONT> </li></ul> <FONT COLOR = "0000FF"><HR></P><a name="ColourConventions"></a><p><b>Text Colour Conventions (see <A HREF="../../Notes/Notes_10/Notes_1025.htm">disclaimer</a>)</b></p><OL TYPE="1"><LI><FONT COLOR = "0000FF">Blue</FONT>: Text by me; &copy; Theo Todman, 2018</li><LI><FONT COLOR = "800080">Mauve</FONT>: Text by correspondent(s) or other author(s); &copy; the author(s)</li></OL> <BR><HR><BR><CENTER> <TABLE class = "Bridge" WIDTH=950> <TR><TD WIDTH="30%">&copy; Theo Todman, June 2007 - August 2018.</TD> <TD WIDTH="40%">Please address any comments on this page to <A HREF="mailto:theo@theotodman.com">theo@theotodman.com</A>.</TD> <TD WIDTH="30%">File output: <time datetime="2018-08-02T07:06" pubdate>02/08/2018 07:06:04</time> <br><A HREF="../../Notes/Notes_10/Notes_1010.htm">Website Maintenance Dashboard</A></TD></TR> <TD WIDTH="30%"><A HREF="#Top">Return to Top of this Page</A></TD> <TD WIDTH="40%"><A HREF="../../Notes/Notes_11/Notes_1140.htm">Return to Theo Todman's Philosophy Page</A></TD> <TD WIDTH="30%"><A HREF="../../index.htm">Return to Theo Todman's Home Page</A></TD> </TR></TABLE></CENTER><HR> </BODY> </HTML>