one takes to be the most salient, any pair could be judged more similar to each other than to the third. Goodman uses this second problem to showthat there can be no context-free similarity metric, either in the trivial case or in a scientifically ...

We consider four natural deduction systems: Fitch-style systems, Gentzen-style systems (in the form of dags), general deduction Frege systems and nested deduction Frege systems, as well as dag-like Gentzen-style sequent calculi. All these calculi soundly and completely formalize classical propositional logic. -/- We show that general deduction Frege systems and Gentzen-style natural calculi provide at most quadratic speedup over nested deduction Frege systems and Fitch-style natural calculi and at most cubic speedup over Gentzen-style sequent calculi.

The same neural structures involved in the unconscious modeling of our acting body in space also contribute to our awareness of the lived body and of the objects that the world contains. Neuroscientific research also shows that there are neural mechanisms mediating between the multi-level personal experience we entertain of our lived body, and the implicit certainties we simultaneously hold about others. Such personal and body-related experiential knowledge enables us to understand the actions performed by others, and to directly decode (...) the emotions and sensations they experience. A common functional mechanism is at the basis of both body awareness and basic forms of social understanding: embodied simulation. It will be shown that the present proposal is consistent with some of the perspectives offered by phenomenology. (shrink)

Recent application of theories of embodied or grounded cognition to the recognition and interpretation of facial expression of emotion has led to an explosion of research in psychology and the neurosciences. However, despite the accelerating number of reported findings, it remains unclear how the many component processes of emotion and their neural mechanisms actually support embodied simulation. Equally unclear is what triggers the use of embodied simulation versus perceptual or conceptual strategies in determining meaning. The present article integrates (...) behavioral research from social psychology with recent research in neurosciences in order to provide coherence to the extant and future research on this topic. The roles of several of the brain's reward systems, and the amygdala, somatosensory cortices, and motor centers are examined. These are then linked to behavioral and brain research on facial mimicry and eye gaze. Articulation of the mediators and moderators of facial mimicry and gaze are particularly useful in guiding interpretation of relevant findings from neurosciences. Finally, a model of the processing of the smile, the most complex of the facial expressions, is presented as a means to illustrate how to advance the application of theories of embodied cognition in the study of facial expression of emotion. (shrink)

This paper is concerned with the problem of selfidentification in the domain of action. We claim that this problem can arise not just for the self as object, but also for the self as subject in the ascription of agency. We discuss and evaluate some proposals concerning the mechanisms involved in selfidentification and in agencyascription, and their possible impairments in pathological cases. We argue in favor of a simulation hypothesis that claims that actions, whether overt or covert, are centrally (...) simulated by the neural network, and that this simulation provides the basis for action recognition and attribution. (shrink)

Simulationists have recently started to employ the term "empathy" when characterizing our most basic understanding of other minds. I agree that empathy is crucial, but I think it is being misconstrued by the simulationists. Using some ideas to be found in Scheler's classical discussion of empathy, I will argue for a different understanding of the notion. More specifically, I will argue that there are basic levels of interpersonal understanding - in particular the understanding of emotional expressions - that are not (...) explicable in terms of simulation-plus-projection routines. (shrink)

CHAPTER Simulation theory and mental concepts Alvin I. Goldman Rutgers University. Folk psychology and the TT-ST debate The study of folk psychology, ...

I present arguments against both explicit and implicit versions of the simulation theory for intersubjective understanding. Logical, developmental, and phenomenological evidence counts against the concept of explicit simulation if this is to be understood as the pervasive or default way that we understand others. The concept of implicit (subpersonal) simulation, identified with neural resonance systems (mirror systems or shared representations), fails to be the kind of simulation required by simulation theory, because it fails to explain (...) how neuronal processes meet constraints that involve instrumentality and pretense. Implicit simulation theory also fails to explain how I can attribute a mental or emotion state that is different from my own to another person. I also provide a brief indication of an alternative interpretation of neural resonance systems. (shrink)

This article explores some of the roles of computer simulation in measurement. A model-based view of measurement is adopted and three types of measurement—direct, derived, and complex—are distinguished. It is argued that while computer simulations on their own are not measurement processes, in principle they can be embedded in direct, derived, and complex measurement practices in such a way that simulation results constitute measurement outcomes. Atmospheric data assimilation is then considered as a case study. This practice, which involves (...) combining information from conventional observations and simulation-based forecasts, is characterized as a complex measuring practice that is still under development. The case study reveals challenges that are likely to resurface in other measuring practices that embed computer simulation. It is also noted that some practices that embed simulation are difficult to classify; they suggest a fuzzy boundary between measurement and non-measurement. 1 Introduction2 A Contemporary View of Measurement3 Three Types of Measurement4 Can Computer Simulations Measure Real-World Target Systems?5 Case Study: Atmospheric Data Assimilation5.1 Why data assimilation?5.2 A complex measuring practice under development5.3 Epistemic iteration6 The Boundaries of Measurement7 Epistemology, Not Terminology. (shrink)

