In the 1980s, computer-aided experimental research became standard in the majority of leading research laboratories. Unfortunately, this shift was not adequately reflected in the professional literature related to the philosophy and methodology of science. A new experimentalism did emerge, aimed at adequately describing experimental practice (to be discussed in the first part of this article); however, in its initial phase, it failed to consider the role of computers in experimental research (discussed in the second (...) part). This oversight by the philosophers of science, the proponents of the new experimentalism, is significant and calls for supplementation (addressed in the fourth part). By the turn of the 20 th and 21 st centuries, there were numerous philosophical analyses related to computer experiments, such as computer simulations. However, this article focuses only on classic experiments facilitated by various computer systems (e.g., LHC at CERN). In the final part of this article, I will present examples of aspects of experimental work that have not yet been analyzed and could potentially enhance new experimentalism with insights from computer-aided experiments. (shrink)

The purpose is to improve the teaching and learning efficiency of college Innovation and Entrepreneurship Education. Firstly, from the perspective of aesthetic education, this work designs the teacher and student sides of the Computer-aided Instruction system. Secondly, the CAI model is implemented based on the weight sharing and local perception of the Convolutional Neural Network. Finally, the performance of the CNN-based CAI model is tested. Meanwhile, it analyses students’ IEE experience under the proposed CAI model through a case (...) study of Music Majors from Xi’an Conservatory of Music. The experimental data show that the CNN-based CAI model can respond quickly and stably when users access different functional modules, such as webpage browsing. The proposed CAI model increases students’ entrepreneurial interest, skills, and knowledge by 55.62, 57.32, and 72.12%, respectively. Students’ entrepreneurial practice ability has been improved by over 50.00%; such an increase in entrepreneurial practice ability has also shown individual differences. Thus, the proposed Music Majors-oriented IEE-infiltrated CAI model based on CNN improves students’ entrepreneurial practice ability and reflects the positive experience of Music Majors on IEE. The finding provides references for the step-by-step identification of the CNN-based CAI model and has certain guiding significance for analyzing the effect of college IEE. (shrink)

Like other mathematically intensive sciences, economics is becoming increasingly computerized. Despite the extent of the computation, however, there is very little true simulation. Simple computation is a form of theory articulation, whereas true simulation is analogous to an experimental procedure. Successful computation is faithful to an underlying mathematical model, whereas successful simulation directly mimics a process or a system. The computer is seen as a legitimate tool in economics only when traditional analytical solutions cannot be derived, i.e., only (...) as a purely computational aid. We argue that true simulation is seldom practiced because it does not fit the conception of understanding inherent in mainstream economics. According to this conception, understanding is constituted by analytical derivation from a set of fundamental economic axioms. We articulate this conception using the concept of economists' perfect model. Since the deductive links between the assumptions and the consequences are not transparent in ‘bottom‐up’ generative microsimulations, microsimulations cannot correspond to the perfect model and economists do not therefore consider them viable candidates for generating theories that enhance economic understanding. (shrink)

Part I of this paper outlined the three standard approaches to the teaching of critical thinking: the normative (or philosophical), cognitive psychology, and educational taxonomy approaches. The paper contrasted these with the visualisation approach; in particular, computer-aided argument mapping (CAAM), and presented a detailed account of the CAAM methodology and a theoretical justification for its use. This part develops further support for CAAM. A case is made that CAAM improves critical thinking because it minimises the cognitive burden of (...) prose and the demands that arguments in prose typically place on memory. CAAM also has greater usability, complements the imperfect human cognitive system, and adopts a logic of semi-formality which is both natural and intuitive. The paper claims that CAAM is an important advance given that traditional stand-alone critical thinking courses do not teach critical thinking as well as they as they are assumed to do. It is also important given that tertiary education fails to deliver improvements in critical thinking gains for too many students. The paper outlines results from a number of empirical studies that demonstrate that CAAM yields robust gains in critical thinking as measured by independent tests. Students themselves also believe CAAM to be beneficial as noted in coded responses to surveys. I conclude the paper by comparing the traditional approaches to the teaching of critical thinking to the visualisation approach. I argue that CAAM should taken seriously in the context of contemporary educational practices. (shrink)

There are at least two reasons for the wide spread of CAI: 1. that the student is able to control his own process of learning due to immediate evaluation of his work and progress and 2. that evaluation is homogeneous, i.e. independent of subjective fac- tors, which compensates for possible lack of depth. Also, the psychology of man is such that he is less ashamed to be reprimanded for his errors by a machine than by another human being. It is (...) a specic feature of computer aided instruction of logic, particulary the art of proving, that such a system cannot be made other than open. Fortunately, in the case of logic its language makes such a creation possible. An open system is a system that permits arbitrary proof of theorems as long as the former conform to the requirement of a given formal language. The discussed system, Mizar-MSE, evolved, roughly speaking, the above line of thought. It is a natural deduction system practically applied to student instruction. Here I would like to present some of more specic features. (shrink)

