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

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)

This essay investigates the notion of simulation and the role it plays in Kourken Michaelian's simulation theory of memory. I argue that the notion is importantly ambiguous and that this ambiguity may threaten some of the central commitments of the theory. To illustrate that, I examine two different conceptions of simulation: a narrow one (simulation as replication) and a broad one (simulation as computational modeling), arguing that the preferred narrow conception is incompatible with the claim (...) that remembering involves the simulation of past episodes. Investigating possible solutions, I suggest that, despite some relatively serious consequences, the theory may be better off subscribing to the broad notion of simulation. (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)

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)

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)

This paper defends the naïve thesis that the method of experiment has per se an epistemic superiority over the method of computer simulation, a view that has been rejected by some philosophers writing about simulation, and whose grounds have been hard to pin down by its defenders. I further argue that this superiority does not come from the experiment’s object being materially similar to the target in the world that the investigator is trying to learn about, as both (...) sides of dispute over the epistemic superiority thesis have assumed. The superiority depends on features of the question and on a property of natural kinds that has been mistaken for material similarity. Seeing this requires holding other things equal in the comparison of the two methods, thereby exposing that, under the conditions that will be specified, the simulation is necessarily epistemically one step behind the corresponding experiment. Practical constraints like feasibility and morality mean that scientists do not often face an other-things- equal comparison when they choose between experiment and simulation. Nevertheless, I argue, awareness of this superiority and of the general distinction between experiment and simulation is important for maintaining motivation to seek answers to new questions. (shrink)

This paper defends the naïve thesis that the method of experiment has per se an epistemic superiority over the method of computer simulation, a view that has been rejected by some philosophers writing about simulation, and whose grounds have been hard to pin down by its defenders. I further argue that this superiority does not come from the experiment’s object being materially similar to the target in the world that the investigator is trying to learn about, as both (...) sides of dispute over the epistemic superiority thesis have assumed. The superiority depends on features of the question and on a property of natural kinds that has been mistaken for material similarity. Seeing this requires holding other things equal in the comparison of the two methods, thereby exposing that, under the conditions that will be specified, the simulation is necessarily epistemically one step behind the corresponding experiment. Practical constraints like feasibility and morality mean that scientists do not often face an other-things- equal comparison when they choose between experiment and simulation. Nevertheless, I argue, awareness of this superiority and of the general distinction between experiment and simulation is important for maintaining motivation to seek answers to new questions. (shrink)

In my 2013 article, “A New Theory of Free Will”, I argued that several serious hypotheses in philosophy and modern physics jointly entail that our reality is structurally identical to a peer-to-peer (P2P) networked computer simulation. The present paper outlines how quantum phenomena emerge naturally from the computational structure of a P2P simulation. §1 explains the P2P Hypothesis. §2 then sketches how the structure of any P2P simulation realizes quantum superposition and wave-function collapse (§2.1.), quantum indeterminacy (§2.2.), (...) wave-particle duality (§2.3.), and quantum entanglement (§2.4.). Finally, §3 argues that although this is by no means a philosophical proof that our reality is a P2P simulation, it provides ample reasons to investigate the hypothesis further using the methods of computer science, physics, philosophy, and mathematics. (shrink)

Observable consequences of the hypothesis that the observed universe is a numerical simulation performed on a cubic space-time lattice or grid are explored. The simulation scenario is first motivated by extrapolating current trends in computational resource requirements for lattice QCD into the future. Using the historical development of lattice gauge theory technology as a guide, we assume that our universe is an early numerical simulation with unimproved Wilson fermion discretization and investigate potentially-observable consequences. Among the observables that (...) are considered are the muon g-2 and the current differences between determinations of alpha, but the most stringent bound on the inverse lattice spacing of the universe, b−1 > ~ 10^11 GeV, is derived from the high-energy cut off of the cosmic ray spectrum. The numerical simulation scenario could reveal itself in the distributions of the highest energy cosmic rays exhibiting a degree of rotational symmetry breaking that reflects the structure of the underlying lattice. (shrink)

This paper affords the design and improvement of a semi-active suspension system for an automobile. The main idea is to increase the semi-active suspension system damping vibration of the automobile body even as crossing the bump and sine pavement on the road. This system is modelled for 1 / 4 car system after which the entire system has been simulated usingMat lab/Simulink. It is used to physically simulate the quarter vehicle system of the automobile and have a look at the (...) time domain response to the road disturbances.H infinity controllers is used to govern the damping properties of the semi-active suspension system mechanically. The system is designed in contrast to the most of the available suspension systems using a third order hydraulic actuator. The proposed system is compared with H2 optimal controller to test the performance of the system for the control targets suspension deflection, body acceleration and body travel for the bump and sine road disturbances. The simulation result of this studies reveal the efficiency of the advanced H∞controller for the quarter car semi-active suspension system. (shrink)

A hydraulic actuator is a system that can provide a large power amplification in industries and factories. In this paper, mass lifter hydraulic actuator system to a desired displacement is designed using optimal control theory. MPC and LQR controllers are used to design and improve the performance of the hydraulic actuator. The hydraulic actuator system is linearized using Taylor series linearization method and designed using Matlab/Simulink tool. Comparison of the hydraulic actuator with MPC and LQR controllers using three desired output (...) displacement signals (step, sine wave and white noise) is done and simulation results have been analyzed successfully. For the desired step input signal, the hydraulic actuator system with MPC controller lower rise and settling times with small percentage overshoot as compared to the hydraulic actuator system with LQR controller and for the desired sine wave signal, the hydraulic actuator system with MPC controller almost track the desired sine wave input signal correctly as compared to the hydraulic actuator system with LQR controller. While for the desired white noise input signal, the hydraulic actuator system with MPC controller have tried to track the desired white noise input signal with small variation in amplitude as compared to the hydraulic actuator system with LQR controller. Finally the comparative simulation results prove the effectiveness of the proposed hydraulic actuator system with MPC controller. (shrink)

