Simulation and Reality

Information technologies are fundamentally changing modern society. Almost any human activity, including the caring for a pet, is acquiring new formats related to communication in the virtual space. The authors analyzed such a phenomenon as a virtual pet that has been developing since the early 90s of the 20th century on the basis of more than 100 different virtual pet modifications. The most popular among users and purchased more than 1 million times a year around the world are examined in (...) details in this research (video game Petz, Tamagotchi, Furby, Nintendogs, Neopets, My Talking Tom). Thus in this study the evolution of a digital pet is represented. We analyzed how a person models it according to his needs and identified the main trends of the virtual pet development. These basic directions are advanced similarity with a real pet, development of entertaining aspect, virtual pet applying for practical purposes. We proposed four main factors for analyzing changes in the human-virtual pet relationship: touch, game, communication and social interaction concerning the pet. (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)

James Franklin has argued that the formal, mathematical sciences of complexity — network theory, information theory, game theory, control theory, etc. — have a methodology that is different from the methodology of the natural sciences, and which can result in a knowledge of physical systems that has the epistemic character of deductive mathematical knowledge. I evaluate Franklin’s arguments in light of realistic examples of mathematical modelling and conclude that, in general, the formal sciences are no more able to guarantee certainty (...) than the natural sciences. Yet the formal sciences are characterized by a ‘domain-independence’ that is philosophically interesting, and I argue that it is this property that Franklin actually employs to distinguish the formal from the natural sciences. I use Einstein’s ‘principle’/‘constructive’ theory distinction to contrast the domain-independence of physical theories with the domain-independence of formal mathematical theories, and show how both kinds of domain-independence function to generate the domain-independence that is observed in the complex systems sciences. © 1999 Elsevier Science Ltd. All rights reserved. (shrink)

The Simulation Hypothesis proposes that all of reality is in fact an artificial simulation, analogous to a computer simulation. Outlined here is a method for programming relativistic mass, space and time at the Planck level as applicable for use in Planck Universe-as-a-Simulation Hypothesis. For the virtual universe the model uses a 4-axis hyper-sphere that expands in incremental steps (the simulation clock-rate). Virtual particles that oscillate between an electric wave-state and a mass point-state are mapped within this hyper-sphere, the oscillation driven (...) by this expansion. Particles are assigned an N-S axis which determines the direction in which they are pulled along by the expansion, thus an independent particle motion may be dispensed with. Only in the mass point-state do particles have fixed hyper-sphere co-ordinates. The rate of expansion translates to the speed of light and so in terms of the hyper-sphere co-ordinates all particles (and objects) travel at the speed of light, time (as the clock-rate) and velocity (as the rate of expansion) are therefore constant, however photons, as the means of information exchange, are restricted to lateral movement across the hyper-sphere thus giving the appearance of a 3-D space. Lorentz formulas are used to translate between this 3-D space and the hyper-sphere co-ordinates, relativity resembling the mathematics of perspective. (shrink)