In his Languages of Art, Nelson Goodman proposes a theory of artistic notation that includes foundational requirements for any system of symbols we might use to specify and communicate the features of an artwork, in architecture or any other art form. Goodmans' theory usefully explains how notation can reveal linguistic-like phenomena of various art forms. But not all art forms can enjoy benefits of a full-blown notational system, in Goodman's view, and he suggests that architecture's symbol systems fall short in (...) this regard. It is a shortcoming of architecture, he believes, that its notation cannot communicate the sum of a given work's essential features. Against this view it may be argued that artworks are generally and inimically historical in character, such that an inability to capture this dimension may result in a failure to pick out the identity of a work. As a consequence, the suggestion of that inability looks like a shortcoming of the general notational theory rather than of the art form or its notation per se. I defend Goodman's background formalism against the criticism that an ahistoricist notation cannot possibly be adequate. But I reject his view that no actual architectural notation can satisfy the formal criteria of his theory. In particular, I propose that the foundational theory for Computer Aided Design (CAD) described by the architect William Mitchell satisfies Goodman's criteria and so yields a notation that enables communication of an architectural work's essential features. If, as I suggest, such a notation is feasible, then we have an additional result that Goodman foresees: a means of abstracting future architectural works from their historical contexts. This in turn yields a consequence at which Goodman only hints-that such architectural works can be intellectually grasped and physically constructed along purely formalist lines. One practical result here is that we introduce economical solutions to architectural design. On a theoretical level, we also expose the inessential character of historical properties to creating or understanding architecture, at least with respect to future possible works. (shrink)

Today, computers are found in all sciences. Philosophy is no exception. We see the birth of a computer philosophy and a computational, an experimental, and a digital philosophy, etc. What relationship can there be between these two different epistemic practices that are philosophy and computer science? The pragmatic philosophy of science invites us to see a scientific project as a model building endeavour. For research projects that include computers, one of these models will be conceptual. This will (...) allow philosophy to play a fruitful role in relation to formal, computational, and technological models. This hypothesis is explored in computer-aided text analysis (CARAT) reading projects that are applied to texts of highly theoretical levels such as philosophical texts. (shrink)

Profound changes in world markets are resulting in conflict between traditional structures of production and new market requirements. The right answers to this challenge are heavily disputed. One option is to replace human work still further by artificially intelligent technology without changing basic structures of production. In contrast to this strategy, alternative production concepts seek to combine the unique human capabilities of perception, evaluation and decision making in unstructured situations with appropriately designed computer systems. Empirical evidence from the use (...) of NC technology indicates that sensual experience and practical knowledge are necessary ingredients rather than disappearing residuals of efficient production. By far their tacit dimension does not allow complete transformation into objectified, scientific knowledge. In the field of metal cutting it is the skilled workers themselves who constitute the primary source of productivity. In order to overcome their traditionally problematic and uncomfortable working situation, shop-floor programming methods have been developed that are adapted to their concrete and graphic mode of thinking and acting. These allow workers to make their own efficient NC programs, thus maintaining their practical competence. This paper illustrates a necessary new perspective in system design: away from developing computer programs for imitating and replacing human expertise and towards designing computers as a useful tool for human experts. (shrink)

The experimental practice in contemporary molecular biology oscillates between the creativity of the researcher in tinkering with the experimental system, and the necessity of standardization of methods of inquiry. Experimental procedures, when standardized in lab protocols, might definitely be seen as actual recipes. Considering these protocols as recipes can help us understand some epistemological characteristics of current practice in molecular biology. On the one hand, protocols represent a common ground, i.e. the possibility of reproducibility, which (...) constitutes one of the essential properties for contemporary science to define an actual discovery. At the same time, however, protocols are flexible enough to be adapted by the individual researcher (within a space of maneuver given by the experimental system and by the practices that each individual discipline gives to itself) to his/her specific needs. These variations, just like the recipes, remind us that the legitimacy of an experimental practice, involves both objective and subjective constraints and it is articulated on a fuzzy background rather than a rigid and clear context. Moreover, looking at experiments according to this perspective can provide a key to understanding how different forms of science (which adopt different methodologies but which investigate the same phenomena), such as computational biology, are precisely different in the use of a different “cookbook”.Indeed, given the procedural/operational realism of biologists towards phenomena, the clash of different procedures has opened a discussion also about the nature and the meaning of the obtained results. Thus, according to the recipe-perspective that, the methodological struggle over the nature of biological phenomena (and their ways of discovery) among scientists, might be seen as a not always explicit, epistemological debate, however coming from the practice of science itself. (shrink)

An argument map visually represents the structure of an argument, outlining its informal logical connections and informing judgments as to its worthiness. Argument mapping can be augmented with dedicated software that aids the mapping process. Empirical evidence suggests that semester‐length subjects using argument mapping along with dedicated software can produce remarkable increases in students’ critical thinking abilities. Introducing such specialised subjects, however, is often practically and politically difficult. This study ascertains student perceptions of the use of argument mapping in two (...) large, regular, semester‐length classes in a Business and Economics Faculty at the University of Melbourne. Unlike the semester‐length expert‐led trials in prior research, in our study only one expert‐led session was conducted at the beginning of the semester and followed by class practice. Survey results conducted at the end of the semester, show that, with reservations, even this minimalist, ‘one‐shot inoculation’ of argument mapping is effective in terms of students’ perceptions of improvements in their critical thinking skills. (shrink)

In this volume, scientists, historians, and philosophers join to examine computer simulations in scientific practice. One central aim of the volume is to provide a multiperspective view on the topic. Therefore, the text includes philosophical studies on computer simulations, as well as case studies from simulation practice, and historical studies of the evolution of simulations as a research method.

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)

In many scientific fields, today’s practices of empirical enquiry rely heavily on the production of images that display the investigated phenomena. And while scientific images of phenomena have been important for a long time, what is striking now is that scientists have found ways to visualize such widely different types of phenomena. In the past twenty or thirty years, we have become accustomed to seeing images of galaxies, of cells, of the human brain but also of blood flow or of (...) turbulent fluids. This success in making images relies first on the set of imaging devices that have flourished in the twentieth century, instruments such as radio-telescopes, electronic microscopes, MRI and many more. Without these... (shrink)

