244 | Katie Elliott on Metaphysics, Chance, and Time

Is metaphysics like physics, but cooler? Or is it a relic of an outdated, pre-empirical way of thinking about the world? Closer to the former than the latter. Rather than building specific quantitative theories about the world, metaphysics aims to get a handle on the basic logical structures that help us think about it. I talk with philosopher Katie Elliott on how metaphysics helps us think about questions like counterfactuals, possible worlds, time travel, mathematical equivalence, and whether everything happens for a reason.

katie elliott

Support Mindscape on Patreon.

Katrina (Katie) Elliott received her Ph.D. in philosophy from the University of North Carolina, Chapel Hill. After being an assistant professor of philosophy at UCLA, she is now on the faculty at Brandeis. Her research covers topics in metaphysics and the philosophy of science, including explanation, chances, and the logic of time travel.

0:00:02.4 Sean Carroll: Hello everyone. Welcome to the Mindscape Podcast. I'm your host, Sean Carroll. You might know if you follow the physics news that Jim Hartle passed away recently. Jim was a wonderful theoretical physicist, a founder of quantum cosmology, frequent collaborator with Stephen Hawking, Murray Gell-Mann, people like that. He was also one of the collaborators with Thomas Hertog, our recent Mindscape guest on the wave function of the universe, again, with Stephen Hawking, what you could predict, how things came out and so forth. And he passed away recently. It was very sad. Jim had a important role in my life. He hired me for my second postdoc, and always struck me as someone who was a very deep thinker, very careful, but with a puckish sense of humor that made him very fun to be around.

0:00:47.8 SC: So I was being interviewed by a reporter from Physics Today for the writeup they were gonna do, the obituary, if you wanna call it that on Jim's passing. And he mentioned that he was talking to Thomas Hertog before. And we were talking about the relationship... The reporter and I were talking about the relationship of physics and philosophy. Jim was sort of pro-philosophy, but he wasn't into it, right? Like he thought it was a good thing, but he wasn't himself reading a lot of philosophers or anything like that. So apparently, the reporter had also asked Thomas about it. And Thomas had related the story that he and Steven and Jim had written a paper, which I think was called Eternal Inflation Without Metaphysics. Metaphysics, a word borrowed from philosophy. And Thomas explained to the reporter that the editor of the journal made them remove the word metaphysics from the title 'cause he didn't think it was appropriate.

0:01:38.5 SC: So this was my opportunity to reveal a little secret here. It was not the editor of the journal who objected to that use of the word. It was the referee. And the referee was me. [chuckle] I was refereeing their paper and I thought they misused the word metaphysics. They had defined it in the paper as parts of the theory that are not observable, that make no difference to the observable predictions. I get why they would say that, but there's more to metaphysics than that. I think that people in different academic disciplines should play nicely with each other and respect each other's terminology. But I get it. I get why people have this misapprehension about what metaphysics is. If you go to a bookstore and go to the metaphysics section, good luck to you. There's a whole bunch of things about crystals and auras and new agey stuff and things like that.

0:02:26.3 SC: I think that people out there don't really know what metaphysics is. You've come to the right place if this is... If that description includes you. Katie Elliott is a philosopher, metaphysician. They call 'em metaphysicians, not Metaphysicists. So we're going to learn. Katie was nice enough to agree to, rather than focus in on one of her particular research problems, which would've been very interesting. We basically are trying to give an overview here. We're gonna work up to some questions that she does research on about time travel, about possible worlds, about what a cause is, what an explanation is, things like that. That's what Katie does for a living. But we're gonna build up there gradually by giving an overview of what metaphysics is, why the idea of metaphysics might be useful. Is it just replaced by physics? No, it's talking about things that are supposedly even more fundamental than physics, right? The logical structure of possible physical realities in addition to our actual physical reality.

0:03:28.3 SC: And I hope that you come away with the impression that metaphysics is actually useful, that metaphysics plays a role, and it's not just talk about unobservable things that have no consequences. So let's go.

[music]

0:03:57.0 SC: Katie Elliot, welcome to the Mindscape podcast.

0:04:00.0 Katie Elliott: Thank you so much. It is really exciting/terrifying to be here.

0:04:03.5 SC: The terrifying, we're gonna have to work on that. I wanna terrify more of my guests. I think that too many of them are complacent, so I'm glad you're starting terrified.

0:04:11.2 KE: Yeah, when you, at the beginning we were chatting and you were like, you're really dumb and this is gonna expose this to the world. I thought that part was...

0:04:18.2 SC: I gotta do more of that, right? Yeah.

0:04:20.1 KE: Gotta do more of that. Yeah.

0:04:21.6 SC: You know, I just recently started for our Patreon listeners, I started doing like a little couple minute video afterward just saying, "Hey, that was fun. Here's what I learned, whatever." But I gotta start spreading the rumor that what I'm really saying is, "Geez, what an idiot person."

[laughter]

0:04:37.2 KE: Right? Exactly. Here's where I roast the person.

0:04:40.2 SC: Just for Patreon supporters. Yeah. Anyway, so let's start, let's warm up with something easy. What is metaphysics? What is that? [laughter]

0:04:50.8 KE: Well, that's not easy. Great question. I feel like that's the kind of question where you could ask a bunch of different philosophers and get a lot of different answers. But the sort of like stock things that people will say is that metaphysics is something like the study of what there is or a study of what there is. I suppose there are many different studies of what there is, but metaphysics is one of the studies of what there is. Or maybe metaphysics is also interested in relationships of fundamentality in a kind of proprietary sense of fundamentality. So that's very big picture. And then you might think, well, look science is the study of what there is, and that's true. So maybe metaphysics is something like the unrestricted study of what there is, or really trying to get the full story about the whole kit and caboodle and not just pockets of it.

0:05:44.7 SC: So maybe the more specific version of the question is how do you conceive of the relationship between metaphysics and physics? My understanding is that the name metaphysics got stuck just because it's the book Aristotle wrote after he wrote the book, The Physics.

0:06:00.3 KE: That's my understanding too. I mean, so I have how I like to think of the relationship between science, physics and the kind of inquiry that I do. I think that, again, different philosophers will give you different stories about like what the relationship is, but for me, the, I think of myself as a metaphysician because ultimately the kinds of questions I'm interested in are about what kinds of things exist and what they're like. But the methodology that I'm committed to is that sort of the ideas that the main way we're gonna figure out interesting stuff about what the world is like is by studying the success of scientific inquiry or maybe the success of a particular instance of scientific inquiry, say the history of physics or something. So we're gonna look at this discipline, both its content, what it says the world is like, but also what it does and how it works. And that's gonna tell us a lot about what the world we live in is like.

0:06:58.5 KE: And one way of seeing that is that if you take for granted that science is successful, then you might ask yourself like, Well, what are the preconditions for the success of science? What does our world have to be like in order for this kind of intellectual discipline to be as successful as it's been?" And some of us, though, not all of us, but some of us think the world would have to be quite particular in various ways. It would have to be law governed. There would have to be things like causes. Maybe there would have to be things like chances. So there would have to be these certain metaphysical ingredients in the world in order for science to proceed as it does at the rate of success that it does. And so science, the success of science is gonna tell us something about these metaphysical posits.

0:07:47.1 SC: Okay. So that's a little bit different than I would have guessed. I mean, trying to, of course, we can just disparage metaphysics or any other field if we want to. But I figured that maybe a friendly physics versus metaphysics distinction would be that metaphysics thinks about sort of the logically necessary aspects of how the world is. And physics thinks about the more contingent aspects, like these are the actual laws versus the ideal laws.

0:08:15.9 KE: Yeah, totally. So metaphysics is an enormously broad project, and the kinds of questions that I'm interested in might best be like subtitled metaphysics of science or something. But it is true that the sort of main methodological tools we have as metaphysicians is just what happens and then like, thinking about it hard. And the thinking about it hard stuff is presumably invokes all kinds of logical principles, all kinds of reasoning principles, maybe some stronger claims about what we can a priori know to be true about the world just by thinking about it hard. But I mean, to be clear, there are lots of metaphysicians that are just, as you say, interested in non-contingent things. So maybe they're interested in the nature of numbers or doing metaphysics of logic or trying to understand the relationship between a table and it's micro constituent parts. Or I mean, you name it, we can... What's God like, what's truth like? We can go lots of questions.

0:09:17.6 SC: [chuckle] I'm glad we're gonna answer them in the remaining 52 minutes.

0:09:21.5 KE: Yeah, we are. We're gonna start with what's God like and work up to what are numbers. Let's begin.

0:09:25.3 SC: And maybe again, just for the audience that is not tuned into this, spending their spare time reading metaphysics books, how do you contrast that with similar sounding words like ontology and epistemology?

0:09:38.4 KE: Yeah, great. I think of ontology as a thing meta physicians are interested in. So I guess I think, one, ontology is sort of like the collection of things that you believe in, the stuff you believe in. So if you're an atheist, God is not in your ontology. If you're a theist, God is in your ontology, you're a deist or something. So it's like the big bucket of stuff you believe in. And then one metaphysical project is to try to give the ontology of existence that maybe the fundamental ontology of existence. So what at the most fundamental level are the things that there are that are real. And we get very spicy about that. It's not like our dragon's real or something, it's like our extended simples real, it's these sort of abstract ideas that, does the world come with this kind of stuff? And then epistemology is something like the study of how we come to know about the world. And yeah, take it, it means something like theory of knowledge, but just very broadly it's questions about how we know stuff, what we know, how we know it, how we should reason about the evidence we have.

0:10:53.8 SC: I would like you to tell me whether extended simples are real and first like...

[laughter]

0:10:58.2 KE: I don't know.

0:10:58.7 SC: First tell me what the extended simple is.

0:11:00.7 KE: First one, Sheila Kleinman USC, you should have her on the podcast. She'll talk to you about extended simples.

0:11:04.7 SC: How about what an extended simple is supposed to be? I like, so I like just that throwing out the jargon there because it gives us a little glimpses into the way you're actually thinking about it, not when you're just dumbing it down for us.

0:11:16.8 KE: Yeah, fair enough. So a simple is an object that has no parts. And an extended object is just an object that's extended in space time. And so the question is, could there be something partless that's extended in space time? I think that's the question anyway but the answer is I don't know.

0:11:37.0 SC: But surely it kind of sounds like a physics question, doesn't it? Or is the metaphysics coming in when we're deciding not just the instrumental things that physicists like to talk about, invoking things to make predictions, but the harder questions of which parts of these are real and actual.

0:11:57.0 KE: I mean, this is kind of interesting. Maybe you don't think of things in this way, but how does... Tell me if this resonates with you. So like, certainly not every metaphysician would think this, but I think a relatively common thought is something like, look, we could ask questions just about what are coherent pictures of what the world is like, what are... Science doesn't sort of start from an infinite set of options. Whether we start from a highly constrained conceptual framework about general, we have general background assumptions about what the world is like and what kinds of things we should even be looking for or could coherently look for. And the physicist is going to start their project from enormous amount of background assumptions, quite substantive background assumptions about what kinds of things they could even really be looking for. There's a lot of options that just sort of aren't on the table.