The Simulation Hypothesis proposes that all of reality is an artificial simulation, analogous to a computer simulation. Outlined here is a low computational cost method for programming cosmic microwave background parameters in Planck time Simulation Hypothesis Universe. The model initializes `micro Planck-size black-holes' as entities that embed the Planck units. For each incremental unit of Planck time, the universe expands by adding 1 micro black-hole, a dark energy is not required. The mass-space parameters increment linearly, the electric parameters in a (...) sqrt-progression, thus for electric parameters the early black-hole transforms most rapidly. The velocity of expansion is constant and is the origin of the speed of light, the Hubble constant becomes a measure of the black-hole radius and the CMB radiation energy density correlates to the Casimir force. A peak frequency of 160.2GHz correlates to a 14.624 billion year old black-hole. The cosmological constant, being the age when the simulation reaches the limit, approximates $t$ = 10$^{123} t_p$. (shrink)

Abstract. Boltzmann brains (BBs) are minds which randomly appear as a result of thermodynamic or quantum fluctuations. In this article, the question of if we are BBs, and the observational consequences if so, is explored. To address this problem, a typology of BBs is created, and the evidence is compared with the Simulation Argument. Based on this comparison, we conclude that while the existence of a “normal” BB is either unlikely or irrelevant, BBs with some ordering may have observable consequences. (...) There are two types of such ordered BBs: Boltzmannian typewriters (including Boltzmannian simulations), and chains of observer moments. Notably, the existence or non-existence of BBs may have practical applications for measuring the size of the universe, achieving immortality, or even manipulating the observed probability of events. -/- Disclaimer and trigger warning: some people have emotional breakdowns when thinking about topics described in the article, especially the “flux universe”. However, everything eventually adds up to normality. (shrink)

У статті досліджено феномен віртуальної тілесності, яка не тільки посідає важливе місце у сфері зацікавлення гуманітарних наук, а й увійшла як елемент повсякденності в життя значної частини сучасного людства завдяки мережі Інтернет. Розглянуто концепції поєднання віртуальності та тілесності, ключові підходи до аналізу цього поєднання. Предметом аналізу стали анонімні форуми як яскравий приклад конфігурації віртуального тіла, радикально відмінний від інших через анонімний спосіб репрезентації. Інформація, яку індивід викладає в публічний доступ, сприймається як його втілення в буквальному сенсі слова, а цифровий формат (...) інформації впливає на характеристики буття віртуального тіла індивіда. (shrink)

Large sets of elements interacting locally and producing specific architectures reliably form a category that transcends the usual dividing line between biological and engineered systems. We propose to call them morphogenetically architected complex systems (MACS). While taking the emergence of properties seriously, the notion of MACS enables at the same time the design (or “meta-design”) of operational means that allow controlling and even, paradoxically, programming this emergence. To demonstrate our claim, we first show that among all the self-organized systems studied (...) in the field of Artificial Life, the specificity of MACS essentially lies in the close relation between their emergent properties and functional properties. Second, we argue that to be a MACS a system does not need to display more than weak emergent properties. Third, since the notion of weak emergence is based on the possibility of simulation, whether computational or mechanistic via machines, we see MACS as good candidates to help design artificial self-architected systems (such as robotic swarms) but also harness and redesign living ones (such as synthetic bacterial films). (shrink)

How can we increase awareness and understanding of other cultures using interactive digital visualizations of past civilizations? In order to answer the above question, this book first examines the needs and requirements of virtual travelers and virtual tourists. Is there a market for virtual travel? Erik Champion examines the overall success of current virtual environments, especially the phenomenon of computer gaming. Why are computer games and simulations so much more successful than other types of virtual environments? Arguments that virtual environments (...) are impeded by technological constraints or by a paucity of evaluation studies can only be partially correct, for computer games and simulations are also virtual environments. Many of the underlying issues are caused by a lack of engagement with the philosophical underpinnings of culture, presence and inhabitation, and there are few exemplars that engage the public with history and heritage using interactive media in a meaningful and relevant manner. The intention of Playing With the Past is to help designers and critics understand the issues involved in creating virtual environments that promote and disseminate historical learning and cultural heritage through a close study of the interactive design principles at work behind both real and virtual places. Topics discussed include the design of virtual environments, and especially virtual heritage environments, virtual place-making, cultural presence, the pros and cons of game-style interaction, augmented reality projects, and appropriate evaluation methods. Virtual heritage environments discussed in the book include projects from Antarctica, Australia, Mexico, Malta, Egypt, Babylon, the Netherlands, Cambodia, and India. (shrink)

Defined are gravitational formulas in terms of Planck units and units of $\hbar c$. Mass is not assigned as a constant property but is instead treated as a discrete event defined by units of Planck mass with gravity as an interaction between these units, the gravitational orbit as the sum of these mass-mass interactions and the gravitational coupling constant as a measure of the frequency of these interactions and not the magnitude of the gravitational force itself. Each particle that is (...) in the mass-state (defined by a unit of Planck mass) per unit of Planck time is directly linked to every other particle also in the mass-state by a discrete unit of $m_P v^2 r = \hbar c$, the velocity of a gravitational orbit is summed from these individual $v^2$. As this approach presumes a digital time, it is suitable for use in programming Simulation Hypothesis models. As this link is responsible for the particle-particle interaction it is analogous to the graviton. Orbital angular momentum of the planetary orbits derives from the sum of the planet-sun particle-particle orbital angular momentum irrespective of the angular momentum of the sun itself and the rotational angular momentum of a planet includes particle-particle rotational angular momentum. (shrink)

Jean Baudrillards Kulturphilosophie läßt sich durch die Behauptung charakterisieren, daß die Medien in der modernen Kultur vorherrschend geworden sind. Seine These, die Medien hätten jeden Bezug zu einer von ihnen unabhängigen Realität verloren, haben zahlreiche Autorinnen und Autoren nihilistisch genannt. Das Zutreffende dieser Kennzeichnung verdankt sich im Wesentlichen einem eingeschränkten, auf das 19. Jahrhundert zurückweisenden Begriff des Nihilismus. Allerdings nimmt Baudrillard auf Phänomene Bezug, die er historisch später verortet und die sich ihrer Struktur nach kategorial von den Funktionen der Medien (...) im 19. Jahrhundert unterscheiden. Es gelingt ihm hierbei nicht, den allgemeinen Realitätsverlust, den er vor allem auf den wachsenden Einfluß von Wissenschaft und Technik im 20. Jahrhundert zurückführt, überzeugend nachzuweisen. -/- Als wolle er diesen Mangel beheben, führt Baudrillard in späteren Schriften weitere Struktureigenschaften der kulturellen Mediendominanz ein. Zu diesen Fortentwicklungen gehört die durch Medienmacht erzeugte „Transparenz“, die nicht zuletzt die restlose Durchsichtigkeit aller Zustände und Prozesse meint. Es ist dieses Merkmal, das Baudrillard 1981 selbst mit einem Nihilismusbegriff in Verbindung bringt. Der Nihilismus der Transparenz beansprucht, das spezifisch Neue der Sinnlosigkeit in zunehmend wissenschafts- und technikbestimmten Gesellschaften zu erfassen. Obwohl sich die Schwächen der Medientheorie in seiner Auffassung des Nihilismus reflektieren, gelingt es ihm, Phänomene der Nichtigkeit zu beschreiben, für die man gute Gründe hat anzunehmen, daß sie sich durch keinen Werte- oder Einstellungswandel mehr aufheben lassen. Um diese Einsicht zu begründen, muß man Baudrillards Medientheorie allerdings gleichsam vom Kopf auf die Füße stellen. Nicht auf einen evidenten, alles umfassenden Realitätsverlust, sondern umgekehrt auf einen Teil der vermutlichen Realitätsgehalte der Medien läßt sich die drohende Ausdehnung der Transparenz zurückführen. (shrink)

I present an argument that for any computer-simulated civilization we design, the mathematical knowledge recorded by that civilization has one of two limitations. It is untrustworthy, or it is weaker than our own mathematical knowledge. This is paradoxical because it seems that nothing prevents us from building in all sorts of advantages for the inhabitants of said simulation.

The simulation hypothesis proposes that all of reality is an artificial simulation. In this article I describe a simulation model that derives Planck level units as geometrical forms from a virtual (dimensionless) electron formula $f_e$ that is constructed from 2 unit-less mathematical constants; the fine structure constant $\alpha$ and $\Omega$ = 2.00713494... ($f_e = 4\pi^2r^3, r = 2^6 3 \pi^2 \alpha \Omega^5$). The mass, space, time, charge units are embedded in $f_e$ according to these ratio; ${M^9T^{11}/L^{15}} = (AL)^3/T$ (units = (...) 1), giving mass M=1, time T=$2\pi$, length L=$2\pi^2\Omega^2$, ampere A = $(4\pi \Omega)^3/\alpha$. We can thus for example create as much mass M as we wish but with the proviso that we create an equivalent space L and time T to balance the above. The 5 SI units $kg, m, s, A, K$ are derived from a single unit u = sqrt(velocity/mass) that also defines the relationships between the SI units; kg = $u^{15}$, m = $u^{-13}$, s = $u^{-30}$, A = $u^{3}$, $k_B = u^{29}$. To convert MLTA from the above $\alpha, \Omega$ geometries to their respective SI Planck unit numerical values (and thus solve the dimensioned physical constants $G, h, e, c, m_e, k_B$) requires an additional 2 unit-dependent scalars. Results are consistent with CODATA 2014. The rationale for the virtual electron was derived using the sqrt of momentum P and a black-hole electron model as a function of magnetic-monopoles AL (ampere-meters) and time T. (shrink)

Do we live in a computer simulation? I will present an argument that the results of a certain experiment constitute empirical evidence that we do not live in, at least, one type of simulation. The type of simulation ruled out is very specific. Perhaps that is the price one must pay to make any kind of Popperian progress.

In his famous “It from Bit” essay, John Wheeler contends that the stuff of the physical universe (“it”) arises from information (“bits” – encoded yes or no answers). Wheeler’s question and assumptions are re-examined from a post Aspect experiment perspective. Information is examined and discussed in terms of classical information and “quanglement” (nonlocal state sharing). An argument is made that the universe may arise from (or together with) quanglement but not via classical yes/no information coding.

The Simulation Hypothesis proposes that all of reality, including the earth and the universe, is in fact an artificial simulation, analogous to a computer simulation, and as such our reality is an illusion. In this essay I describe a method for programming mass, length, time and charge (MLTA) as geometrical objects derived from the formula for a virtual electron; $f_e = 4\pi^2r^3$ ($r = 2^6 3 \pi^2 \alpha \Omega^5$) where the fine structure constant $\alpha$ = 137.03599... and $\Omega$ = 2.00713494... (...) are mathematical constants and the MLTA geometries are; M = (1), T = ($2\pi$), L = ($2\pi^2\Omega^2$), A = ($4\pi \Omega)^3/\alpha$. As objects they are independent of any set of units and also of any numbering system, terrestrial or alien. As the geometries are interrelated according to $f_e$, we can replace designations such as ($kg, m, s, A$) with a rule set; mass = $u^{15}$, length = $u^{-13}$, time = $u^{-30}$, ampere = $u^{3}$. The formula $f_e$ is unit-less ($u^0$) and combines these geometries in the following ratio M$^9$T$^{11}$/L$^{15}$ and (AL)$^3$/T, as such these ratio are unit-less. To translate MLTA to their respective SI Planck units requires an additional 2 unit-dependent scalars. We may thereby derive the CODATA 2014 physical constants via the 2 (fixed) mathematical constants ($\alpha, \Omega$), 2 dimensioned scalars and the rule set $u$. As all constants can be defined geometrically, the least precise constants ($G, h, e, m_e, k_B$...) can also be solved via the most precise ($c, \mu_0, R_\infty, \alpha$), numerical precision then limited by the precision of the fine structure constant $\alpha$. (shrink)

The aim of this paper is to describe and analyze the epistemological justification of a proposal initially made by the biomathematician Robert Rosen in 1958. In this theoretical proposal, Rosen suggests using the mathematical concept of “category” and the correlative concept of “natural equivalence” in mathematical modeling applied to living beings. Our questions are the following: According to Rosen, to what extent does the mathematical notion of category give access to more “natural” formalisms in the modeling of living beings? Is (...) the so -called “naturalness” of some kinds of equivalences (which the mathematical notion of category makes it possible to generalize and to put at the forefront) analogous to the naturalness of living systems? Rosen appears to answer “yes” and to ground this transfer of the concept of “natural equivalence” in biology on such an analogy. But this hypothesis, although fertile, remains debatable. Finally, this paper makes a brief account of the later evolution of Rosen’s arguments about this topic. In particular, it sheds light on the new role played by the notion of “category” in his more recent objections to the computational models that have pervaded almost every domain of biology since the 1990s. (shrink)

Avec l’évolution récente des modèles mathématiques vers des simulations informatiques, les formalisations du vivant sont de plus en plus intégratives, mixtes et, en un sens, réalistes. Plus généralement, les formalisations d’objets complexes deviennent assises sur et non plus seulement traitées par l’infrastructure informatique.Quelle est la véritable portée épistémologique de cette empirie simulée? Comment la distinguer de la créativité proprement interne aux mathématiques dont la philosophie des sciences a déjà su rendre compte?En se penchant sur les modèles de plantes, cette enquête (...) historique et épistémologique montre comment une telle évolution bouleverse les épistémologies contemporaines des formalisations et des modèles en renouvelant d’une part la question des rapports entre mathématiques, calcul, langage informatique et réplication, et d’autre part la question de l’intégration, dans un objet formel commun, de savoirs disciplinaires distincts. (shrink)

This paper argues that at least one of the following propositions is true: the human species is very likely to go extinct before reaching a "posthuman" stage; any posthuman civilization is extremely unlikely to run a significant number of simulations of their evolutionary history ; we are almost certainly living in a computer simulation. It follows that the belief that there is a significant chance that we will one day become posthumans who run ancestor-simulations is false, unless we are currently (...) living in a simulation. A number of other consequences of this result are also discussed. (shrink)

This paper argues that at least one of the following propositions is true: (1) the human species is very likely to go extinct before reaching a “posthuman” stage; (2) any posthuman civilization is extremely unlikely to run a significant number of simulations of their evolutionary history (or variations thereof); (3) we are almost certainly living in a computer simulation. It follows that the belief that there is a significant chance that we will one day become posthumans who run ancestor-simulations is (...) false, unless we are currently living in a simulation. A number of other consequences of this result are also discussed. (shrink)

Both patched versions of the Bostrom/Kulczycki simulation argument contain serious objective errors, discovered while attempting to formalize them in predicate logic. The English glosses of both versions involve badly misleading meanings of vague magnitude terms, which their impressiveness benefits from. We fix the errors, prove optimal versions of the arguments, and argue that both are much less impressive than they originally appeared. Finally, we provide a guide for readers to evaluate the simulation argument for themselves, using well-justified settings of the (...) argument parameters that have simple, accurate statements in English, which are easier to understand and critique than the statements in the original paper. (shrink)

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

Computer simulations constitute a significant scientific tool for promoting scientific understanding of natural phenomena and dynamic processes. Substantial leaps in computational force and software engineering methodologies now allow the design and development of large-scale biological models, which – when combined with advanced graphics tools – may produce realistic biological scenarios, that reveal new scientific explanations and knowledge about real life phenomena. A state-of-the-art simulation system termed Reactive Animation (RA) will serve as a study case to examine the contemporary philosophical debate (...) on the scientific value of simulations, as we demonstrate its ability to form a scientific explanation of natural phenomena and to generate new emergent behaviors, making possible a prediction or hypothesis about the equivalent real-life phenomena. (shrink)

The formal sciences - mathematical as opposed to natural sciences, such as operations research, statistics, theoretical computer science, systems engineering - appear to have achieved mathematically provable knowledge directly about the real world. It is argued that this appearance is correct.

I have read many recent discussions of the limits of computation and the universe as computer, hoping to find some comments on the amazing work of polymath physicist and decision theorist David Wolpert but have not found a single citation and so I present this very brief summary. Wolpert proved some stunning impossibility or incompleteness theorems (1992 to 2008-see arxiv.org) on the limits to inference (computation) that are so general they are independent of the device doing the computation, and even (...) independent of the laws of physics, so they apply across computers, physics, and human behavior. They make use of Cantor's diagonalization, the liar paradox and worldlines to provide what may be the ultimate theorem in Turing Machine Theory, and seemingly provide insights into impossibility,incompleteness, the limits of computation,and the universe as computer, in all possible universes and all beings or mechanisms, generating, among other things,a non-quantum mechanical uncertainty principle and a proof of monotheism. (shrink)

The terms ‘verification’ and ‘validation’ are widely used in science, both in the natural and the social sciences. They are extensively used in simulation, often associated with the need to evaluate models in different stages of the simulation development process. Frequently, terminological ambiguities arise when researchers conflate, along the simulation development process, the technical meanings of both terms with other meanings found in the philosophy of science and the social sciences. This article considers the problem of verification and validation in (...) social science simulation along five perspectives: The reasons to address terminological issues in simulation; the meaning of the terms in the philosophical sense of the problem of “truth”; the observation that some debates about these terms in simulation are inadvertently more terminological than epistemological; the meaning of the terms in the technical context of the simulation development process; and finally, a comprehensive outline of the relation between terminology used in simulation, different types of models used in the development process and different epistemological perspectives. (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 classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social sciences. We attempt to evaluate whether social simulation implies an additional perspective about the way one can understand the concepts of program and computation. We demonstrate (...) that the logic of social simulation implies at least two distinct types of program verifications that reflect an epistemological distinction in the kind of knowledge one can have about programs. Computer programs seem to possess a causal capability (Fetzer, 1999) and an intentional capability that scientific theories seem not to possess. This distinction is associated with two types of program verification, which we call empirical and intentional verification. We demonstrate, by this means, that computational phenomena are also intentional phenomena, and that such is particularly manifest in agent-based social simulation. Ascertaining the credibility of results in social simulation requires a focus on the identification of a new category of knowledge we can have about computer programs. This knowledge should be considered an outcome of an experimental exercise, albeit not empirical, acquired within a context of limited consensus. The perspective of intentional computation seems to be the only one possible to reflect the multiparadigmatic character of social science in terms of agent-based computational social science. We contribute, additionally, to the clarification of several questions that are found in the methodological perspectives of the discipline, such as the computational nature, the logic of program scalability, and the multiparadigmatic character of agent-based simulation in the social sciences. (shrink)

The philosophy of mathematics has largely abandoned foundational studies, but is still fixated on theorem proving, logic and number theory, and on whether mathematical knowledge is certain. That is not what mathematics looks like to, say, a knot theorist or an industrial mathematical modeller. The "computer revolution" shows that mathematics is a much more direct study of the world, especially its structural aspects.

Presents a broad examination of the nature of virtual worlds and the potential they provide in managing and expressing information practices through that medium, grounding information professionals and students of new media in the fundamental elements of virtual worlds and online gaming. The book details the practical issues in finding and using information in virtual environments and presents a general theory of librarianship as it relates to virtual gaming worlds. It is encompassed by a set of best practice methods that (...) libraries can effectively execute in their own environments, meeting the needs of this new generation of library user, and explores ways in which information literacy can be approached in virtual worlds. Final chapters examine how conventional information evaluation skills work falls short in virtual worlds online. (shrink)

We present a novel methodology for calculating the improvements obtained in successive versions of biomedical ontologies. The theory takes into account changes both in reality itself and in our understanding of this reality. The successful application of the theory rests on the willingness of ontology authors to document changes they make by following a number of simple rules. The theory provides a pathway by which ontology authoring can become a science rather than an art, following principles analogous to those that (...) have fostered the growth of modern evidence-based medicine. Although in this paper we focus on ontologies, the methodology can be generalized to other sorts of terminology-based artifacts, including Electronic Patient Records. (shrink)

I discuss the view, increasingly common in physics, that the foundational level of our physical reality is a network of computing machines (so that our universe is ultimately like a cellular automaton). I discuss finitely extended and divided (discrete) space-time and discrete causality. I examine reasons for thinking that the foundational computational complexity of our universe is finite. I discuss the emergence of an ordered complexity hierarchy of levels of objects over the foundational level and I show how the special (...) sciences study these emergent objects. (shrink)

What is nontrivial digital computation? It is the processing of discrete data through discrete state transitions in accordance with finite instructional information. The motivation for our account is that many previous attempts to answer this question are inadequate, and also that this account accords with the common intuition that digital computation is a type of information processing. We use the notion of reachability in a graph to defend this characterization in memory-based systems and underscore the importance of instructional information for (...) digital computation. We argue that our account evaluates positively against adequacy criteria for accounts of computation. (shrink)

The purpose of this paper is to provide an account of the epistemology and metaphysics of universe creation on a computer. The paper begins with F.J.Tipler's argument that our experience is indistinguishable from the experience of someone embedded in a perfect computer simulation of our own universe, hence we cannot know whether or not we are part of such a computer program ourselves. Tipler's argument is treated as a special case of epistemological scepticism, in a similar vein to `brain-in-a-vat' arguments. (...) It is argued that the hypothesis that our universe is a program running on a digital computer in another universe generates empirical predictions, and is therefore a falsifiable hypothesis. The computer program hypothesis is also treated as a hypothesis about what exists beyond the physical world, and is compared with Kant's metaphysics of noumena. It is proposed that a theory about what exists beyond the physical world should be formulated with the precise concepts of mathematics, and should generate physical predictions. It is argued that if our universe is a program running on a digital computer, then our universe must have compact spatial topology, and the possibilities of observationally testing this prediction are considered. The possibility of testing the computer program hypothesis with the value of the density parameter Omega_0 is also analysed. The informational requirements for a computer to represent a universeexactly and completely are considered. Consequent doubt is thrown upon Tipler's claim that if a hierarchy of computer universes exists, we would not be able to know which `level of implementation' our universe exists at. It is then argued that a digital computer simulation of a universe cannot exist as a universe. However, the paper concludes with the acknowledgement that an analog computer simulation can be objectively related to the thing it represents, hence an analog computer simulation of a universe could, in principle, exist as a universe. (shrink)

