The simulation argument: three possibilities, one of which is true
The simulation argument (Bostrom); the simulation trilemma; are we living in the Matrix?
At least one of these three things is true: (1) almost no civilization reaches the posthuman stage; (2) almost no posthuman civilization runs such simulations; (3) we are almost certainly in a simulation. Bostrom does not choose among the three, and suggests spreading one's confidence roughly evenly among them.
If many advanced civilizations run simulations of human histories, almost all experiences like ours would be simulated.
"The simulation argument: three possibilities, one of which is true" is an argument by Nick Bostrom ("Are You Living in a Computer Simulation?", Philosophical Quarterly, 2003, 2003) on the question "Is the world real?" (answer: probably a simulation). Its claim: At least one of these three things is true: (1) almost no civilization reaches the posthuman stage; (2) almost no posthuman civilization runs such simulations; (3) we are almost certainly in a simulation. Bostrom does not choose among the three, and suggests spreading one's confidence roughly evenly among them. According to AskPhilosophy's logic check (Z3 solver), the conclusion does follow from its 4 premises. AskPhilosophy presents 3 objections, 3 of them with a documented reply, and the original text behind each premise, checked word for word.
Imagine that our descendants become so powerful in computing that they can simulate, in their computers, millions of complete human histories, with simulated people who think and feel. Then simulated minds would be far more numerous than "original" ones. In 2003, Nick Bostrom draws from this not one but three possibilities, at least one of which is true: either almost no civilization reaches this stage (it dies out first), or almost none of those that reach it run such simulations, or we are almost certainly in a simulation. Careful: Bostrom does not say the third is true. He defends the disjunction, and says one should spread one's confidence among the three. What the general public remembers ("we are probably in the Matrix") is a simplified version, which is why the argument sits in this camp.
click a premise to reject it
Objections
3Each objection is a conversation: click to see who replies and where the debate stands.
BBrian Weatherson 2003 · attacks premise 4Weatherson accepts the reasoning up to the last step but rejects the indifference principle. He notes that our evidence may not be limited to what we feel: seeing a real dagger is not the same evidence as "seeing" a simulated dagger. Then it cannot be said that nothing distinguishes a human from a simulated person, and the proportion x no longer gives our degree of confidence.
Bostrom replies
Weatherson accepts the reasoning up to the last step but rejects the indifference principle. He notes that our evidence may not be limited to what we feel: seeing a real dagger is not the same evidence as "seeing" a simulated dagger. Then it cannot be said that nothing distinguishes a human from a simulated person, and the proportion x no longer gives our degree of confidence.
John Searle 1980 · attacks premise 1Searle argues that a simulation is not a duplicate: no one believes a simulated fire burns the neighbourhood, or a simulated rainstorm drenches us. Why should a simulation of understanding understand anything? If Searle is right, Bostrom's "simulated" people would have no consciousness, and would not count among people like us.
a defender replies
Searle argues that a simulation is not a duplicate: no one believes a simulated fire burns the neighbourhood, or a simulated rainstorm drenches us. Why should a simulation of understanding understand anything? If Searle is right, Bostrom's "simulated" people would have no consciousness, and would not count among people like us.
JJonathan Birch 2013 · attacks premise 2Birch points to a tension: Bostrom's argument assumes we have good evidence about the physical limits of computation (to say posthumans could simulate), while allowing that we might lack good evidence about our own constitution (since we might be simulated). If we were simulated, the evidence on which P2 rests would be suspect. Birch calls this "selective scepticism".
Bostrom replies
Birch points to a tension: Bostrom's argument assumes we have good evidence about the physical limits of computation (to say posthumans could simulate), while allowing that we might lack good evidence about our own constitution (since we might be simulated). If we were simulated, the evidence on which P2 rests would be suspect. Birch calls this "selective scepticism".