For a variety of reasons, the AIDS epidemic is forcing a thorough reassessment of many of the standards by which the terminally ill and other medical patients are treated by health-care systems throughout the world. This has generally been a good thing. It has provided needed motivation for public policy-makers to take seriously a range of health-care issues that have often been downplayed, ignored, or debated with vigour only within the relatively mute pages of the academic journals of health-care professionals, (...) philosophers, law professors and others. Issues such as euthanasia, testing for dangerous communicable diseases, palliative care, and even important general questions about the distribution and availability of health-care resources have been pushed toward the front of the public health-care agenda largely because of the impact of AIDS. And it is fair to say that these matters are often being addressed with an urgency and sensitivity that would be absent without the political impetus that was unleashed along with this disease. One of the most controversial issues that has arisen concerns access to experimental therapies by the terminally ill. As is the case in other areas, the political forces generated by the AIDS tragedy have created an opportunity for productive review of policies and practices that undoubtedly deserve scrutiny and reform. However, my aim in this paper is to urge caution on some of the advocates of reform. I will argue that many recent proposals to enhance access to experimental therapies by the terminally ill rest on philosophically unsupportable grounds and pose an unjustifiable threat to the public interest in finding safe and effective therapies for terminal illnesses. (shrink)

Computer simulation modeling is an important part of contemporary scientific practice but has not yet received much attention from philosophers. The present project helps to fill this lacuna in the philosophical literature by addressing three questions that arise in the context of computer simulation of Earth's climate. Computer simulation experimentation commonly is viewed as a suspect methodology, in contrast to the trusted mainstay of material experimentation. Are the results of computer simulation experiments somehow deeply problematic (...) in ways that the results of material experiments are not? I argue against categorical skepticism toward the results of computer simulation experiments by revealing important parallels in the epistemologies of material and computer simulation experimentation. It has often been remarked that simple computer simulation models---but not complex ones---contribute substantially to our understanding of the atmosphere and climate system. Is this view of the relative contributions of simple and complex models tenable? I show that both simple and complex climate models can promote scientific understanding and argue that the apparent contribution of simple models depends upon whether a causal or deductive account of scientific understanding is adopted. When two incompatible scientific theories are under consideration, they typically are viewed as competitors, and we seek evidence that refutes at least one of the theories. In the study of climate change, however, logically incompatible computer simulation models are accepted as complementary resources for investigating future climate. How can we make sense of this use of incompatible models? I show that a collection of incompatible climate models persists in part because of difficulties faced in evaluating and comparing climate models. I then discuss the rationale for using these incompatible models together and argue that this climate model pluralism has both competitive and integrative components. (shrink)

The Epistemology Of Computer Simulation has developed as an epistemological and methodological analysis of simulative sciences using quantitative computational models to represent and predict empirical phenomena of interest. In this paper, Executable Cell Biology and Agent-Based Modelling are examined to show how one may take advantage of qualitative computational models to evaluate reachability properties of reactive systems. In contrast to the thesis, advanced by EOCS, that computational models are not adequate representations of the simulated empirical systems, it is shown (...) how the representational adequacy of qualitative models is essential to evaluate reachability properties. Justification theory, if not playing an essential role in EOCS, is exhibited to be involved in the process of advancing and corroborating model-based hypotheses about empirical systems in ECB and ABM. Finally, the practice of evaluating model-based hypothesis by testing the simulated systems is shown to constitute an argument in favour of the thesis that computer simulations in ECB and ABM can be put on a par with scientific experiments. (shrink)

This paper offers a review of Giuseppe Primero’s (2020) book “On the foundations of computing”_._ Mathematical, engineering, and experimental foundations of the science of computing are examined under the light of the notions of formal, physical, and experimental computational validity provided by the author. It is challenged the thesis that experimental computational validity can be defined only for the algorithmic method and not for the software development process. The notions of computational hypothesis and computational experiment provided by (...) Primiero (2020) are extended to the case of software development. Finally, it is highlighted how the hypothetical-deductive method is involved in the practice of using models to corroborate computational hypotheses in software testing. As a concluding remark, it is underlined how defining experimental computational validity in the context of software development offers a sound experimental foundation to the science of computing. (shrink)

ABSTRACT This article deals with a cluster of moral problems raised by the new techniques of human fertilisation. It is concerned primarily with the putative rights of embryos brought into being as a by‐product of the practice of in vitro fertilisation. In this connection it investigates the basis for the ascription of rights to entities and asserts the view that consciousness is a pre‐requisite for the possession of rights. It draws attention to the speciesism implicit in attitudes of some (...) of those who have contributed to the debate. It also examines other issues briefly, raising, for example, the question whether children by AID (or by in vitro fertilisation by donor) must be denied access to information about their genetic fathers; and looking at objections to the new techniques based on the so‐called unnaturalness of the procedures involved. (shrink)

Since the late 1980s, the neglect of experiment by philosophers and historians of science has been replaced by a keen interest in the subject. In this volume, a number of prominent philosophers of experiment directly address basic theoretical questions, develop existing philosophical accounts, and offer novel perspectives on the subject, rather than rely exclusively on historical cases of experimental practice. Each essay examines one or more of six interconnected themes that run throughout the collection: the philosophical implications of (...) actively and intentionally interfering with the material world while conducting experiments; issues of interpretation regarding causality; the link between science and technology; the role of theory in experimentation involving material and causal intervention; the impact of modeling and computer simulation on experimentation; and the philosophical implications of the design, operation, and use of scientific instruments. (shrink)

