This article reports an exploratory survey of the structure of interdisciplinary research in Agent-Based Social Simulation. One hundred and ninety six researchers participated in the survey completing an on-line questionnaire. The questionnaire had three distinct sections, a classification of research domains, a classification of models, and an inquiry into software requirements for designing simulation platforms. The survey results allowed us to disambiguate the variety of scientific goals and modus operandi of researchers with a reasonable level of detail, and to (...) identify a classification of agent-based models used in simulation. In particular, in the interdisciplinary context of social-scientific modelling, agent-based computational modelling and computer engineering, we analyse the extent to which these paradigmatic models seem to be mutually instrumental in the field. We expect that our proposal may improve the viability of submitting, explaining and comparing agent-based simulations in articles, which is an important methodological requirement to consolidate the field. We also expect that it will motivate other proposals that could further validate, extend or change ours, in order to refine the classification with more types of models. (shrink)

There are many social psychological theories regarding the nature of prejudice, but only one major theory of prejudice reduction: under the right circumstances, prejudice between groups will be reduced with increased contact. On the one hand, the contact hypothesis has a range of empirical support and has been a major force in social change. On the other hand, there are practical and ethical obstacles to any large-scale controlled test of the hypothesis in which relevant variables can be manipulated. Here we (...) construct a spatialized model that tests the core hypothesis in a large array of game-theoretic agents. Robust results offer a new kind of support for the contact hypothesis: results in simulation do accord with a hypothesis of reduced prejudice with increased contact. The spatialized game-theoretic model also suggests a deeper explanation for at least some of the social psychological phenomena at issue. (shrink)

Bayesian models can be related to cognitive processes in a variety of ways that can be usefully understood in terms of Marr's distinction among three levels of explanation: computational, algorithmic and implementation. In this note, we discuss how an integrated probabilistic account of the different levels of explanation in cognitive science is resulting, at least for the current research practice, in a sort of unpredicted epistemological shift with respect to Marr's original proposal.

Vehicle windshield wiper system increases the driving safety by contributing a clear shot viewing to the driver. In this paper, modelling, designing and simulation of a vehicle windshield wiper system with robust control theory is done successfully. H  loop shaping and robust pole placement controllers are used to improve the wiping speed by tracking a reference speed signals. The reference speed signals used in this paper are step and sine wave signals. Comparison of the H  loop shaping and (...) robust pole placement controllers based on the two reference signals is done and convincing results have been obtained. Finally the comparative results prove the effectiveness of the proposed H  Loop Shaping controller to improve the wiping mechanism for the given two reference signals. (shrink)

Now that complex Agent-Based Models and computer simulations spread over economics and social sciences - as in most sciences of complex systems -, epistemological puzzles (re)emerge. We introduce new epistemological tools so as to show to what precise extent each author is right when he focuses on some empirical, instrumental or conceptual significance of his model or simulation. By distinguishing between models and simulations, between types of models, between types of computer simulations and between (...) types of empiricity, section 2 gives conceptual tools to explain the rationale of the diverse epistemological positions presented in section 1. Finally, we claim that a careful attention to the real multiplicity of denotational powers of symbols at stake and then to the implicit routes of references operated by models and computer simulations is necessary to determine, in each case, the proper epistemic status and credibility of a given model and/or simulation. (shrink)

The aim of this paper is to discuss the “Framework for M&S with Agents” (FMSA) proposed by Zeigler et al. [2000, 2009] in regard to the diverse epistemological aims of agent simulations in social sciences. We first show that there surely are great similitudes, hence that the aim to emulate a universal “automated modeler agent” opens new ways of interactions between these two domains of M&S with agents. E.g., it can be shown that the multi-level conception at the core (...) of the FMSA is similar in both contexts: notions of “levels of system specifi cation”, “behavior of models”, “simulator”and “endomorphic agents” can be partially translated in the terms linked to the “denotational hierarchy” (DH) recently introduced in a multi-level centered epistemology of M&S. Second, we suggest considering the question of “credibility” of agent M&S in social sciences when we do not try to emulate but only to simulate target systems. Whereas a stringent and standardized treatment of the heterogeneous internal relations (in the DH) between systems of formalisms is the key problem and the essential challenge in the scope of Agent M&S driven engineering, it is urgent too to address the problem of the external relations (and of the external validity, hence of the epistemic power and credibility) of such levels of formalisms in the specific domains of agent M&S in social sciences, especially when we intend to introduce the concepts of activity tracking. (shrink)

What is it for a sound or gesture to have a meaning, and how does it come to have one? In this paper, a range of simulations are used to extend the tradition of theories of meaning as use. The authors work throughout with large spatialized arrays of sessile individuals in an environment of wandering food sources and predators. Individuals gain points by feeding and lose points when they are hit by a predator and are not hiding. They can (...) also make sounds heard by immediate neighbours in the array, and can respond to sounds from immediate neighbours. No inherent meaning for these sounds is built into the simulation; under what circumstances they are sent, if any, and what the response to them is, if any, vary initially with the strategies randomized across the array. These sounds do take on a specific function for communities of individuals, however, with any of three forms of strategy change: direct imitation of strategies of successful neighbours, a localized genetic algorithm in which strategies are ‘crossed’ with those of successful neighbours, and neural net training on the behaviour of successful neighbours. Starting from an array randomized across a large number of strategies, and using any of these modes of strategy change, communities of ‘communicators’ emerge. Within these evolving communities the sounds heard from immediate neighbours, initially arbitrary across the array, come to be used for very specific communicative functions. ‘Communicators’ make a particular sound on feeding and respond to that same sound from neighbours by opening their mouths; they make a different sound when hit with a predator and respond to that sound by hiding. Robustly and persistently, even in simple computer models of communities of self-interested agents, something suggestively like signalling emerges and spreads. Keywords: meaning, communication, genetic algorithms, neural networks. (shrink)