0:12:50.8 KE: And maybe the metaphysician is trying to think, okay, for real, in the biggest sense possible, what are the options on the table? So like what kinds of objects even coherently make sense? What kinds of things could you even try to build, try to use an ontology of a theory of what the world is like? So like you know, our souls on the table. That used to be a big question. And so, the question about extended simples, I take it, is not the question of like, are there any extended simples? Though that would be an interesting and important question, but just do these things, make sense, and if they make sense, how would they behave? And if we know how to think of them, could positing them do any work in some of these cases where we're trying to understand what's going on at the base level, so maybe the metaphysician is trying to pick out like conceptually coherent frameworks for some kind of scientific inquiry to even sort of take place in.

0:13:51.2 SC: How much do the best modern metaphysicians... It always makes me sad they're not called metaphysicist, but I've learned to make my peace with that.

[laughter]

0:14:00.7 SC: How much do they think about modern physics in terms of just the basics of quantum mechanics and relativity and so forth?

0:14:08.2 KE: Yeah, I think there's a huge amount of variation. So I think it, the gambit runs with contemporary successful metaphysicians all the way from like, not at all to like, "Oh, my work is highly constrained by the results and I need to be on the cutting edge of advancements in say, quantum mechanics to figure out like what the cutting edge story of what the world is like." So there's a huge range and the range isn't sort of random. It's, I take it's reflected in the kinds of questions that the particular metaphysician is interested in. So some questions, it seems like no matter how the physics shakes out, we're gonna have to figure out, I don't know, what numbers are like or what truth is. And then other questions, it seems like how the physics is gonna shake out, might make a big difference. Like, is the world deterministic or something?

0:15:04.2 SC: Or what is space and things like that? Yeah, yeah.

0:15:06.1 KE: Or what is space? Yeah. Good.

0:15:07.2 SC: Yeah. Okay, good. So yeah, let's get a little bit more specific, 'cause you did a great job of telling us the basic project, but there's all sorts of delicious specific questions that we'll never have time to get to all of them. But as I mentioned before we started, I was recently tricked into writing a short piece about something called The Principle of Sufficient Reason, giving the physicist view on this. I mean, I could have made it very short by saying most physicists have no idea what the principles of sufficient reason is, but I went a little bit further than that. So why don't you tell us what it is, is this and is it something that the modern metaphysician believes in, keeps in mind, thinks about?

0:15:48.4 KE: Great. So, let me try to bluff my way through this part. Principle of sufficient reason, I don't know much about the history, but I take it, it's something like this, something like the thought that, look, if you just sit back and like, kind of think about how things work and you think about 'em real hard, you think like, "Well, here's gotta be the way things work." Everything that happens, there's gotta be some story about why it happened. I'm not sure how to fill in this premise. I'm not sure how to tell you why you should think that for everything that happens, there's gotta be some story about why things happen. But we could think about that. But suppose I got you on board with the thought that like, "Look, for everything that happens, there's some reason why it happens."

0:16:34.6 KE: Maybe you've come to that conclusion just by looking at the world around you and thinking, well, for many things, there's a reason why it happens. And I think that's the general way. Or maybe you've got some kind of religious background principles that make you think this. And then, the thought is, look for everything that happens, there's not just sort of a reason why it happens, but there's some reasons you give such that, given those reasons, the event that we were initially trying to give a reason for had to occur. So for everything that happens, there's a certain sense of which it had to happen. There were some background reasons or background conditions that were sufficient for bringing about the thing that we began with. And I think this, I think historically the power of this principle has been as a kind of a priori principle that was supposed to sort of guide methodology.

0:17:26.2 KE: So well, when you're looking at the world and trying to organize it in a way that makes sense to you, one of the things you can have in your back pocket is that well, whatever's happening, you're gonna be able to find some other thing that was sufficient for it. And you could see how that would sort of guide your exploration of the world.

0:17:43.8 SC: And I think clearly quantum mechanics is gonna mess with this a little bit, but even back in the classical world, in the Laplace's demon kind of world, the physicist would joke and say, "Yeah, there's a reason for everything." Namely the laws of physics and the initial conditions for the universe. Those are the reasons why everything happens. But maybe that...

0:18:03.7 KE: That's a hilarious physics joke, that's the new...

[laughter]

0:18:07.2 SC: We abuse ourselves. Isn't that what is most important? But is that what one might have in mind? I mean, it's certainly not what we invoke in our everyday life when we say, "Oh, the reason why I did this is the laws of physics plus the initial conditions of the Big Bang." Like, we try to be a little bit more local and macroscopic than that.

0:18:28.4 KE: Yeah, I mean, so, I mean maybe one of the things that's interesting about metaphysics as opposed to physics or something is that a lot of the problems or questions that we're working on you can arrive at with a very thin understanding of what the actual details are. So if you had something like the principle of sufficient reason and you were a physicist, the real question you're going to be interested in is something like, "Well, what are the reasons that we're sufficient to bring this thing about?" And so the reason your joke is funny, is because it's contentless like, "Yes, yes, yes, I know the initial conditions and the laws, whatever, bring things about. But my question was more detailed than that. I wanted to know a more detailed story or maybe a more local story", or something like that.

0:19:15.5 KE: But from the kind of philosophical standpoint, I really do think that just thinking about the initial conditions and the laws is enough to start generating some of the puzzles that animated people and thinking about the principle of sufficient reason. So for instance, you might be very worried about free will. You might think to yourself, "Oh my gosh, I just stole this candy bar. Everything happens for a reason. Let me now reason my way back to the initial conditions and the laws. Why did I steal this candy bar? Well, because the initial conditions were thus and so, and the laws were yay and play, and those things guaranteed, that was sufficient for me to steal this candy bar. And so why is everyone so mad at me? It wasn't my idea to set the initial conditions and the laws as they are. In what sense do I have freedom?" and that little argument, I mean, I'm not saying that wasn't the most careful version of the problem of free will or something, but what's interesting about that little argument is it doesn't presuppose anything about the actual content of the laws or the content of the initial conditions.

0:20:19.7 KE: The mere fact that the world is somehow guaranteed to be such that everything that happens, happens for a reason generates this puzzle or this anxiety about free will.

0:20:29.6 SC: But I guess this is why it seems challenging to me to be a metaphysician because I don't think that there actually is the principle of sufficient reason. I don't think that that's true.

0:20:41.9 KE: Yes.

0:20:42.3 SC: But it's seductive, right? And it's seductive to say something like, "Well, without laws, things wouldn't make sense." But, what do we know really? Like how confident are we when we say things like that? Or how confident are we that when we're reasoning about things that are very different than our universe, that we can say things that are not overly tainted by our real world experience?

0:21:02.4 KE: Here's how I... Like when I'm trying to like, sleep at night and tell myself that I'm doing a real thing, here is the story that I give myself. For any kind of inquiry, you have to start by taking some things for granted. And if you don't take some things for granted, you just can't get anything done. And for me, the kinds of projects that I'm into, like stuff about laws, causes, that kind of thing, what you're meant to take for granted is the thought that, okay, there's this intellectual human enterprise, that's been successful sort of cross historically, let's call this thing scientific inquiry. And as the philosopher, let's try to step back and see if we can find commonalities between different episodes of successful science. And one thing that arguably... This is all debatable of course, but one thing that arguably is a commonality between many different successful scientific theories is that they make a distinction between the claims and the theory that are meant to be true or maybe universally true, and the claims that are meant to be laws.

0:22:08.3 KE: There's some kind of project that involves distinguishing some of these things, some of these true sentences as laws and some of these true sentences as merely true sentences. Same thing for causes and correlations. So across many different successful episodes of science, there's some like pressure to make this distinction between mere correlations and something above and beyond correlations, causes, or for the stuff I'm particularly interested in, enormously common that episodes of scientific inquiry develop theories that have probabilistic content. But with the standard interpretation of quantum mechanics, we get this sense that not all probabilistic content is created equal. Some of it is really getting at something important about the world whereas some of it is just a reflection of our ignorance. So you start by sort of taking for granted that there's this successful enterprise, it's made these distinctions.

0:23:04.5 KE: And then the job of a philosopher isn't to say, "Oh, now I know for sure there are laws of nature." I have no idea if there are laws of nature. That sounds bananas. And if I had to bet, I would just bet, whatever, I don't know, that we're a simulation or something. I don't know what the world is really like. But the thought is, okay, well this successful epistemic inquiry is making this distinction between these two kinds of things, laws and non-laws. Let me now go in and try to figure out what the purpose of that distinction is. And if I can say anything at all about what the world would have to be like to ground that distinction as being genuinely about the world. Like if we're saying some things are laws, what are we really saying about the world? And so, to do that project, I don't need to have much confidence that I'm really getting onto what the world is really like, or we as people are really getting onto what the world is like.

0:23:57.9 KE: I'm making a bunch of conditional claims, all of which I might give up on immediately. So the first is that there's something that deserves the name scientific inquiry. The second is that it's been successful in these various ways. The third is that it makes this distinction. I'm making lots of assumptions and then I'm just trying to figure out, okay, what, how could I build a theory of what reality is like on which it would make sense to distinguish between laws and non-law or on which it would make sense to distinguish between causes and non-causes and in which human beings could discover those things and they would be important for inquiry. So it's something like that. And I think for that, I don't have to be very confident that I'm getting things right or something. It's like a just so story or it's like a proof of concept or something. How could these ideas all fit together and make sense?

0:24:45.7 SC: Well, you've mentioned causes several times. I would like to get into what this means 'cause I'm fascinated by this. I have an angle here, you can tell me whether I'm on any track that is right or wrong. Bertrand Russell famously said that once we understand physics, there's no more causes and effect.

0:25:02.6 KE: Is that like a friend of yours, or...

0:25:04.4 SC: Yeah, he was a mathematician.

0:25:05.8 KE: Who is this guy, just name dropping? Do you know Bertrand Russell? That's amazing.

0:25:07.3 SC: Sir Bertrand. Yes.

0:25:07.9 KE: You are a big deal. [laughter]

0:25:13.5 SC: The idea being that, once you have classical mechanics in hand, it's just a matter of patterns, right? It's just one thing after another. And in fact, as Laplace pointed out, you could run forward or backward equally well. So it's not that anything goes, there's still laws, but they're not written as a series of causes and then effects. And so, my angle is that that's true at the level of fundamental physics, but then in the macroscopic world where we only have some probabilities and things like that, we have an arrow of time and it becomes possible to talk about causes preceding effects. And you have to dig into like alternative worlds, possible worlds and counterfactuals and things like that. And that's fun and a good thing to do. That's it. That's my angle. I'm trying to actually do it, but I haven't done it yet. So tell us what the modern metaphysician thinks about these things.

0:26:03.2 KE: I think those are the two basic angles for the modern metaphysician. So, the way I would try to introduce the topic is again, to say something like, "Look, start with this very metaphysically innocent notion that there are just these patterns in which things happen." We might call those correlations. So there are relationships of sometimes constant conjunction, sometimes statistical correlation. This thing happens and this other thing happens. And there's this thought, maybe it's not a thought that we get from physics. So I take the moral that maybe we don't sort of get this thought until we go up more macroscopic or something, but there's this thought that not all of these correlations are created equal. And one question that I'm interested in is what it is that we're looking for when we look for something more than a correlation. What in our goals of theorizing are pushing us to posit something over and above this correlation. But whatever the causal relations are, there's something over and above these correlation relations.

0:27:08.6 KE: When I say this thing over and above, does that suggest anything to you? It's like a philosophy thing, but maybe normal people don't.