Experimentation represents today a ‘hot’ topic in computing. If experiments made with the support of computers, such as computer simulations, have received increasing attention from philosophers of science and technology, questions such as “what does it mean to do experiments in computer science and engineering and what are their benefits?” emerged only recently as central in the debate over the disciplinary status of the discipline. In this work we aim at showing, also by means of paradigmatic examples, how (...) the traditional notion of controlled experiment should be revised to take into account a part of the experimental practice in computing along the lines of experimentation as exploration. Taking inspiration from the discussion on exploratory experimentation in the philosophy of science—experimentation that is not theory-driven—we advance the idea of explorative experiments that, although not new, can contribute to enlarge the debate about the nature and role of experimental methods in computing. In order to further refine this concept we recast explorative experiments as socio-technical experiments, that test new technologies in their socio-technical contexts. We suggest that, when experiments are explorative, control should be intended in a posteriori form, in opposition to the a priori form that usually takes place in traditional experimental contexts. (shrink)

The question about the scientific nature of computing has been widely debated with no universal consensus reached about its disciplinary status. Positions vary from acknowledging computing as the science of computers to defining it as a synthetic engineering discipline. In this paper, we aim at discussing the nature of computing from a methodological perspective. We consider, in particular, the nature and role of experiments in this field, whether they can be considered close to the traditional experimental scientific method or, (...) instead, they possess peculiar and unique features. We argue that this experimental perspective should be taken into account when discussing the status of computing. We critically survey how the experimental method has been conceived and applied in computing, and some open issues that could be tackled with the aid of the history of science, the philosophy of science, and the philosophy of technology. (shrink)

The paper presents an exploration of conceptual issues that have arisen in the course of investigating speed-up and slowdown phenomena in small Turing machines, in particular results of a test that may spur experimental approaches to the notion of computational irreducibility. The test involves a systematic attempt to outrun the computation of a large number of small Turing machines (3 and 4 state, 2 symbol) by means of integer sequence prediction using a specialized function for that purpose. The experiment (...) prompts an investigation into rates of convergence of decision procedures and the decidability of sets in addition to a discussion of the (un)predictability of deterministic computing systems in practice. We think this investigation constitutes a novel approach to the discussion of an epistemological question in the context of a computer simulation, and thus represents an interesting exploration at the boundary between philosophical concerns and computational experiments. (shrink)

Scientific practices have been changed by the increasing use of computer simulations. A central question for philosophers is how to characterize computer simulations. In this paper, we address this question by analyzing simulations in biochemistry. We propose that simulations have been used in biochemistry long before computers arrived. Simulation can be described as a surrogate relationship between models. Moreover, a simulative aspect is implicit in the classical dichotomy between in vivo–in vitro conditions. Based on a discussion about how (...) to characterize a simulative aspect in this dichotomy, we will argue that an adequate understanding of computer simulations in biochemistry requires a previous understanding of simulations in experimental contexts. (shrink)

Students, the future Information and Communication Technology (ICT) professionals, are often perceived to have little understanding of the ethical issues associated with the use of ICTs. There is a growing recognition that the moral issues associated with the use of the new technologies should be brought to the attention of students. Furthermore, they should be encouraged to explore and think more deeply about the social and legal consequences of the use of ICTs. This paper describes the development of a tool (...) designed to raise students’ awareness of the social impact of ICTs. The tool offers guidance to students undertaking computing and computer-related courses when considering the social, legal and professional implications of the actions of participants in situations of ethical conflict. However, unlike previous work in this field, this tool is not based on an artificial intelligence paradigm. Aspects of the theoretical basis for the design of the tool and the tool’s practical development are discussed. Preliminary results from the testing of the tool are also discussed. (shrink)

In 1966 Richard Levins argued that applications of mathematics to population biology faced various constraints which forced mathematical modelers to trade-off at least one of realism, precision, or generality in their approach. Much traditional mathematical modeling in biology has prioritized generality and precision in the place of realism through strategies of idealization and simplification. This has at times created tensions with experimental biologists. The past 20 years however has seen an explosion in mathematical modeling of biological systems with the (...) rise of modern computational systems biology and many new collaborations between modelers and experimenters. In this paper I argue that many of these collaborations revolve around detail-driven modeling practices which in Levins’ terms trade-off generality for realism and precision. These practices apply mathematics by working from detailed accounts of biological systems, rather than from initially idealized or simplified representations. This is possible by virtue of modern computation. The form these practices take today suggest however Levins’ constraints on mathematical application no longer apply, transforming our understanding of what is possible with mathematics in biology. Further the engagement with realism and the ability to push realistic models in new directions aligns well with the epistemological and methodological views of experimenters, which helps explain their increased enthusiasm for biological modeling. (shrink)

We propose a characterization of mathematical experiments in terms of a setup, a process with an outcome, and an interpretation. Using a broad notion of process, this allows us to consider arithmetic calculations and geometric constructions as components of mathematical experiments. Moreover, we argue that mathematical experiments should be considered within a broader context of an experimental research project. Finally, we present a particular case study of the genesis of a geometric construction to illustrate the experimental use of (...) hand drawings and computers in mathematical practice. (shrink)