The philosophy of science community mourns the loss of Margaret Catherine Morrison, who passed away on January 9, 2021, after a long battle with cancer. Margie, as she was known to all who knew her, was highly regarded for her influential contributions to the philosophy of science, particularly her studies of the role of models and simulations in the natural and social sciences. These contributions made her a world-leading philosopher of science, instrumental in shifting philosophers' attention from the (...) structure of scientific theories to the practice of science. Her sophisticated studies of the function of models in scientific practice drew on detailed knowledge of the theories and experiments of physics as well as the history of physics. In emphasizing the autonomy of scientific models and their interventional character, her insights had some affinity with Cartwright's and Hacking’s views on phenomenological laws, entity realism, the instrumentalist interpretation of scientific theories, and the disunity of science. But Morrison’s approach was distinguished by the conviction that the existence of unobservable entities cannot be defended independently of the theories that support their evidence, and that scientific practice cannot be adequately understood without examining the reasons for theory unification. (shrink)

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

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

Encouraging people to consider multiple alternatives appears to be a useful debiasing technique for reducing many biases (explanation, hindsight, and overconfidence), if the generation of alternatives is experienced as easy. The present research tests whether these alternative generation procedures induce a mental simulation mind-set (cf. Galinsky & Moskowitz, 2000), such that debiasing in one domain transfers to debias judgments in unrelated domains. The results indeed demonstrated that easy alternative generation tasks not only debiased judgments in the same domain but also (...) generalized to debias judgments in unrelated domains, provided that participants were low in the need for structure. The alternative generation tasks (even when they were easy to perform) showed no evidence of activating a mental simulation mind-set in individuals high in need for structure, as these individuals displayed no transfer effects. Implications of the results for understanding the role of the need for structure, ease of generation, and mental simulation mind-set activation for debiasing are discussed. (shrink)

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

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)

In this paper, modelling designing and simulation of a simple voltage amplidyne system is done using robust control theory. In order to increase the performance of the voltage amplidyne system with H infinity optimal control synthesis and H infinity optimal control synthesis via gamma-iteration controllers are used. The open loop response of the voltage amplidyne system shows that the system can amplify the input 7 times. Comparison of the voltage amplidyne system with H infinity optimal control synthesis and H infinity (...) optimal control synthesis via gamma-iteration controllers to track a desired step input have been done. Finally, the comparative simulation results prove the effectiveness of the proposed voltage amplidyne system with H infinity optimal control synthesis controller in improving the percentage overshoot and the settling time. (shrink)

In this paper, modelling designing and simulation of a simple voltage amplidyne system is done using robust control theory. In order to increase the performance of the voltage amplidyne system with H optimal control synthesis and H optimal control synthesis via-iteration controllers are used. The open loop response of the voltage amplidyne system shows that the system can amplify the input 7 times. Comparison of the voltage amplidyne system with H optimal control synthesis and H optimal control synthesis via-iteration controllers (...) to track a desired step input have been done. Finally, the comparative simulation results prove the effectiveness of the proposed voltage amplidyne system with H optimal control synthesis controller in improving the percentage overshoot and the settling time. (shrink)

Vehicle windshield wiper system increases the driving safety by contributing a clear shot viewing to the driver. In this paper, modelling, designing and simulation of a vehicle windshield wiper system with robust control theory is done successfully. H  loop shaping and robust pole placement controllers are used to improve the wiping speed by tracking a reference speed signals. The reference speed signals used in this paper are step and sine wave signals. Comparison of the H  loop shaping and (...) robust pole placement controllers based on the two reference signals is done and convincing results have been obtained. Finally the comparative results prove the effectiveness of the proposed H  Loop Shaping controller to improve the wiping mechanism for the given two reference signals. (shrink)

Vehicle windshield wiper system increases the driving safety by contributing a clear shot viewing to the driver. In this paper, modelling, designing and simulation of a vehicle windshield wiper system with robust control theory is done successfully. H infinity loop shaping and robust pole placement controllers are used to improve the wiping speed by tracking a reference speed signals. The reference speed signals used in this paper are step and sine wave signals. Comparison of the H infinity loop shaping and (...) robust pole placement controllers based on the two reference signals is done and convincing results have been obtained. Finally the comparative results prove the effectiveness of the proposed H infinity Loop Shaping controller to improve the wiping mechanism for the given two reference signals. (shrink)

To study climate change, scientists employ computer models, which approximate target systems with various levels of skill. Given the imperfection of climate models, how do scientists use simulations to generate knowledge about the causes of observed climate change? Addressing a similar question in the context of biological modelling, Levins (1966) proposed an account grounded in robustness analysis. Recent philosophical discussions dispute the confirmatory power of robustness, raising the question of how the results of computer modelling studies contribute (...) to the body of evidence supporting hypotheses about climate change. Expanding on Staley’s (2004) distinction between evidential strength and security, and Lloyd’s (2015) argument connecting variety-of-evidence inferences and robustness analysis, I address this question with respect to recent challenges to the epistemology robustness analysis. Applying this epistemology to case studies of climate change, I argue that, despite imperfections in climate models, and epistemic constraints on variety-of-evidence reasoning and robustness analysis, this framework accounts for the strength and security of evidence supporting climatological inferences, including the finding that global warming is occurring and its primary causes are anthropogenic. (shrink)

