This book addresses key conceptual issues relating to the modern scientific and engineering use of computer simulations. It analyses a broad set of questions, from the nature of computer simulations to their epistemological power, including the many scientific, social and ethics implications of using computer simulations. The book is written in an easily accessible narrative, one that weaves together philosophical questions and scientific technicalities. It will thus appeal equally to all academic scientists, engineers, and researchers in industry interested in questions (...) related to the general practice of computer simulations. (shrink)

(Draft of Feb 2023, see upcoming issue for Chalmers' reply) In Reality+: Virtual Worlds and the Problems of Philosophy, David Chalmers argues, among other things, that: if we are living in a full-scale simulation, we would still enjoy broad swathes of knowledge about non-psychological entities, such as atoms and shrubs; and, our lives might still be deeply meaningful. Chalmers views these claims as at least weakly connected: The former claim helps forestall a concern that if objects in the (...) class='Hi'>simulation are not genuine (and so not knowable), then life in the simulation is illusory and therefore, not as valuable as a non-simulated life. Taking up these questions, I argue that in general, the value of social knowledge for a meaningful life dramatically swamps the value of non-social knowledge for a meaningful life. Along the way, I propose a non-additive model of the meaningfulness of life, according to which the overall effect of some potential contributor of value to a life depends in part on what is already in a life. One upshot is that the vindication of non-social knowledge, absent a correlative vindication of social knowledge, contributes either not at all or scarcely at all to the claim that our lives in the simulation might be deeply meaningful. This is so even though the vindication of non-social knowledge does forestall the concern that in the simulation, our lives might be wholly meaningless. (shrink)

This paper discusses critically what simulation models of the evolution of cooperation can possibly prove by examining Axelrod’s “Evolution of Cooperation” (1984) and the modeling tradition it has inspired. Hardly any of the many simulation models in this tradition have been applicable empirically. Axelrod’s role model suggested a research design that seemingly allowed to draw general conclusions from simulation models even if the mechanisms that drive the simulation could not be identified empirically. But this research design (...) was fundamentally flawed. At best such simulations can claim to prove logical possibilities, i.e. they prove that certain phenomena are possible as the consequence of the modeling assumptions built into the simulation, but not that they are possible or can be expected to occur in reality. I suggest several requirements under which proofs of logical possibilities can nevertheless be considered useful. Sadly, most Axelrod-style simulations do not meet these requirements. It would be better not to use this kind of simulations at all. (shrink)

We simulate trial data to test speculative claims about research methods, such as the impact of publication bias.

I present a new argument that we are much more likely to be living in a computer simulation than in the ground-level of reality. (Similar arguments can be marshalled for the view that we are more likely to be Boltzmann brains than ordinary people, but I focus on the case of simulations.) I explain how this argument overcomes some objections to Bostrom’s classic argument for the same conclusion. I also consider to what extent the argument depends upon an internalist (...) conception of evidence, and I refute the common line of thought that finding many simulations being run—or running them ourselves—must increase the odds that we are in a simulation. GPI Working Paper No. 16-2021. (shrink)

This paper discusses critically what simulation models of the evolution ofcooperation can possibly prove by examining Axelrod’s “Evolution of Cooperation” and the modeling tradition it has inspired. Hardly any of the many simulation models of the evolution of cooperation in this tradition have been applicable empirically. Axelrod’s role model suggested a research design that seemingly allowed to draw general conclusions from simulation models even if the mechanisms that drive the simulation could not be identified empirically. But (...) this research design was fundamentally flawed, because it is not possible to draw general empirical conclusions from theoretical simulations. At best such simulations can claim to prove logical possibilities, i.e. they prove that certain phenomena are possible as the consequence of the modeling assumptions built into the simulation, but not that they are possible or can be expected to occur in reality I suggest several requirements under which proofs of logical possibilities can nevertheless be considered useful. Sadly, most Axelrod-style simulations do not meet these requirements. I contrast this with Schelling’s neighborhood segregation model, thecore mechanism of which can be retraced empirically. (shrink)

Nick Bostrom’s recently patched ‘‘simulation argument’’ (Bostrom in Philos Q 53:243–255, 2003; Bos- trom and Kulczycki in Analysis 71:54–61, 2011) purports to demonstrate the probability that we ‘‘live’’ now in an ‘‘ancestor simulation’’—that is as a simulation of a period prior to that in which a civilization more advanced than our own—‘‘post-human’’—becomes able to simulate such a state of affairs as ours. As such simulations under consid- eration resemble ‘‘brains in vats’’ (BIVs) and may appear open to (...) similar objections, the paper begins by reviewing objections to BIV-type proposals, specifically those due a presumed mad envatter. In counter example, we explore the motivating rationale behind current work in the development of psychologically realistic social simula- tions. Further concerns about rendering human cognition in a computational medium are confronted through review of current dynamic systems models of cognitive agency. In these models, aspects of the human condition are repro- duced that may in other forms be considered incomputable, i.e., political voice, predictive planning, and consciousness. The paper then argues that simulations afford a unique potential to secure a post-human future, and may be nec- essary for a pre-post-human civilization like our own to achieve and to maintain a post-human situation. Long-s- tanding philosophical interest in tools of this nature for Aristotle’s ‘‘statesman’’ and more recently for E.O. Wilson in the 1990s is observed. Self-extinction-level threats from State and individual levels of organization are compared, and a likely dependence on large-scale psychologically realistic simulations to get past self-extinction-level threats is projected. In the end, Bostrom’s basic argument for the conviction that we exist now in a simulation is reaffirmed. (shrink)

Braun explores the use of digital twin technology in medicine with a particular emphasis on the question of how such simulations can represent a person.1 In defining some first conditions for ethically justifiable forms of representation of digital twins, he argues that digital twins do not threaten an embodied person, as long as that person retains control over their simulated representation via dynamic consent, and ideally with the option to choose both form and usage of the simulation. His thoughtful (...) elaboration provides insight into the challenges inherent in interactions between a person and their digital twin, emphasising the modes of control required to respect personal modes of freedom. This individual-centric approach to the question of representation leaves out the important ethical consideration of ensuring that all, not merely some, can be represented. Braun describes dynamic consent as a necessary mode of control, arguing that where a person is unable to give consent, ‘such simulations threaten to become illegitimate representations. They would then shift the kind of interaction from representation to illegitimate forms of prediction or surveillance and thereby could lead to infringements to individual modes of freedom.’ Consequently, the implementation of digital twin technology in healthcare would seem to exclude the most vulnerable members of society from participation in and benefiting from medical innovation, …. (shrink)

Empirical evidence suggests that perceptual‐motor simulations are often constitutively involved in language comprehension. Call this “the simulation view of language comprehension”. This article applies the simulation view to illuminate the much‐discussed phenomenon of copredication, where a noun permits multiple predications which seem to select different senses of the noun simultaneously. On the proposed account, the (in)felicitousness of a copredicational sentence is closely associated with the perceptual simulations that the language user deploys in comprehending the sentence.

This is a penultimate draft of a paper that will appear in Handbook of Imagination, Amy Kind (ed.). Routledge Press. Please cite only the final printed version.

‘The problem with simulations is that they are doomed to succeed.’ So runs a common criticism of simulations—that they can be used to ‘prove’ anything and are thus of little or no scientific value. While this particular objection represents a minority view, especially among those who work with simulations in a scientific context, it raises a difficult question: what standards should we use to differentiate a simulation that fails from one that succeeds? In this paper we build on a (...) structural analysis of simulation developed in previous work to provide an evaluative account of the variety of ways in which simulations do fail. We expand the structural analysis in terms of the relationship between a simulation and its real-world target emphasizing the important role of aspects intended to correspond and also those specifically intended not to correspond to reality. The result is an outline both of the ways in which simulations can fail and the scientific importance of those various forms of failure. (shrink)

Preston Greene (2020) argues that we should not conduct simulation investigations because of the risk that we might be terminated if our world is a simulation designed to research various counterfactuals about the world of the simulators. In response, we propose a sequence of arguments, most of which have the form of an "even if” response to anyone unmoved by our previous arguments. It runs thus: (i) if simulation is possible, then simulators are as likely to care (...) about simulating simulations as they are likely to care about simulating basement (i.e. non-simulated) worlds. But (ii) even if simulations are interested only in simulating basement worlds the discovery that we are in a simulation will have little or no impact on the evolution of ordinary events. But (iii) even if discovering that we are in a simulation impacts the evolution of ordinary events, the effects of seeming to do so could also happen in a basement world, and might be the subject of interesting counterfactuals in the basement world Finally, (iv) there is little reason to think that there is a catastrophic effect from successful simulation probes, and no argument from the precautionary principle can be used to leverage the negligible credence one ought have in this. Thus, if we do develop a simulation probe, then let’s do it. (shrink)

The formal and empirical-generative perspectives of computation are demonstrated to be inadequate to secure the goals of simulation in the social sciences. Simulation does not resemble formal demonstrations or generative mechanisms that deductively explain how certain models are sufficient to generate emergent macrostructures of interest. The description of scientific practice implies additional epistemic conceptions of scientific knowledge. Three kinds of knowledge that account for a comprehensive description of the discipline were identified: formal, empirical and intentional knowledge. The use (...) of formal conceptions of computation for describing simulation is refuted; the roles of programming languages according to intentional accounts of computation are identified; and the roles of iconographic programming languages and aesthetic machines in simulation are characterized. The roles that simulation and intentional decision making may be able to play in a participative information society are also discussed. (shrink)

The notion of Simulative Reasoning in the study of propositional attitudes within Artificial Intelligence (AI) is strongly related to the Simulation Theory of mental ascription in Philosophy. Roughly speaking, when an AI system engages in Simulative Reasoning about a target agent, it reasons with that agent’s beliefs as temporary hypotheses of its own, thereby coming to conclusions about what the agent might conclude or might have concluded. The contrast is with non-simulative meta-reasoning, where the AI system reasons within a (...) detailed theory about the agent’s (conjectured) reasoning acts. The motive within AI for preferring Simulative Reasoning is that it is more convenient and efficient, because of a simplification of the representations and reasoning processes. The chapter discusses this advantage in detail. It also sketches the use of Simulative Reasoning in an AI natural language processing system, ATT-Meta, that is currently being implemented. This system is directed at the understanding of propositional attitude reports. In ATT-Meta, Simulative Reasoning is yoked to a somewhat independent set of ideas about how attitude reports should be treated. Central here are the claims that (a) speakers often employ commonsense (and largely metaphorical) models of mind in describing agents’ attitudes, (b) the listener accordingly needs often to reason within the terms of such models, rather than on the basis of any objectively justifiable characterization of the mind, and (c) the commonsense models filter the suggestions that Simulative Reasoning comes up with concerning target agents’ reasoning conclusions. There is a yet tighter connection between the commonsense models and the Simulative Reasoning. It turns out that Simulative Reasoning can be rationally reconstructed in terms of a more general type of reasoning about the possibly-counterfactual “world” that the target agent believes in, together with an assumption that that agent has a faithful representation of the world. In the ATT-Meta approach, the reasoner adopts that assumption when it views the target agent through a particular commonsense model (called IDEAS-AS-MODELS). (shrink)

Par un procédé d'objections/réponses, nous passons d'abord en revue certains des arguments en faveur ou en défaveur du caractère empirique de la simulation informatique. A l'issue de ce chemin clarificateur, nous proposons des arguments en faveur du caractère concret des objets simulés en science, ce qui légitime le fait que l'on parle à leur sujet d'une expérience, plus spécifiquement d'une expérience concrète du second genre.

In an attempt to determine the epistemic status of computer simulation results, philosophers of science have recently explored the similarities and differences between computer simulations and experiments. One question that arises is whether and, if so, when, simulation results constitute novel empirical data. It is often supposed that computer simulation results could never be empirical or novel because simulations never interact with their targets, and cannot go beyond their programming. This paper argues against this position by examining (...) whether, and under what conditions, the features of empiricality and novelty could be displayed by computer simulation data. I show that, to the extent that certain familiar measurement results have these features, so can some computer simulation results. (shrink)

Since the 1990’s, social sciences are living their computational turn. This paper aims to clarify the epistemological meaning of this turn. To do this, we have to discriminate between different epistemic functions of computation among the diverse uses of computers for modeling and simulating in the social sciences. Because of the introduction of a new – and often more user-friendly – way of formalizing and computing, the question of realism of formalisms and of proof value of computational treatments reemerges. Facing (...) the spreading of computational simulations in all disciplines, some enthusiastic observers are claiming that we are entering a new era of unity for social sciences. Finally, the article shows that the conceptual and epistemological distinctions presented in the first sections lead to a more mitigated position: the transdisciplinary computational turn is a great one, but it is of a methodological nature. (shrink)

In recent years, some simulation theorists have claimed that the discovery of mirror neurons provides empirical support for the position that mind reading is, at some basic level, simulation. The purpose of this essay is to question that claim. I begin by providing brief context for the current mind reading debate and then developing an influential simulationist account of mind reading. I then draw on the works of Edmund Husserl and Edith Stein to develop an alternative, phenomenological account. (...) In conclusion, I offer multiple objections against simulation theory and argue that the empirical evidence mirror neurons offer us does not necessarily support the view that empathy is simulation. (shrink)

It is sometimes said that simulation can serve as epistemic substitute for experimentation. Such a claim might be suggested by the fast-spreading use of computer simulation to investigate phenomena not accessible to experimentation (in astrophysics, ecology, economics, climatology, etc.). But what does that mean? The paper starts with a clarification of the terms of the issue and then focuses on two powerful arguments for the view that simulation and experimentation are ‘epistemically on a par’. One is based (...) on the claim that, in experimentation, no less than in simulation, it is not the system under study that is manipulated but a system that ‘stands-in’ for it. The other one highlights the pervasive use of models in experimentation. It will be argued that these arguments, as compelling as they might seem, are each based on a mistaken interpretation of experimentation and that, far from simulation and experimentation being epistemically on a par, they do not have the same epistemic function, do not produce the same kind of epistemic results. (shrink)

We formulate the problem of permuting a matrix to block angular form as the combinatorial minimization of an objective function. We motivate the use of simulated annealing (SA) as an optimization tool. We then introduce a heuristic temperature dependent penalty function in the simulated annealing cost function, to be used instead of the real objective function being minimized. Finally we show that this temperature dependent penalty function version of simulated annealing consistently outperforms the standard simulated annealing approach, producing, with smaller (...) running times, better solutions. We believe that the use of a temperature dependent penalty function may be useful in developing SA algorithms for other combinatorial problems. -/- . (shrink)

This paper examines the causal basis of our ability to attribute emotions to music, developing and synthesizing the existing arousal, resemblance and persona theories of musical expressivity to do so. The principal claim is that music hijacks the simulation mechanism of the brain, a mechanism which has evolved to detect one's own and other people's emotions.

Mental simulation refers to the imagination of alternative, counterfactual realities. This chapter provides an overview of research on simulations of the past— retrospective simulation—and simulations of the future— prospective simulation. Two major themes run throughout. The first is that both retrospective and prospective thinking are inextricably linked, relying on a mixture of episodic and semantic memories that share common neural substrates. The second is that retrospective and prospective simulation present trade-offs for the individual. On the one (...) hand, they are functional, identifying causal inferences and potential obstacles that prepare us to try harder and perform better in the future. On the other hand, they sometimes produce bias—retrospective thinking can enhance hindsight bias, whereas prospective thinking can evoke biased predictions about the likelihood of certain events as well as how one is going to feel about those events in the future. Fortunately, however, these biases can be diminished with debiasing techniques. (shrink)

This articles develops a taxonomy of memory errors in terms of three conditions: the accuracy of the memory representation, the reliability of the memory process, and the internality (with respect to the remembering subject) of that process. Unlike previous taxonomies, which appeal to retention of information rather than reliability or internality, this taxonomy can accommodate not only misremembering (e.g., the DRM effect), falsidical confabulation, and veridical relearning but also veridical confabulation and falsidical relearning. Moreover, because it does not assume that (...) successful remembering presupposes retention of information, the taxonomy is compatible with recent simulation theories of remembering. (shrink)

I have developed transcendental arguments to refute several versions of Nick Bostrom’s simulation hypothesis. I called some of these arguments the SIM-style argument. In this paper, I have four main aims. First, I employ the SIM-style argument to remedy a defect in Hilary Putnam’s Brain-in-vat argument. Second, I show that the most radical skepticism, which Tim Button called the nightmarish Cartesian skepticism, can be refuted by the SIM-style argument or by another transcendental argument I develop here. Third, I compare (...) my approach to radical skepticisms with Donald Davidson’s, as it is often regarded as an exemplar of transcendental arguments. Fourth, I explain how the prominent objections, mainly developed by Barry Stroud, to transcendental arguments can incur two undesirable results: psychologism and Kantian skepticism. (shrink)

Critical in the computationalist account of the mind is the phenomenon called computational or computer simulation of human thinking, which is used to establish the theses that human thinking is a computational process and that computing machines are thinking systems. Accordingly, if human thinking can be simulated computationally then human thinking is a computational process; and if human thinking is a computational process then its computational simulation is itself a thinking process. This paper shows that the said phenomenon—the (...) computational simulation of human thinking—is ill-conceived, and that, as a consequence, the theses that it intends to establish are problematic. It is argued that what is simulated computationally is not human thinking as such but merely its behavioral manifestations; and that a computational simulation of these behavioral manifestations does not necessarily establish that human thinking is computational, as it is logically possible for a non-computational system to exhibit behaviors that lend themselves to a computational simulation. (shrink)

Simulation (von lat. simulare, engl. simulation, franz. simulation, ital. simulazione), Bezeichnung für die Nachahmung eines Prozesses durch einen anderen Prozeß. Beide Prozesse laufen auf einem bestimmten System ab. Simuliertes u. simulierendes System (der Simulator in der Kybernetik) können dabei auf gleichen oder unterschiedlichen Substraten realisiert sein.

The goal of the article is to explore what is the most probable type of simulation in which humanity lives (if any) and how this affects simulation termination risks. We firstly explore the question of what kind of simulation in which humanity is most likely located based on pure theoretical reasoning. We suggest a new patch to the classical simulation argument, showing that we are likely simulated not by our own descendants, but by alien civilizations. Based (...) on this, we provide classification of different possible simulations and we find that simpler, less expensive and one-person-centered simulations, resurrectional simulations, or simulations of the first artificial general intelligence’s (AGI’s) origin (singularity simulations) should dominate. Also, simulations which simulate the 21st century and global catastrophic risks are probable. We then explore whether the simulation could collapse or be terminated. Most simulations must be terminated after they model the singularity or after they model a global catastrophe before the singularity. Undeniably observed glitches, but not philosophical speculations could result in simulation termination. The simulation could collapse if it is overwhelmed by glitches. The Doomsday Argument in simulations implies termination soon. We conclude that all types of the most probable simulations except resurrectional simulations are prone to termination risks in a relatively short time frame of hundreds of years or less from now. (shrink)

The simulation hypothesis is a view of the nature of reality, suggesting that our world is likely a computer simulation created by an advanced civilization. In contrast, illusionism is a theory about the nature of phenomenal consciousness, arguing that phenomenal consciousness is an illusion and can be fully explained in physical terms. I argue that if our world is a simulated construct, illusionism could be incorrect. Specifically, even if our phenomenal experiences can be explained as illusionism suggests, advanced (...) civilizations could still create subjectively indistinguishable experiences by constructing a psychological system external to our world. Since we cannot determine which scenario we belong to, the illusionist explanation is not universally valid. Furthermore, I argue that even if the simulation hypothesis is impossible, illusionism remains flawed. Consequently, while the simulation hypothesis may function as a mere assumption, it exposes the inherent limitations of both illusionism and physicalism. (shrink)

Reducing prejudice is a critical research agenda, and never before has counterfactual priming been evaluated as a potential prejudice-reduction strategy. In the present experiment, participants were randomly assigned to imagine a pleasant interaction with a homosexual man and then think counterfactually about how an incident of sexual discrimination against him might not have occurred (experimental condition) or to imagine a nature scene (control condition). Results demonstrated a significant reduction in sexual prejudice from baseline levels in the counterfactual simulation group. (...) Importantly, whereas intergroup anxiety and motivation to control prejudice were not predictive factors, number of counterfactual thoughts generated independently predicted variance in prejudice reduction. Mechanisms for, and implications of, prejudice-reduction strategies including counterfactual thinking are discussed. (shrink)

How do conventions of communication emerge? How do sounds or gestures take on a semantic meaning, and how do pragmatic conventions emerge regarding the passing of adequate, reliable, and relevant information? My colleagues and I have attempted in earlier work to extend spatialized game theory to questions of semantics. Agent-based simulations indicate that simple signaling systems emerge fairly naturally on the basis of individual information maximization in environments of wandering food sources and predators. Simple signaling emerges by means of any (...) of various forms of updating on the behavior of immediate neighbors: imitation, localized genetic algorithms, and partial training in neural nets. Here the goal is to apply similar techniques to questions of pragmatics. The motivating idea is the same: the idea that important aspects of pragmatics, like important aspects of semantics, may fall out as a natural results of information maximization in informational networks. The attempt below is to simulate fundamental elements of the Gricean picture: in particular, to show within networks of very simple agents the emergence of behavior in accord with the Gricean maxims. What these simulations suggest is that important features of pragmatics, like important aspects of semantics, don't have to be added in a theory of informational networks. They come for free. (shrink)

Can the theory that reality is a simulation be tested? We investigate this question based on the assumption that if the system performing the simulation is nite (i.e. has limited resources), then to achieve low computational complexity, such a system would, as in a video game, render content (reality) only at the moment that information becomes available for observation by a player and not at the moment of detection by a machine (that would be part of the (...) class='Hi'>simulation and whose detection would also be part of the internal computation performed by the Virtual Reality server before rendering content to the player). Guided by this principle we describe conceptual wave/particle duality experiments aimed at testing the simulation theory. (shrink)

Mindreading is the ability to attribute mental states to other individuals. According to the Theory-Theory (TT), mindreading is based on one's possession of a Theory of Mind. On the other hand, the Simulation Theory (ST) maintains that one arrives at the attribution of a mental state by simulating it in one's own mind. In this paper, I propose a ST-TT hybrid model of the ability to attribute disgust on the basis of visual stimuli such as facial expressions, body postures, (...) etc. More precisely, while I defend Goldman's (2006) thesis that the ability to attribute disgust based on observing disgusted facial expressions stems from a mirror-based simulation process, I argue that ST is unable to account for the ability to attribute disgust based on non-facial visual stimuli; I propose, rather, that this latter ability is theory-based. My model is grounded in evidence from individuals suffering from Huntington's Disease. (shrink)

There is much disagreement about how extensive a role theoretical mind-reading, behavior-reading, and simulation each have and need to have in our knowing and understanding other minds, and how each method is implemented in the brain, but less discussion of the epistemological question what it is about the products of these methods that makes them count as knowledge or understanding. This question has become especially salient recently as some have the intuition that mirror neurons can bring understanding of another's (...) action despite involving no higher-order processing, whereas most epistemologists writing about understanding think that it requires reflective access to one's grounds, which is closer to the intuitions of other commenters on mirror neurons. I offer a definition of what it is that makes something understanding that is compelling independently of the context of cognition of other minds, and use it to show two things: 1) that theoretical mind-reading and simulation bring understanding in virtue of the same epistemic feature, and 2) why the kind of motor representation without propositional attitudes that is done by mirror neurons is sufficient for action understanding. I further suggest that more attention should be paid to the potential disadvantages of a simulative method of knowing. Though it can be more efficient in some cases, it can also bring vulnerability, wear and tear on one's personal equipment, and unintended mimicry. (shrink)