A hydraulic actuator is a system that can provide a large power amplification in industries and factories. In this paper, mass lifter hydraulic actuator system to a desired displacement is designed using optimal control theory. MPC and LQR controllers are used to design and improve the performance of the hydraulic actuator. The hydraulic actuator system is linearized using Taylor series linearization method and designed using Matlab/Simulink tool. Comparison of the hydraulic actuator with MPC and LQR controllers using three desired output (...) displacement signals (step, sine wave and white noise) is done and simulation results have been analyzed successfully. For the desired step input signal, the hydraulic actuator system with MPC controller lower rise and settling times with small percentage overshoot as compared to the hydraulic actuator system with LQR controller and for the desired sine wave signal, the hydraulic actuator system with MPC controller almost track the desired sine wave input signal correctly as compared to the hydraulic actuator system with LQR controller. While for the desired white noise input signal, the hydraulic actuator system with MPC controller have tried to track the desired white noise input signal with small variation in amplitude as compared to the hydraulic actuator system with LQR controller. Finally the comparative simulation results prove the effectiveness of the proposed hydraulic actuator system with MPC controller. (shrink)

When does opinion formation within an interacting group lead to consensus, polarization or fragmentation? The article investigates various models for the dynamics of continuous opinions by analytical methods as well as by computer simulations. Section 2 develops within a unified framework the classical model of consensus formation, the variant of this model due to Friedkin and Johnsen, a time-dependent version and a nonlinear version with bounded confidence of the agents. Section 3 presents for all these models major analytical results. Section (...) 4 gives an extensive exploration of the nonlinear model with bounded confidence by a series of computer simulations. An appendix supplies needed mathematical definitions, tools, and theorems. (shrink)

Phenomenal qualities are embodied spaciotemporal abstractions subjectively perceived by a conscious observer. Specific examples, i.e., qualia, include the color purple, the taste of chocolate, and the fragrance of a rose. The question of whether phenomenal awareness can be empirically understood forms one important facet of the “Hard Problem of Consciousness” (Chalmers, 1995, pp. 200–219). It is the position of this analysis that we will never understand why we experience sensory qualities in the manner we do until we first comprehend how (...) they may have evolved in the very distant past. This examination explores the evolutionary development of phenomenal experience. In so doing, it proposes that behind the mechanisms through which external stimuli interface with our sensory apparatus, there lies a long evolutionary process of standardization, approximation, and synchronization that has ultimately forged the close links between the two. The consistent and efficient correlations that the resultant evolutionary links give rise to cumulatively generate conscious experience. There is a tight correspondence between our sensations and incoming stimuli, and this synchronous covariance is meaningful and functional; however, it does not result from a strict cause-and-effect relationship between the physical properties of external objects and our internal neurophysiology. As such, this investigation endorses Hoffman’s (1998, 2003, 2008, 2009) view that the external world is largely hidden from direct sensory evaluation. The following inquiry utilizes Jung’s (1952) “Acausal Connecting Principle” to further explore the concept of complementary sensory phenomena as it may have originally been envisioned by Wolfgang Pauli. (Meier, 2001) This thesis, with respect to meaningful acausality and synchronicity, is first used to provide a plausible explanation for the initial genetic development of color perception, and then employed to examine the analogous evolutionary ties that ultimately engender all sensory modalities. Without invoking the Quantum-Mind hypothesis, this paper supports the idea that our five senses are not direct, or true, or even approximate abstract representations of any underlying material properties of incoming stimuli; instead, they efficiently provide useful higher-order assumptions pertaining to the macro properties of spacetime, matter, and motion, as well as the causal-objective of all life. The overall investigation concludes that it is the structural categorization, hierarchical organization, and qualitative characterization of this indirect presumptive meta-information that has engendered meaningful sensory experience, and all conscious thought over evolutionary time. (shrink)

In this paper, the performance of inverted pendulum have been Investigated using robust control theory. The robust controllers used in this paper are H∞ Loop Shaping Design Using Glover McFarlane Method and mixed H∞ Loop Shaping Controllers. The mathematical model of Inverted Pendulum, a DC motor, Cart and Cart driving mechanism have been done successfully. Comparison of an inverted pendulum with H∞ Loop Shaping Design Using Glover McFarlane Method and H∞ Loop Shaping Controllers for a control target deviation of an (...) angle from vertical of the inverted pendulum using two input signals (step and impulse). The simulation result shows that the inverted pendulum with mixed H∞ Loop Shaping Controller to have a small rise time, settling time and percentage overshoot in the step response and having a good response in the impulse response too. Finally the inverted pendulum with mixed H∞ Loop Shaping Controller shows the best performance in the overall simulation result. (shrink)