Under the independence and competence assumptions of Condorcet’s classical jury model, the probability of a correct majority decision converges to certainty as the jury size increases, a seemingly unrealistic result. Using Bayesian networks, we argue that the model’s independence assumption requires that the state of the world (guilty or not guilty) is the latest common cause of all jurors’ votes. But often – arguably in all courtroom cases and in many expert panels – the latest such common cause is a (...) shared ‘body of evidence’ observed by the jurors. In the corresponding Bayesian network, the votes are direct descendants not of the state of the world, but of the body of evidence, which in turn is a direct descendant of the state of the world. We develop a model of jury decisions based on this Bayesian network. Our model permits the possibility of misleading evidence, even for a maximally competent observer, which cannot easily be accommodated in the classical model. We prove that (i) the probability of a correct majority verdict converges to the probability that the body of evidence is not misleading, a value typically below 1; (ii) depending on the required threshold of ‘no reasonable doubt’, it may be impossible, even in an arbitrarily large jury, to establish guilt of a defendant ‘beyond any reasonable doubt’. (shrink)

This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise algorithmic (...) computation and to offer foundations for scientific computing. -/- The dissertation consists of three parts. In the first part, we examine what notion of 'algorithmic computation' underlies each approach and how it is respectively formalised. It is argued that the very existence of the two rival frameworks indicates that 'algorithm' is not one unique concept in mathematics, but it is used in more than one way. We test this hypothesis for consistency with mathematical practice as well as with key foundational works that aim to define the term. As a result, new connections between certain subfields of mathematics and computer science are drawn, and a distinction between 'algorithms' and 'effective procedures' is proposed. -/- In the second part, we focus on the second goal of the two rival approaches to real computation; namely, to provide foundations for scientific computing. We examine both frameworks in detail, what idealisations they employ, and how they relate to floating-point arithmetic systems used in real computers. We explore limitations and advantages of both frameworks, and answer questions about which one is preferable for computational modelling and which one for addressing general computability issues. -/- In the third part, analog computing and its relation to analogue (physical) modelling in science are investigated. Based on some paradigmatic cases of the former, a certain view about the nature of computation is defended, and the indispensable role of representation in it is emphasized and accounted for. We also propose a novel account of the distinction between analog and digital computation and, based on it, we compare analog computational modelling to physical modelling. It is concluded that the two practices, despite their apparent similarities, are orthogonal. (shrink)

Steam turbine generator is an electromechanical system which converts heat energy to electrical energy. In this paper, the modelling, design and analysis of a simple steam turbine generator have done using Matlab/Simulink Toolbox. The open loop system have been analyzed to have an efficiency of 76.92 %. Observer based & linear quadratic regulator (LQR) controllers have been designed to improve the generating voltage. Comparison of this two proposed controllers have been done for increasing the performance improvement to generate a 220 (...) Dc volt. The simulation result shows that the steam turbine generator with observer based controller has a small percentage overshoot with minimum settling time than the steam turbine generator with LQR controller and the open loop system. Finally, the steam turbine generator with observer based controller shows better improvement in performance than the steam turbine generator with LQR controller. (shrink)

In cognitive science, there are many computational theories regarding the function of the mind; connectionism is one of them. Connectionist networks are intricate systems of simple units related to their environment. Some have thousands of units, but those with only a few units can also behave with surprising complexity and subtlety. This is because processing occurs in parallel as also interactively, in marked contrast with the serial processing to which this is accustomed. In the first section of this paper, I (...) intend to describe a simple network that illustrates several features of connectionist processing. Secondly, I would like to examine its relation with other areas in realm of cognitive science. Thirdly, I shall make an attempt to find out whether this theory contributes to the replacement of folk psychology. Lastly, I find that connectionist thus fails to account for the real nature of the mental states because of its not too clear attempt to reduce mental states to the machine states. The mechanistic theory of mind in all its hues faces the question as to how we can account for the qualitative content of our consciousness. It cannot ultimately tell us how the subjective experience is possible and how consciousness to be real feature of universe. (shrink)

Standard linguistic analysis of syntax uses the T-model. This model requires the ordering: D-structure > S-structure > LF, where D-structure is the sentences deep structure, S-structure is its surface structure, and LF is its logical form. Between each of these representations there is movement which alters the order of the constituent words; movement is achieved using the principles and parameters of syntactic theory. Psychological analysis of sentence production is usually either serial or connectionist. Psychological serial models do not accommodate (...) the T-model immediately so that here a new model called the P-model is introduced. The P-model is different from previous linguistic and psychological models. Here it is argued that the LF representation should be replaced by a variant of Frege'sA three qualities (sense, reference, and force), called the FregeA representation or F-representation. In the F-representation the order of elements is not necessarily the same as that in LF and it is suggested that the correct ordering is: F-representation > D-structure > S-structure. This ordering appears to lead to a more natural view of sentence production and processing. Within this framework movement originates as the outcome of emphasis applied to the sentence. The requirement that the F-representation precedes the D-structure needs a picture of the particular principles and parameters which pertain to movement of words between representations. In general this would imply that there is a preferred or optimal ordering of the symbolic string in the F-representation. The standard ordering is retained because the general way of producing such an optimal ordering is unclear. In this case it is possible to produce an analysis of movement between LF and D-structure similar to the usual analysis of movement between S-structure and LF. The necessity of analyzing corrupted data suggests that a maximal amount of information about a language's grammar and lexicon is stored. (shrink)