Partial functions are ubiquitous in both mathematics and computer science. Therefore, it is imperative that the underlying logical formalism for a general-purpose mechanized mathematics system provide strong support for reasoning about partial functions. Unfortunately, the common logical formalisms — first-order logic, type theory, and set theory — are usually only adequate for reasoning about partial functionsin theory. However, the approach to partial functions traditionally employed by mathematicians is quite adequatein practice. This paper shows how the traditional approach to (...) partial functions can be formalized in a range of formalisms that includes first-order logic, simple type theory, and Von-Neumann—Bernays—Gödel set theory. It argues that these new formalisms allow one to directly reason about partial functions; are based on natural, well-understood, familiar principles; and can be effectively implemented in mechanized mathematics systems. (shrink)

Shepherd and Justus argue that experimental philosophy has an important role to play in the method of Carnapian explication, facilitating the preparatory stage during which the concept to be explicated is clarified. I raise concerns about their specific proposal, before sketching an alternative. In particular, I suggest that experimental philosophy can directly aid the construction of fruitful concepts. This provides a clear practical role for experimental philosophy, both within the sciences and theoretical inquiry more generally. In this (...) respect, experimental philosophy may rightly be construed as one aspect of applied philosophy. (shrink)

The question of where, between theory and experiment, computer simulations (CSs) locate on the methodological map is one of the central questions in the epistemology of simulation (cf. Saam Journal for General Philosophy of Science, 48, 293–309, 2017). The two extremes on the map have them either be a kind of experiment in their own right (e.g. Barberousse et al. Synthese, 169, 557–574, 2009; Morgan 2002, 2003, Journal of Economic Methodology, 12(2), 317–329, 2005; Morrison Philosophical Studies, 143, 33–57, 2009; (...) Morrison 2015; Massimi and Bhimji Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, 51, 71–81, 2015; Parker Synthese, 169, 483–496, 2009) or just an argument executed with the aid of a computer (e.g. Beisbart European Journal for Philosophy of Science, 2, 395–434, 2012; Beisbart and Norton International Studies in the Philosophy of Science, 26, 403–422, 2012). There exist multiple versions of the first kind of position, whereas the latter is rather unified. I will argue that, while many claims about the ‘experimental’ status of CSs seem unjustified, there is a variant of the first position that seems preferable. In particular I will argue that while CSs respect the logic of (deductively valid) arguments, they neither agree with their pragmatics nor their epistemology. I will then lay out in what sense CSs can fruitfully be seen as experiments, and what features set them apart from traditional experiments nonetheless. I conclude that they should be seen as surrogate experiments, i.e. experiments executed consciously on the wrong kind of system, but with an exploitable connection to the system of interest. Finally, I contrast my view with that of Beisbart (European Journal for Philosophy of Science, 8, 171–204, 2018), according to which CSs are surrogates for experiments, arguing that this introduces an arbitrary split between CSs and other kinds of simulations. (shrink)

Though some influentially critical objections have been raised during the ‘classical’ pre-computational simulation philosophy of science tradition, suggesting a more nuanced methodological category for experiments, it safe to say such critical objections have greatly proliferated in philosophical studies dedicated to the role played by computational simulations in science. For instance, Eric Winsberg suggests that computer simulations are methodologically unique in the development of a theory’s models suggesting new epistemic notions of application. This is also echoed in Jeffrey Ramsey’s notions (...) of “transformation reduction,”—i.e., a notion of reduction of a more highly constructive variety. Computer simulations create a broadly continuous arena spanned by normative and descriptive aspects of theory-articulation, as entailed by the notion of transformation reductions occupying a continuous region demarcated by Ernest Nagel’s logical-explanatory “domain-combining reduction” on the one hand, and Thomas Nickels’ heuristic “domain-preserving reduction,” on the other. I extend Winsberg’s and Ramsey’s points here, by arguing that in the field of computational fluid dynamics as well as in other branches of applied physics, the computer plays a constitutively experimental role—supplanting in many cases the more traditional experimental methods such as flow-visualization, etc. In this case, however CFD algorithms act as substitutes, not supplements when it comes to experimental practices. I bring up the constructive example involving the Clifford-Algebraic algorithms for modeling singular phenomena in CFD by Gerik Scheuermann and Steven Mann & Alyn Rockwood who demonstrate that their algorithms offer greater descriptive and explanatory scope than the standard Navier-Stokes approaches. The mathematical distinction between Navier-Stokes-based and Clifford-Algebraic based CFD has essentially to do with the regularization features exhibited to a far greater extent by the latter, than the former. Hence, CACFD indicate that the utilization of computational techniques can be based on principled reasons, as opposed to merely practical. CACFD hence exhibit a new generative role in the field of fluid mechanics, by offering categories of experimental evidence that are optimally descriptive and explanatory—i.e., pace Batterman can be both ontologically and epistemically fundamental. (shrink)

Computation and Simulation have always played a role in economics – whether it be pure economic theory or any variant of applied, especially policy-oriented, macro- and microeconomics or what has increasingly come to be called empirical or experimental economics. Computations and simulations are also intrinsically dynamic. This triptych – computation, simulation and dynamic – is given natural foundations, mainly as a result of developments in the mathematics underpinnings in the potentials of computing, using digital technology. A running theme in (...) this essay is the recognition that, increasingly, the development of economic theory seems to go hand in hand with advances in the theory and practice of computing, which is, in turn, a catalyst for the move away from too much reliance on any kind of mathematics for the formalisation of economic entities that is inconsistent with the mathematical, methodological and epistemological foundations of the theory of computation. (shrink)