0:27:15.7 SC: I mean, I worry about it 'cause it suggests spooky essences of some sort, which I'm against in principle.

0:27:21.5 KE: It definitely suggests something spooky.

0:27:23.7 SC: Yeah.

0:27:25.4 KE: So now the metaphysician starts to debate about like what that spooky thing is. And the thinnest sort of answer is that all that spooky thing is, is that you might have particular instances of one-off correlations or small correlations, but the causes are like the big global correlations, the patterns that hold at a totally universal scale. So something like the thought that what the laws of nature are, are sort of the patterns that are held most globally in the entire picture, whatever the thing is.

0:27:58.4 SC: So can I...

0:27:58.5 KE: So that would be like a... Go ahead.

0:28:00.3 SC: Yeah. Can I try to wrap my brain around this? 'Cause I think this is an interesting distinction that I haven't quite heard before. So if I throw a baseball and it goes a certain number of feet, that's a little local microscopic event. But the cause in, or at least one aspect of the cause in this telling is the fact that many, many baseballs get thrown and many other things get thrown and we abstract those into laws of physics and as that global law, that is the cause not the specific me throwing.

0:28:29.2 KE: It's not the global law that's the cause, but what makes it the case that that particular event was an instance of the causal relations say, is that it's an instance of this big global pattern, say the classical laws or something.

0:28:42.6 SC: Right. Okay. And does the notion of causes and effects involve counterfactuals necessarily? Like I think it does.

0:28:50.8 KE: Yeah. Good. So we were saying, we got into this by sort of saying what are the contemporary options? And contemporary option number one is to try to understand causation just in terms of those global patterns. So somehow go from, claims about the global patterns to claims about this thing caused this thing and the metaphysician is going to weave those all together to try to reduce that this thing caused this thing to this stuff about the global patterns and nothing about counterfactuals. Now, the other sort of popular way to go, and I think it's fair to say, or at least it would've been definitely fair to say 15 years ago, the way to go or the sort of most currently popular way to go is to tell some kind of story that relates causes not to these big regularities, but to these claims about counterfactuals, these claims about what would've happened under various conditions. One reason that you might wanna pause before you move to team counterfactual, is that one thing team regularity really has going for them is that the stuff they believe in is very normal. So they believe in like, the distribution of events and they believe in like, patterns in the distribution of events, and that's not spooky, right?

0:30:12.7 SC: No.

0:30:12.9 KE: That's like normal boring stuff.

0:30:14.6 SC: The real world, the actual world.

0:30:15.4 KE: Yeah. The actual world. The counterfactuals, it's less clear, what's making them true. And it's less clear sort of what they're saying about the world because they don't... On the face of it, they don't say anything about what the world is like. They say things about what the world would be like if things were different and both how we come to know those things and what about the world could make them true is much more fraught than the question, how could we know the regularities or what could make the regularities true? Very easy to say, what would make them true, harder. But still we could imagine saying something about how we know that they're true. But now that you've got these sort of weird claims about what the world would've been like, and a very natural thought, or at least I think it's a very natural thought, is that what you would've naively said is, "Oh, it's because look, the reason why I know that, had I not thrown the window... " Sorry, the window, "had I not thrown the rock, the window wouldn't have broken," is we know that throwing rocks is a cause of windows breaking and like normal atmospheric conditions aren't a cause of windows breaking.

0:31:24.1 KE: So you might have put causes on the bottom of counterfactuals, you might have thought, "Oh, it's the causal effects in our world that make the counterfactuals true." And the picture that you were suggesting, which is a popular picture, is to try to reverse that to say no, there are some counterfactual facts that are grounding or making true the causal claims of the world. And so now you wanna sort of know, well what makes the counterfactuals true and what are they about? And now you're off, you're ready. So I think you've made a good first step, but I wanna hear more about what's making your counterfactuals true and how you think we come to know them.

0:32:00.1 SC: Sure. But I am on team counterfactual and the reason why is 'cause I worry that team regularity will end up living in the physicist joke, that the only cause for anything is the laws of physics and the initial conditions of the universe. Whereas I can counterfactually say, if things had been different, if I hadn't thrown the rock, the window wouldn't have broken. And I know that people are easily gonna say, "Yeah, but what if someone else throws the rocks and break the window? Then the window would've broken anyway even if you hadn't thrown your rock. And that's why it's hard." And I get that it's hard full employment for metaphysicians. But I also very much get the worry that you're sort of, peeking at that in order to think about counterfactuals, I have to go well beyond the actual world and to all these other possible worlds. And how legit is that?

0:32:52.2 KE: I mean, so how legit is that? I mean, that's definitely, thinking about that project is highly legit. And then thinking that there's gonna be a successful answer to that question is certainly legit from many people's perspective. And then, if I'm team regularity, I'm like, "Good luck, bro. Like, yeah, let me see you do that." It's my skepticism that that's ever going to be a successful project that makes me stay and toil away at team regularity. So the question of sort of how to understand... Philosophers have a term of art, modal facts, for facts about what could be true or what must be true or what would be true under various conditions. And it's a very hard question to see either how to reduce those claims about the modal facts to what actually happens.

0:33:46.2 KE: So go from what could happen to what actually happens or what would happen to what actually happens, ground them all in the actual world, seems very hard or posit something, over and above, or in addition to the actual world that can serve as the grounders or truth makers of those things. So just, I mean, just famously, just to give you a taste of how this can go, there's a very influential philosopher named David Lewis. David Lewis was a fan of using the kind of possible world talk that you were invoking a second ago to think about modality. Many people are fans of using the possible world talk to think about modality, but Lewis thought those possible worlds were actual concrete worlds. So that when we were making a claim about what would happen under various conditions, that claim was made true by actual concrete worlds in which there were anything you can imagine, were actual concrete worlds. So that would be like a really metaphysically robust, you'd believe in lots of things apart from the actual world to make those counterfactuals true. So yeah. Tough questions.

0:34:54.8 SC: It seems a little...

0:34:55.1 KE: But team counterfactual is popular.

0:34:57.8 SC: It does seem a little extravagant, but that's okay. Extravagance is something I've learned to live with.

0:35:02.4 KE: Yeah, there's other options, I don't wanna suggest that that's the only option.

0:35:05.1 SC: Well, but so let me hone in on... Since I have you here, I'm gonna take advantage of this. Let me hone in on what I gather to be one of the issues that Lewis would say something like, yeah, something is a cause of something else, if in another possible world if A hadn't happened and B would not have happened, but then he has to add, it's like the nearest possible world. We're gonna change A but we're not gonna change anything else about the world. And then the big question there is, what is nearest supposed to mean? Like, I could imagine a possible world where I throw the rock at the window and then just as the rock is gonna hit the window, I violate the laws of physics so the rock just goes through the window and that's a very close possible world but I violated the laws of physics so that seems like a really big difference. And so I guess how do you measure what's a big change in the world versus what's a small change? Seems to be a looming issue here.

0:36:00.4 KE: Yeah. So maybe one way to try to help to clarify what's going on here. So many people like this possible world talk as a way to make sense of what we mean or what the truth conditions are, or what the semantics are of various counterfactual claims. So forget about our problem about causes for just a second. Just think about ordinary counterfactuals. Consider the counterfactual, if Katie were a kid in 2023, Katie would have TikTok. Is that counterfactual true or false? Well, there's a way of thinking about it that makes it seem true, and there's a way of thinking about it that makes it seem false. Way of thinking about it that makes it seem true, Katie would have TikTok, is that when I was a kid in the '80s, I was very influenced by trends, I just wanted to fit in.

0:36:56.8 KE: And so, if we sort of hold, fixed that fact about me, that Katie is somebody who, when she was a kid, was focused on trends, it seems like, well, if I were a kid now, I would still be interested in trends. And like TikTok is the trend. On the other hand, another feature of me is that now at the age of 41 or whatever, I don't know anything about the technology that kids are using. If we hold, fix that that fact about me, then we wanna say, well, if Katie were a kid today, she wouldn't have TikTok 'cause she like doesn't know anything, she's like a Luddite or whatever. She doesn't know anything about tech. So it's a general fact of counterfactuals that when we're evaluating them, we can make them seem true by fixing the background context in one way, or we can make them seem false by fixing the background context in another way.

0:37:47.1 KE: And that closeness or that similarity relation is how a philosopher is thinking about what's going on in those different evaluations we wanna give in the counterfactual. One context told you that the sort of relevant worlds to look at are worlds where Katie's a kid and she's into trends. Another context told you that the relevant worlds to look at were worlds where Katie's a kid and she's like a Luddite. And so, now, when it comes to the question of how to understand these counterfactuals that are grounding causation, there's this sort of question about like, "Okay, well we need some similarity relation, just like we do with every counterfactual we're evaluating, but now it needs to be kind of the real one or the physically important one. And trying to figure out what the sort of physically important, relation of closeness on possible worlds is something that like Lewis and other meta physicians who are interested in kind of, some people are just using possible worlds as a model to make counterfactuals come out. Right? And some people are using possible worlds to tell them about what the nature of reality is like. And if you're doing it for that second project, you better have something to say about what the proprietary closeness relationship is. I feel like this wasn't a successful speech.

0:39:07.9 SC: No, I think it's...

0:39:08.0 KE: Anyway, the closeness thing is a problem. And Lewis famously said as you noticed that the sort of closest worlds that you're gonna need to get your counterfactuals to operate in the right way, are going to be worlds with slightly different laws of nature. What do you call it? Small miracles or whatever.

0:39:27.3 SC: Well, I think it was a very successful speech because it brings up what I think is something to help you fall asleep at night when you're worrying about whether any of this is useful. There's a glib answer to the, would Katie be on TikTok question, which is, "I don't know. There's no such thing as Katie who is a kid now, because Katie wasn't a kid now, so don't ask me that question." But the response to that is, but what we care about are questions like, "Did this patient get better because we gave them this medicine," and that's an equally counterfactual question. So even though we're playing games with the metaphysics to make it dramatic, the underlying issues are pretty down to earth.

0:40:07.0 KE: Yeah, that's right. So I really like that speech and I really wanna emphasize it. It seems like metaphysicians are just like jerks. We're just like jerks who are out there saying nonsense for no reason or something. But it really is true that what's driving us isn't... Well, depending on the person, but like I'm not trying to be an obscurist jerk, it's just that when you start saying very normal things like, "This explains this," as you said, "Did the medicine explain the recovery or was the medicine a placebo?" Just a very natural question like that immediately as you point out, starts to invoke counterfactual comparisons. You wanna say, "Well, would the patient have gotten better without the medicine?" That's immediately a counter-factual. And that's not just some goofy counterfactual about whether Katie would have liked TikTok, that's a counterfactual that's going to ground actual research that we really care about.

0:41:06.2 KE: No, I'm not saying that we have to understand what that question means in order to do the actual research, but it's a desire to understand better, simple claims like that, that drives the meta-physician into positing things that will look pretty weird from the perspective of just on-the-street common sense. So that's exactly the kind of question we're trying to answer.

0:41:29.9 SC: And all these questions are hard enough if in the possible world where Isaac Newton had been right and the laws of physics were deterministic and Laplace's demon could be telling us what's gonna happen next, but he wasn't right, we have quantum mechanics, so we have certain events that... Let's be super precise about it, there are certain events for which our best physical theories can at most predict the probability with which they will happen. Does that throw a monkey wrench into our attempts to find the cause-effect relations in the world?