Simulation models of the Reiterated Prisoner's Dilemma (in the following: RPD-models) are since 30 years considered as one of the standard tools to study the evolution of cooperation (Rangoni 2013; Hoffmann 2000). A considerable number of such simulation models has been produced by scientists. Unfortunately, though, none of these models has empirically been verified and there exists no example of empirical research where any of the RPD-models has successfully been employed to a particular instance of cooperation. Surprisingly, this (...) has not kept scientists from continuing to produce simulation models in the same tradition and from writing their own history as a history of success. In a recent simulation study -- which does not make use of the RPD but otherwise follows the same pattern of research -- Robert Axelrod's (1984) original role model for this kind of simulation studies is praised as ``an extremely effective means for investigating the evolution of cooperation'' and considered as ``widely credited with invigorating that field'' (Rendell et al. 2010). (shrink)

We study imagination as reality-oriented mental simulation : the activity of simulating nonactual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive (...) psychology and the philosophy of mind. We then provide a logic of imagination as ROMS which models such features, combining techniques from epistemic logic, action logic, and subject matter semantics. Our logic comprises a modal propositional language with non-monotonic imagination operators, a formal semantics, and an axiomatization. (shrink)

The causal and simulation theories are often presented as very distinct views about declarative memory, their major difference lying on the causal condition. The causal theory states that remembering involves an accurate representation causally connected to an earlier experience. In the simulation theory, remembering involves an accurate representation generated by a reliable memory process. I investigate how to construe detailed versions of these theories that correctly classify memory errors as misremembering or confabulation. Neither causalists nor simulationists have paid (...) attention to memory-conjunction errors, which is unfortunate because both theories have problems with these cases. The source of the difficulty is the background assumption that an act of remembering has one target. I fix these theories for those cases. The resulting versions are closely related when implemented using tools of information theory, differing only on how memory transmits information about the past. The implementation provides us with insights about the distinction between confabulatory and non-confabulatory memory, where memory-conjunction errors have a privileged position. (shrink)

This paper investigates how the simulation of intelligence, an activity that has been considered the notional task of Artificial Intelligence, does not comprise its duplication. Briefly touching on the distinction between conceivability and possibility, and commenting on Ryan’s approach to fiction in terms of the interplay between possible worlds and her principle of minimal departure, we specify verisimilitude in Artificial Intelligence as the accurate resemblance of intelligence by its simulation and, from this characterization, claim the metaphysical impossibility of (...) duplicating intelligence, as neither verisimilarly nor convincingly simulating intelligence involves its duplication. To this end, we argue by a representative case of simulation that, albeit conceivable, Turing’s test for machine intelligence wrongly equates the occurrence of indistinguishable intelligence performance to intelligence duplication, which is grounded in a prima facie conceivable but metaphysically impossible view that separates intelligence from its origin. Finally, we establish the following criterion for evaluating simulation in Artificial Intelligence: simulations succeed in AI if and only if they are able to epistemically persuade human beings that intelligence has been duplicated, that is, if and only if verisimilar simulations can convincingly minimally depart from actual intelligence. (shrink)

Latent heat thermal energy storage technique has demonstrate to be a better engineering option mainly due to its benefit of supplying higher energy storage density in a smaller temperature difference between retrieval and storage. For this purpose, a micro electro-mechanical system, MEMS-based heat exchanger with microencapsulated PCM (MEPCM) slurry as cold fluid, has been simulated three dimensionally. This work investigates the influence of using MEPCM-slurry on the temperature of the cold and hot fluids. The MEPCM and water properties have been (...) considered temperature dependent. MEPCM-slurry is used with different volume fractions. The result shows that using MEPCM with 25% volume fraction leads to the improvement in fluids temperatures, that is, for hot fluid the rate of temperature reduction increases up to 23.5% and for cold fluid the rate of temperature rise decreases to 9%, compared to using only water in the MEMS. (shrink)

Modern semiotics is a branch of logics that formally defines symbol-based communication. In recent years, the semiotic classification of signs has been invoked to support the notion that symbols are uniquely human. Here we show that alarm-calls such as those used by African vervet monkeys (Cercopithecus aethiops), logically satisfy the semiotic definition of symbol. We also show that the acquisition of vocal symbols in vervet monkeys can be successfully simulated by a computer program based on minimal semiotic and neurobiological constraints. (...) The simulations indicate that learning depends on the tutor-predator ratio, and that apprentice-generated auditory mistakes in vocal symbol interpretation have little effect on the learning rates of apprentices (up to 80% of mistakes are tolerated). In contrast, just 10% of apprentice-generated visual mistakes in predator identification will prevent any vocal symbol to be correctly associated with a predator call in a stable manner. Tutor unreliability was also deleterious to vocal symbol learning: a mere 5% of “lying” tutors were able to completely disrupt symbol learning, invariably leading to the acquisition of incorrect associations by apprentices. Our investigation corroborates the existence of vocal symbols in a non-human species, and indicates that symbolic competence emerges spontaneously from classical associative learning mechanisms when the conditioned stimuli are self-generated, arbitrary and socially efficacious. We propose that more exclusive properties of human language, such as syntax, may derive from the evolution of higher-order domains for neural association, more removed from both the sensory input and the motor output, able to support the gradual complexification of grammatical categories into syntax. (shrink)