Computer simulation is shown to be philosophically interesting because it introduces a qualitatively new methodology for theory construction in science different from the conventional two components of "theory" and "experiment and/or observation". This component is "experimentation with theoretical models." Two examples from the physical sciences are presented for the purpose of demonstration but it is claimed that the biological and social sciences permit similar theoretical model experiments. Furthermore, computer simulation permits theoretical models for the evolution of physical systems (...) which use cellular automata rather than differential equations as their syntax. The great advantages of the former are indicated. (shrink)

In this chapter I attempt to curb the pretensions of simulationism. I argue that it is, at best, an epistemological doctrine of limited scope. It may explain how we go about attributing beliefs and desires to others, and perhaps to ourselves, in some cases. But simulation cannot provide the fundamental basis of our conception of, or knowledge of, minded agency.

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

In a seminal book, Alvin I. Goldman outlines a theory for how to evaluate social practices with respect to their , i.e., their tendency to promote the acquisition of true beliefs (and impede the acquisition of false beliefs) in society. In the same work, Goldman raises a number of serious worries for his account. Two of them concern the possibility of determining the veritistic value of a practice in a concrete case because (1) we often don't know what beliefs are (...) actually true, and (2) even if we did, the task of determining the veritistic value would be computationally extremely difficult. Neither problem is specific to Goldman's theory and both can be expected to arise for just about any account of veritistic value. It is argued here that the first problem does not pose a serious threat to large classes of interesting practices. The bulk of the paper is devoted to the computational problem, which, it is submitted, can be addressed in promising terms by means of computer simulation. In an attempt to add vividness to this proposal, an up-and-running simulation environment (Laputa) is presented and put to some preliminary tests. (shrink)

Current empirical studies of moral behavior of healthcare professionals are almost entirely focused on self-reports, usually collected under the assumption that an ethical disposition characterizes individuals across various contexts. It is well known, however, that individuals adjust their behavior to what they see being done by those in their peer group. That presents a methodological challenge to traditional research within a community of peers because the behavior of each individual is both the result of norms and a contributor to the (...) norms of others. Computer simulations can be used to address this methodological challenge. A Markov replicator model that runs on an Excel spreadsheet was used to investigate a community with four agent types in the dental community: devious practitioners, ethical practitioners who avoid involvement in the poor ethics of others, ethical practitioners who accept it as part of their professional responsibility to challenge colleagues who act unprofessionally, and those who enforce ethical standards. A panel of leaders in the profession independently estimated parameters for the model and criteria for a possible distribution of agent types in the community. The simulation converged on distributions of the agent types that were very similar to the expectations of the panel. The simulation suggests the following characteristics of such moral communities: The structure of such communities is robust across a wide distribution. It appears that reduction in unethical behavior is more sensitive to the way ethical practitioners interact with each other than to sanctions the enforcement community imposes on unethical practitioners, and that large external interventions will be short lived. (shrink)

Guidelines orient best practices in medicine, yet, in health care, many real world constraints limit their optimal realization. Since guideline implementation problems are not systematically anticipated, they will be discovered only post facto, in a learning curve period, while the already implemented guideline is tweaked, debugged and adapted. This learning process comes with costs to human health and quality of life. Despite such predictable hazard, the study and modeling of medical guideline implementation is still seldom pursued. In this article we (...) argue that to systematically identify, predict and prevent medical guideline implementation errors is both an epistemic responsibility and an ethical imperative in health care, in order to properly provide beneficence, minimize or avoid harm, show respect for persons, and administer justice. Furthermore, we suggest that implementation knowledge is best achieved technically by providing simulation modeling studies to anticipate the realization of medical guidelines, in multiple contexts, with system and scenario analysis, in its alignment with the emerging field of implementation science and in recognition of learning health systems. It follows from both claims that it is an ethical imperative and an epistemic responsibility to simulate medical guidelines in context to minimize harm in health care, before guideline implementation. (shrink)

The importation of computational methods into biology is generating novel methodological strategies for managing complexity which philosophers are only just starting to explore and elaborate. This paper aims to enrich our understanding of methodology in integrative systems biology, which is developing novel epistemic and cognitive strategies for managing complex problem-solving tasks. We illustrate this through developing a case study of a bimodal researcher from our ethnographic investigation of two systems biology research labs. The researcher constructed models of metabolic and cell-signaling (...) pathways by conducting her own wet-lab experimentation while building simulation models. We show how this coupling of experiment and simulation enabled her to build and validate her models and also triangulate and localize errors and uncertainties in them. This method can be contrasted with the unimodal modeling strategy in systems biology which relies more on mathematical or algorithmic methods to reduce complexity. We discuss the relative affordances and limitations of these strategies, which represent distinct opinions in the field about how to handle the investigation of complex biological systems. (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)