A recent evolution of computer simulations has led to the emergence of complex computer simulations. In particular, the need to formalize composite objects (those objects that are composed of other objects) has led to what the author suggests calling pluriformalizations, i.e. formalizations that are based on distinct sub-models which are expressed in a variety of heterogeneous symbolic languages. With the help of four case-studies, he shows that such pluriformalizations enable to formalize distinctly but simultaneously either different aspects or different parts (...) or different scales of the same object or system. From an epistemological standpoint, he suggests that this kind of computer-aided complex formalization of composite objects renew the traditional relations between computer simulations, theoretical models and operational models. (shrink)

A simulating halt decider correctly predicts whether or not its correctly simulated input can possibly reach its own final state and halt. It does this by correctly recognizing several non-halting behavior patterns in a finite number of steps of correct simulation. Inputs that do terminate are simply simulated until they complete.

An overview of my work arguing that peer-to-peer computer networking (the Peer-to-Peer Simulation Hypothesis) may be the best explanation of quantum phenomena and a number of perennial philosophical problems.

This article explores the Simulated Universe argument with particular reference to Nick Bostrom’s formulation. After providing an exposition of the argument, I address two problems and conclude that we reject the possibility that we exist in a simulation.

In this paper, we argue that computer simulations can provide valuable insights into the performance of voting methods on different collective decision problems. This could improve institutional design, even when there is no general theoretical result to support the optimality of a voting method. To support our claim, we first describe a decision problem that has not received much theoretical attention in the literature. We outline different voting methods to address that collective decision problem. Under certain criteria of assessment akin (...) to extensions of the Condorcet Jury Theorem, we run simulations for the methods using MATLAB, in order to compare their performance under various conditions. We consider and respond to concerns about the use of simulations in the assessment of voting procedures for policymaking. (shrink)

