Mathematical models are a well established tool in most natural sciences. Although models have been neglected by the philosophy of science for a long time, their epistemological status as a link between theory and reality is now fairly well understood. However, regarding the epistemological status of mathematical models in the social sciences, there still exists a considerable unclarity. In my paper I argue that this results from specific challenges that mathematical models and especially computer simulations face in the social (...) sciences. The most important difference between the social sciences and the natural sciences with respect to modeling is that in the social sciences powerful and well confirmed background theories (like Newtonian mechanics, quantum mechanics or the theory of relativity in physics) do not exist in the social sciences. Therefore, an epistemology of models that is formed on the role model of physics may not be appropriate for the social sciences. I discuss the challenges that modeling faces in the social sciences and point out their epistemological consequences. The most important consequences are that greater emphasis must be placed on empirical validation than on theoretical validation and that the relevance of purely theoretical simulations is strongly limited. (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.

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.

Chemical visualizations and models are special kinds of situated, inductive arguments. In this paper, I examine several historical case studies—an archive of images from museums, special collections, and popular magazines—as examples of emergent practices of physical modeling as theoretical play which became the basis for molecular biology and structural chemistry. Specifically, I trace a legacy of visualization tools that starts with Archibald Scott Cooper and Friedrich Kekulé in the late 1800s, crystallizes as material manipulatives in Kekulé’s student Jacobus Henricus Van’t (...) Hoff and his folded paper “toys,” is legitimized in the California lab of Linus Pauling, and is glorified in the popular imaginary with James Watson and Francis Crick’s model of DNA. My tracing then follows several threads into contemporary modeling practices. I ultimately argue that modeling play, originally outside of the boundary of deductive, positivist science, is now an accepted mode of inductive reasoning in these related chemical fields. (shrink)

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)

The Marburg neo-Kantians argue that Hermann von Helmholtz's empiricist account of the a priori does not account for certain knowledge, since it is based on a psychological phenomenon, trust in the regularities of nature. They argue that Helmholtz's account raises the 'problem of validity' (Gueltigkeitsproblem): how to establish a warranted claim that observed regularities are based on actual relations. I reconstruct Heinrich Hertz's and Ludwig Wittgenstein's Bild theoretic answer to the problem of validity: that scientists and philosophers can depict the (...) necessary a priori constraints on states of affairs in a given system, and can establish whether these relations are actual relations in nature. The analysis of necessity within a system is a lasting contribution of the Bild theory. However, Hertz and Wittgenstein argue that the logical and mathematical sentences of a Bild are rules, tools for constructing relations, and the rules themselves are meaningless outside the theory. Carnap revises the argument for validity by attempting to give semantic rules for translation between frameworks. Russell and Quine object that pragmatics better accounts for the role of a priori reasoning in translating between frameworks. The conclusion of the tale, then, is a partial vindication of Helmholtz's original account. (shrink)

The article introduces a thematic issue of the journal Theory of Science that attempts to revive the category of "philosophi- cal toys" - objects and instruments designed for experimental scientific research that simultaneously played crucial role in the creation of the modern visual culture. It claims that to fully understand their nature and the kind of experience philosophical toys induce, it is necessary to situate their origins in eighteenth-century experimental science and aesthetics and proposes to approach them as perceptual and (...) cognitive extensions. (shrink)

Sex toys promote a new consumptive ethos whose significance may be adequately outlined by attending to the institutional implications of this product category’s consumption. By drawing on Foucault’s theory of sexuality and the technologies of the self that materialize with the aid of discursive formations about sexuality, as well as on relevant sociological and ethnographic insights, I undertake a qualitative content analysis on a corpus of 100 sex toys’ product reviews from popular magazines and web sites in order to identify (...) how the discourse about sex toys is articulated in terms of three dominant categories of sexual scripts (Simon and Gagnon 2007, Sexual scripts. In Richard Parker & Peter Aggleton (eds.), Culture, society, and sexuality: A reader, 29–38. London: Routledge), namely, cultural scenarios, interpersonal and intrapsychic scripts. By opening up the discussion to a broader cultural terrain, I outline how the consumption experience of sex toys, as articulated in the reviews’ discursive formations, facilitates the emergence of new consumer trends, particularly with reference to orgasm-on-the-go and no-touch-orgasm, while redefining existing ones. (shrink)

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)

The central topic of this essay consists into establishing a relation between two dimensions of formation: the conceptual process of creating philo- sophical toys - that is of reelaborating existing philosophical concepts, mainly deriving from the thought of Gilles Deleuze and Félix Guattari, in terms of their potential as ‘operative constructs' - and their parallel redeployment towards the specific problem of analyz- ing a recent transdisciplinary artwork. By means of this strategical shift, theory looses its character of explanation and illustration. (...) Philosophy as toy becomes rather the matter of evaluating the com- plexity of a specific artistic composition in terms of its aesthetic potential. It contributes towards developing meta- stable conditions of mutual resonance between heterogeneous modalities of creation. (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 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)

‘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)

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.

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)

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.

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)

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)

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)

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)

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)

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)

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 (...) class='Hi'>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)

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)

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)

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)

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)

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 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)

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)

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)

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 ancient Ouroboros symbolism (one who eats oneself) is here integrated into a simple birth-death clustering process that needed nothing but itself for a transition from indistinguishable phases to a sort of higher level ”conscious” phases. Birth and death coefficients are formulated in terms of odd and even exponentials used to represent a suitable form for conscious states via the internal transfer of information. This toy model may ideally quantify conscious states having inner causes via an Ouroboros index 0 < (...) Υα,Ω < 1. The value Υα,Ω = 0 lends to infinite loops and the limiting values Υα,Ω → 1 disclose transformation into awareness. Relationships with physics theories of consciousness and the use of the Oroborous index to discern about conscious-like states in Artificial Intelligence systems are discussed. Consciousness and freedom of will may go side-by-side in the model when Υα,Ω is extended to be a complex number modulus. (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 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)

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...

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)

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)

The simulation hypothesis has recently excited renewed interest, especially in the physics and philosophy communities. However, the hypothesis specifically concerns {computers} that simulate physical universes, which means that to properly investigate it we need to couple computer science theory with physics. Here I do this by exploiting the physical Church-Turing thesis. This allows me to introduce a preliminary investigation of some of the computer science theoretic aspects of the simulation hypothesis. In particular, building on Kleene's second recursion theorem, I prove (...) that it is mathematically possible for us to be in a simulation that is being run on a computer \textit{by us}. In such a case, there would be two identical instances of us; the question of which of those is ``really us'' is meaningless. I also show how Rice's theorem provides some interesting impossibility results concerning simulation and self-simulation; briefly describe the philosophical implications of fully homomorphic encryption for (self-)simulation; briefly investigate the graphical structure of universes simulating universes simulating universes, among other issues. I end by describing some of the possible avenues for future research that this preliminary investigation reveals. (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)

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)

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)

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.

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)

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)

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 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)

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)

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)

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)