There are a variety of topics in the philosophy of science that need to be rethought, in varying degrees, after one pays careful attention to the ways in which computer simulations are used in the sciences. There are a number of conceptual issues internal to the practice of computer simulation that can benefit from the attention of philosophers. This essay surveys some of the recent literature on simulation from the perspective of the philosophy of science and argues that (...) philosophers have a lot to learn by paying closer attention to the practice of simulation. (shrink)

The goal of the present article is to contribute to the epistemology and methodology of computer simulations. The central thesis is that the process of simulation modeling takes the form of an explorative cooperation between experimenting and modeling. This characteristic mode of modeling turns simulations into autonomous mediators in a specific way; namely, it makes it possible for the phenomena and the data to exert a direct influence on the model. The argumentation will be illustrated by a case study (...) of the general circulation models of meteorology, the major simulation models in climate research. (shrink)

After showing how Deborah Mayo’s error-statistical philosophy of science might be applied to address important questions about the evidential status of computer simulation results, I argue that an error-statistical perspective offers an interesting new way of thinking about computer simulation models and has the potential to significantly improve the practice of simulation model evaluation. Though intended primarily as a contribution to the epistemology of simulation, the analysis also serves to fill in details of Mayo’s epistemology of (...) experiment. (shrink)

Mental simulation — such as imagining tilting a glass to figure out the angle at which water would spill — can be a way of coming to know the answer to an internally or externally posed query. Is this form of learning a species of inference or a form of observation? We argue that it is neither: learning through simulation is a genuinely distinct form of learning. On our account, simulation can provide knowledge of the answer to (...) a query even when the basis for that answer is opaque to the learner. Moreover, through repeated simulation, the learner can reduce this opacity, supporting self-training and the acquisition of more accurate models of the world. Simulation is thus an essential part of the story of how creatures like us become effective learners and knowers. (shrink)

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

In a seminal book, Alvin I. Goldman outlines a theory for how to evaluate social practices with respect to their “veritistic value”, i.e., their tendency to promote the acquisition of true beliefs in society. In the same work, Goldman raises a number of serious worries for his account. Two of them concern the possibility of determining the veritistic value of a practice in a concrete case because we often don't know what beliefs are actually true, and even if we did, (...) the task of determining the veritistic value would be computationally extremely difficult. Neither problem is specific to Goldman's theory and both can be expected to arise for just about any account of veritistic value. It is argued here that the first problem does not pose a serious threat to large classes of interesting practices. The bulk of the paper is devoted to the computational problem, which, it is submitted, can be addressed in promising terms by means of computer simulation. In an attempt to add vividness to this proposal, an up-and-running simulation environment is presented and put to some preliminary tests. (shrink)

Mindreading (or folk psychology, Theory of Mind, mentalizing) is the capacity to represent and reason about others’ mental states. The Simulation Theory (ST) is one of the main approaches to mindreading. ST draws on the common-sense idea that we represent and reason about others’ mental states by putting ourselves in their shoes. More precisely, we typically arrive at representing others’ mental states by simulating their mental states in our own mind. This entry offers a detailed analysis of ST, considers (...) theoretical arguments and empirical data in favour of and against it, discusses its philosophical implications, and illustrates some alternatives to it. (shrink)

This paper contributes to an ongoing debate regarding the cognitive processes involved when one person predicts a target person's behavior and/or attributes a mental state to that target person. According to simulation theory, a person typically performs these tasks by employing some part of her brain as a simulation of what is going on in a corresponding part of the brain of the target person. I propose a general intuitive analysis of what 'simulation' means. Simulation is (...) a particular way of using one process to acquire knowledge about another process. What distinguishes simulation from other ways of acquiring knowledge is that simulation requires, for its non-accidental success, that the simulating process reflect significant aspects of the simulated process. This conceptual work is of independent philosophical interest, but it also enables me to argue for two conclusions that are of great significance to the debate about mental simulation theory. First, I argue that, in order to stake a non-trivial claim, simulation theory must hold that mental simulation involves what I call concretely similar processes. Second, I argue for the surprising conclusion that a significant class of cases that simulation theorists have claimed as intuitive cases of simulation do not actually involve simulation, after all. I close by sketching an alternative account that might handle these problematic cases. (shrink)