Using as case studies two early diagrams that represent mechanisms of the cell division cycle, we aim to extend prior philosophical analyses of the roles of diagrams in scientific reasoning, and specifically their role in biological reasoning. The diagrams we discuss are, in practice, integral and indispensible elements of reasoning from experimental data about the cell division cycle to mathematical models of the cycle’s molecular mechanisms. In accordance with prior analyses, the diagrams provide functional explanations of the cell (...) cycle and facilitate the construction of mathematical models of the cell cycle. But, extending beyond those analyses, we show how diagrams facilitate the construction of mathematical models, and we argue that the diagrams permit nomological explanations of the cell cycle. We further argue that what makes diagrams integral and indispensible for explanation and model construction is their nature as locality aids: they group together information that is to be used together in a way that sentential representations do not. (shrink)

Much of the recent movement organized under the heading “Experimental Philosophy” has been concerned with the empirical study of responses to thought experiments drawn from the literature on philosophical analysis. I consider what bearing these studies have on the traditional projects in which thought experiments have been used in philosophy. This will help to answer the question what the relation is between Experimental Philosophy and philosophy, whether it is an “exciting new style of [philosophical] research”, “a new interdisciplinary (...) field that uses methods normally associated with psychology to investigate questions normally associated with philosophy” (Knobe et al. 2012), or whether its relation to philosophy consists, as some have suggested, in no more than the word ‘philosophy’ appearing in its title, or whether the truth lies somewhere in between these two views. I first distinguishes different strands in Experimental Philosophy, negative and positive x-phi, and x-phi pursuing philosophy as opposed to x-phi as cognitive science. Next I review some ways in which Experimental Philosophy has been criticized. Finally, I consider what would have to be true for Experimental Philosophy to have one or another sort of relevance to philosophy, whether the assumptions required are true, how we could know it, and the ideal limits of the usefulness Experimental Philosophy to philosophy. I conclude x-phi cannot in principle be a replacement for traditional first person approaches because it yields the wrong kind of knowledge and that it can nonetheless be a practical aid in conducting philosophical thought experiments. n. (shrink)

Given the widespread acceptance of computational thinking in educational systems around the world, primary and higher education has begun thinking about how to cultivate students' CT competences. The artificial intelligence of things combines artificial intelligence and the Internet of things and involves integrating sensing technologies at the lowest level with relevant algorithms in order to solve real-world problems. Thus, it has now become a popular technological application for CT training. In this study, a novel AIoT learning with Augmented Reality technology (...) was proposed and explored the effect of CT skills. The students used AR applications to understand AIoT applications in practice, attempted the placement of different AR sensors in actual scenarios, and further generalized and designed algorithms. Based on the results of the experimental course, we explored the influence of prior knowledge and usage intention on students' CT competence training. The results show that proposed AIoT learning can increase students' learning intention and that they had a positive impact on problem solving and comprehension with AR technology, as well as application planning and design. (shrink)

African literature has played a major role in changing and shaping perceptions about African people and their way of life for the longest time. Unlike western cultures that are associated with advanced forms of writing, African literature is oral in nature, meaning it has to be recited and even performed. Although Africa has an old tribal culture, African philosophy is a new and strange idea among us. Although the problem of “universality” of African philosophy actually refers to the question of (...) whether Africa has heckling of philosophy in the Western sense, obviously, the philosophy bred by Africa’s native culture must be acknowledged. Therefore, the human–computer interaction-oriented method is proposed to appreciate African literature and African philosophy. To begin with, a physical object of tablet-aid is designed, and a depth camera is used to track the user’s hand and tablet-aid and then map them to the virtual scene, respectively. Then, a tactile redirection method is proposed to meet the user’s requirement of tactile consistency in head-mounted display virtual reality environment. Finally, electroencephalogram emotion recognition, based on multiscale convolution kernel convolutional neural networks, is proposed to appreciate the reflection of African philosophy in African literature. The experimental results show that the proposed method has a strong immersion and a good interactive experience in navigation, selection, and manipulation. The proposed HCI method is not only easy to use, but also improves the interaction efficiency and accuracy during appreciation. In addition, the simulation of EEG emotion recognition reveals that the accuracy of emotion classification in 33-channel is 90.63%, almost close to the accuracy of the whole channel, and the proposed algorithm outperforms three baselines with respect to classification accuracy. (shrink)

This ambitious book by one of the most original and provocative thinkers in science studies offers a sophisticated new understanding of the nature of scientific, mathematical, and engineering practice and the production of scientific knowledge. Andrew Pickering offers a new approach to the unpredictable nature of change in science, taking into account the extraordinary number of factors—social, technological, conceptual, and natural—that interact to affect the creation of scientific knowledge. In his view, machines, instruments, facts, theories, conceptual and mathematical structures, (...) disciplined practices, and human beings are in constantly shifting relationships with one another—"mangled" together in unforeseeable ways that are shaped by the contingencies of culture, time, and place. Situating material as well as human agency in their larger cultural context, Pickering uses case studies to show how this picture of the open, changeable nature of science advances a richer understanding of scientific work both past and present. Pickering examines in detail the building of the bubble chamber in particle physics, the search for the quark, the construction of the quarternion system in mathematics, and the introduction of computer-controlled machine tools in industry. He uses these examples to address the most basic elements of scientific practice—the development of experimental apparatus, the production of facts, the development of theory, and the interrelation of machines and social organization. (shrink)