In this article, I argue that a capacity for mindreading conceived along the line of simulation theory provides the cognitive basis for forming we-centric representations of actions and goals. This explains the plural first personal stance displayed by we-intentions in terms of the underlying cognitive processes performed by individual minds, while preserving the idea that they cannot be analyzed in terms of individual intentional states. The implication for social ontology is that this makes sense of the plural subjectivity of (...) joint actions without making group agents require either a corporate body or the unity of consciousness. (shrink)

For computer simulation models to usefully inform climate risk management, uncertainties in model projections must be explored and characterized. Because doing so requires running the model many ti...

Counterfactual thinking involves the imagination of non-factual alternatives to reality. We investigated the spontaneous generation of both upward counterfactuals, which improve on reality, and downward counterfactuals, which worsen reality. All subjects gained $5 playing a computer-simulated blackjack game. However, this outcome was framed to be perceived as either a win, a neutral event, or a loss. "Loss" frames produced more upward and fewer downward counterfactuals than did either "win" or "neutral" frames, but the overall prevalence of counterfactual thinking did not (...) vary with outcome valence. In addition, subjects who expected to play the game again made more upward counterfactuals and were less satisfied with the outcome than were subjects who did not expect to play again. However, once subjects saw the cards from which they could have selected had they "hit" again (two winning cards and two losing cards), all subjects generated primarily upward counterfactuals and showed a corresponding decrease in satisfaction. These results implicate both cognitive and motivational factors in the generation of counterfactuals and tell us something about the functional value of counterfactual thinking: downward counterfactuals provide comfort; upward counterfactuals prepare one for the future. (shrink)