0:42:04.8 KE: Yeah, great. Well, I will tell you how I think about the answer to this question, but I don't wanna say that it's like the way people think about the answer to this question.

0:42:12.7 SC: By the way, this is just a very philosopher way to talk, like philosophers always want to give every possible answer to the question and then say, "Who knows."

[laughter]

0:42:23.7 SC: But I think here on the podcast, you're welcome to tell us what you think is correct.

0:42:27.8 KE: I just want you to know the menu of options and I wanna mitigate the hate mail that I'm gonna get after this.

[laughter]

0:42:33.3 KE: Okay, so many different things you could think about the switch from the success of deterministic pictures to the apparent predictive success of indeterministic pictures. Here's how I think about it. I think there used to be a pretty strong methodological principle guiding scientific inquiry across many different instances of scientific inquiry, there was something like this, to the extent that you have probabilistic content in your theory. That probabilistic content is a marker of the nonideality of your theory. A kind of ideal theory of the world, maybe this theory isn't achievable, maybe we could never know it, maybe we could never find it, but the kind of ideal theory of the world will be fully deterministic. And to the extent that your theory has some probabilities in it, that's a marker of your ignorance, maybe not in a way that we blame you for it or something, but there's something that you haven't filled in yet, and you're still trying to make pretty accurate predictions using your probabilistic model, but that's a marker of incompleteness.

0:43:51.5 SC: So statistical mechanics would have been like that?

0:43:54.5 KE: Yeah, exactly. So you've got these... Exactly. And you see this pressure to... Exactly, that the statistical mechanical project is trying to recover the determinism at the bottom from these probabilities at the top. Exactly. For me, and for people who do projects like mine, a big shift in the at least temporary popularity of the standard interpretation of quantum mechanics where these probabilities are not taken to be a mere expression of our ignorance, but as describing something irreducibly stochastic about the structure of the world. That shift was a really big deal because it represented a giving up on, or maybe it shows that this norm for determinism was never there, or maybe it shows that there was a switch, we let go of the norm and said, "Okay, we'll now accept that you can have a complete theory in some sense, or an ideal theory in some sense, that's irreducibly probabilistic."

0:44:57.2 KE: That from a big picture view point was a big shift in the way science is conducted. And it corresponds to a big shift in how we have to understand certain projects that science was undergoing. So what is prediction? Our understanding of prediction now it looks like has to change, and our understanding of explanation looks like it has to change. So maybe our old understanding of prediction was something like ideal prediction is just saying What happens before it happens or before you check. But now, we don't wanna be in a position where we can say what happens before it happens. If anything, that's gonna be a marker of us having failed because we're thinking the world is really genuinely indeterministic. So now our predictive enterprises aren't to get what happens right. It's to, I don't know, match our credences to the chances, or match our credences to the probabilities.

0:45:52.0 KE: Given by the theory, we wanna make predictions at the rate at... We're doing something predictively different now. And as we were talking about at the start with the principle of sufficient reason, we're arguably doing something different in our explanatory project or we need to rethink our explanatory project. 'Cause now we're not trying to find sufficient reasons for things to happen, there are no sufficient reasons for things to happen. Instead, we're trying to do something else. You offered maybe we're trying to find sufficient reasons for the probabilities to obtain other options too. So for me, the big shift between more classical mechanics to the quantum picture isn't so much about trying to figure out like what is the right way to interpret the probabilities of quantum mechanics, those are people's projects, that's just not my project. What do those probabilities say about the world. To what extent are they real, to what extent do they show that there's something strange going on with observation and reality. There's all those kind of local questions.

0:47:00.1 KE: But there's a kind of big global question, which is like, "Oh wait, our science changed one of its major guiding norms, and what does that tell us about the nature of explanation and prediction." And so, our story about causation has to be really different in a fundamentally indeterministic world. And thinking about that is one of the things that I like to think about.

0:47:22.0 SC: But maybe you would agree with me, I get... My hackles are raised when people say, "Because of quantum mechanics, there's no such thing as cause and effect." Because you don't...

0:47:31.8 KE: Yeah. That is...

0:47:33.4 SC: That's too far.

0:47:34.6 KE: Who said that to you? Do people say that?

0:47:35.8 SC: There are people on the internet who say things like that.

0:47:37.0 KE: Okay. Right. Yeah, no, I don't think that's true. But you can imagine, I mean look, you can imagine taking the view that look causation, explanation, prediction, those were things that we thought we could do in a deterministic world, now that we found out that the world was indeterministic we have to give up on all those things. I think that's obviously the wrong reaction. I think the right reaction is, "Oh, now you have to re-conceptualize all those things so that they make sense," given our best piece.

0:48:04.5 SC: Well, especially 'cause we never were Laplace's demon. We never had all that information, so it was always at best some probabilities getting involved there.

0:48:12.0 KE: Yeah, that's exactly right.

0:48:14.9 SC: There's a question that gets related to this, which is the presentism versus eternalism question. On a recent Ask Me Anything episode, someone said, "If you were living in a truly indeterministic universe, can you still be an eternalist?" 'Cause you don't know exactly what's gonna happen in the future. And my answer was, "Sure, why not? It's just that there is a future, but we don't know which one it is. That's our ability to predict, that's not the fundamental ontology of it." And then the comment on YouTube, which I happened to stumble across was, "Well, then what difference does it make? If you could be an eternalist no matter what's happening, then it seems pretty content free to be an eternalist versus a presentist." And I wanna say, "Yeah, that's fine." I don't really... I'm not in love with being an eternalist, I just am, but if you don't wanna be and it still gets you all the predictions than I'm kind of happy with that. I don't know if I'm giving up too easily there.

0:49:07.0 KE: Well, so I definitely agree with you that eternalism and indeterminism are totally compatible. There is like, I think thinking about that is pretty interesting because normally when we think about indeterminism, we tend to think about it in a heavily epistemic way. We think about it, we wanna describe it as, "Oh yeah, we can have a complete story about the world at a time, we can have a complete story about the laws of nature." So we wouldn't know what was going to happen in the future. If eternalism is true, you could know what was going to happen in the future without that in any way impeding the indeterminism of the world. That there's a fact of the matter about what happens in the future is totally consistent with their being some probability of what was going to happen in the future. Your enemy on YouTube, who has accused you of the contentless-ness of eternalism, I don't think it's... I think they were thinking that the good thing about eternalism or something was that it was going to make sense of the deterministic indeterministic distinction, and I don't think that's right, so I think whatever the appeal is of eternalism or presentism, it's not driven by wanting a picture that makes sense if say deterministic or indeterministic relationships.

0:50:35.7 KE: I think it's much more driven by... Well, it's driven by lots of things, but it's driven by even just naive things about thinking whether or not there's a fact of the matter about what will happen in the future. So today, you're gonna eat a sandwich for lunch. Let's just stipulate that. You haven't eaten the sandwich yet. If I say, "Sean has a sandwich for lunch," is that true? And is it true now, and if it's true now, what makes it true. And if presentism were true, what could make true these claims about the future or the past, if there is no future and past. That's a much more humble way for your YouTube enemy to get motivated about the distinction between eternalism and presentism. But I'm hardcore on your side, eternalism totally consistent with indeterminism.

0:51:21.5 SC: But then this leads right into what I really wanted... One of the things I really wanted to talk about with you, which is Newcomb's paradox.

0:51:28.7 KE: Oh yeah.

0:51:29.5 SC: And I have very strong feelings about Newcomb's paradox, I'm not gonna tell you...

0:51:32.9 KE: You seem like a guy who would.

0:51:33.7 SC: I would. And I'm not gonna tell you what they are, I want you to give us your take first.

0:51:38.8 KE: Well, all good people have two boxes. Do people know this puzzle?

0:51:42.7 SC: No, one boxing is absolutely correct.

0:51:45.1 KE: One boxing is absolutely correct? Is that...

0:51:46.7 SC: Yeah, but the people don't know the puzzle, so explain the puzzle.

0:51:50.0 KE: Great, here's what Newcomb's paradox is. You're gonna play a game. In the game, you can either pick an opaque box by itself, or you can pick an opaque box and a clear box.

0:52:01.9 SC: Right.

0:52:02.5 KE: And the being says, "Look, I'm gonna put... "

0:52:04.4 SC: I'm terrible remembering the rules of all these paradoxes and like Sleeping Beauty who was a Tuesday or what it... I get that it's hard to get it right on the spot. So we're picking either the opaque box or both boxes.

0:52:20.6 KE: Right. The opaque box or both boxes.

0:52:22.2 SC: And what's in the boxes?

0:52:24.4 KE: And the opaque box either has $0 or a million dollars in it, and the clear box, you can just see in the box, it's got a 100 bucks in it. Are we doing this right so far?

0:52:38.9 SC: I think that sounds right. I think.

0:52:40.5 KE: And the being tells you, look, "Rob, I'm gonna make a prediction. If I predict that you're gonna take both boxes, I'm gonna put $0 in the opaque box, and if I predict that you're gonna take just the opaque box by itself, I'm gonna put a million dollars in there." So the being is going to make a prediction before you pick. The being doesn't control you, and the being will have either put the money in or not put the money in before your pick. So when its time for you to pick there's an opaque box, it either has $0 or a million dollars in it, and there's a clear box with $100 in it. And you can pick either both boxes or just the opaque box.

0:53:26.6 SC: Yeah.

0:53:27.9 KE: Now you have some background information, which is that people have been playing this game show for time immemorial. Every time somebody has picked both boxes, the being has correctly predicted that they were going to pick both boxes, and so they've put $0 in the opaque box. So it's an extremely high correlation between picking both boxes and walking out of the game with just $100. On the other hand, when people decide to pick just the opaque box, the being has an extremely high track record of having predicted that correctly, and therefore putting a million dollars in the opaque box. So there's an enormously instance to regularity, and earn of as big as you like, but people who pick one box walk away with a million dollars, and people who pick both boxes walk away with only $100. And now the being has made their prediction, they've put the money in the box. It's time for you to pick. And you Sean... Well, I Katie, I picked both boxes.

0:54:33.0 SC: And you're gonna walk away with $100.

0:54:34.2 KE: And I walk away with just $100.

0:54:35.6 SC: I'm gonna pick one box and walk away with a million.

0:54:38.2 KE: Great, well, that's why you are an enormously successful...

[laughter]

0:54:43.5 SC: What is your justification?

0:54:44.2 KE: Academic and podcaster.

0:54:45.2 SC: Who do you wanna go first? You wanna give your explanation why?

0:54:49.6 KE: Yeah, sure, I'll go first. I had in front of me two boxes I didn't know how much was in the opaque box. I knew there was $100 in the clear box. My choice can't make any causal impact on what's gonna be in the opaque box. I know that no matter what I do, I'll do better by picking both boxes, 'cause I always gets $100 bonus from that clear box I pick up. So there I am, I take both boxes. I excitedly open the opaque box and oh, there's nothing in it, and I'd go home a loser. But at least I have my rationality, at least I can tell my grandkids that I understood what I was doing.

0:55:32.7 SC: Right, whereas I will have a million dollars. My grandkids are gonna be happier with me.

[laughter]