Scientists of many disciplines use theoretical models to explain and predict the dynamics of the world. They often have to rely on digital computer simulations to draw predictions fromthe model. But to deliver phenomenologically adequate results, simulations deviate from the assumptions of the theoretical model. Therefore the role of simulations in scientific explanation demands itself an explanation. This paper analyzes the relation between real-world system, theoretical model, and simulation. It is argued that simulations do not explain processes in the real (...) world directly. The way in which simulations help explaining real-world processes is conceived as indirect, mediated by the theoretical model. Simulacra are characterized further, and turn out to be a priori measurable. This gives a clue to a better understanding of the epistemic role of computer simulations in scientific research. (shrink)

We frame the question of what kind of subjective experience a brain simulation would have in contrast to a biological brain. We discuss the brain prosthesis thought experiment. Then, we identify finer questions relating to the original inquiry, and set out to answer them moving forward from both a general physicalist perspective, and pan-experientialism. We propose that the brain simulation is likely to have subjective experience, however, it may differ significantly from human experience. Additionally, we discuss the relevance of quantum (...) properties, digital physics, theory of relativity, and information theory to the question. (shrink)

The author suggests the subjugation of physical reality (IT) to a pair of self-supporting virtual realities (BIT from BIT), neither of which exists without the other.

This special interactive interdisciplinary issue of JCS on the singularity and the future relationship of humanity and AI is the first of two issues centered on David Chalmers’ 2010 JCS article ‘The Singularity, a Philosophical Analysis’. These issues include more than 20 solicited commentaries to which Chalmers responds. To quote Chalmers: -/- "One might think that the singularity would be of great interest to Academic philosophers, cognitive scientists, and artificial intelligence researchers. In practice, this has not been the case. Good (...) was an eminent academic, but his article was largely unappreciated at the time. The subsequent discussion of the singularity has largely taken place in non-academic circles, including Internet forums, popular media and books, and workshops organized by the independent Singularity Institute. Perhaps the highly speculative flavour of the singularity idea has been responsible for academic resistance to it. I think this resistance is a shame, as the singularity idea is clearly an important one. The argument for a singularity is one that we should take seriously. And the questions surrounding the singularity are of enormous practical and philosophical concern". -/- It is fair to say that Chalmers is the first to provide a detailed comprehensive philosophical analysis of the idea of the singularity that brings into focus not only questions about the nature of intelligence and the prospects for an intelligence explosion but also important philosophical questions about consciousness, identity and the relationship between facts and values. (shrink)