David. J. Chalmers examines eleven possible solutions to the meta-problem of consciousness, ‘the problem of explaining why we think that there is a problem of consciousness.’ The present paper argues that Chalmers overlooks an explanation that he has otherwise taken seriously, and which a number of philosophers, physicists, and computer scientists have taken seriously as well: the hypothesis that we are living in a computer simulation. This paper argues that a particular version of the simulation hypothesis is at (...) least as good of a solution to the meta-problem of consciousness as many explanations Chalmers considers, and may even be a better one—as it may be the best solution to a much broader meta-philosophical problem: the ‘meta-problem of everything’, the problem of explaining why our world has the quantum-mechanical, relativistic, and philosophical features it does. (shrink)

Historically, the hypothesis that our world is a computer simulation has struck many as just another improbable-but-possible “skeptical hypothesis” about the nature of reality. Recently, however, the simulation hypothesis has received significant attention from philosophers, physicists, and the popular press. This is due to the discovery of an epistemic dependency: If we believe that our civilization will one day run many simulations concerning its ancestry, then we should believe that we are probably in an ancestor simulation right (...) now. This essay examines a troubling but underexplored feature of the ancestor-simulation hypothesis: the termination risk posed by both ancestor-simulation technology and experimental probes into whether our world is an ancestor simulation. This essay evaluates the termination risk by using extrapolations from current computing practices and simulation technology. The conclusions, while provisional, have great implications for debates concerning the fundamental nature of reality and the safety of contemporary physics. (shrink)