We propose a formal framework to examine the relationship between models and observations. To make our analysis precise,models are reduced to first-order theories that represent both terminological knowledge – e.g., the laws that are supposed to regulate the domain under analysis and that allow for explanations, predictions, and simulations – and assertional knowledge – e.g., information about specific entities in the domain of interest. Observations are introduced into the domain of quantification of a distinct first-order theory that (...) describes their nature and their organization and takes track of the way they are experimentally acquired or intentionally elaborated. A model mainly represents the theoretical knowledge or hypotheses on a domain, while the theory of observations mainly represents the empirical knowledge and the given experimental practices. We propose a precise identity criterion for observations and we explore different links between models and observations by assuming a degree of independence between them. By exploiting some techniques developed in the field of social choice theory and judgment aggregation, we sketch some strategies to solve inconsistencies between a given set of observations and the assumed theoretical hypotheses. The solutions of these inconsistencies can impact both the observations – e.g., the theoretical knowledge and the analysis of the way observations are collected or produced may highlight some unreliable sources – and the models – e.g. empirical evidences may invalidate some theoretical laws. (shrink)

The goal of philosophy of information is to understand what information is, how it operates, and how to put it to work. But unlike ‘information’ in the technical sense of information theory, what we are interested in is meaningful information. To understand the nature and dynamics of information in this sense we have to understand meaning. What we offer here are simple computational models that show emergence of meaning and information transfer in randomized arrays of neural nets. These we (...) take to be formal instantiations of a tradition of theories of meaning as use. What they offer, we propose, is a glimpse into the origin and dynamics of at least simple forms of meaning and information transfer as properties inherent in behavioral coordination across a community. (shrink)