This paper commences from the critical observation that the Turing Test (TT) might not be best read as providing a definition or a genuine test of intelligence by proxy of a simulation of conversational behaviour. Firstly, the idea of a machine producing likenesses of this kind served a different purpose in Turing, namely providing a demonstrative simulation to elucidate the force and scope of his computational method, whose primary theoretical import lies within the realm of mathematics rather than (...) cognitive modelling. Secondly, it is argued that a certain bias in Turing’s computational reasoning towards formalism and methodological individualism contributed to systematically unwarranted interpretations of the role of the TT as a simulation of cognitive processes. On the basis of the conceptual distinction in biology between structural homology vs. functional analogy, a view towards alternate versions of the TT is presented that could function as investigative simulations into the emergence of communicative patterns oriented towards shared goals. Unlike the original TT, the purpose of these alternate versions would be co-ordinative rather than deceptive. On this level, genuine functional analogies between human and machine behaviour could arise in quasi-evolutionary fashion. (shrink)

Although Paul Churchland and Jerry Fodor both subscribe to the so-called theory-theory– the theory that folk psychology (FP) is an empirical theory of behavior – they disagree strongly about FP’s fate. Churchland contends that FP is a fundamentally flawed view analogous to folk biology, and he argues that recent advances in computational neuroscience and connectionist AI point toward development of a scientifically respectable replacement theory that will give rise to a new common-sense psychology. Fodor, however, wagers that FP will be (...) largely preserved and vindicated by scientific investigations of behavior. Recent findings by developmental psychologists, I argue, will push both Churchlandians and Fodorians toward the pessimistic view that FP is a misguided theory that will never be displaced, because it is, so to speak, built into our cognitive systems. I explore the possibility of preserving optimism by rejecting the theory-theory and adopting the simulation theory, a competing view developed by Robert Gordon, Alvin Goldman, and Jane Heal. According to simulationists, common-sense interpretation of behavior is accomplished by means of pretense-like operations that deploy the cognitive system’s own reasoning capabilities in a disengaged manner. Since on this view no theory-like set of principles would be needed, the simulation theory seems to enjoy a simplicity advantage over the theory-theory. Steven Stich and Shawn Nichols, however, contend that as the cognitive system would require special mechanisms for disengaged operation, the simplicity question cannot be resolved until suitable computational models are developed. I describe a set of models I have constructed to meet this need, and I discuss the contribution such models can make to determining FP’s fate. (shrink)

This chapter describes the concept of enactive memory, which is quite new but increasingly discussed in contemporary philosophy of memory. Although the enactive approach has been used to investigate several memory sys- tems, e.g., procedural memory, episodic mem- ory, and autobiographical memory, this chapter focuses only on the enactive approach to epi- sodic memory because most of the current debate on enactive memory is about this mem- ory system. Section “Introduction” specifies what type of enactive memory is discussed in this (...) chapter. Section “The Concept of Enactive Memory” introduces the concept of enactive memory, clarifies its central theoretical com- mitments and goals, and describes how enactivists have explained episodic remember- ing. Section “The Philosophical Context of Enactive Memory” provides a brief contextu- alization of the enactive approach to memory with respect to approaches and theories with which, for one reason or another, it shares some theoretical insights, like the embodied, the extended, and the distributed approach, and the simulation theory. Section “Forgetting as a Challenge for Enactive Memory” explains why forgetting poses an important explanatory challenge to the enactive approach to memory and describes one philosophical proposal that has been developed to address this challenge. Section “Summary” provides a summary of the chapter, mentions some ongoing projects on enactive memory, and identifies some topics that advocates of the enactive approach to memory may want to investigate in the future. (shrink)

The visuospatial system integrates inner and outer functional processes, organizing spatial, temporal, and social interactions between the brain, body, and environment. These processes involve sensorimotor networks like the eye–hand circuit, which is especially important to primates, given their reliance on vision and touch as primary sensory modalities and the use of the hands in social and environmental interactions. At the same time, visuospatial cognition is intimately connected with memory, self-awareness, and simulation capacity. In the present article, we review issues (...) associated with investigating visuospatial integration in extinct human groups through the use of anatomical and behavioral data gleaned from the paleontological and archaeological records. In modern humans, paleoneurological analyses have demonstrated noticeable and unique morphological changes in the parietal cortex, a region crucial to visuospatial management. Archaeological data provides information on hand–tool interaction, the spatial behavior of past populations, and their interaction with the environment. Visuospatial integration may represent a critical bridge between extended cognition, self-awareness, and social perception. As such, visuospatial functions are relevant to the hypothesis that human evolution is characterized by changes in brain–body–environment interactions and relations, which enhance integration between internal and external cognitive components through neural plasticity and the development of a specialized embodiment capacity. We therefore advocate the investigation of visuospatial functions in past populations through the paleoneurological study of anatomical elements and archaeological analysis of visuospatial behaviors. (shrink)

This paper studies proof systems for the logics of super-strict implication ST2–ST5, which correspond to C.I. Lewis’ systems S2–S5 freed of paradoxes of strict implication. First, Hilbert-style axiomatic systems are introduced and shown to be sound and complete by simulating STn in Sn and backsimulating Sn in STn, respectively(for n=2,...,5). Next, G3-style labelled sequent calculi are investigated. It is shown that these calculi have the good structural properties that are distinctive of G3-style calculi, that they are sound and complete, and (...) it is shown that the proof search for G3. ST2 is terminating and therefore the logic is decidable. (shrink)

I have inquired as to what sort of knowledge humans need to make justifiable claims regarding free will. I defended the thesis that humans do not have the sort of knowledge which would allow them to make such claims. Adopting the view of mind based on cognitive science and Kant’s philosophy of mind, first I laid out the characteristics of that knowledge with the help of a simulation example I devised. Then, upon investigating the epistemic relations between the different (...) sources of knowledge and the agents of a system (such as the relation between the programmer and the simulated agents as well as god and humans), I claimed that knowledge bearing those characteristics cannot be accessible to human beings. (shrink)