The articles in this volume present a selection of works from the Symposium on Natu-ral/Unconventional Computing at AISB/IACAP (British Society for the Study of Artificial Intelligence and the Simulation of Behaviour and The International Association for Computing and Philosophy) World Congress 2012, held at the University of Birmingham, celebrating Turing centenary. This book is about nature considered as the totality of physical existence, the universe. By physical we mean all phenomena - objects and processes - that are possible to detect (...) either directly by our senses or via instruments. Historically, there have been many ways of describ-ing the universe (cosmic egg, cosmic tree, theistic universe, mechanistic universe) and a par-ticularly prominent contemporary approach is computational universe. (shrink)

This paper proposes an extensionalist analysis of computer simulations (CSs). It puts the emphasis not on languages nor on models, but on symbols, on their extensions, and on their various ways of referring. It shows that chains of reference of symbols in CSs are multiple and of different kinds. As they are distinct and diverse, these chains enable different kinds of remoteness of reference and different kinds of validation for CSs. Although some methodological papers have already underlined the role of (...) these various relationships of reference in CSs and of cross-validations, this diversity is still overlooked in the epistemological literature on CSs. As a consequence, a particular outcome of this analytical view is an ability to classify existing epistemological theses on CSs according to what their authors choose to select and put at the forefront: either the extensions of symbols, or the symbol-types, or the symbol-tokens, or the internal denotational hierarchies of the CS or the reference of these hierarchies to external denotational hierarchies. Through the adoption of this extensionalist view, it also becomes possible to explain more precisely the reasons why some complete reduction of CSs to classical epistemic paradigms such as “experiment” or “theoretical argument” remains doubtful. On this last point, in particular, this paper is in agreement with what many epistemologists already have acknowledged. (shrink)