0:55:37.7 KE: Sweet.

0:55:38.1 SC: 'Cause the way that I think about it is, there are two possible worlds that I could be in, there's a possible world where there's a million dollars in the opaque and a possible world where there's not. And it is true that the fact that I'm in one possible world or another pre-exists me making the decision. So nothing changes on the basis of me making the decision, like you said. But the rub is that this magical being, who is the game show host, does know which possible world I'm in and is telling me. [chuckle] And so I'm gonna believe the magical being who knows more about the set of possible worlds, and I'm gonna pick living in the world where I get a million dollars. That makes perfect sense to me. It's perfectly rational.

0:56:25.8 KE: Yeah. Great. Let me ask you this, so I understand everything that you said. Totally see it, the appeal. There you are standing in front of the two boxes. You're fully intending to take the one box. What do you think would have happened at that moment when you're about to pick boxes, what do you think would have happened if you would have taken both boxes?

0:56:47.9 SC: The one box would have been empty, the opaque box would have been empty.

0:56:52.2 KE: How would that have worked?

0:56:53.7 SC: [laughter] Well, it is either empty.

0:56:55.3 KE: The money was there or it was not there.

0:56:57.1 SC: Right. Exactly, and I don't know. And the trick of the question would, as in many metaphysics thought experiments, you can always just say, but there are no magical beings like this, okay. But the trick is a magical being, this comes from me being a determinist. Not a determinist. Sorry, I shouldn't say that. An eternalist, as thinking that there is a fact about the future, even if I don't know what it is. And you're telling me there's another person who does know what it is, and they're telling me, and the fact is that there's only two possible futures, one in which I pick both boxes and get a 100, one of which I picked one box and get a million, I'm gonna do the one where I get a million 'cause I like money.

0:57:39.5 KE: I totally get the choice. I'm a little skeptical that the eternalism plays much of a role in this reasoning, but I... It is true that the one boxer gets to brag about being rich. I have a shtick about this, which I haven't published yet, but my shtick about this is... The problem of the shtick is I don't know any facts about any of the material involved, but there's this religion called Calvinism. Right?

0:58:07.1 SC: Yes.

0:58:07.7 KE: And I don't know if this is actually true of real Calvinism, but my elementary school version of Calvinism is that Calvinist have this picture about predestination. God picks whether or not you're going to heaven or hell before you sort of live your life. God writes down in God's book of heaven or hell, whether or not you're going to heaven or hell. And then you might think, "Well, if God's already picked, what's my motivation for living in a good life?" And the answer to the Calvinist give again, supposedly is, well, you obviously God wouldn't have picked a bad person to go to heaven, God looks at your whole life and sees what you do, and on the basis of that, decides if you're gonna go to heaven or hell. So when you do good acts, what you're doing is you're giving yourself evidence, you're not making it the case that you go to heaven, you're giving yourself evidence that God preordained you to go to Heaven. And when you do bad acts, you're giving yourself evidence that God prepared you to go in to hell.

0:59:15.3 KE: And I think the structure of this is exactly like the Newcomb's problem, so the Calvinist gives you a one-box answer, which is that even though it's already written in the book, whether or not you're gonna go to heaven or hell, still don't sin, not because you're sinning has any causal effect on whether or not you're gonna go to heaven or hell, but because it's evidence that... Your sinning is evidence that you're gonna go to hell, and you don't wanna create a situation where you have a bunch of evidence that you're going to hell 'cause then you'll probably go to hell.

0:59:44.7 SC: I love that. I think you've made Calvinism make intellectual sense to me. I might become a Calvinist now.

0:59:50.1 KE: Great.

[laughter]

0:59:50.7 SC: Or at least, I'll be friendlier to the Calvinist, so I meet others, which is not very many of them, but... Okay, okay, good. And then, we're gonna add another wrinkle to this whole game of predestination or whatever, by saying, "Well, what if I have a time machine?" There's a long-standing set of questions about, if I had a time machine, I could go to the past. Could I, and separately, should I do things to change how things turn out? And presumably this is right up the metaphysical alley of people who think about these questions.

1:00:24.8 KE: Absolutely. No, it makes no difference. It's fun to think about.

[laughter]

1:00:31.5 KE: It's perfect. Whatever alley.

1:00:31.5 SC: No one is gonna live with that. Yeah, right. I can imagine different versions of time travel, one in which you do change things, one of which you don't, one in which there's different timelines come into existence. Is there like a retenu or a menu of possibilities that we think about metaphysically?

1:00:51.0 KE: Yeah, so again, name dropping this dude, David Lewis. So there's a... I guess there's a tradition among science fiction authors that Lewis piggy-backs off of trying to think about a particular kind of time travel scenario. So sometimes travel scenarios, and they're getting popular in TV and media stuff or these kind of multiverse time travel scenarios where when I go back to the past, say to write some wrong, what I actually do is I travel to a different timeline or something, and when I'm in that timeline, I prevent whatever I want to stop the bully who picks on me and then I go to a different timeline where I tie the police shoes together or something. Whatever interesting questions there are about that kind of model, that kind of model isn't the one that philosophers have spent the most time thinking about, and it's not the kind that science fiction authors at least a while ago, I didn't spend that much time thinking about.

1:01:57.6 KE: And the reason is because the sort of fantasy is to go back and change the past, and the thought is, "Well, on the multi-verse story, you don't go back and change the past, you go somewhere else and do something else." Like I wanna get the bully who harassed me in my childhood, and going to some other universe or whatever, some other bully, that's not my fantasy. So we think about the single timeline, time travel stories.

1:02:26.7 SC: Let me just...

1:02:27.1 KE: But then the bummer...

1:02:28.2 SC: I also wanna quickly mention the fact you're completely correcting your impression that in the movies and TV, this multiple timeline thing is the latest rage, but I have noticed that even though it is not intellectually respectable, the writers still like their timeline the best. So there's all these stories of our heroes completely erasing entire timeline from existence, which makes them genocidal maniacs.

1:02:57.0 KE: Horrific monsters.

1:02:58.3 SC: I know, it's terrible.

1:03:00.5 KE: I know.

1:03:01.5 SC: And so, I wanna stand up for all the people whose timelines get erased for narrative consistences.

1:03:03.9 KE: Yeah, just 'cause it's not your timeline doesn't mean you can just click it away or snap it away or whatever. It's brutal.

1:03:11.5 SC: That's my thought, but anyway.

1:03:12.2 KE: Good. So we like the single timeline stories.

1:03:14.5 SC: Single timeline. Good.

1:03:16.6 KE: But the bummer about those is that it seems as though you can't change the past, and that sort of ruins the fantasy, but the kind of classic philosophers paradox is this thing called the grandfather's paradox. And basically the story is just, you hate your grandpa as people do whatever. No, people love the grandpa's. But you hate your grandpa, you wanna go back in time and murder your grandpa, you don't want him to live to the age of 30 or whatever, you're really angry at your grandpa. And it seems like you should be able to do that. If you're dead set on harming someone, I don't know what... Philosophers always do, the most violent, upsetting version of whatever the case is, so...

[laughter]

1:04:03.7 KE: Sorry about slipping all the violence in. But anyway, you should be able to kill your grandfather, it shouldn't be that hard. It's not like your grandfather is a super hero or something. You're gonna travel back in time. But on the other hand, of course, if you kill your grandfather before your father is born, then your father won't have you, and so you can just sort of... As you're trying to kill your grandfather, you can just look down at your own body and see, "Oh, I'm gonna fail to kill my grandfather, and I know that because I know that things happen in the future that are inconsistent with my killing my grandfather." So it seems like there's a sense in which you can kill your grandfather, and a sense in which you can't kill your grandfather, and that sounds incoherent. So, what's the solution?

1:04:48.6 SC: Well, and it seems to be very similar to Newcomb's paradox, in the sense that what is new is that rather than a magical being, it's you who has some information about the future. So your personal future is the universe... Sorry, I guess your personal past is the universe's future once you've traveled into the past, right? You know that your grandfather will have kids, and like you say, you look down on your body and you have evidence of it.

1:05:14.7 KE: Yeah, and so like one way that I like of making this feel extremely weird is imagine you try to kill your grandfather a bunch of times, you're gonna fail every single time, it's gonna start looking like this hilarious Comedy of Errors, the first time you try to kill your grandfather, you're gonna like, I don't know, a bird is gonna fly by, as you're trying, you're gonna fail. The second time you're gonna slip on a banana peel, the third... Who knows?

1:05:42.1 SC: You know you're gonna fail.

1:05:42.4 KE: One thing you know for sure is that you're gonna fail every time, even though this task is apparently easy, you are well prepared for it, somehow you're gonna fail and it's not like some cosmic... Not even time police is gonna come and arrest you, it's just that a series of events is going to transpire, such that no matter how many times you attempt to kill your grandfather... From your first personal perspective, it's gonna seem like there's some kind of magical force protecting your grandfather, 'cause no matter what you do, you're unable to get it.

1:06:14.0 SC: Do we learn any lessons philosophically from... 'cause I can really agree with your conclusion there.

1:06:19.3 KE: What philosophical lessons do you learn is something that very touchy about because people... I've published about time travel and people goof on me all the time, they think it's a non-serious topic, and I see their perspective, but here's the reason that I like to think... One reason I like to think about time travel is amazing, you've already alluded to, which is that when we're thinking about kind of eternalist picture, we wanna be able to cleanly separate claims about what we know or could in principle know about the future from what is the case about the future, whether the future is determined, and it could be hard to sort of cleanly separate those conceptually. This time travel story helps you to clearly separate claims from what you know about the future to what the causal impact is that you have on the future.

1:07:08.5 KE: But so let me ask you a question about what you think about this time travel case. So take some kind of local system that you think is genuinely in deterministic, it could be like something radioactive decaying or just to have it simple, let's just say we have a genuinely indeterministic coin, we're doing a coin toss and somehow it's really in deterministic, even though that's not physically real or whatever, just pretend. So you watch the coin get flipped and it lands on heads, and now, you travel back in time to the beginning of the coin flip. On the one hand, we've said the coin flip is genuinely indeterministic and we haven't changed anything physical about the coin, so you going back in time doesn't change anything intrinsic to the set up of our experiment, you know that the coin is gonna land heads. The question is, is it consistent with what you know about the future, that the coin still has a 50/50 chance of landing heads, or is the right thing to think now that, oh, there's something about your time travel that has transformed to this otherwise indeterministic system into a deterministic system?

1:08:21.7 SC: Good. My answer would be that we have converted it to a deterministic system, in the sense that I am a eternalist who's gonna be open to the closest we can come to genuinely probabilistic indeterministic events, which is just that something is gonna happen, but we don't know what it is, it's purely epistemological. And so what you're saying is that because I have a time machine now, I do know what's gonna happen, so now it's deterministic, now I think we know what's gonna happen.

1:08:52.8 KE: Great. And does that imply something... So it seems like that imply something that might have been surprising, but maybe you won't be surprised by this, which is that the... Whether or not the experimental setup was indeterministic or deterministic, turns out to not be a global feature of the entire system rather than an intrinsic or a local feature to the mechanics that were underwriting the coin flip.