This paper refines a number of theoretical distinctions relevant to deceptive play, in particular the difference between merely misleading actions and types of simulation commonly considered beyond the pale, such as diving. To do so, I rely on work in the philosophy of language about conversational convention and implicature, the distinction between lying and misleading, and their relation to concepts of seduction and bullshit. The paper works through a number of possible solutions to the question of what is wrong (...) with simulation and its difference from strategic fouling, including the argument that games and their rules operate like contracts. I conclude that the wrongness lies in the injustice of unfair advantage gained through actions that silence opposition by resort to unanswerable play. (shrink)

Until recently, philosophers debating the rationality of time-biases have supposed that people exhibit a first-person hedonic bias toward the future, but that their non-hedonic and third-person preferences are time-neutral. Recent empirical work, however, suggests that our preferences are more nuanced. First, there is evidence that our third-person preferences exhibit time-neutrality only when the individual with respect to whom we have preferences—the preference target—is a random stranger about whom we know nothing; given access to some information about the preference target, third-person (...) preferences mirror first-person preferences. As a result, the simulation hypothesis has been proposed, according to which third-person preferences will mirror first-person preferences when we can simulate the mental states of the preference target. Second, there is evidence that we prefer negative hedonic events to be in our past (we are first-person negatively hedonically future-biased) only when we view future events as fixed and in no way under our control. By contrast, when we perceive it to be within our power to mitigate the badness of future events, we are first-person negatively hedonically past-biased. This is the mitigation hypothesis. We distinguish two versions of the mitigation hypothesis, the squirrelling version and the heuristic version. We ran a study which tested the simulation hypothesis, and which aimed to determine whether the squirrelling or the heuristic version of the mitigation hypothesis enjoys more empirical support. We found support for the heuristic version of the hypothesis, but no support for the squirrelling version. (shrink)

