About this topic
Summary The theory of computation is a mathematical theory about the properties of abstract computational objects, such as algorithms and Turing machines. They are abstract in the sense that they ignore or leave out considerations about by features of physical implementations, such as finite memory.  In contrast, computations are done by physical systems: concrete machines made of silicon and metal, or brains made of biological materials, can run algorithms or implement Turing machines. This area is concerned with questions about how the abstract objects that are in the purview of the theory of computation relate to physical systems.
Key works The relationship between abstract computation and physical systems such as brains is a central issue in philosophy of mind, particularly given the rise of computational functionalism as a foundation for the study of the mind.  Here the work of Chalmers 1996 provides a good starting point for bridging the theory of computation with theories of physical systems by means of animplementation relation. 
Introductions A good introduction is Piccinini 2010
Related categories

84 found
Order:
1 — 50 / 84
  1. added 2020-04-20
    How to Infer Explanations From Computer Simulations.Florian J. Boge - forthcoming - Studies in History and Philosophy of Science Part A.
    Computer simulations are involved in numerous branches of modern science, and science would not be the same without them. Yet the question of how they can explain real-world processes remains an issue of considerable debate. In this context, a range of authors have highlighted the inferences back to the world that computer simulations allow us to draw. I will first characterize the precise relation between computer and target of a simulation that allows us to draw such inferences. I then argue (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. added 2020-04-17
    Why Computer Simulations Are Not Inferences, and in What Sense They Are Experiments.Florian J. Boge - 2018 - European Journal for Philosophy of Science 9 (1):1-30.
    The question of where, between theory and experiment, computer simulations locate on the methodological map is one of the central questions in the epistemology of simulation. The two extremes on the map have them either be a kind of experiment in their own right, 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, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. added 2019-12-06
    Reseña de ' Los Límites Exteriores de la Razón '(The Outer Limits of Reason) por Noson Yanofsky 403p (2013) (revision revisada 2019).Michael Richard Starks - 2019 - In Delirios Utópicos Suicidas en el Siglo 21 La filosofía, la naturaleza humana y el colapso de la civilización Artículos y reseñas 2006-2019 4a Edición. Las Vegas, NV USA: Reality Press. pp. 283-298.
    Doy una revisión detallada de ' los límites externos de la razón ' por Noson Yanofsky desde una perspectiva unificada de Wittgenstein y la psicología evolutiva. Yo indiqué que la dificultad con cuestiones como la paradoja en el lenguaje y las matemáticas, la incompletitud, la indeterminación, la computabilidad, el cerebro y el universo como ordenadores, etc., surgen de la falta de mirada cuidadosa a nuestro uso del lenguaje en el adecuado contexto y, por tanto, el Error al separar los problemas (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  4. added 2019-12-05
    Wolpert, Chaitin y Wittgenstein sobre la imposibilidad, la incompletitud, la paradoja mentirosa, el teísmo, los límites de la computación, un principio de incertidumbre mecánica no cuántica y el universo como computadora, el teorema definitivo en la teoría de la máquina de Turing (revisado en 2019).Michael Richard Starks - 2019 - In Delirios Utópicos Suicidas en el Siglo 21 La filosofía, la naturaleza humana y el colapso de la civilización Artículos y reseñas 2006-2019 4a Edición. Las Vegas, NV USA: Reality Press. pp. 278-282.
    He leído muchas discusiones recientes sobre los límites de la computación y el universo como computadora, con la esperanza de encontrar algunos comentarios sobre el increíble trabajo del físico polimatemático y teórico de la decisión David Wolpert pero no han encontrado una sola citación y así que presento esta muy breve Resumen. Wolpert demostró algunos teoremas sorprendentes de imposibilidad o incompletos (1992 a 2008-ver arxiv dot org) en los límites de la inferencia (computación) que son tan generales que son independientes (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. added 2019-03-18
    Extending Mechanics to Minds: The Mechanical Foundations of Psychology and Economics.Jon Doyle - 2006 - Cambridge, UK: Cambridge University Press.
  6. added 2019-02-01
    Physical Computation and Cognitive Science, by Nir Fresco: Heidelberg: Springer, 2014, Pp. Xxii + 229, 99,99€. [REVIEW]Gordana Dodig-Crnkovic - 2016 - Australasian Journal of Philosophy 94 (2):396-399.
    This is review of the book "Physical Computation and Cognitive Science" by Nir Fresco: http://www.springer.com/la/book/9783642413742.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  7. added 2019-01-25
    Individuation Without Representation.Joe Dewhurst - 2018 - British Journal for the Philosophy of Science 69 (1):103-116.
    ABSTRACT Shagrir and Sprevak explore the apparent necessity of representation for the individuation of digits in computational systems.1 1 I will first offer a response to Sprevak’s argument that does not mention Shagrir’s original formulation, which was more complex. I then extend my initial response to cover Shagrir’s argument, thus demonstrating that it is possible to individuate digits in non-representational computing mechanisms. I also consider the implications that the non-representational individuation of digits would have for the broader theory of computing (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  8. added 2019-01-05
    Morphological Computation: Nothing but Physical Computation.Marcin Miłkowski - 2018 - Entropy 10 (20):942.
    The purpose of this paper is to argue against the claim that morphological computation is substantially different from other kinds of physical computation. I show that some (but not all) purported cases of morphological computation do not count as specifically computational, and that those that do are solely physical computational systems. These latter cases are not, however, specific enough: all computational systems, not only morphological ones, may (and sometimes should) be studied in various ways, including their energy efficiency, cost, reliability, (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  9. added 2019-01-05
    From Computer Metaphor to Computational Modeling: The Evolution of Computationalism.Marcin Miłkowski - 2018 - Minds and Machines 28 (3):515-541.
    In this paper, I argue that computationalism is a progressive research tradition. Its metaphysical assumptions are that nervous systems are computational, and that information processing is necessary for cognition to occur. First, the primary reasons why information processing should explain cognition are reviewed. Then I argue that early formulations of these reasons are outdated. However, by relying on the mechanistic account of physical computation, they can be recast in a compelling way. Next, I contrast two computational models of working memory (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10. added 2018-06-28
    Complex Organisation and Fundamental Physics.Brian D. Josephson - 2018 - Streaming Media Service, Cambridge University.
    The file on this site provides the slides for a lecture given in Hangzhou in May 2018, and the lecture itself is available at the URL beginning 'sms' in the set of links provided in connection with this item. -/- It is commonly assumed that regular physics underpins biology. Here it is proposed, in a synthesis of ideas by various authors, that in reality structures and mechanisms of a biological character underpin the world studied by physicists, in principle supplying detail (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. added 2018-04-10
    The Nature of Computational Things.Franck Varenne - 2013 - In Frédéric Migayrou Brayer & Marie-Ange (eds.), Naturalizing Architecture. Orléans: HYX Editions. pp. 96-105.
    Architecture often relies on mathematical models, if only to anticipate the physical behavior of structures. Accordingly, mathematical modeling serves to find an optimal form given certain constraints, constraints themselves translated into a language which must be homogeneous to that of the model in order for resolution to be possible. Traditional modeling tied to design and architecture thus appears linked to a topdown vision of creation, of the modernist, voluntarist and uniformly normative type, because usually (mono)functionalist. One available instrument of calculation/representation/prescription (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. added 2018-01-25
    A Mechanistic Account of Wide Computationalism.Luke Kersten - 2017 - Review of Philosophy and Psychology 8 (3):501-517.
    The assumption that psychological states and processes are computational in character pervades much of cognitive science, what many call the computational theory of mind. In addition to occupying a central place in cognitive science, the computational theory of mind has also had a second life supporting “individualism”, the view that psychological states should be taxonomized so as to supervene only on the intrinsic, physical properties of individuals. One response to individualism has been to raise the prospect of “wide computational systems”, (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13. added 2017-10-11
    Cognition, Computing and Dynamic Systems.Mario Villalobos & Joe Dewhurst - 2016 - Límite. Revista Interdisciplinaria de Filosofía y Psicología 1.
    Traditionally, computational theory (CT) and dynamical systems theory (DST) have presented themselves as opposed and incompatible paradigms in cognitive science. There have been some efforts to reconcile these paradigms, mainly, by assimilating DST to CT at the expenses of its anti-representationalist commitments. In this paper, building on Piccinini’s mechanistic account of computation and the notion of functional closure, we explore an alternative conciliatory strategy. We try to assimilate CT to DST by dropping its representationalist commitments, and by inviting CT to (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. added 2017-10-11
    On Limiting Procedures.Mm Yanase - 1988 - Annals of the Japan Association for Philosophy of Science 7 (3):125-129.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. added 2017-10-11
    Effective Procedures Versus Elementary Units of Behavior.John M. Hollerbach - 1981 - Behavioral and Brain Sciences 4 (4):625-627.
  16. added 2017-05-06
    A Simplicity Criterion for Physical Computation.Tyler Millhouse - 2019 - British Journal for the Philosophy of Science 70 (1):153-178.
    The aim of this paper is to offer a formal criterion for physical computation that allows us to objectively distinguish between competing computational interpretations of a physical system. The criterion construes a computational interpretation as an ordered pair of functions mapping (1) states of a physical system to states of an abstract machine, and (2) inputs to this machine to interventions in this physical system. This interpretation must ensure that counterfactuals true of the abstract machine have appropriate counterparts which are (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  17. added 2017-04-10
    Enactive Autonomy in Computational Systems.Mario Villalobos & Joe Dewhurst - 2018 - Synthese 195 (5):1891-1908.
    In this paper we will demonstrate that a computational system can meet the criteria for autonomy laid down by classical enactivism. The two criteria that we will focus on are operational closure and structural determinism, and we will show that both can be applied to a basic example of a physically instantiated Turing machine. We will also address the question of precariousness, and briefly suggest that a precarious Turing machine could be designed. Our aim in this paper is to challenge (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  18. added 2017-03-24
    Functional Individuation, Mechanistic Implementation: The Proper Way of Seeing the Mechanistic View of Concrete Computation.Dimitri Coelho Mollo - 2018 - Synthese 195 (8):3477-3497.
    I examine a major objection to the mechanistic view of concrete computation, stemming from an apparent tension between the abstract nature of computational explanation and the tenets of the mechanistic framework: while computational explanation is medium-independent, the mechanistic framework insists on the importance of providing some degree of structural detail about the systems target of the explanation. I show that a common reply to the objection, i.e. that mechanistic explanation of computational systems involves only weak structural constraints, is not enough (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  19. added 2017-01-30
    Client-Server Based Remote Access Through the Internet: Internet Based Remote Process Control.Mohammed Abdullah Hussein - 2011 - Germany: LAP Lambert Academic Publishing.
    Internet based process control usage has grown in the past years. Industry field demands were behind this, and it ranges from factory, office and home automation to tasks simplifications and cost reduction. In this book a hardware interface circuit and a software system used to control the temperature and level of a liquid tank is described. The advantage of the designed interface circuit is its simplicity and low cost. The same can be true for the software system in which we (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  20. added 2016-12-08
    Indistinguishable From Magic: Computation is Cognitive Technology. [REVIEW]John Kadvany - 2010 - Minds and Machines 20 (1):119-143.
    This paper explains how mathematical computation can be constructed from weaker recursive patterns typical of natural languages. A thought experiment is used to describe the formalization of computational rules, or arithmetical axioms, using only orally-based natural language capabilities, and motivated by two accomplishments of ancient Indian mathematics and linguistics. One accomplishment is the expression of positional value using versified Sanskrit number words in addition to orthodox inscribed numerals. The second is Pāṇini’s invention, around the fifth century BCE, of a formal (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  21. added 2016-12-08
    Effective Computation by Humans and Machines.Shagrir Oron - 2002 - Minds and Machines 12 (2):221-240.
    There is an intensive discussion nowadays about the meaning of effective computability, with implications to the status and provability of the Church–Turing Thesis (CTT). I begin by reviewing what has become the dominant account of the way Turing and Church viewed, in 1936, effective computability. According to this account, to which I refer as the Gandy–Sieg account, Turing and Church aimed to characterize the functions that can be computed by a human computer. In addition, Turing provided a highly convincing argument (...)
    Remove from this list   Direct download (15 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  22. added 2016-12-08
    Architectures of Intelligent Systems.David Kirsh - 1992 - Exploring Brain Functions:293-321.
    Theories of intelligence can be of use to neuroscientists if they: 1. Provide illuminating suggestions about the functional architecture of neural systems; 2. Suggest specific models of processing that neural circuits might implement. The objective of our session was to stand back and consider the prospects for this interdisciplinary exchange.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23. added 2016-12-05
    DDoS Protection With IPtables.Constantin Oesterling - 2016 - InfoSec:15.
    Research on the most effective Linux iptables rules to mitigate Distributed Denial of Service (DDoS) attacks.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. added 2016-10-09
    There’s Plenty of Boole at the Bottom: A Reversible CA Against Information Entropy.Francesco Berto, Jacopo Tagliabue & Gabriele Rossi - 2016 - Minds and Machines 26 (4):341-357.
    “There’s Plenty of Room at the Bottom”, said the title of Richard Feynman’s 1959 seminal conference at the California Institute of Technology. Fifty years on, nanotechnologies have led computer scientists to pay close attention to the links between physical reality and information processing. Not all the physical requirements of optimal computation are captured by traditional models—one still largely missing is reversibility. The dynamic laws of physics are reversible at microphysical level, distinct initial states of a system leading to distinct final (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  25. added 2016-09-15
    Unfolding Cognitive Capacities.Jacques Dubucs - 2006 - In D. Andler, M. Okada & I. Watanabe (eds.), Reasoning and Cognition. pp. 95--101.
    As regards cognitive capacities, the point of view of classical Artificial Intelligence has been much challenged by the so-called emergentist point of view. This paper attempts to outline,on the basis of logical considerations dealing with practical feasibility, a general theory of incompressible unfolding that is consonant with an old Leibnizian stance rather with the contemporary theory of complexity. I defend a variant of emergentism according to which any process that leads to endow a system with cognitive capacities is such an (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  26. added 2016-07-02
    Utopias and Dystopias as Cybernetic Information Systems: Envisioning the Posthuman Neuropolity.Matthew E. Gladden - 2015 - Creatio Fantastica (3 (50)).
    While it is possible to understand utopias and dystopias as particular kinds of sociopolitical systems, in this text we argue that utopias and dystopias can also be understood as particular kinds of information systems in which data is received, stored, generated, processed, and transmitted by the minds of human beings that constitute the system’s ‘nodes’ and which are connected according to specific network topologies. We begin by formulating a model of cybernetic information-processing properties that characterize utopias and dystopias. It is (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  27. added 2016-06-10
    Computation and Multiple Realizability.Marcin Miłkowski - 2016 - In Vincent Müller (ed.), Fundamental Issues of Artificial Intelligence. Springer. pp. 29-41.
    Multiple realizability (MR) is traditionally conceived of as the feature of computational systems, and has been used to argue for irreducibility of higher-level theories. I will show that there are several ways a computational system may be seen to display MR. These ways correspond to (at least) five ways one can conceive of the function of the physical computational system. However, they do not match common intuitions about MR. I show that MR is deeply interest-related, and for this reason, difficult (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28. added 2016-04-02
    Review of Computability: Turing, Gödel, Church, and Beyond. [REVIEW]Andrew Arana - 2015 - Notre Dame Philosophical Reviews 3 (20).
  29. added 2016-03-15
    Computing Mechanisms and Autopoietic Systems.Joe Dewhurst - 2016 - In Vincent Müller (ed.), Computing and Philosophy. Springer Verlag. pp. 17-26.
    This chapter draws an analogy between computing mechanisms and autopoietic systems, focusing on the non-representational status of both kinds of system (computational and autopoietic). It will be argued that the role played by input and output components in a computing mechanism closely resembles the relationship between an autopoietic system and its environment, and in this sense differs from the classical understanding of inputs and outputs. The analogy helps to make sense of why we should think of computing mechanisms as non-representational, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. added 2016-03-11
    Why Build a Virtual Brain? Large-Scale Neural Simulations as Jump Start for Cognitive Computing.Matteo Colombo - 2016 - Journal of Experimental and Theoretical Artificial Intelligence.
    Despite the impressive amount of financial resources recently invested in carrying out large-scale brain simulations, it is controversial what the pay-offs are of pursuing this project. One idea is that from designing, building, and running a large-scale neural simulation, scientists acquire knowledge about the computational performance of the simulating system, rather than about the neurobiological system represented in the simulation. It has been claimed that this knowledge may usher in a new era of neuromorphic, cognitive computing systems. This study elucidates (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31. added 2016-03-09
    Erratum To: A Revised Attack on Computational Ontology. [REVIEW]Nir Fresco & Phillip J. Staines - 2014 - Minds and Machines 24 (1):141-141.
    Erratum to: Minds & Machines DOI 10.1007/s11023-013-9327-1Acknowledgment was omitted from the original publication of this article, and appears below.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  32. added 2016-03-04
    The Role of 'Complex' Empiricism in the Debates About Satellite Data and Climate Models.Elisabeth A. Lloyd - 2012 - Studies in History and Philosophy of Science Part A 43 (2):390-401.
    climate scientists have been engaged in a decades-long debate over the standing of satellite measurements of the temperature trends of the atmosphere above the surface of the earth. This is especially significant because skeptics of global warming and the greenhouse effect have utilized this debate to spread doubt about global climate models used to predict future states of climate. I use this case from an under-studied science to illustrate two distinct philosophical approaches to the relation among data, scientists, measurement, models, (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  33. added 2016-01-31
    What is a Digital State?Vincent C. Müller - 2013 - In Mark J. Bishop & Yasemin Erden (eds.), The Scandal of Computation - What is Computation? - AISB Convention 2013. AISB. pp. 11-16.
    There is much discussion about whether the human mind is a computer, whether the human brain could be emulated on a computer, and whether at all physical entities are computers (pancomputationalism). These discussions, and others, require criteria for what is digital. I propose that a state is digital if and only if it is a token of a type that serves a particular function - typically a representational function for the system. This proposal is made on a syntactic level, assuming (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. added 2015-02-23
    Agent-Based Modeling: The Right Mathematics for the Social Sciences?Paul L. Borrill & Leigh Tesfatsion - 2011 - In J. B. Davis & D. W. Hands (eds.), Elgar Companion to Recent Economic Methodology. Edward Elgar Publishers. pp. 228.
    This study provides a basic introduction to agent-based modeling (ABM) as a powerful blend of classical and constructive mathematics, with a primary focus on its applicability for social science research. The typical goals of ABM social science researchers are discussed along with the culture-dish nature of their computer experiments. The applicability of ABM for science more generally is also considered, with special attention to physics. Finally, two distinct types of ABM applications are summarized in order to illustrate concretely the duality (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. added 2014-09-22
    Ed Fredkin and the Physics of Information - An Inside Story of an Outsider Scientist.Amit Hagar - 2016 - Information and Culture 51 (3):419-443.
    This article tells the story of Ed Fredkin, a pilot, programmer, engineer, hardware designer and entrepreneur, whose work inside and outside academia has influenced major developments in computer science and in the foundations of theoretical physics for the past fifty years.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  36. added 2014-07-10
    Review of Probably Approximately Correct. [REVIEW]Christopher Mole - 2013 - TLS: The Times Literary Supplement 5772:32.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  37. added 2014-05-05
    Hans Moravec, Robot. Mere Machine to Transcendent Mind, New York, NY: Oxford University Press, Inc., 1999, IX + 227 Pp., $25.00 (Cloth), ISBN 0-19-511630-. [REVIEW]Peter M. Asaro - 2001 - Minds and Machines 11 (1):143-147.
  38. added 2014-04-29
    From Logic to Physics: How the Meaning of Computation Changed Over Time.Itamar Pitowsky - unknown
    The intuition guiding the de…nition of computation has shifted over time, a process that is re‡ected in the changing formulations of the Church-Turing thesis. The theory of computation began with logic and gradually moved to the capacity of …nite automata. Consequently, modern computer models rely on general physical principles, with quantum computers representing the extreme case. The paper discusses this development, and the challenges to the Church-Turing thesis in its physical form, in particular, Kieu’s quantum computer and relativistic hyper-computation. Finally, (...)
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  39. added 2014-04-28
    Eric Winsberg: Science in the Age of Computer Simulation: The University of Chicago Press, Chicago, IL, 2010, 168 Pp., $ 24.00 , ISBN: 978-0-226-90204-3. [REVIEW]Stefan Gruner - 2013 - Minds and Machines 23 (2):251-254.
  40. added 2014-04-28
    Some Philosophical Issues in Computer Science.Amnon H. Eden - 2011 - Minds and Machines 21 (2):123-133.
    The essays included in the special issue dedicated to the philosophy of computer science examine new philosophical questions that arise from reflection upon conceptual issues in computer science and the insights such an enquiry provides into ongoing philosophical debates.
    Remove from this list   Direct download (14 more)  
     
    Export citation  
     
    Bookmark  
  41. added 2014-04-28
    Three Paradigms of Computer Science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.
    We examine the philosophical disputes among computer scientists concerning methodological, ontological, and epistemological questions: Is computer science a branch of mathematics, an engineering discipline, or a natural science? Should knowledge about the behaviour of programs proceed deductively or empirically? Are computer programs on a par with mathematical objects, with mere data, or with mental processes? We conclude that distinct positions taken in regard to these questions emanate from distinct sets of received beliefs or paradigms within the discipline: – The rationalist (...)
    Remove from this list   Direct download (15 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  42. added 2014-04-23
    Dynamic Mechanistic Explanation: Computational Modeling of Circadian Rhythms as an Exemplar for Cognitive Science.William Bechtel & Adele Abrahamsen - 2010 - Studies in History and Philosophy of Science Part A 41 (3):321-333.
    Two widely accepted assumptions within cognitive science are that (1) the goal is to understand the mechanisms responsible for cognitive performances and (2) computational modeling is a major tool for understanding these mechanisms. The particular approaches to computational modeling adopted in cognitive science, moreover, have significantly affected the way in which cognitive mechanisms are understood. Unable to employ some of the more common methods for conducting research on mechanisms, cognitive scientists’ guiding ideas about mechanism have developed in conjunction with their (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   75 citations  
  43. added 2014-04-23
    The Newell Test for a Theory of Cognition.John R. Anderson & Christian Lebiere - 2003 - Behavioral and Brain Sciences 26 (5):587-601.
    Newell proposed that cognitive theories be developed in an effort to satisfy multiple criteria and to avoid theoretical myopia. He provided two overlapping lists of 13 criteria that the human cognitive architecture would have to satisfy in order to be functional. We have distilled these into 12 criteria: flexible behavior, real-time performance, adaptive behavior, vast knowledge base, dynamic behavior, knowledge integration, natural language, learning, development, evolution, and brain realization. There would be greater theoretical progress if we evaluated theories by a (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  44. added 2014-04-02
    The Instructional Information Processing Account of Digital Computation.Nir Fresco & Marty J. Wolf - 2014 - Synthese 191 (7):1469-1492.
    What is nontrivial digital computation? It is the processing of discrete data through discrete state transitions in accordance with finite instructional information. The motivation for our account is that many previous attempts to answer this question are inadequate, and also that this account accords with the common intuition that digital computation is a type of information processing. We use the notion of reachability in a graph to defend this characterization in memory-based systems and underscore the importance of instructional information for (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  45. added 2014-04-01
    Searle, Syntax, and Observer Relativity.Ronald P. Endicott - 1996 - Canadian Journal of Philosophy 26 (1):101-22.
    I critically examine some provocative arguments that John Searle presents in his book The Rediscovery of Mind to support the claim that the syntactic states of a classical computational system are "observer relative" or "mind dependent" or otherwise less than fully and objectively real. I begin by explaining how this claim differs from Searle's earlier and more well-known claim that the physical states of a machine, including the syntactic states, are insufficient to determine its semantics. In contrast, his more recent (...)
    Remove from this list   Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  46. added 2014-03-31
    Parallel Machines.Andrew Boucher - 1997 - Minds and Machines 7 (4):543-551.
    Because it is time-dependent, parallel computation is fundamentally different from sequential computation. Parallel programs are non-deterministic and are not effective procedures. Given the brain operates in parallel, this casts doubt on AI's attempt to make sequential computers intelligent.
    Remove from this list   Direct download (12 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47. added 2014-03-29
    What is Computation?B. Jack Copeland - 1996 - Synthese 108 (3):335-59.
    To compute is to execute an algorithm. More precisely, to say that a device or organ computes is to say that there exists a modelling relationship of a certain kind between it and a formal specification of an algorithm and supporting architecture. The key issue is to delimit the phrase of a certain kind. I call this the problem of distinguishing between standard and nonstandard models of computation. The successful drawing of this distinction guards Turing's 1936 analysis of computation against (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   58 citations  
  48. added 2014-03-27
    Structure and Dynamics in Implementation of Computations.Jacques Mallah - forthcoming - In Yasemin J. Erden (ed.), Proceedings of the 7th AISB Symposium on Computing and Philosophy:. AISB.
    Without a proper restriction on mappings, virtually any system could be seen as implementing any computation. That would not allow characterization of systems in terms of implemented computations and is not compatible with a computationalist philosophy of mind. Information-based criteria for independence of substates within structured states are proposed as a solution. Objections to the use of requirements for transitions in counterfactual states are addressed, in part using the partial-brain argument as a general counterargument to neural replacement arguments.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. added 2014-03-24
    Consciousness and Computation.Paul Schweizer - 2002 - Minds and Machines 12 (1):143-144.
  50. added 2014-03-24
    On Effective Procedures.Carol E. Cleland - 2002 - Minds and Machines 12 (2):159-179.
    Since the mid-twentieth century, the concept of the Turing machine has dominated thought about effective procedures. This paper presents an alternative to Turing's analysis; it unifies, refines, and extends my earlier work on this topic. I show that Turing machines cannot live up to their billing as paragons of effective procedure; at best, they may be said to provide us with mere procedure schemas. I argue that the concept of an effective procedure crucially depends upon distinguishing procedures as definite courses (...)
    Remove from this list   Direct download (14 more)  
     
    Export citation  
     
    Bookmark   8 citations  
1 — 50 / 84