1:09:19.6 SC: Yeah, I think that's perfectly fair, because what I really have worries about, issues with is the notion of true indeterminism as opposed to fake indeterminism or whatever. And the example I always have in mind is someone is reading out a list of numbers in base 10 digits between zero and 9, and you strive and strive to understand what is going on, how to predict what number is gonna come next, and you do all the statistical test, you find no correlations, it looks as random as it is possible for random to be, and then they reveal at the end that they're literally just giving you the digits of pi starting with a million digit. Right, so secretly, there was a deterministic rule that was telling you what's going on, you just didn't know it. I don't know what is true indeterminism and what is not there, I get that epistemologically, I might know what's gonna happen or not, but something's gonna happen.

1:10:22.1 KE: Something is definitely gonna happen. Are you saying that like... I don't know what you're saying yet. Are you saying that... It sounded like you were saying, because take any particular distribution of events, it's consistent with that distribution of events, both that it was the object of a secretly deterministic process or it was the product of a genuinely stochastic process. The frequency with which the events occurs under determines whether or not it was produced by a deterministic system or an indeterministic system. And so are you thinking, because the outcomes are always gonna be consistent with both options, we should default to thinking there's a secret deterministic explanation or something?

1:11:11.8 SC: Oh no, I wouldn't say that. I do think that in the list of all lists of numbers, most of them do not have any nice algorithmic simplification like the digits of pi. So in the list of all things that could happen in the future, if it's not deterministic, most of them will not have any secret underlying deterministic process, I'm just saying, I'm not sure there is a difference between saying, I know of the simple deterministic rule underlying it versus I know of the future list of things that will actually happen. In both cases as a matter of my knowledge and the existence of a simple deterministic rule underlying it is interesting. But maybe I'll get it, maybe I won't, and that's okay. I'm not being very clear. This is my fault here. I get that there is a question. What are the simplest, most compact form of the laws of physics to tell us what happened in the future, but I'm open to those simply being a list of things that happen in the future, it still counts as a law.

1:12:19.1 KE: I see. And this is... Okay, good, so this is getting us back to Newcomb's puzzle. So when I say about Newcomb's puzzle, Sean, what you doing? You're picking the one box that's bananas. You should pick both boxes. What I'm thinking is that there's this genuine fact of the matter at a particular time about what the causal influence will be between picking the boxes and the predictor, and there is no causal influence. So go for it. And your thought is, "Look, there's no substantive difference between whether or not my influence over the thing is causal or evidential, all I really care is about the evidential relations, and so whether or not this thing is backed by some underlying reality isn't important to me." It's all about the epistemology. So if I know about the outcome of the system ahead of time, it's gotta be a deterministic system, 'cause all there is to the notion of determinism is something about what you can know and when you can know it or something.

1:13:21.1 SC: I think that's roughly true, although I haven't stated it perfectly, but it does seem consistent to me with the idea that you can go into the past as a time traveler in a single world universe, and the things that you know have to happen in your future now, are going to happen, you can't prevent them, but there's other things you don't know where you would act exactly as if you have free will about doing this or that.

1:13:48.6 KE: Do you think there's a difference... Suppose God were building a world. God's building two different worlds. The first world that God is building, you can know the initial conditions and the laws and use that information, or not you, but a super compete, some super mind, some Laplacian demon could from the initial conditions and the laws, deduce everything that's gonna happen, that's world one. World two, the initial conditions and the laws under-determine what's going to happen in the future, but they do it in a probabilistic way, in some kind of stochastic situation. God is trying to build those two worlds. Do you think there's any ingredient that God would have to put in to the deterministic world or the indeterministic world to make it indeterministic or make it deterministic?

1:14:44.3 SC: I guess what I'm trying to say is that to the extent that eternalism makes sense, there's no such thing as an indeterministic world. If I allow for super smart pen temporal beings who can tell me exactly what will happen in the future. [laughter]

1:15:07.3 KE: But isn't there just a totally... In one situation, the initial conditions and the laws fix what happens, in another situation, the initial conditions and the laws don't fix what happens, isn't that a non-epistemic difference? Maybe there's no knowers in these worlds at all.

1:15:25.4 SC: Right. I guess one way of saying what I'm trying to say is that I would count the complete future history of the universe as a candidate law of physics, not a very useful one, but if that were somehow made accessible to me. In practice, it isn't, so that's why in practice, we deal with probabilities all the time, I'm a complete subjectivist about probability. I think the probability is always about what we know, and so if you tell me someone out there could in principle have a complete list of everything that happens in the future, and if I could get a hold of that, that would come to me as a deterministic law.

1:16:01.6 KE: Can I ask you one more question about that?

1:16:03.1 SC: Of course.

1:16:03.9 KE: So one of the things that sort of encoded into the principle of sufficient reason is a kind of symmetry between explanation and a certain sort of prediction. So according to the principal of sufficient reason, what it is to be in a position to sort of fully explain something, is to be able to give reasons that make epistemically sufficient concluding that sort of PE is going to happen or whatever. On the kind of picture that you're alluding to, where we get determinism because we get the full world histories, do you think there's an explanatory asymmetry between the, say, laws that are determined by partial world histories versus... Just to go back to our coin flip case, you've seen the coin land heads before you travel back in time, that gives you great evidence that the coin lands heads, but presumably doesn't play any role in explaining why the coin land heads. And in general, this eternalistics facts, these facts about the future, they're gonna give us great predictive evidence about what's gonna happen, what do you feel about their explanatory power, or...

1:17:26.1 SC: Well, I think that there absolutely is a distinction between the case where the information I need to have now in order to predict the future with a 100% fidelity is pretty simple. It's the current state of the universe plus some dynamical laws versus the case where someone just needs to literally tell me what happens in the future. And so, maybe that distinction maps onto the existence of explanations. But I think that's up to us. I don't think explanations are spooky things out there in the world either. I think that the existence of a possible compact statement of regularity is very, very useful, whatever you want to call it.

1:18:09.8 KE: When you think of say, I have two empirical theories that are observationally equivalent, I don't know how observationally equivalent to make them, maybe they're just observationally equivalent about a particular outcome, but let's say they're at least observationally equivalent for everything that actually happens, but their contents are different. Maybe they're different formulations of Newtonian mechanics or something. Make the same predictions. Do you think there could be two theories that make the same predictions, but one is a better explanatory story than another, or one is genuinely explaining, whereas the other one is just making predictions but not genuinely explaining?

1:18:54.3 SC: I think that if the two theories... This is a great question, and I think I'm actually gonna extend it in just a second, but to actually answer it, I think that if the two theories make literally the same predictions, like there's literally a mathematical equivalent between them, like Hamiltonian versions of classical mechanics versus Lagrange versions of classical mechanics, then I think that they literally are the same theory. I think that there's no sense in which one is the right one, one provides better explanations or anything like that. They're equivalent, they're saying the same thing.

1:19:23.9 KE: That's really interesting. Okay.

1:19:24.7 SC: But I think the reason why we're tempted to think that one is better explanation than the other is because we don't know what the final laws are. And thinking in terms of one formulation of the laws might lead us naturally to extend them in certain ways. Like, give us ideas about what happens next, what a better formulation of it is. And starting from a Hamiltonian versus Legrange might take us down very different hypothetical roads, right? So in practice, since we don't know the laws, there could be a big difference between different mathematically but morally... Mathematically equivalent, but morally inequivalent ways of thinking.

1:20:04.0 KE: And so anytime two theories are mathematically equivalent, whether or not one is true or the other is false, those mean the same thing. For one theory to be true implies the same thing about the world then for the other theory to be true if they're observationally equivalent.

1:20:20.4 SC: That's right. If they're observationally equivalent and actually true, yeah. Yeah.

1:20:24.3 KE: Yeah. Oh, sorry. If they're observationally equivalent, and actually I was wondering if there could be a case where they're observationally equivalent. One was true, one was false.

1:20:34.8 SC: But, I mean true in the sense that we're not gonna tomorrow do an experiment that overthrows both of them.

1:20:39.9 KE: Yes. Sorry. They really are, they're observations are.

1:20:42.7 SC: Yes.

1:20:43.3 KE: They're empirically adequate. They're observationally equivalent.

1:20:46.5 SC: They're the same theory to me. And I think that I have a lot... Like a lot of my project, I have a project, that's so sweet, is to start from like the most basic formulation that I can imagine of the fundamental laws of physics and recover the manifest image from it, right? And say, okay, this is why we have tables and chairs and things like that. And what almost everyone does, physicist and philosophers to me, is that they cheat, they know what the manifest image looks like, so they're just gonna burden their ontology with ideas about laws of physics and space and what have you. And I really want to get those as effective, emergent, higher level approximate things and figure out why those are nevertheless useful to us.

1:21:34.3 KE: That's very interesting.

1:21:38.5 SC: Is that your way of saying that it's completely nuts?

[laughter]

1:21:39.0 KE: No, no, no, no. The thing I'm particularly interested in is this idea that something like observational equivalence implies equivalences all the way through or something, that there couldn't be sort of two theories that give us different claims about what the unobservable world is like. But make the same claims about what the observable world is like so that they're sort of, the truth of the theories is underdetermined by... It's not just underdetermined by the evidence we actually have, but it's underdetermined by all the evidence we could possibly obtain, because they sort of agree about the observable world, but disagree about the unobservable world.

1:22:17.9 SC: Well, no, I do, I mean, that's what I was gesturing at badly when I said that if both theories are true. I mean, in the case of Hamiltonian mechanics versus Lagrangian mechanics, you can literally start from the equations of one and derive the equations of the other. So I think that is impossible to imagine a case where tomorrow we will do an experiment that says one is right and the other one's wrong.

1:22:42.7 KE: For sure. Yeah, for sure.

1:22:43.5 SC: So that's what I have in mind, different theories that even in principle make all the same predictions.

1:22:48.8 KE: But there couldn't be any deeper fact about the world that would make you say, ah, one of these formulations is sort of getting the structure of reality better than the other formulation or something.

1:23:00.9 SC: Not if both, not unless there was some experiment we could do which was compatible with one but not the other. I do think, like I said, there's different theories can lead you to extend them in different ways. So I think it's very important to think about them. But if I can truly do a mathematical equivalence, let me give it one very down to earth example. I know that it's late in the podcast, so we're down to the hardcore listeners now. So they're willing to go down roads further than the beginners, the casuals who are just listening for the first 10 minutes.

[laughter]

1:23:34.4 SC: If you have a box of gas with 10 to the 23 particles in it, and you wanna say, okay, the laws of physics are that for each particle they obey Newton's laws and they bump into each other. And so where the system lives, the conventional thing to say is, is in three dimensional space or maybe, you know six dimensional phase space. And there's many, many points. The system is a set of 10 to the 23 points in a six dimensional phase space, or a three dimensional space. Okay? Alternatively, it's one point in a giant, six times 10 to the 23 dimensional phase space, right? And those are mathematically equivalent, but almost everyone says, yeah, but come on, it clearly lives in space, lives in three dimensional space, right? Like, that's just a mathematical trick you're doing. I wanna say, nope, it's equally real. It's equally good. There's no improvement of one over the other. The reason why you think there's an improvement is because you often have incomplete information. And one of these ways of talking generalizes better to the case of incomplete information, and the other one doesn't.

1:24:44.0 SC: So to me, the reason why you want to privilege one equivalent theory over another one is not because of the theories themselves, but how they fit nicely into a bigger framework.