The notion of empathy has been explicated in different ways in the current debate on how to understand others. Whereas defenders of simulation-based approaches claim that empathy involves some kind of isomorphism between the empathizer’s and the target’s mental state, defenders of the phenomenological account vehemently deny this and claim that empathy allows us to directly perceive someone else’s mental states. Although these views are typically presented as being opposed, I argue that at least one version of a (...) class='Hi'>simulation-based approach—the account given by de Vignemont and Jacob—is compatible with the direct-perception view. My argument has two parts: My first step is to show that the conflict between these accounts is not—as it seems at first glance—a disagreement on the mechanism by which empathy comes about. Rather, it is due to the fact that their proponents attribute two very different roles to empathy in understanding others. My second step is to introduce Stein’s account of empathy. By not restricting empathy to either one of these two roles, her process model of empathy helps to see how the divergent intuitions that have been brought forward in the current debate could be integrated. (shrink)

A recent evolution of computer simulations has led to the emergence of complex computer simulations. In particular, the need to formalize composite objects (those objects that are composed of other objects) has led to what the author suggests to call pluriformalizations, i.e. formalizations that are based on distinct sub-models which are expressed in a variety of heterogeneous symbolic languages. With the help of four case-studies, he shows that such pluriformalizations enable to formalize distinctly but simultaneously either different aspects or different (...) parts or different scales of the same object or system. From an epistemological standpoint, he suggests that this kind of computer-aided complex formalization of composite objects renew the traditional relations between computer simulations, theoretical models and operational models. (shrink)