Enhancement technologies may someday grant us capacities far beyond what we now consider humanly possible. Nick Bostrom and Anders Sandberg suggest that we might survive the deaths of our physical bodies by living as computer emulations.­­ In 2008, they issued a report, or “roadmap,” from a conference where experts in all relevant fields collaborated to determine the path to “whole brain emulation.” Advancing this technology could also aid philosophical research. Their “roadmap” defends certain philosophical assumptions required for this technology’s success, (...) so by determining the reasons why it succeeds or fails, we can obtain empirical data for philosophical debates regarding our mind and selfhood. The scope ranges widely, so I merely survey some possibilities, namely, I argue that this technology could help us determine (1) if the mind is an emergent phenomenon, (2) if analog technology is necessary for brain emulation, and (3) if neural randomness is so wild that a complete emulation is impossible. (shrink)

Instead of using low-level neurophysiology mimicking and exploratory programming methods commonly used in the machine consciousness field, the hierarchical Operational Architectonics (OA) framework of brain and mind functioning proposes an alternative conceptual-theoretical framework as a new direction in the area of model-driven machine (robot) consciousness engineering. The unified brain-mind theoretical OA model explicitly captures (though in an informal way) the basic essence of brain functional architecture, which indeed constitutes a theory of consciousness. The OA describes the neurophysiological basis of the (...) phenomenal level of brain organization. In this context the problem of producing man-made “machine” consciousness and “artificial” thought is a matter of duplicating all levels of the operational architectonics hierarchy (with its inherent rules and mechanisms) found in the brain electromagnetic field. We hope that the conceptual-theoretical framework described in this paper will stimulate the interest of mathematicians and/or computer scientists to abstract and formalize principles of hierarchy of brain operations which are the building blocks for phenomenal consciousness and thought. (shrink)

The translation of a mathematical model into a numerical one employs various modifications in order to make the model accessible for computation. Such modifications include discretizations, approximations, heuristic assumptions, and other methods. The paper investigates the divergent styles of mathematical and numerical models in the case of a specific piece of code in a current atmospheric model. Cognizance of these modifications means that the question of the role and function of scientific models has to be reworked. Neither are numerical models (...) pure intermediaries between theory and data, nor are they autonomous tools of inquiry. Instead, theory and data are transformed into a new symbolic form of research due to the fact that computation has become an essential requirement for every scientific practice. Therefore the question is posed: What do numerical (climate) models really represent? (shrink)