1:24:56.4 KE: Great. Let me just go into into philosophy on you. Do you ever think about stuff like, whether or not we're living in a simulation or whether or not we're like living in a dream or the matrix or something like that? I mean, one way of thinking about those skeptical scenarios, is that they're trying to describe a way things could be observationally equivalent for us but the underpinnings of reality be radically different. So, I don't know, maybe I'm just a brain in a vat. It seems to me like there's a television in front, or... What is this called? A computer monitor...

1:25:41.0 SC: A computer monitor. [laughter]

1:25:41.2 KE: In front of me, but really what's going on is that, like some scientist is poking my brain in some kind of science fiction story. Now I feel like what you're gonna say pretty quickly is that there's like possible experiments that could be conducted in these scenarios to distinguish the brain in the vat case from the real world case. Is that what you're gonna say, or... Sorry.

1:26:04.8 SC: No, not necessarily. I mean, that's certainly true, right? Or I mean, at least it's plausibly true. But I'm willing to consider the thought experiment where there aren't any experiments we could do. What I would ask is which is more explanatory, so I'm certainly open to the possibility that I am a brain in a vat, or I am in a simulation or whatever, but if my best theory of the universe is here are the laws of physics, here are the initial conditions, and I'm a brain in a vat, versus, here are the laws of physics, here are the initial conditions, and both of those theories make exactly the same predictions and statements, etcetera, I'm not gonna waste time thinking that I'm a brain in a vat or living in a simulation or whatever. I mean, maybe there's some anthropic reason or something like that. But yeah until, so I would say that until we do some experiment or have some insight that is better explained by this extra little bit of metaphysical baggage I'm not gonna pay too much attention to it.

1:27:03.1 KE: Good. So just flagging some things. So we've got at least three ideas in the conversation. One sort of idea is if the theories are observationally equivalent, do we give a damn which theory is true? Should I worry about it? Should I spend time sort of agonizing about it? Another question is how would we know if they're observationally equivalent? Could we ever get evidence for one theory over the other? And you said something really interesting. You said that you thought one theory, we might pick one theory over the other because it was more explanatory than the other. And then the third thing is that, well if they're observationally equivalent, they don't say anything different across the board. So what it would be for one of the theories to be true, what the world would be like if one of the theories is true, is just the same as what the world would be like if the observationally equivalent theory was true. And those are sort of three different notions, and the strongest kind of thing to think is, well, what the world would be like if the brain in the vat scenario is true and our regular hypothesis is true.

1:28:11.6 KE: There's no important difference between what those theories are saying about the world, 'cause they make the same observational predictions. That seems like a very strong thing to think. Then there's a kind of much, the sort of weakest thing to think is like, who cares? These are stupid questions. We shouldn't worry about these like very high flute questions. And it's the middle ground that I'm particularly interested in. So when you say, oh, well, one of these theories would be explanatory and the other theory wouldn't be, even though they are observationally equivalent. Do you have any idea about how you would tell which theory was the better explanation? Or like what comes to your mind when you say things like, oh, we, could look to see which was more explanatory?

1:28:55.1 SC: Yeah, I think that we have to be a little bit more clear about observational equivalence. I mean, in the case of Hamiltonian mechanics versus Lagrangian mechanics, they're not just observational equivalent. They're mathematically equivalent to each other.

1:29:06.1 KE: Yeah. Fair enough, fair enough. Fair enough.

1:29:08.6 SC: The brain in a vat or simulation is a little bit different because they're, even if I by stipulation, cannot notice any difference, in principle, there absolutely are observational differences. I could get a picture of the brain in a vat there in the evil scientist laboratory or whatever. But there's a much more down to earth example of exactly this, which is the cosmological multiverse, right? Where you say, okay, we have observational access to a finite amount of space time and what happens past that? And that if you put on the table two options, one is that it's just more of the same forever and ever and ever. And the other is no, no in different regions, very, very far away, conditions are highly different. Observationally, to us in the real world those are absolutely equivalent. In principle if you imagine that we have access to regions that are further than we can possibly see, then they're not.

1:30:07.0 SC: And I think that there are explanatory differences between them because in the single universe case, if you have a number like the cosmological constant, you have to say, "Well, that's it, I need to come up with an explanation for this number. Maybe the explanation is we were just lucky, but I need to figure out why. My best understanding of why it was that." Whereas in the multiverse example there, I can't come up with a single explanation for why that number is what it is, 'cause it's different numbers in different parts of the universe and I have a completely different explanatory framework involving anthropics and selection and things like that. So I do think that that's the sense in which there's different explanatory capabilities for different theories that have exactly the same observable consequences.

1:30:49.6 KE: Yeah, that's all totally reasonable. Can I try one more on you...

1:30:52.1 SC: Please.

1:30:52.7 KE: And then I will give up this pro... I don't even know what the project is.

[laughter]

1:31:00.5 KE: Here are two different possibilities. So when I clap, you see my hands go together and then you hear that sound. Hypothesis one, there's a correlation between clapping my hands and that sound, but there's no causal relationship. So throughout all time when I clap my hands, it'll make that sound, that's true for other people's hands too. It's just a huge coincidence. There's no causal relationship between those two things. That's hypothesis one. Hypothesis two, there is a causal relationship between those two things. My hands going together cause that sound. Because the first hypothesis sort of has it built in that it's observational stuff is gonna be just like the second hypothesis, so you're never gonna find a case where somebody claps their hands and doesn't make the sound. I'm wondering whether you think like, "Oh, these are like two different live possibilities," or whether you think, "Eh, there's not much to, there's not much different between these two possibilities"?

1:32:08.5 SC: Well, we haven't talked about in this podcast, but I've mentioned before, the Humean antiHumean distinction, and it was Barry Loewer who was a previous guest who years ago first told me I should really care about this distinction and my result. My answer was, "No, I don't need to care about this distinction at all," but he has changed my mind about it. Now I realize that I should, and the reason why I should is because I think it changes how we think about other possible worlds and counterfactuals, right? Whether the laws of physics have oomph and existence and spookiness all by themselves versus if they're just a convenient summary of things. But anyway, and you can give us your opinion about that distinction if you want. But for the hand clapping, I would say at the level of fundamental physics as we currently understand it, I just don't want to talk language of causes and effects at all.

1:33:03.2 SC: I do wanna just talk a language of correlations, patterns, differential equations, what have you. I think that the language of causes and effects becomes relevant in the macroscopic world where we have incomplete information and we have an arrow of time. And then we're saying, "Well, given the way that the universe evolves macroscopically, every time you clap your hands, you hear a noise," I think that's a perfectly fair thing to attach the words cause and effect to. It's an emergent higher level thing that when you clap your hands, you hear a noise.

1:33:40.4 KE: Yeah. See, I figured you were gonna say the difference between the correlation case and the causation case is that in the causation case, if you were to clap your hands an additional time, then it would make the noise. And in the correlation case, we don't have a strong reason to think that if you were to clap your hands an additional number of times, it would've made the noise. So I wondered if like this was part of your counterfactual, your love of counterfactual, maybe.

1:34:07.0 SC: Well, I think I can be a Humean and still think that there are laws of physics, right? So I do think that the existence of the noise after the clap does follow from the persistence of these patterns over time. So I still would predict that every time you clap your hands, even if I don't wanna talk about it at the fundamental laws of physics way as a cause effect relation, I still think I can make the prediction.

1:34:31.8 KE: You're not a clapping sound skeptic.

1:34:34.4 SC: I am not. [laughter] And I don't know. So are you Humean or anti-Humean? Where do you fall there? We didn't get a chance to talk about that. What is the right answer?

1:34:45.3 KE: The right answer is the anti-humeans are right. I mean, it depends on what you're into. If you're into... There's a lot of bad things about being a Humean, a lot of normal things that people think that you can't say. And I think it'd be really nice to say those things. On the other hand, the anti-Humean theory is always very sort of sketchy. I mean, not always, there are people who are anti-Humeans and they will not like it if I say their theories are sketchy. But the basic cost of anti-Humeanism is you have to say what it is that you're positing, what the hell you're talking about. That's very hard to do. I think pursuing that project is sort of more interesting than pursuing the Humean project or something. I have aesthetic reasons for wanting to be an anti-Humean.

1:35:30.0 SC: I think that's okay. I have aesthetic reasons for wanting to be Humean. I think that...

1:35:34.1 KE: Okay, great.

1:35:34.2 SC: These laws of physics are just spooky essences that I wanna get rid of. I wanna scrub all the spookiness from my ontology. I want my ultimate ontology at the end of the day to be a single point in a high dimensional space, evolving some equations. That's the world I wanna live in.

1:35:49.3 KE: Wow, wow.

1:35:49.8 SC: Yeah.

1:35:50.4 KE: That is the saddest thing I've ever heard.

[laughter]

1:35:54.2 SC: And that is the perfect place to end the podcast. Thank you very much, Katie, for telling me the sadness that I have to wake up to or not go to sleep with every time I think about it. And thank you very much for being such a good guest on the podcast.

1:36:08.5 KE: Thanks. This was really, really fun. You should do something in having to do with philosophy, Sean. You're good at it. [laughter]

1:36:14.0 SC: Someday, you never know, in the future, what would the magical beings say about that?

[music]