In this book I show that science suffers from a damaging but rarely noticed methodological disease, which I call rationalistic neurosis. It is not just the natural sciences which suffer from this condition. The contagion has spread to the social sciences, to philosophy, to the humanities more generally, and to education. The whole academic enterprise, indeed, suffers from versions of the disease. It has extraordinarily damaging long-term consequences. For it has the effect of preventing us from developing traditions and institutions (...) of learning rationally devoted to helping us learn how to make progress towards a wiser, more civilized world. On our fragile earth, overcrowded, fraught with injustice, inequality and conflict, menaced by unprecedented and terrifying technological and industrial means for change and destruction, we urgently need to acquire a little more wisdom and civilization if we are to avoid repeating horrors of the kind suffered by so many during the 20th century (and already suffered by many in the first few years of the 21st century). We can ill afford to have in our hands instruments of learning botched and bungled from the standpoint of helping us learn how to live more wisely. It may seem scarcely credible that something as important as our institutions of learning can suffer from wholesale, structural defects. Why has this not been noticed before? Why have not armies of scientists and scholars appreciated the point and, long ago, put the matter right? The answer will emerge as my argument unfolds. I will show that one of the most damaging features of rationalistic neurosis is that it has built-in methodological and institutional mechanisms which effectively conceal that anything is wrong. But there is also an immediately obvious reason: specialization, and the resulting fragmentation of academia, has resulted in a situation in which hardly anyone takes responsibility for the overall ideals, the overall aims and methods, of academic inquiry. Academics, these days, are specialists, furiously trying to keep abreast of developments in their own specialist fields. They have no time, and no inducement, to lift their eyes from their particular disciplines, and look at the whole endeavour. Science has long been under attack, at least since the Romantic movement. Blake objected to “Single vision & Newton’s sleep” and declared that “Art is the Tree of Life... Science is the Tree of Death”. Keats lamented that science will “clip an Angel’s wings” and “unweave a rainbow”. Whereas the Enlightenment had valued science and reason as tools for the liberation of humanity, Romanticism found science and reason oppressive and destructive, and instead valued art, imagination, inspiration, individual genius, emotional and motivational honesty rather than careful attention to objective fact. Much subsequent opposition to science stems from, or echoes, the Romantic opposition of Blake, Wordsworth, Keats and many others. There is the movement Isaiah Berlin has described as the “Counter-Enlightenment” (Berlin, 1979, ch. 1). There is existentialism, with its denunciation of the tyranny of reason, its passionate affirmation of the value and centrality of irrationality in human life, from Dostoevsky, Kierkegaard and Nietzsche to Heidegger and Sartre (see, for example, Barrett, 1962). There is the attack on Enlightenment ideals concerning science and reason undertaken by the Frankfurt school, by postmodernists and others, from Horkheimer and Adorno to Lyotard, Foucault, Habermas, Derrida, MacIntyre and Rorty (see Gascardi, 1999). The soul-destroying consequences of valuing science and reason too highly is a persistent theme in literature: it is to be found in the works of writers such as D.H. Lawrence, Doris Lessing, Max Frisch, Y. Zamyatin. There is persistent opposition to modern science and technology, and to scientific rationality, often associated with the Romantic wing of the green movement, and given expression in such popular books as Marcuse’s One Dimensional Man, Roszak’s Where the Wasteland Ends, Berman’s The Reenchantment of the World and Appleyard’s Understanding the Present. There is the feminist critique of science and conceptions of science: see, for example, Fox Keller (1984) and Harding (1986). And there are the corrosive implications of the so-called “strong programme” in the sociology of knowledge, and of the work of social constructivist historians of science, which depict scientific knowledge as a belief system alongside many other such conflicting systems, having no more right to claim to constitute knowledge of the truth than these rivals, the scientific view of the world being no more than an elaborate myth, a social construct (see Barnes and Bloor, 1981; Bloor, 1991; Barnes, Bloor and Henry, 1996; Shapin and Schaffer, 1985; Shapin, 1994; Pickering, 1984; Latour, 1987). This latter literature has provoked a counter-attack by scientists, historians and philosophers of science seeking to defend science and traditional conceptions of scientific rationality: see Gross and Levitt (1994), Gross, Levitt and Lewis (1996), and Koertge (1998). This debate between critics and defenders of science came abruptly to public attention with the publication of Alan Sokal’s brilliant hoax article ‘Transgressing the boundaries’ in a special issue of the cultural studies journal Social Text in 1996 entitled Science Wars: see Sokal and Bricmont (1998). What does this book have to contribute, given the above avalanche of criticism of science? The criticisms of science developed in this book are diametrically opposed to the above, in so far as the above criticisms oppose scientific rationality, seek to diminish or restrict its influence, or hold that it is unattainable. My central point is that we suffer, not from too much scientific rationality, but from not enough. What is generally taken to constitute scientific rationality is actually nothing of the kind. It is rationalistic neurosis, a characteristic, influential and damaging kind of irrationality masquerading as rationality. Science is damaged by being trapped within a widely upheld but severely defective philosophy of science; free science from this defective philosophy, provide it with a more intellectually rigorous philosophy, and it will flourish in both intellectual and humanitarian terms. And more generally, as we shall see, academic inquiry as a whole is damaged by being trapped within an intellectually defective philosophy of inquiry; free it from this defective philosophy, from its rationalistic neurosis, and it will flourish in intellectual and human terms. It is not reason that is damaging, but defective pretensions to reason — rationalistic neurosis —masquerading as reason. Thus what I seek to do here is the exact opposite of what all those who oppose science and scientific rationality do. I shall argue that Reason, the authentic article, arrived at by generalizing the progress-achieving methods of science, can have profoundly liberating and enriching consequences for all worthwhile, problematic aspects of life, and thus deserves to enter into every aspect of life. The bare bones of the argument of this book can be stated quite simply like this. Science cannot proceed without making the substantial metaphysical assumption that the universe is physically comprehensible (to some extent at least). But this conflicts with the orthodox view that in science everything is assessed impartially with respect to evidence, nothing being permanently assumed independently of evidence. So the metaphysical assumption of comprehensibility is repressed. Science pretends that no such assumption is made. But this damages science. For the assumption is substantial, influential and highly problematic. It needs to be made explicit within science so that it can be critically scrutinized, so that alternatives can be developed and considered. Pretending the assumption is not being made undermines the intellectual rigour of science, its intellectual value and success. And it does not stop there. For science also makes value assumptions. Quite properly, science is concerned to discover that which is of value. New factual knowledge devoid of all value (whether intellectual or practical) does not contribute to science. But the orthodox view of science holds that values have no place within science. As in the case of metaphysics, here too, science pretends that values have no role to play within the intellectual domain of science. And this damages science. For values are, if anything, even more influential and problematic than metaphysics (in influencing the direction of research). Here too, values need to be made explicit within science so that they can be scrutinized, so that alternatives can be developed and assessed. Pretending that values play no role within the intellectual domain damages science; both the intellectual and the practical aspects of science are adversely affected. Science fails to pursue those avenues of research that lie in the best interests of humanity. And it goes further. Science is pursued in a social, cultural, economic and political context. It is a part of various social, economic and political projects which seek to achieve diverse human objectives. But the idea that science is an integral part of humanitarian or political enterprises with political ends clashes, once again, with the official view of science that the aim of science is to improve factual knowledge. The political objectives of science are repressed. And, once again, this damages science. For, of course, the political objectives of science, like all our political objectives, are profoundly problematic. These need to be made explicit so that they can be scrutinized, so that alternatives can be developed and considered. The pretence that science does not have this political dimension once again undermines the intellectual rigour of science, and its human value. It lays science open to becoming a part of economic, corporate and political enterprises that are not in the best interests of humanity. The upshot of the line of argument just indicated is that we need to bring about a revolution in the aims and methods of science, and of academic inquiry more generally. Natural science needs to change; its relationship with the rest of academic inquiry, with social inquiry and the humanities, needs to change; and most importantly and dramatically, academic inquiry as a whole needs to change. The basic task of the academic enterprise needs to become to help humanity learn how to tackle its problems of living in more cooperatively rational ways than at present. We need to put the intellectual tasks of articulating our problems of living, and proposing and critically assessing possible solutions, possible and actual actions, at the heart of academic inquiry. The basic task needs to be to help humanity learn a bit more wisdom – wisdom being the capacity to realize what is of value in life, for oneself and others, wisdom including knowledge and technological know-how, but much else besides. Natural science, despite its flaws, has massively increased our knowledge and technological know-how. This in turn has led to a massive and sometimes terrifying increase in our power to act. Often this unprecedented power to act is used for human good, as in medicine or agriculture. But it is also used to cause harm, whether unintentionally (initially at least) as when industrialization and modern agriculture lead to global warming, destruction of natural habitats and rapid extinction of species, or intentionally, as when the technology of war is used by governments and terrorists to maim and kill. Before the advent of modern science, when we lacked the means to do too much damage to ourselves and the planet, lack of wisdom did not matter too much. Now, with our unprecedented powers to act, bequeathed to us by science, lack of wisdom has become a menace. This is the crisis behind all the other current global crises: science without wisdom. In these circumstances, to continue to pursue knowledge and technological know-how dissociated from a more fundamental quest for wisdom can only deepen the crisis. As a matter of urgency, we need to free science and academia of their neuroses; we need to bring about a revolution in the academic enterprise so that the basic aim becomes to promote wisdom by intellectual and educational means. At present science and the humanities betray both reason and humanity. The argument of this book, which I have just summarized, begins with a discussion of the philosophical and methodological problems that beset theoretical physics. At once, many of those who are concerned about moral, political and environmental issues that plague our world today, will feel impatient. What have the methodological problems of theoretical physics to do with third world poverty, war and the threat of war, pollution, extinction of species, the menace of conventional, chemical, biological and nuclear armaments? I can only plead with such a reader: patience. The root cause of the sickness of our times does indeed lie, I claim, with a methodological sickness of natural science or, even more specifically, of physical science. What makes the modern world so utterly different from all previous ages is our possession of modern science and technology. This is the instrument that has changed the conditions of human life almost beyond all recognition, and put unprecedented, and sometimes terrifying, powers into our hands. One should not dismiss out of hand the suggestion that a part of our problem may lie with this instrument, this engine, of rapid change. We see, here, too, the way in which intellectual specialization, referred to above, has effectively concealed from view the nature and extent of the problem that confronts us. The argument that I shall develop in what follows begins with physics, with problems concerning the aims and methods of physics. But it then leaps to social science, to philosophy, to the humanities, to education, to psychotherapy, and to politics: in the end there is scarcely an aspect of modern life that is not touched and, potentially, affected by the argument. How many academic experts are prepared to follow, to take seriously, an argument that ranges so recklessly across such a wide range of academic disciplines? How many non-academic non-experts? But just this is what the argument and message of this book requires. I hope that the reader will endure with patience the somewhat esoteric discussion concerning the aims and methods of physics pursued in chapter one. This may not seem to have anything much to do with the urgent problems of our times, but it does. This is in part how the intellectual disaster I seek to expose in this book conceals itself from view: it buries itself in the obscure, recondite field of the philosophy of physics. Those who devote their lives to the philosophy of physics are, by and large, too myopic to see how their specialized field of study has anything to do with the great and dreadful humanitarian problems and disasters of our age; and those who are above all concerned with these humanitarian disasters have no time at all for abstruse issues concerning the aims and methods of physics. And so the connection is never made. As it happens, the methodological neurosis of physics, with which we begin in chapter one, is actually a quite simple matter to grasp. It does not require any real knowledge of physics to understand. Indeed, physicists and philosophers of physics are much more likely to find the argument difficult to follow than are non-experts. We non-scientists can stand back and see the whole wood; scientists, trained to think in terms of the current orthodox conception of science, trapped in the thickets of research, will find this much harder to do. In an attempt to take this peculiar circumstance into account, I have arranged the exposition as follows. In chapter one I give a simple exposition of the case for declaring natural science to suffer from what I call "rationalistic neurosis"; this avoids all technicalities, and goes straight to the heart of the matter. In the appendix I tackle a host of more technical objections that may be made to the elementary argument of chapter one. So, those experts in the fields of the philosophy of physics and philosophy of science who find the argument of chapter one naïve and unconvincing, should consult the appendix before tossing the book away in disgust. I write in the hope that there will be a few who will not dismiss out of hand the suggestion that the question of how we are to go about learning how to live in wiser and more civilized ways might have something to learn from scientific learning, and will take the trouble to pursue the line of argument traced out in this book. I write in the hope that these few will grasp just how desperate our situation is, how urgent the need to change the status quo, and will do everything in their power to alert others to the need to heal the methodological sickness from which our institutions and traditions of learning at present suffer. To begin with, we need a campaigning organization, modelled perhaps on "Friends of the Earth", which might be called something like "Friends of Wisdom". (shrink)