Verification and validation of computer codes and models used in simulation are two aspects of the scientific practice of high importance and have recently been discussed by philosophers of science. While verification is predominantly associated with the correctness of the way a model is represented by a computer code or algorithm, validation more often refers to model’s relation to the real world and its intended use. It has been argued that because complex simulations are generally not transparent (...) to a practitioner, the Duhem problem can arise for verification and validation due to their entanglement; such an entanglement makes it impossible to distinguish whether a coding error or model’s general inadequacy to its target should be blamed in the case of the model failure. I argue that in order to disentangle verification and validation, a clear distinction between computer modeling and simulation needs to be made. Holding on to that distinction, I propose to relate verification to modeling and validation, which shares the common epistemology with experimentation, to simulation. To explain reasons of their intermittent entanglement I propose a weberian ideal-typical model of modeling and simulation as roles in practice. I suggest an approach to alleviate the Duhem problem for verification and validation generally applicable in practice and based on differences in epistemic strategies and scopes. (shrink)

During each school semester, students face an onslaught of material to be learned. Students work hard to achieve initial mastery of the material, but when they move on, the newly learned facts, concepts, and skills degrade in memory. Although both students and educators appreciate that review can help stabilize learning, time constraints result in a trade-off between acquiring new knowledge and preserving old knowledge. To use time efficiently, when should review take place? Experimental studies have shown benefits to long-term (...) retention with spaced study, but little practical advice is available to students and educators about the optimal spacing of study. The dearth of advice is due to the challenge of conducting experimental studies of learning in educational settings, especially where material is introduced in blocks over the time frame of a semester. In this study, we turn to two established models of memory—ACT-R and MCM—to conduct simulation studies exploring the impact of study schedule on long-term retention. Based on the premise of a fixed time each week to review, converging evidence from the two models suggests that an optimal review schedule obtains significant benefits over haphazard (suboptimal) review schedules. Furthermore, we identify two scheduling heuristics that obtain near optimal review performance: (a) review the material from μ-weeks back, and (b) review material whose predicted memory strength is closest to a particular threshold. The former has implications for classroom instruction and the latter for the design of digital tutors. (shrink)

Verification and validation of computer codes and models used in simulations are two aspects of the scientific practice of high importance that recently have been discussed widely by philosophers of science. While verification is predominantly associated with the correctness of the way a model is represented by a computer code or algorithm, validation more often refers to the model’s relation to the real world and its intended use. Because complex simulations are generally opaque to a practitioner, the (...) Duhem problem can arise with verification and validation due to their entanglement; such an entanglement makes it impossible to distinguish whether a coding error or the model’s general inadequacy to its target should be blamed in the case of a failure. I argue that a clear distinction between computer modeling and simulation has to be made to disentangle verification and validation. Drawing on that distinction, I suggest to associate modeling with verification and simulation, which shares common epistemic strategies with experimentation, with validation. To explain the reasons for their entanglement in practice, I propose a Weberian ideal–typical model of modeling and simulation as roles in practice. I examine an approach to mitigate the Duhem problem for verification and validation that is generally applicable in practice and is based on differences in epistemic strategies and scopes. Based on this analysis, I suggest two strategies to increase the reliability of simulation results, namely, avoiding alterations of verified models at the validation stage as well as performing simulations of the same target system using two or more different models. In response to Winsberg’s claim that verification and validation are entangled I argue that deploying the methodology proposed in this work it is possible to mitigate inseparability of V&V in many if not all domains where modeling and simulation are used. (shrink)

Structured argumentation systems, and their implementation, represent an important research subject in the area of Knowledge Representation and Reasoning. Structured argumentation advances over abstract argumentation frameworks by providing the internal construction of the arguments that are usually defined by a set of (strict and defeasible) rules. By considering the structure of arguments, it becomes possible to analyze reasons for and against a conclusion, and the warrant status of such a claim in the context of a knowledge base represents the main (...) output of a dialectical process. Computing such statuses is a costly process, and any update to the knowledge base could potentially have a huge impact if done naively. In this work, we investigate the case of updates consisting of both additions and removals of pieces of knowledge in the Defeasible Logic Programming (DeLP) framework, first analyzing the complexity of the problem and then identifying conditions under which we can avoid unnecessary computations—central to this is the development of structures (e.g. graphs) to keep track of which results can potentially be affected by a given update. We introduce a technique for the incremental computation of the warrant statuses of conclusions in DeLP knowledge bases that evolve due to the application of (sets of) updates. We present the results of a thorough experimental evaluation showing that our incremental approach yields significantly faster running times in practice, as well as overall fewer recomputations, even in the case of sets of updates performed simultaneously. (shrink)

We overview logical and computational explanations of the notion of tractability as applied in cognitive science. We start by introducing the basics of mathematical theories of complexity: computability theory, computational complexity theory, and descriptive complexity theory. Computational philosophy of mind often identifies mental algorithms with computable functions. However, with the development of programming practice it has become apparent that for some computable problems finding effective algorithms is hardly possible. Some problems need too much computational resource, e.g., time or memory, (...) to be practically computable. Computational complexity theory is concerned with the amount of resources required for the execution of algorithms and, hence, the inherent difficulty of computational problems. An important goal of computational complexity theory is to categorize computational problems via complexity classes, and in particular, to identify efficiently solvable problems and draw a line between tractability and intractability. -/- We survey how complexity can be used to study computational plausibility of cognitive theories. We especially emphasize methodological and mathematical assumptions behind applying complexity theory in cognitive science. We pay special attention to the examples of applying logical and computational complexity toolbox in different domains of cognitive science. We focus mostly on theoretical and experimental research in psycholinguistics and social cognition. (shrink)