17 thoughts on “244 | Katie Elliott on Metaphysics, Chance, and Time”

  1. sufficient reason for probability: when we get to the level of quantum, and a stochastic world, I want to believe in a relativistic ether, or a void that is just a base field beneath the Higgs field beneath the particle energy world–The reason its probability is that we are tapping into the sub-field where things are assembled into reality, that its a probabilistic universe because it all comes from the same vat.
    Or same field. Also, physics forbids projecting too far into the future, or too many phases or sequences. Probability exists at the smallest increment of time, or when it becomes a primary factor. (not smart or trained enough or patient enough to test anything I’m saying, but its fun to say. )

  2. Three points of clarification / mild frustration:

    In the example with the boxes, it doesn’t make sense to choose the clear box with the $100 if you have evidence that a long string of participants were paid by picking the million dollar box. Even if one wants to take the stance that only visible evidence counts, the fact that a bunch of people picked the opaque box and got a million dollars is visible evidence, no different than being able to see the $100 in the clear box. Nor does it make sense to discriminate between a given fact (lots of folks got the million) and what you see (the $100); if anything the visual could be a trick moreso than the fact (e.g. the $100 isn’t really there). Her choice isn’t rational unless she wants to say probability isn’t real.

    Re Calvinism: Was an actual Calvinist in my 20s, studied Calvinist theology in college (now an atheist). Calvinists believe that the elect are called to grace, meaning, all were dead in sin and God then made them alive by filling them with the Holy Spirit. Calvinists explicitly reject free will: If you are saved, it is because God actively decided to save you, like raising someone from the dead. So Calvinists aren’t a great example here, because God not only calls the Calvinist elect, he forces them to come; if you are one of the elect it’s like God is a salesman who sells you so convincingly you can’t say no, or, if you were dead and are now alive in Christ, you didn’t choose to be alive (the dead can’t choose anything) and now can’t choose to be un-alive. Romans 9 is pretty explicit about this: God is old school in wielding complete control over who goes to heaven or hell, not just forecasting ability.

    Re the grandfather paradox on a single timeline: argh!

    Look, if you went back into your own timeline by 50 years or whatever for even just ten minutes, and didn’t do anything but rode the bus from one stop to another, you would potentially change billions of people’s lives via sensitive dependence on initial conditions. Given the degree to each human is a random sperm-and-egg collision, you could have changed the birth outcomes of half the children to be born of people riding on the bus you got onto, which would then have cascading effects. Stepping into the past of your own timeline for even a brief period, and interacting with even one person in a low key way, could have so many frozen accident ripple effects at the micro-scale it would dramatically change the course of the global timeline. Time travel into your own timeline is logically impossible because not only would you mess up your own birth, you would change a whole strata of frozen accidents all acrosss the continuum moving forward. This seems obvious…

  3. A quick comment on the relation between causality and the arrow of time.

    Statistical learning theory measures a model’s success by looking at out-of-sample error. If a mathematically definable mechanism governs the generation of the data being modeled (or theorized about) then considering a sufficient amount of data and a sufficiently expressive set space of possible models allows one to ‘learn’ the data generating model and correctly predict out-of-sample outcomes. One can say you’ve learned the theory of how the descriptive factors ’cause’ the outcomes. But there’s no mention of time here, only the concept of in- and out-of-sample.

    Introducing time allows us to define an experiment done after the theory is posited as out-of-sample and that’s why, to a physicist weaned on Special (or General) Relativity, time seems necessary to the concept of causality. But any untainted process for creating a truly out-of-sample test set is sufficient for showing causation – no time required.

  4. Jim Richardson

    One of the most fascinating and lively foundational discussions here yet. 10 thumbs up!

  5. Godel’s first incompleteness theorem proved that no consistent system of axions whose theorems can be listed by an effective procedure (i.e., an algorithm) is capable of proving all truths about the arithmetic of natural numbers. For any such consistent formal system, there will always be statements about natural numbers that are true, but that are unprovable within the system.

    In much the same manner it could be said there are true facts about the real world that cannot be proven using the scientific method. This is where, as stated in the intro to the podcast, metaphysics helps us think about questions.
    like possible worlds, time travel, and whether everything happens for a reason. Questions that do have an answer, whether or not we can ever know for certain what that answer is, but nevertheless we can’t help asking.

    “Curiosity is the essence of human existence … ”
    – Gene Cernan (1934-2017) American astronaut, and last person to walk on the Moon

  6. A “metaphysics of science” is as difficult for me to imagine as a “spirituality of metabolism” or an “idealism of pragmatism”. To appreciate the differences, I compare the methods and thinking styles of metaphysicians and modern scientists. I compare the types of metaphors used (see “Philosophy in the Flesh” by Lakoff and Johnson). It’s also helpful to learn something of the history of the styles. Compare and contrast Parmenides and Plato with Protagoras. (Plato’s rendering of the war between the gods and the earth giants, understanding that he misrepresented the thinking of those that did not agree with him.) Steven L. Goldman gives a superb summary of the history of the opposed styles of thinking in his “Science Wars” lectures.

    Reifications of notions abstracted from nature, arbitrary distinctions, linear, and either/or thinking, and an avoidance of prediction and testing lead most people to a belief that knowledge of what exists must be universal, necessary, and certain. I’m unhappy that the preferred style of thinking has generated and maintained the ideologies of hierarchic, oppressive, bigoted, warring tribes. I prefer my notions of what exists to be particular (situated in space and time), contingent, and open to revision or replacement with new understandings.

  7. Two interesting takes on Newcomb’s parados. KE says she would pick both boxes guaranteeing her that even though that would eliminate her chance to win a million dollars, she would still walk away with $100. While SC claims he would pick the opaque box and there would be a million dollars in it.
    I can’t help thinking SC’s rational is, at least in some part, based on his belief in the so-called many-worlds interpretation of quantum mechanics (MWI), that implies that all possible outcomes of a quantum measurement are physically realized in some “world” or universe. And in the hypothetical case involving the picking of boxes he would end up in the world where his opaque box contained a million dollars in it.

  8. This was one of my favorite episodes!

    I really don’t understand the box problem. It was implied (at least I think it was) that picking both boxes is the “better” algorithm. Ok, perhaps there’s math that proves this? But to me it seems more important to describe exactly *how* the magical being makes his prediction. Is he looking into my brain and seeing what I personally am going to do in this situation? Or is he assuming that I’m a rational being and because I listen to podcasts like this one I will choose both boxes? Because I can’t think of a good reason why I would not choose the opaque box that will have $1 Million dollars in it. I’m very motivated to receive $1 Million dollars, no matter how “irrational” my choice might be (according to the math that I assume says “rationally I’m supposed to pick both boxes”.) – The MB seems to never be wrong, so it should know I will pick the opaque box and therefore get my $1 Million dollars. What would make the MB predict incorrectly for me – that I would *not* choose the single opaque box? Why is this choice not the right one?

    For the one-boxers, I wonder how your choice and this experiment would change if the MB were penalized a significant amount of money for predicting incorrectly. Would that alter the outcome for you?

  9. So why is an electron (say) not an “extended symbol” according to Elliott’s definition? I googled it but did not find a satisfactory answer.

  10. I love love love that you are a 1-boxer and Katie is a 2-boxer because it personifies the observation you made at the beginning: that science is metaphysics with a restricted epistemology. Or, if you prefer the ahistorical perspective, that metaphysics is a continuation of science by other epistemologies.

    How delightful! You should have Michael Strevens on your podcast. I wonder whether he is a 2-boxer?

  11. That said, in my opinion Katie is smuggling in induction via the back door. She says that it is logically impossible for a being to predict or cause her choice, and therefore it would be irrational to choose one box. But why does she think it is “logically” impossible? What premises has she started with and what is her chain of reasoning? I don’t believe it is really logic at all; I think it is experience: she has met many beings who would like to predict or cause her actions but none who could actually do so, and therefore she believes it is impossible. So she is really just prioritizing one set of empirical observations over another.

    I guess this observation must have been made a million times in this debate! Sorry, but I haven’t read the literature.

  12. Newcomb’s paradox, in the most general sense, involves questions of free will, determinism, choice, probability and rationality with no clear solution. But putting aside the philosophy and metaphysics it is possible to reformulate it into a purely mathematical problem, with an unambiguous solution, as explained in the video posted below:

    ‘Newcomb’s paradox| Famous Math Problems| NJ Wildberger’ (2013)

    https://www.youtube.com/watch?v=aR5GYeZkgvY

  13. Chris Stephens

    Re: Newcomb’s paradox. I was slightly surprised that they seemed to discuss the version where everyone who picks one box is a millionaire and everyone who picks two boxes gets only $1,000. I wonder if Carroll would still be a one boxer if the case were described like this: suppose there is no “magic”. I’m the predictor, and I’m just good at reading people. I have to put the million or not in the opaque box after I meet you but before you choose. Suppose I’m right only 99% of the time. So, you watch me play the game with 1,000 other people and 99% of those who choose one box get million (but 1% get nothing) and 99% of those that choose both get only 1,000 (but 1% get 1 million plus a thousand).
    Assume there’s no backwards causality, no time travel, nothing “magical”. When it is your time to choose, the million is either in the box or not. Your choice doesn’t cause, in any way, whether the money appears in the box.

    Then, the puzzle is that the Principle of max. utility (based just on “evidence”) says to pick the one box: assuming your utility goes up in a typical way with money, you maximize your expected utility by going for one box.
    However, the principle of dominance says to pick both boxes. Dominance seems to apply because the money is already in the opaque box (or not) and so you’ll pick up the extra 1K either way. So two boxing seems to dominate one boxing in the decision theoretic sense.

    Here’s a variation. Suppose the back of the opaque box is transparent. I’m Sean Carroll’s friend. I can see whether the million is in the opaque box or not, just before Sean chooses. Either way, I’m going to tell him to take both boxes! Otherwise, he’s turning down an extra 1K.

    So, it looks like one should use the Principle of Maximizing “Causal” expected utilities – in that case, you can reconcile dominance with rational way to make decisions.

    So, I’m with Katie. In this case, the puzzle is set up to reward irrationality. But the rational thing to do is to take both boxes.

  14. Loved the playful tone of this dialogue. Kattie Elliot definitely scored some points with “Is he a friend of yours?” and “The saddest thing I’ve ever heard.” So many nuggets of information, so many topics, and so many comments! I’ll just mention two:

    1. Stochastic processes definitely are epistemic, are they also real? that’s a question beyond our capacity to figure out, in my humble opinion. To me, a stochastic process is one that under exactly the same state may evolve to more than one other possible subsequent state, so it depends on what we define the state to be. If we are presentists and the state is “The Present”, then it may be that it’s stochastic, but if we are eternalists then it’s impossible: the state is all spacetime (including past, present, and future) and this state uniquely identifies the position of each point. Now is that distinction useful? probably not, :D.

    2. Definitely a one-boxer. the two boxers ignore the information that we know that the genie knows my decision in advance. If we accept this premise then the implication goes from my action to the genie’s decision, and not temporarily (remember, he knows the future).

    I have to select the action that maximizes the money the genie will give me.

    This problem reminds me A LOT of medieval scholastic philosophers talking about predestination, god’s omniscience (the genie), and free will. I hope I’m not breaking the rules, but for anyone interested, I would very highly recommend Peter Adamson’s podcast, History of Philosophy without any gaps. episode 276: “Back to the Future: Foreknowledge and Predestination.” You’ll be surprised at how modern scholastic philosophers sound, and how their concepts are almost on a one-to-one mapping with the modern terminology.

  15. One important thing about Newcomb’s paradox is that in most versions the premises are intentionally left somewhat ambiguous. it’s never clearly stated how the oracle gets the information he needs to make his predictions, or exactly how accurate those predictions are. So, in a very general sense, whether you’re a one-boxer or a two-boxer more or less comes down to your belief that there are laws that govern the Universe, and that those laws are predictable. If you’re a one-boxer you most likely believe such laws exist and they are predictable. On the other hand, if you’re a two-boxer, you most likely believe that no such laws exist, or even if they do exist there not predictable. Great paradox on so many different levels!

  16. I was disappointed in middle school when I picked up a book that promised to tell me what would happen if an irresistable force met an immovable object. The book said the hypothetical was impossible. It was not a paradox. There was no answer.

    I feel like some of the thought experiments are impossible in ways that are essential and not merely the result of informal formulation of something that could be pinned down.

    On counterfactuals and causality, the universe doesn’t work in a way that allows you to only change the aim of a rock so it doesn’t hit a window. If you hold all else including the past constant then the change in the rock’s position or momentum is discontinuous. Our world conserves momentum and doesn’t allow rocks to teleport.

    Back in the 1990s a meteorologist told me about a problem with weather models. Scientists would feed observations into the computer and say “go”. The model would forecast waves rippling out from observation points. Discrete, imprecise observations represent an impossible state. The waves were a result of the model relaxing from a physically impossible configuration to a physically possible configuration.

    If you start teleporting rocks or winking the window out of existence for a moment you have broken the world like the bad observations broke the weather model.

    If you define the laws of nature as “the entire future state of the universe” you run into a cousin of the the halting problem and Gödel’s incompleteness theorem. An arbitrarily complex system can not contain a complete model of itself. If there is not a simpler representation than “the entire future state is this”, laws of nature do not exist.

  17. Pingback: Not-Very-Mini-Heap & The Subscription Problem - Daily Nous

Comments are closed.

Scroll to Top