The Human Brain Project (HBP) is a massive interdisciplinary project involving hundreds of researchers across more than eighty institutions that seeks to leverage cutting edge information and communication technologies to create a multi-level brain simulation platform (BSP). My worry is that some brain models running on the BSP will be persons. If this is right then not only will the in silico experiments the HBP envisions being carried on the BSP be unethical the mere termination of certain brain models (...) running on the BSP will be unethical. To assess the possible personhood of certain brain simulations I consider John Searle’s critique of strong AI. In arguing that Searle’s critique fails I conclude that the HBP must tread carefully and devise strict rules on how research using the BSP ought to proceed. (shrink)

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

: Stich, Nichols et al. assert that the process of deriving predictions by simulation must be cognitively impenetrable. Hence, they claim, the occurrence of certain errors in prediction provides empirical evidence against simulation theory. But it is false that simulation‐derived prediction must be cognitively impenetrable. Moreover the errors they cite, which are instances of irrationality, are not evidence against the version of simulation theory that takes the central domain of simulation to be intelligible transitions between (...) states with content. (shrink)

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

In situ stress has an important influence on coal reservoir permeability, fracturing, and production capacity. In this paper, fracturing testing, imaging logging, and 3D finite-element simulation were used to study the current in situ stress field of a coal reservoir with a high coal rank. The results indicated that the horizontal stress field within the coal reservoir is controlled by the burial depth, folding, and faulting. The [Formula: see text] and [Formula: see text] values within the coal reservoir are (...) 1–2.5 MPa higher than those within the clastic rocks of the roof and floor. The [Formula: see text]–[Formula: see text] values of the coal reservoir are generally between 2 and 6 MPa and increase with burial depth. When the [Formula: see text]–[Formula: see text] value is less than 5 MPa, production from a single well is high, but when the [Formula: see text]–[Formula: see text] value is greater than 5 MPa, production from a single well is low. In addition, the accumulated water production is high when the [Formula: see text]–[Formula: see text] value is greater than 5 MPa, demonstrating that a higher [Formula: see text]–[Formula: see text] value allows the hydraulic fractures to more easily penetrate the roof and floor of the coal seam. In coal-bed methane development regions with high [Formula: see text]–[Formula: see text] values, repeated fracturing using the small-scale plug removal method — which is a fracturing method that uses a small volume of liquid, small displacement, and low sand concentration — is suggested. (shrink)

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

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

In situ stress has an important influence on coal reservoir permeability, fracturing, and production capacity. In this paper, fracturing testing, imaging logging, and 3D finite-element simulation were used to study the current in situ stress field of a coal reservoir with a high coal rank. The results indicated that the horizontal stress field within the coal reservoir is controlled by the burial depth, folding, and faulting. The [Formula: see text] and [Formula: see text] values within the coal reservoir are (...) 1–2.5 MPa higher than those within the clastic rocks of the roof and floor. The [Formula: see text]–[Formula: see text] values of the coal reservoir are generally between 2 and 6 MPa and increase with burial depth. When the [Formula: see text]–[Formula: see text] value is less than 5 MPa, production from a single well is high, but when the [Formula: see text]–[Formula: see text] value is greater than 5 MPa, production from a single well is low. In addition, the accumulated water production is high when the [Formula: see text]–[Formula: see text] value is greater than 5 MPa, demonstrating that a higher [Formula: see text]–[Formula: see text] value allows the hydraulic fractures to more easily penetrate the roof and floor of the coal seam. In coal-bed methane development regions with high [Formula: see text]–[Formula: see text] values, repeated fracturing using the small-scale plug removal method — which is a fracturing method that uses a small volume of liquid, small displacement, and low sand concentration — is suggested. (shrink)

According to the theory theory of folk psychology, our engagement in the folk psychological practices of prediction, interpretation and explanation draws on a rich body of knowledge about psychological matters. According to the simulation theory, in apparent contrast, a fundamental role is played by our ability to identify with another person in imagination and to replicate or re-enact aspects of the other person’s mental life. But amongst theory theorists, and amongst simulation theorists, there are significant differences of approach.

Summary Embodied simulation, a basic functional mechanism of our brain, and its neural underpinnings are discussed and connected to intersubjectivity and the reception of human cultural artefacts, like visual arts and film. Embodied simulation provides a unified account of both non-verbal and verbal aspects of interpersonal relations that likely play an important role in shaping not only the self and his/her relation to others, but also shared cultural practices. Embodied simulation sheds new light on aesthetic experience and (...) is proposed as a key element for the dialogue between neuroscience and the humanities within the biocultural paradigm. (shrink)

The distinction between analog and digital representation is reexamined; it emerges that a more fundamental distinction is that between symbolic and analog simulation. Analog simulation is analyzed in terms of a (near) isomorphism of causal structures between a simulating and a simulated process. It is then argued that a core concept, naturalistic analog simulation, may play a role in a bottom-up theory of adaptive behavior which provides an alternative to representational analyses. The appendix discusses some formal conditions (...) for naturalistic analog simulation. (shrink)