This paper is motivated by the increasing popularity of efficient designs for stated choice experiments. The objective in efficient designs is to create a stated choice experiment that minimizes the standard errors of the estimated parameters. In order to do so, such designs require specifying prior values for the parameters to be estimated. While there is significant literature demonstrating the efficiency improvements of employing efficient designs, the bulk of the literature tests conditions where the priors used to generate the efficient (...) design are assumed to be accurate. However, there is substantially less literature that compares how different design types perform under varying degree of error of the prior. The literature that does exist assumes small fractions are used, which is in contrast to computer-aided surveys that readily allow for large fractions. Further, the results in the literature are abstract in that there is no reference point to provide clear insight on the magnitude of any issue. Our objective is to analyze the robustness of different designs within a typical stated choice experiment context of a trade-off between price and quality. We use as an example transportation mode choice, where the key parameter to estimate is the value of time. Within this context, we test many designs to examine how robust efficient designs are against a misspecification of the prior parameters. The simple mode choice setting allows for insightful visualizations of the designs themselves and also an interpretable reference point for the range in which each design is robust. Not surprisingly, the D-efficient design is most efficient in the region where the true population VOT is near the prior used to generate the design: the prior is $20/h and the efficient range is $10–$30/h. However, the D-efficient design quickly becomes the most inefficient outside of this range, and the estimation significantly degrades above $50/h. The orthogonal and random designs are robust for a much larger range of VOT. The robustness of Bayesian efficient designs varies depending on the variance that the prior assumes. Implementing two-stage designs that first use a small sample to estimate priors are also not robust relative to uninformative designs. Arguably, the random design performs as well as any design, and it will perform even better if data cleaning is done to remove choice tasks where one alternative dominates the other. (shrink)

From a purely formalist viewpoint on the philosophy of mathematics, experiments cannot (and should not) play a role in warranting mathematical statements but must be confined to heuristics. Yet, due to the incorporation of new mathematical methods such as computer-assisted experimentation in mathematical practice, experiments are now conducted and used in a much broader range of epistemic practices such as concept formation, validation, and communication. In this article, we combine corpus studies and qualitative analyses to assess and categorize (...) the epistemic roles experiments are seen—by mathematicians—to have in actual mathematical practice. We do so by text-mining a corpus of reviews from the _Mathematical Reviews_, which include the indicator word “experiment”. Our qualitative, grounded classification of samples from this corpus allows us to explore the various roles played by experiments. We thus identify instances where experiments function as references to established knowledge, as tools for heuristics or exploration, as epistemic warrants, as communication or pedagogy, and instances simply proposing experiments. Focusing on the role of experiments as epistemic warrants, we show through additional sampling that in some fields of mathematics, experiments can warrant theorems as well as methods. We also show that the expressed lack of experiments by reviewers suggests concordant views that experiments could have provided epistemic warrants. Thus, our combination of corpus studies and qualitative analyses has added a typology of roles of experiments in mathematical practice and shown that experiments can and do play roles as epistemic warrants depending on the mathematical field. (shrink)

Many scholars have conducted in-depth research on the evaluation and prediction of scholars’ scientific impact and meanwhile discovered various factors that affect the success of scholars. Among all these relevant factors, scholars’ ages have been universally acknowledged as one of the most important factors for it can shed light on many practical issues, e.g., finding supervisors, discovering rising stars, and research funding or award applications. However, due to the inaccessibility or the privacy issues of acquiring scholars’ personal data, there is (...) little research to explore the true ages of scholars currently. Alternatively, scholars’ publications’ information can be obtained through various digital libraries. Inspired by this fact, we propose a novel scholar’s age prediction method based on their articles’ information. Our method first classifies factors that affect scholars’ ages into intuitive and complex types according to their computational complexity and then apply machine learning algorithms to predict the ages of scholars based on these factors. The experimental results on the real dataset demonstrate that our method can effectively predict the true ages of scholars. Given that there is no completely accurate dataset because of the continuous publication of academic papers, we then apply our method on the incomplete dataset. Nevertheless, our method still has high prediction accuracy in such situations. (shrink)

According to the "experimenter's regress", disputes about the validity of experimental results cannot be closed by objective facts because no conclusive criteria other than the outcome of the experiment itself exist for deciding whether the experimental apparatus was functioning properly or not. Given the frequent characterization of simulations as "computer experiments", one might worry that an analogous regress arises for computer simulations. The present paper analyzes the most likely scenarios where one might expect such a "simulationist's (...) regress" to surface, and, in doing so, discusses analogies and disanalogies between simulation and experimentation. I conclude that, on a properly broadened understanding of robustness, the practice of simulating mathematical models can be seen to have sufficient internal structure to avoid any special susceptibility to regress-like situations. (shrink)

Quantum mechanical measurements on a physical system are represented by observables - Hermitian operators on the state space of the observed system. It is an important question whether all observables may be realized, in principle, as measurements on a physical system. Dirac’s influential text ( [1], page 37) makes the following assertion on the question: The question now presents itself – Can every observable be measured? The answer theoretically is yes. In practice it may be very awkward, or perhaps (...) even beyond the ingenuity of the experimenter, to devise an apparatus which could measure some particular observable, but the theory always allows one to imagine that the measurement can be made. This Letter re-examines the question of whether it is possible, even in principle, to measure every quantum mechanical observable. Unexpectedly, ideas from com-. (shrink)