This paper investigates the responses of GPT-4, a state-of-the-art AI language model, to ten prominent philosophical paradoxes, and evaluates its capacity to reason and make decisions in complex and uncertain situations. In addition to analyzing GPT-4's solutions to the paradoxes, this paper assesses the model's Theory of Mind (ToM) capabilities by testing its understanding of mental states, intentions, and beliefs in scenarios ranging from classic ToM tests to complex, real-world simulations. Through these tests, we gain insight into AI's potential for (...) social reasoning and its capacity for more sophisticated forms of human-AI interaction. The paper also explores the limitations and biases of AI-generated reasoning and its implications for our comprehension of complex philosophical problems. (shrink)

[Müller, Vincent C. (ed.), (2016), Fundamental issues of artificial intelligence (Synthese Library, 377; Berlin: Springer). 570 pp.] -- This volume offers a look at the fundamental issues of present and future AI, especially from cognitive science, computer science, neuroscience and philosophy. This work examines the conditions for artificial intelligence, how these relate to the conditions for intelligence in humans and other natural agents, as well as ethical and societal problems that artificial intelligence raises or will raise. The key issues this (...) volume investigates include the relation of AI and cognitive science, ethics of AI and robotics, brain emulation and simulation, hybrid systems and cyborgs, intelligence and intelligence testing, interactive systems, multi-agent systems, and superintelligence. Based on the 2nd conference on “Theory and Philosophy of Artificial Intelligence” held in Oxford, the volume includes prominent researchers within the field from around the world. (shrink)

Empirical work has lately confirmed what many philosophers have taken to be true: people are ‘biased toward the future’. All else being equal, we usually prefer to have positive experiences in the future, and negative experiences in the past. According to one hypothesis, the temporal metaphysics hypothesis, future-bias is explained either by our beliefs about temporal metaphysics—the temporal belief hypothesis—or alternatively by our temporal phenomenology—the temporal phenomenology hypothesis. We empirically investigate a particular version of the temporal belief hypothesis according to (...) which future-bias is explained by the belief that time robustly passes. Our results do not match the apparent predictions of this hypothesis, and so provide evidence against it. But we also find that people give more future-biased responses when asked to simulate a belief in robust passage. We take this to suggest that the phenomenology that attends simulation of that belief may be partially responsible for future-bias, and we examine the implications of these results for debates about the rationality of future-bias. (shrink)

Purpose: Illicit financial flows are targeted by the United Nations’ (UN) Sustainable Development Goals (SDGs). However, these illicit flows are not entirely understood. Furthermore, they can benefit from economic norms, laws, and regulations that lack mechanisms to detect and penalize them. This paper investigates whether a recent test, the embezzler test, can be used to identify regulatory architectures that facilitate illicit financial flows and related financial crimes. -/- Design/methodology/approach: To develop a more advanced version of the embezzler test in terms (...) of definitions and practical implementation methodology. -/- Findings: In this test, the definition of embezzlement can be understood to be the occurrence of illicit financial flows crossing the boundaries of organizations and/or countries. This is a multi-stage test, which intentionally simulates illicit financial flows to observe how well equipped is the regulatory architecture to deal with other financial offences that are related with these flows, such as theft, money laundering, fraud, corruption, market manipulation, and tax evasion. -/- Originality: This is the first explicit test that has been presented to identify norms, laws, and regulations that facilitate illicit financial flows and related financial crimes. -/- Research implications: Future research can employ the version of this test to stress test a large range of economic norms, laws, and regulations. -/- Practical/Social implications: This test’s new version can assist achieve the UN SDGs’ illicit financial flow reduction target. Furthermore, it can be used to study both existing and proposed norms, laws, and regulation. (shrink)

A strategy for investigating consciousness that has proven very productive has focused on comparing brain processes that are accompanied by consciousness with processes that are not. But comparatively little attention has been given to a related strategy that promises to be even more fertile. This strategy exploits the fact that as individuals develop, new classes of brain processes can transition from operating ‘in the dark’ to becoming conscious. It has been suggested that these transitions occur when a new class of (...) brain processes becomes object to a new, emergent, higher-level subject. Similar transitions are likely to have occurred during evolution. An evolutionary/developmental research strategy sets out to identify the nature of the transitions in brain processes that shift them from operating in the dark to ‘lighting up’. The paper begins the application of this strategy by extrapolating the sequence of transitions back towards its origin. The goal is to reconstruct a minimally-complex, subject-object subsystem that would be capable of giving rise to consciousness and providing adaptive benefits. By focusing on reconstructing a subsystem that is simple and understandable, this approach avoids the homunculus fallacy. The reconstruction suggests that the emergence of such a minimally-complex subsystem was driven by its capacity to coordinate body-environment interactions in real time e.g. hand-eye coordination. Conscious processing emerged initially because of its central role in organising real-time sensorimotor coordination. The paper goes on to identify and examine a number of subsequent major transitions in consciousness, including the emergence of capacities for conscious mental modelling. Each transition is driven by its potential to solve adaptive challenges that cannot be overcome at lower levels. The paper argues that mental modelling arose out of a pre-existing capacity to use simulations of motor actions to anticipate the consequences of the actions. As the capacity developed, elements of the simulations could be changed, and the consequences of these changes could be ‘thought through’ consciously. This enabled alternative motor responses to be evaluated. The paper goes on to predict significant new major transitions in consciousness. (shrink)

