Switch to: References

Add citations

You must login to add citations.
  1. Computers Are Syntax All the Way Down: Reply to Bozşahin.William J. Rapaport - 2019 - Minds and Machines 29 (2):227-237.
    A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.
    Direct download (2 more)  
    Export citation  
    Bookmark   1 citation  
  • Computing the perfect model: Why do economists Shun simulation?Aki Lehtinen & Jaakko Kuorikoski - 2007 - Philosophy of Science 74 (3):304-329.
    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 (...)
    Direct download (8 more)  
    Export citation  
    Bookmark   25 citations  
  • Discussion reviews.Henry E. Kyburg & David A. Nelson - 1994 - Minds and Machines 4 (1):81-101.
  • Computer Reliability and Public Policy: Limits of Knowledge of Computer-Based Systems*: JAMES H. FETZER.James H. Fetzer - 1996 - Social Philosophy and Policy 13 (2):229-266.
    Perhaps no technological innovation has so dominated the second half of the twentieth century as has the introduction of the programmable computer. It is quite difficult if not impossible to imagine how contemporary affairs—in business and science, communications and transportation, governmental and military activities, for example—could be conducted without the use of computing machines, whose principal contribution has been to relieve us of the necessity for certain kinds of mental exertion. The computer revolution has reduced our mental labors by means (...)
    Direct download (6 more)  
    Export citation  
  • Program verification, defeasible reasoning, and two views of computer science.Timothy R. Colburn - 1991 - Minds and Machines 1 (1):97-116.
    In this paper I attempt to cast the current program verification debate within a more general perspective on the methodologies and goals of computer science. I show, first, how any method involved in demonstrating the correctness of a physically executing computer program, whether by testing or formal verification, involves reasoning that is defeasible in nature. Then, through a delineation of the senses in which programs can be run as tests, I show that the activities of testing and formal verification do (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   3 citations  
  • Recipes, algorithms, and programs.Carol E. Cleland - 2001 - Minds and Machines 11 (2):219-237.
    In the technical literature of computer science, the concept of an effective procedure is closely associated with the notion of an instruction that precisely specifies an action. Turing machine instructions are held up as providing paragons of instructions that "precisely describe" or "well define" the actions they prescribe. Numerical algorithms and computer programs are judged effective just insofar as they are thought to be translatable into Turing machine programs. Nontechnical procedures (e.g., recipes, methods) are summarily dismissed as ineffective on the (...)
    Direct download (15 more)  
    Export citation  
    Bookmark   13 citations  
  • The philosophy of computer science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.
  • How minds can be computational systems.William J. Rapaport - 1998 - Journal of Experimental and Theoretical Artificial Intelligence 10 (4):403-419.
    The proper treatment of computationalism, as the thesis that cognition is computable, is presented and defended. Some arguments of James H. Fetzer against computationalism are examined and found wanting, and his positive theory of minds as semiotic systems is shown to be consistent with computationalism. An objection is raised to an argument of Selmer Bringsjord against one strand of computationalism, namely, that Turing-Test± passing artifacts are persons, it is argued that, whether or not this objection holds, such artifacts will inevitably (...)
    Direct download (3 more)  
    Export citation  
    Bookmark   23 citations  
  • The Logic of the Method of Agent-Based Simulation in the Social Sciences: Empirical and Intentional Adequacy of Computer Programs.Nuno David, Jaime Sichman & Helder Coleho - 2005 - Journal of Artificial Societies and Social Simulation 8 (4).
    The classical theory of computation does not represent an adequate model of reality for simulation in the social sciences. The aim of this paper is to construct a methodological perspective that is able to conciliate the formal and empirical logic of program verification in computer science, with the interpretative and multiparadigmatic logic of the social sciences. We attempt to evaluate whether social simulation implies an additional perspective about the way one can understand the concepts of program and computation. We demonstrate (...)
    Direct download (2 more)  
    Export citation  
    Bookmark   2 citations  
  • Explaining simulated phenomena. A defense of the epistemic power of computer simulations.Juan M. Durán - 2013 - Dissertation, University of Stuttgart