The work described in this report is motivated by the desire to test the expressive possibilities of action language C+. The Causal Calculator (CCalc) is a system that answers queries about action domains described in a fragment of that language. The Zoo World and the Traffic World have been proposed by Erik Sandewall in his Logic Modelling Workshop—an environment for communicating axiomatizations of action domains of nontrivial size. -/- The Zoo World consists of several cages and the exterior, gates between (...) them, and animals of several species, including humans. Actions in this domain include moving within and between cages, opening and closing gates, and mounting and riding animals. The Traffic World includes vehicles moving continuously between road crossings subject to a number of restrictions, such as speed limits and keeping a fixed safety distance away from other vehicles on the road. We show how to represent the two domains in the input language of CCalc, and how to use CCalc to test these representations. (shrink)

Actions performed in a state of automatism are not subject to moral evaluation, while automatic actions often are. Is the asymmetry between automatistic and automatic agency justified? In order to answer this question we need a model or moral accountability that does justice to our intuitions about a range of modes of agency, both pathological and non-pathological. Our aim in this paper is to lay the foundations for such an account.

How to use a model organism to study phenotypic integration and constraints on evolution.

Maximum Parsimony (MP) and Maximum Likelihood (ML) are two methods for evaluating which phlogenetic tree is best supported by data on the characteristics of leaf objects (which may be species, populations, or individual organisms). MP has been criticized for assuming that evolution proceeds parsimoniously -- that if a lineage begins in state i and ends in state j, the way it got from i to j is by the smallest number of changes. MP has been criticized for needing to assume (...) some model or other of the evolutionary process even though biologists often do not know what that process really is. This paper critically evaluates both criticisms. (shrink)