Recent philosophical attention to climate models has highlighted their weaknesses and uncertainties. Here I address the ways that models gain support through observational data. I review examples of model fit, variety of evidence, and independent support for aspects of the models, contrasting my analysis with that of other philosophers. I also investigate model robustness, which often emerges when comparing climate models simulating the same time period or set of conditions. Starting from Michael Weisberg’s analysis of robustness, I conclude that his (...) approach involves a version of reasoning from variety of evidence, enabling this robustness to be a confirmatory virtue.. (shrink)

This study investigates the outlet temperature control for the design of steam condenser. The comparison has been made for a step drop in the steam condenser temperature set point using MATLAB/ Simulink environment for the steam condenser with NARMA-L2 using Levenberg-Marquardt algorithm and NARMA-L2 using resilient backpropagation algorithm controllers. The steam condenser with NARMA-L2 using Levenberg-Marquardt algorithm controller presented excellent and superior dynamic performance in response to the temperature drop in settling time. The overall simulation results demonstrated that the (...) steam condenser with NARMA-L2 using Levenberg-Marquardt Algorithm controller can be an efficient alternative to the steam condenser with NARMA-L2 using resilient backpropagation algorithm controller. (shrink)

This paper investigates the comparison between mixed H 2 /H∞ with regional pole placement control and H 2 optimal control for the design of steam condenser. The comparison have been made for a step change in the steam condenser pressure set point for a step change of 10 & 23 seconds using MATLAB/Simulink environment for the steam condenser with mixed H 2 /H∞ with regional pole placement controller, steam condenser with H 2 optimal controller and steam condenser without controller. The (...) steam condenser with mixed H 2 /H∞ with regional pole placement controller presented excellent and superior dynamic performance in response to the two step changes and an improvement in settling time. The overall simulation results demonstrated that the steam condenser with mixed H 2 /H∞ with regional pole placement controller can be an efficient alternative to the steam condenser with H 2 optimal controller for the steam condenser. (shrink)

In a situation of peer disagreement, peers are usually assumed to share the same evidence. However they might not share the same evidence for the epistemic system used to process the evidence. This synchronic complication of the peer disagreement debate suggested by Goldman (In Feldman R, Warfield T (eds) (2010) Disagreement. Oxford University Press, Oxford, pp 187–215) is elaborated diachronically by use of a simulation. The Hegselmann–Krause model is extended to multiple epistemic systems and used to investigate the role (...) of consensus and difference splitting in peer disagreement. I find that the very possibility of multiple epistemic systems downgrades the epistemic value of consensus and makes difference splitting a suboptimal strategy. (shrink)

The assumption that positive affect leads to a better performance in simple cognitive tasks has become well established. We address the question whether positive and negative emotions differentially influence performance in complex problem-solving in the same way. Emotions were induced by positive or negative feedback in 74 participants who had to manage a computer-simulated complex problem-solving scenario. Results show that overall scenario performance is not affected, but positive and negative emotions elicit distinguishable problem-solving strategies: Participants with negative emotions are more (...) focused on the seeking and use of information. We discuss methodological requirements for investigating emotion influences in complex and dynamic cognitive tasks. (shrink)

Systems of logico-probabilistic (LP) reasoning characterize inference from conditional assertions interpreted as expressing high conditional probabilities. In the present article, we investigate four prominent LP systems (namely, systems O, P, Z, and QC) by means of computer simulations. The results reported here extend our previous work in this area, and evaluate the four systems in terms of the expected utility of the dispositions to act that derive from the conclusions that the systems license. In addition to conforming to the dominant (...) paradigm for assessing the rationality of actions and decisions, our present evaluation complements our previous work, since our previous evaluation may have been too severe in its assessment of inferences to false and uninformative conclusions. In the end, our new results provide additional support for the conclusion that (of the four systems considered) inference by system Z offers the best balance of error avoidance and inferential power. Our new results also suggest that improved performance could be achieved by a modest strengthening of system Z. (shrink)

In this paper, we bring together research on complex problem solving with that on motivational psychology about goal setting. Complex problems require motivational effort because of their inherent difficulties. Goal Setting Theory has shown with simple tasks that high, specific performance goals lead to better performance outcome than do-your-best goals. However, in complex tasks, learning goals have proven more effective than performance goals. Based on the Zurich Resource Model, so-called motto-goals should activate a person’s resources through positive affect. It was (...) found that motto-goals are effective with unpleasant duties. Therefore, we tested the hypothesis that motto-goals outperform learning and performance goals in the case of complex problems. A total of N = 123 subject participated in the experiment. In dependence of their goal condition, subjects developed a personal motto, learning, or performance goal. This goal was adapted for the computer-simulated complex scenario Tailorshop, where subjects worked as managers in a small fictional company. Other than expected, there was no main effect of goal condition for the management performance. An unexpected gender effect revealed better performance for men than women, pointing to a potential stereotype threat. As hypothesized, motto goals led to higher positive and lower negative affect than the other two goal types. Even though positive affect decreased and negative affect increased in all three groups during Tailorshop completion, participants with motto goals reported the lowest rates of negative affect. Exploratory analyses investigated the role of affect in complex problem solving via mediational analyses and the influence of goal type on perceived goal attainment. (shrink)