In this paper we investigate with a case study from chemistry under what conditions a simulation can serve as a surrogate for an experiment. The case-study concerns a simulation of H2-formation in outer space. We find that in this case the simulation can act as a surrogate for an experiment, because there exists comprehensive theoretical background knowledge in form of quantum mechanics about the range of phenomena to which the investigated process belongs and because any particular modelling (...) assumptions as can be justified. If these requirements are met then direct empirical validation may even be dispensable. We conjecture that this is not the case in the absence of comprehensive theoretical background knowledge. (shrink)

The credibility of digital computer simulations has always been a problem. Today, through the debate on verification and validation, it has become a key issue. I will review the existing theses on that question. I will show that, due to the role of epistemological beliefs in science, no general agreement can be found on this matter. Hence, the complexity of the construction of sciences must be acknowledged. I illustrate these claims with a recent historical example. Finally I temperate this diversity (...) by insisting on recent trends in environmental sciences and in industrial sciences. (shrink)

This book analyses the impact computerization has had on contemporary science and explains the origins, technical nature and epistemological consequences of the current decisive interplay between technology and science: an intertwining of formalism, computation, data acquisition, data and visualization and how these factors have led to the spread of simulation models since the 1950s. -/- Using historical, comparative and interpretative case studies from a range of disciplines, with a particular emphasis on the case of plant studies, the author shows (...) how and why computers, data treatment devices and programming languages have occasioned a gradual but irresistible and massive shift from mathematical models to computer simulations. -/- . (shrink)