This article presents some results of a research on computational strategies for the visualization of sign classification structures and sign processes. The focus of this research is the various classifications of signs described by Peirce. Two models are presented. One of them concerns specifically the 10-fold classification as described in the 1903 Syllabus (MS 540, EP 2: 289–299), while the other deals with the deep structure of Peirce’s various trichotomic classifications. The first is 10cubes, an interactive 3-D model of (...) Peirce’s 10-fold classification, as described in the Syllabus. The second is 3N3, a computer program that builds equivalent diagrams for any n-trichotomic classification of signs. We are specially interested in how a graphic design methodology, associated with computer graphic resources and techniques, can contribute to the construction of interactive models that serve as tools for the investigation of C. S. Peirce’s theory of signs. (shrink)

An important part of the Unified Medical Language System (UMLS) is its Semantic Network, consisting of 134 Semantic Types connected to each other by edges formed by one or more of 54 distinct Relation Types. This Network is however for many purposes overcomplex, and various groups have thus made attempts at simplification. Here we take this work further by simplifying the relations which involve the three Semantic Types – Diagnostic Procedure, Laboratory Procedure and Therapeutic or Preventive Procedure. We define operators (...) which can be used to generate terms instantiating types from this selected set when applied to terms designating certain other Semantic Types, including almost all the terms specifying clinical tasks. Usage of such operators thus provides a useful and economical way of specifying clinical tasks. The operators allow us to define a mapping between those types within the UMLS which do not represent clinical tasks and those which do. This mapping then provides a basis for an ontology of clinical tasks that can be used in the formulation of computer-interpretable clinical guideline models. (shrink)

In the film classic Blade Runner, the story explores the notion of personal identity through that of carefully crafted androids. Can an android have a personality; can androids be persons? The title of the original story by Philip K. Dick is Do Androids Dream of Electric Sheep? The story suggests that our sense of being a person depends on our having memories that connect us with our childhood. In the movie, the androids are only a couple of years old, but (...) have adult bodies. To complete them as persons they are given simulated memories of childhood. Some psychiatrists have decided that even humans dream only of electric sheep. I explore how Popper’s world 3 can help to defend a notion of personhood that can be used to criticize the thesis that persons are simply complex physical processes and that all their serious life-problems can be conceptualised as a form of physical illness. (shrink)

Environmental variability has been proposed as an important mechanism in behavioral psychology, in ecology and evolution, and in cultural anthropology. Here we demonstrate its importance in simulational studies as well. In earlier work we have shown the emergence of communication in a spatialized environment of wandering food sources and predators, using a variety of mechanisms for strategy change: imitation (Grim, Kokalis, Tafti & Kilb 2000), localized genetic algorithm (Grim, Kokalis, Tafti & Kilb 2001), and partial training of neural nets on (...) the behavior of successful neighbors (Grim, St. Denis & Kokalis 2002). Here we focus on environmental variability, comparing results for all of these mechanisms in a range of different environments: (a) environments with constant resources, (b) environments with random resources around the same mean, and (c) sine-wave variable environments with cycles of ‘boom and bust’. Communication, it turns out, is strongly favored by environmental variability on the pattern of ‘boom and bust.'. (shrink)

Whereas there is extensive documentation that attribute framing influences the content of peoples thought, we generally know less about how it affects the processes assumed to precede those thoughts. While existing explanations for attribute framing effects rely completely on valence-based associative processing, the results obtained in the present study are also consistent with the notion that negative framing stimulates more effortful and thorough information processing than positive framing. Specifically, results from a simulated business decision-making experiment showed that decision makers receiving (...) negatively framed information had significantly better recall than those receiving positively framed information. Furthermore, decision makers in the negative framing condition were less confident than decision makers in the positively framed condition. Finally, compared to a no-framing condition, decision makers receiving positive framing deviated significantly more in evaluation than decision makers receiving negative framing did. (shrink)

Simulation models of the Reiterated Prisoner's Dilemma have been popular for studying the evolution of cooperation since more than 30 years now. However, there have been practically no successful instances of empirical application of any of these models. At the same time this lack of empirical testing and confirmation has almost entirely been ignored by the modelers community. In this paper, I examine some of the typical narratives and standard arguments with which these models are justified by (...) their authors despite the lack of empirical validation. I find that most of the narratives and arguments are not at all compelling. None the less they seem to serve an important function in keeping the simulation business running despite its empirical shortcomings. (shrink)

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

Upanishads are traditionally commented upon as texts of theology and religion. But the contents of the Upanishads can also be viewed and commented from modern science point of view. Elements of modern science present in the Upanishads and Advaita Siddhanta will be listed. -/- The nature of maya will be discussed with modern scientific awareness. This awareness will be further used in understanding human mental processes and the ways to model them contributing to the natural language comprehension field of artificial (...) intelligence. -/- The nature of the Dvaita and Advaita conscious states and their implications to human cognitive processes will be discussed. The use and significance of the ‘absence of mind’ conscious state will also be presented. -/- The use of above understanding in modeling human understanding process and its comparison to physiological psychology – the physics and chemistry of psychology - will be proposed. (shrink)

Despite the recent advances in information and communication technology that have increased our ability to store and circulate information, the task remains of ensuring that the right sorts of information reach the right sorts of people. In what follows we defend the thesis that efforts to develop efficient means for sharing information across healthcare systems and organizations would benefit from a careful analysis of human action in healthcare organizations, and that the communication of healthcare information and knowledge needs to rest (...) on a sound ontology of social interaction. We illustrate this thesis in relation to the HL7 RIM, which is one centrally important tool for communication in the healthcare domain. (shrink)