Some years ago, Hidding et al. suggest that the emergence of intricate and pervasive weblike structure of the Universe on Megaparsec scales can be approximated by a well-known equation from fluid mechanics, the Burgers’ equation. The solution to this equation can be obtained from a geometrical formalism. The resulting Adhesion formalism provides deep insight into the dynamics and topology of the Cosmic Web. It uncovers a direct connection between the conditions in the very early Universe and the complex spatial patterns (...) that emerged out of these under the influence of gravity. In the present paper, we describe a cellular automaton model of the Burgers’ equation, which can be investigated via a fast computer simulation. In the end, this suggests a Cellular Automata Adhesion Model of the Universe. (shrink)

This paper examines two parallel discussions of scientific modeling which have invoked experimentation in addressing the role of models in scientific inquiry. One side discusses the experimental character of models, whereas the other focuses on their exploratory uses. Although both relate modeling to experimentation, they do so differently. The former has considered the similarities and differences between models and experiments, addressing, in particular, the epistemic value of materiality. By contrast, the focus on exploratory modeling has highlighted the various kinds of (...) exploratory functions of models in the early stages of inquiry. These two perspectives on modeling are discussed through a case study in the field of synthetic biology. The research practice in question explores biological control by making use of an ensemble of different epistemic means: mathematical models and simulations, synthetic genetic circuits and intracellular measuring devices, and finally electronic circuits. We argue that the study of exploratory modeling should trace the ways different epistemic means, in different materialities, are being combined over time. Finally, the epistemic status of such novel investigative objects as synthetic genetic circuits is evaluated, with the conclusion that they can function as both experiments and models. (shrink)

One of the disadvantages of the point estimate in survey sampling is that it fluctuates from sample to sample due to sampling error, as the estimator only provides a point value for the parameter under discussion. The neutrosophic approach, pioneered by Florentin Smarandache, is an excellent tool for estimating the parameters under consideration in sampling theory since it yields interval estimates in which the parameter lies with a very high probability. As a result, the neutrosophic technique, which is a generalization (...) of classical approach, is used to deal with ambiguous, indeterminate, and uncertain data. In this investigation, we suggest a new general family of ratio and exponential ratio type estimators for the elevated estimation of neutrosophic population mean of the primary variable utilizing known neutrosophic auxiliary parameters. For the first degree approximation, the bias and Mean Squared Error (MSE) of the suggested estimators are computed. The neutrosophic optimum values of the characterizing constants are determined, as well as the minimum value of the neutrosophic MSE of the suggested estimator is obtained for these optimum values of the characterizing scalars. Because the minimum MSE of the classical estimators of population mean lies inside the estimated interval of the neutrosophic estimators, the neutrosophic estimators are better than the equivalent classical estimators. The empirical investigation, which used both real and simulated data sets, backs up the theoretical findings. For practical utility in various areas of applications, the estimator with the lowest MSE or highest Percentage Relative Efficiency (PRE) is recommended. (shrink)

Since the second half of the XXth century, researchers in cybernetics and AI, neural nets and connectionism, Artificial Life and new robotics have endeavoured to build different machines that could simulate functions of living organisms, such as adaptation and development, problem solving and learning. In this book these research programs are discussed, particularly as regard the epistemological issues of the behaviour modelling. One of the main novelty of this book consists of the fact that certain projects involving the building of (...) simulative machine models before the advent of cybernetics are been investigated for the first time, on the basis of little known, and sometimes completely forgotten or unpublished, texts and figures. These pre-cybernetics projects can be considered as steps toward the “discovery” of a modelling methodology that has been fully developed by those more recent research programs, and that shares some of their central goals and key methodological proposals. -/- More info in Springer link: http://www.springer.com/new+%26+forthcoming+titles+%28default%29/book/978-1-4020-0606-7 -/- This book is the English translation of La scoperta dell'artificiale, Dunod/Masson, Milan, 1998. (shrink)

The assumption that positive affect leads to a better performance in simple cognitive tasks has become well established. We address the question whether positive and negative emotions differentially influence performance in complex problem-solving in the same way. Emotions were induced by positive or negative feedback in 74 participants who had to manage a computer-simulated complex problem-solving scenario. Results show that overall scenario performance is not affected, but positive and negative emotions elicit distinguishable problem-solving strategies: Participants with negative emotions are more (...) focused on the seeking and use of information. We discuss methodological requirements for investigating emotion influences in complex and dynamic cognitive tasks. (shrink)

The essential biological processes that sustain life are catalyzed by protein nano-engines, which maintain living systems in far-from-equilibrium ordered states. To investigate energetic processes in proteins, we have analyzed the system of generalized Davydov equations that govern the quantum dynamics of multiple amide I exciton quanta propagating along the hydrogen-bonded peptide groups in α-helices. Computational simulations have confirmed the generation of moving Davydov solitons by applied pulses of amide I energy for protein α-helices of varying length. The stability and mobility (...) of these solitons depended on the uniformity of dipole-dipole coupling between amide I oscillators, and the isotropy of the exciton-phonon interaction. Davydov solitons were also able to quantum tunnel through massive barriers, or to quantum interfere at collision sites. The results presented here support a nontrivial role of quantum effects in biological systems that lies beyond the mechanistic support of covalent bonds as binding agents of macromolecular structures. Quantum tunneling and interference of Davydov solitons provide catalytically active macromolecular protein complexes with a physical mechanism allowing highly efficient transport, delivery, and utilization of free energy, besides the evolutionary mandate of biological order that supports the existence of such genuine quantum phenomena, and may indeed demarcate the quantum boundaries of life. (shrink)

