Online research in philosophy

The paper presents an argument for treating certain types of computer simulation as having the same epistemic status as experimental measurement. While this may seem a rather counterintuitive view it becomes less so when one looks carefully at the role that models play in experimental activity, particularly measurement. I begin by discussing how models function as “measuring instruments” and go on to examine the ways in which simulation can be said to constitute an experimental activity. By focussing on the connections between models and their various functions, simulation and experiment one can begin to see similarities in the practices associated with each type of activity. Establishing the connections between simulation and particular types of modelling strategies and highlighting the ways in which those strategies are essential features of experimentation allows us to clarify the contexts in which we can legitimately call computer simulation a form of experimental measurement.

What is the simulation theory? Arguments for simulation theory Simulation theory versus theory theory Simulation theory and cognitive science Versions of simulation theory A possible test of the simulation theory.

I reply to some recent comments by Brian Weatherson on my 'simulation argument'. I clarify some interpretational matters, and address issues relating to epistemological externalism, the difference from traditional brain-in-a-vat arguments, and a challenge based on 'grue'-like predicates.

I reply to some recent comments by Brian Weatherson on my 'simulation argument'. I clarify some interpretational matters, and address issues relating to epistemological externalism, the difference from traditional brain-in-a-vat arguments, and a challenge based on 'grue'-like predicates.

In this paper we shed new light on the Argument from Disagreement by putting it to test in a computer simulation. According to this argument widespread and persistent disagreement on ethical issues indicates that our moral opinions are not influenced by any moral facts, either because no such facts exist or because they are epistemically inaccessible or inefficacious for some other reason. Our simulation shows that if our moral opinions were influenced at least a little bit by moral facts, we would quickly have reached consensus, even if our moral opinions were affected by factors such as false authorities, external political shifts, and random processes. Therefore, since no such consensus has been reached, the simulation gives us increased reason to take seriously the Argument from Disagreement. Our conclusion is however not conclusive; the simulation also indicates what assumptions one has to make in order to reject the Argument from Disagreement. The simulation algorithm we use builds on the work of Hegselmann and Krause (J Artif Soc Social Simul 5(3); 2002, J Artif Soc Social Simul 9(3), 2006).

We examine a case in which non-computable behavior in a model is revealed by computer simulation. This is possible due to differing notions of computability for sets in a continuous space. The argument originally given for the validity of the simulation involves a simpler simulation of the simulation , still further simulations thereof, and a universality conjecture. There are difficulties with that argument, but there are other, heuristic arguments supporting the qualitative results. It is urged, using this example, that absolute validation, while highly desirable, is overvalued. Simulations also provide valuable insights that we cannot yet (if ever) prove.

This article reports on a newly discovered bug in the original simulation argument. Two different ways of patching the argument are proposed, each of which preserves the original conclusion.

According to the Carter-Leslie Doomsday Argument, we should assign a high probability to the hypothesis that the human species will go extinct very soon. The argument is based on the application of Bayes’s theo-rem and a certain indifference principle with respect to the temporal location of our observed birth rank within the totality of birth ranks of all humans who will ever have lived. According to Bostrom’s Simulation Argument, which appeals to a weaker indifference principle than the Doomsday Argument, at least one of the following three propositions must be true: (1) the human species is very likely to go extinct before reaching a posthuman stage, (2) it is very unlikely that some posthuman civili-zation will run a significant number of ancestor simula-tions, (3) it is almost sure that we are living in a com-puter simulation. According to my Doomsday Simulation Argument, both of the following propositions must be true: (1) it is almost sure that the human species will not go extinct before reaching a posthuman stage, (2) it is almost sure that we are not living in a computer simulation.

I present in this paper a line of refutation of the Simulation Argument. I recall first Bostrom's Simulation Argument. I draw then a comparison between the Emerald Case and the core analogy underlying the Simulation Argument. I also discuss the justification of the Self-Indication Assumption and its relationship with the Simulation Argument. I show lastly that the Simulation Argument is a disguised reformulation of an application of an extended form of the Self-Indication Assumption to the situation related to the Simulation Argument.