Currently, the widely used notion of activity is increasingly present in computer science. However, because this notion is used in specific contexts, it becomes vague. Here, the notion of activity is scrutinized in various contexts and, accordingly, put in perspective. It is discussed through four scientific disciplines: computer science, biology, economics, and epistemology. The definition of activity usually used in simulation is extended to new qualitative and quantitative definitions. In computer science, biology and economics disciplines, the new simulation activity definition (...) is first applied critically. Then, activity is discussed generally. In epistemology, activity is discussed, in a prospective way, as a possible framework in models of human beliefs and knowledge. (shrink)

Some authors have argued that, in order to give an account of weakness of the will, we must assume that the mind is divisible into parts. This claim is often referred to as the partitioning claim. There appear to be two main arguments for this claim. While the first is conceptual and claims that the notion of divisibility is entailed by the notion of non-rational mental causation (which is held to be a necessary condition of weakness of the will), the (...) second is explanatory and claims that the notion of divisibility is required for the causal explanation of weak-willed action. In this paper I want to argue that the partitioning claim remains unsupported, no matter how it is interpreted, and that weakness of the will can be made perfectly good sense of without the idea that the mind is divisible into parts. In fact, there are available various explanatory models each of which characterizes different psychological mechanisms that may be involved in weakness of will, none of which depends on any claims about mental division. I describe three familiar mechanisms and argue that weakness of will may occur as the result of any one of them. (shrink)

This chapter examines when and how mental simulation--the consideration of alternatives to present reality--produces emotional responses that reflect either contrast or assimilation. The chapter begins with a description of a comparison domain that is most commonly associated with mental simulation--counterfactual thinking. Then the authors consider how mental simulation plays a critical role in determining assimilative and contrastive responses to other type of comparisons. The chapter concludes with a presentation of a model of mental simulation-based comparison processes and describe its relationship (...) to other contemporary comparison models. (shrink)

Despite the recent advances in information and communication technology that have increased our ability to store and circulate information, the task of ensuring that the right sorts of information gets to the right sorts of people remains. We argue that the many efforts underway to develop efficient means for sharing information across healthcare systems and organizations would benefit from a careful analysis of human action in healthcare organizations. This in turn requires that the management of information and knowledge within healthcare (...) organizations be combined with models of resources and processes of patient care that are based on a general ontology of social interaction. The Health Level 7 (HL7) is one of several ANSI-accredited Standards Developing Organizations operating in the healthcare arena. HL7 has advanced a widely used messaging standard that enables healthcare applications to exchange clinical and administrative data in digital form. HL7 focuses on the interface requirements of the entire healthcare system and not exclusively on the requirements of one area of healthcare such as pharmacy, medical devices, imaging or insurance transactions. This has inspired the development of a powerful abstract model of patient care called the Reference Information Model (RIM). The present paper begins with an overview of the core classes of the HL7 (Version 3) RIM and a brief discussion of its “actcentered” view of healthcare. Central to this account is what is called the life cycle of events. A clinical action may progress from defined, through planned and ordered, to executed. These modalities of an action are represented as the mood of the act. We then outline the basis of an ontology of organizations, starting from the theory of speech Acts, and apply this ontology to the HL7 RIM. Special attention is given to the sorts of preconditions that must be satisfied for the successful performance of a speech act and to the sorts of entities to which speech acts give rise (e.g. obligations, claims, commitments, etc.). Finally we draw conclusions for the efficient communication and management of medical information and knowledge within and between healthcare organizations, paying special attention to the role that medical documents play in such organizations. (shrink)

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

Teaching Newtonian physics involves the replacement of students’ ideas about physical situations with precise concepts appropriate for mathematical applications. This paper focuses on the concepts of ‘matter’ and ‘mass’. We suggest that students, like some pre-Newtonian scientists we examine, use these terms in a way that conflicts with their Newtonian meaning. Specifically, ‘matter’ and ‘mass’ indicate to them the sorts of things that are tangible, bulky, and take up space. In Newtonian mechanics, however, the terms are defined by Newton’s Second (...) Law: ‘mass’ is simply a measure of the acceleration generated by an impressed force. We examine the relationship between these conceptions as it was discussed by Newton and his editor, Roger Cotes, when analyzing a series of pendulum experiments. We suggest that these experiments, as well as more sophisticated computer simulations, can be used in the classroom to sufficiently differentiate the colloquial and precise meaning of these terms. (shrink)

Simulation models of the Reiterated Prisoner's Dilemma have been popular for studying the evolution of cooperation since more than 30 years now. However, there have been practically no successful instances of empirical application of any of these models. At the same time this lack of empirical testing and confirmation has almost entirely been ignored by the modelers community. In this paper, I examine some of the typical narratives and standard arguments with which these models are justified by (...) their authors despite the lack of empirical validation. I find that most of the narratives and arguments are not at all compelling. None the less they seem to serve an important function in keeping the simulation business running despite its empirical shortcomings. (shrink)

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

This paper is intended as a critical examination of the question of when and under what conditions the use of computer simulations is beneficial to scientific explanations. This objective is pursued in two steps: First, I try to establish clear criteria that simulations must meet in order to be explanatory. Basically, a simulation has explanatory power only if it includes all causally relevant factors of a given empirical configuration and if the simulation delivers stable results within the measurement (...) inaccuracies of the input parameters. -/- In the second step, I examine a few examples of Axelrod-style simulations as they have been used to understand the evolution of cooperation (Axelrod, Schüßler). These simulations do not meet the criteria for explanatory validity and it can be shown, as I believe, that they lead us astray from the scientific problems they have been addressed to solve. (shrink)