The Vehicle Routing Problem (VRP) has been extensively studied by different researchers from all over the world in recent years. Multiple solutions have been proposed for different variations of the problem, such as Capacitive Vehicle Routing Problem (CVRP), Vehicle Routing Problem with Time Windows (VRP-TW), Vehicle Routing Problem with Pickup and Delivery (VRPPD), among others, all of them with deterministic times. In the last years, researchers have been interested in including in their different models the variations that travel times may (...) experience when exposed to all kind of phenomena, mainly vehicle traffic. This article addresses the VRP from this perspective, proposing the design and implementation of a genetic algorithm based on neutrosophic theory for calculating the fitness function of each route, considering the variability and uncertainty present in travel times. A deterministic genetic algorithm is also implemented with the average travel times to compare it with the neutrosophic algorithm using simulation. As conclusion, a deterministic algorithm does not necessarily generate the best solution in the real world, full of uncertainty. Also, the quantification of uncertainty using neutrosophic theory can be used in route planning, opening a broad and interesting field of research for future investigations. (shrink)

Mimicry, camouflage, transvestism, chance or cryptic anamorphism, fascination – all ways of changing clothes, habits and habitats in nature as well as in culture, in any symbolic field created by human beings during their history. Art and artification, aestheticization, stylization and beautification are all practices reflecting the need and desire for biological as well as social adaptation, all performances producing functional and fictional frames, boundaries or hierarchies in ordinary life, including the artworld. They can persuade and convince by creating consensus (...) and belief, but they can also lead to a different common sense, a sensorium – a sensorial medium and an aesthetic mediation open to a new world and to new experiences. -/- By investigating mimetism as a fundamental and polymorphic aesthetic performance, this issue of «Aisthesis» aims to rethink the concept, value, and function of mimesis and its media in the context of camouflage, simulation, and dissimulation, where images do not reveal themselves as such, but are to be perceived unambiguously as what they are not – as hieroglyphs or puzzles. In the animal kingdom, as well as in war or in ordinary public life, camouflage consists in taking on the traits, colours, and shapes of a given form or environment. This is a twofold process: on the one hand, by blending two or more shapes in one, the camoufleur seeks to remain hidden and to mislead the others in order to keep a vital secret or an ephemeral whim; on the other hand, however, he/she aims to be recognized by a specific milieu or group, thus betraying a craving for communication and familiarity, as well as a need to convey an agreeable appearance and to share a way of life. (shrink)

Introduction: the neuroscientific turn in political science The observation that brains and political orders are interdependent is almost trivial. Obviously, political orders require brain processes in order to emerge and to remain in place, as these processes enable action and cognition. Conversely, every since Aristotle coined man as “by nature a political animal” (Aristotle, Pol.: 1252a 3; cf. Eth. Nic.: 1097b 11), this also suggests that the political engagements of this animal has likely consequences for its natural development, including the (...) development of its psychological functions. Given these mutual interdependencies, it is remarkable that only since the 1960s, the more general domain of ‘biopolitics’ has attracted attention though first particularly in the form of behavioral politics (Alford and Hibbing). Since then biopolitics has gained in interest, so much so that different subdomains can be identified. Indeed, a 2008 review of the field of biopolitics identified five ‘headings’ of it: “(1) the case for a ‘more biologically oriented political science’, (2) ‘biologically related’ public policy issues, (3) physiological measures of political attitudes and behaviour, (4) the influence of physiological factors on actual political behaviour, and (5) the manner in which our species’ evolutionary history has left homo sapiens genetically endowed with certain social and political behavioural tendencies” (Somit and Peterson 43). Striking is how the relation between biology and politics is taken here in a rather unidirectional way, emphasizing particularly the decisive power of biology upon politics. The reverse relation is not mentioned specifically, reflecting the field of biopolitics, perhaps until quite recently. This absence of studies of political influences on our biology may have to do with the difficulty in investigating such influences. Empirical studies in biopolitics have two foci, broadly speaking: genetics and the brain, both of which have turned out to be complex and dynamic phenomena (Alford and Hibbing). Yet the studies of genetics and brain processes have made much progress in the last few decades, thanks to the development of research instruments - like fMRI brain scanners and TMS brain stimulation instruments - and of computational tools for data analysis and the simulation of explanatory models. For the field of biopolitics it is particularly relevant that within cognitive neuroscience the study of social and political issues has witnessed an increasing interest of researchers even more recently. Indeed, aware of the enabling and mediating role of the brain regarding those issues, a truly ‘neuroscientific turn’ can be observed in the social sciences, testified for example by the emergence of the field of ‘neuropolitics’ (Connolly; Vandervalk). Developing a systematic neuropolitics or biopolitics in general is a difficult challenge because of the wealth of causal influences on and interdependencies between biological, brain, cognitive and socio-political factors. Taking a somewhat more abstract perspective, this paper focuses on the process of emerging complexity in adaptive systems, enabling those to conduct ever more complex processes. Yet, parallel to that development can be observed that such systems, or organisms, are also capable in reducing the complexity of the information they are to process. Once they’re capable of developing and adjusting such compressed and complex representations of information, those systems or organisms can handle more information faster and more efficient and adaptive, yielding important benefits to the organism in navigating its environment (Halford, Wilson and Phillips). Before focusing on the role of narrative as a cognitive strategy for such a reduction of informational complexity, I will discuss the development of stable structures and increasing complexity in dynamic systems. Such a more general perspective prepares our discussion of the structures of both narratives and politics and in doing so contributes to the explanation of their interaction. (shrink)