Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)The Calculi of Lambda-Conversion.Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):171-171.
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • The Calculi of Lambda-conversion.Alonzo Church - 1985 - Princeton, NJ, USA: Princeton University Press.
    Download  
     
    Export citation  
     
    Bookmark   75 citations  
  • IV.—Mechanical Explanation and Its Alternatives.C. D. Broad - 1919 - Proceedings of the Aristotelian Society 19 (1):86-124.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Emergence and Its Place in Nature: A Case Study of Biochemical Networks.Fred C. Boogerd, Frank J. Bruggeman, Robert C. Richardson, Achim Stephan & Hans V. Westerhoff - 2005 - Synthese 145 (1):131 - 164.
    We will show that there is a strong form of emergence in cell biology. Beginning with C.D. Broad's classic discussion of emergence, we distinguish two conditions sufficient for emergence. Emergence in biology must be compatible with the thought that all explanations of systemic properties are mechanistic explanations and with their sufficiency. Explanations of systemic properties are always in terms of the properties of the parts within the system. Nonetheless, systemic properties can still be emergent. If the properties of the components (...)
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  • Is weak emergence just in the mind?Mark A. Bedau - 2008 - Minds and Machines 18 (4):443-459.
    Weak emergence is the view that a system’s macro properties can be explained by its micro properties but only in an especially complicated way. This paper explains a version of weak emergence based on the notion of explanatory incompressibility and “crawling the causal web.” Then it examines three reasons why weak emergence might be thought to be just in the mind. The first reason is based on contrasting mere epistemological emergence with a form of ontological emergence that involves irreducible downward (...)
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  • The Withering Immortality of Nicolas Bourbaki: A Cultural Connector at the Confluence of Mathematics, Structuralism, and the Oulipo in France.David Aubin - 1997 - Science in Context 10 (2):297-342.
    The group of mathematicians known as Bourbaki persuasively proclaimed the isolation of its field of research – pure mathematics – from society and science. It may therefore seem paradoxical that links with larger French cultural movements, especially structuralism and potential literature, are easy to establish. Rather than arguing that the latter were a consequence of the former, which they were not, I show that all of these cultural movements, including the Bourbakist endeavor, emerged together, each strengthening the public appeal of (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Extending Ourselves: Computational Science, Empiricism, and Scientific Method.Paul Humphreys - 2004 - New York, US: Oxford University Press.
    Computational methods such as computer simulations, Monte Carlo methods, and agent-based modeling have become the dominant techniques in many areas of science. Extending Ourselves contains the first systematic philosophical account of these new methods, and how they require a different approach to scientific method. Paul Humphreys draws a parallel between the ways in which such computational methods have enhanced our abilities to mathematically model the world, and the more familiar ways in which scientific instruments have expanded our access to the (...)
    Download  
     
    Export citation  
     
    Bookmark   282 citations  
  • Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.
    Download  
     
    Export citation  
     
    Bookmark   252 citations  
  • On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
    Download  
     
    Export citation  
     
    Bookmark   718 citations  
  • Science in action: how to follow scientists and engineers through society.Bruno Latour - 1987 - Cambridge: Harvard University Press.
    In this book Bruno Latour brings together these different approaches to provide a lively and challenging analysis of science, demonstrating how social context..
    Download  
     
    Export citation  
     
    Bookmark   1205 citations  
  • Science avec conscience.Edgar Morin - 1982
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • A New Kind of Science.Stephen Wolfram - 2002 - Wolfram Media.
    NOW IN PAPERBACK"€"Starting from a collection of simple computer experiments"€"illustrated in the book by striking computer graphics"€"Stephen Wolfram shows how their unexpected results force a whole new way of looking at the operation of our universe.
    Download  
     
    Export citation  
     
    Bookmark   201 citations  
  • Synchronic and diachronic emergence.Paul Humphreys - 2008 - Minds and Machines 18 (4):431-442.
    I discuss here a number of different kinds of diachronic emergence, noting that they differ in important ways from synchronic conceptions. I argue that Bedau’s weak emergence has an essentially historical aspect, in that there can be two indistinguishable states, one of which is weakly emergent, the other of which is not. As a consequence, weak emergence is about tokens, not types, of states. I conclude by examining the question of whether the concept of weak emergence is too weak and (...)
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • The philosophy of computer science: Introduction to the special issue. [REVIEW]Raymond Turner - 2007 - Minds and Machines 17 (2):129-133.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • A New Kind of Science.Stephen Wolfram - 2002 - Bulletin of Symbolic Logic 10 (1):112-114.
    Download  
     
    Export citation  
     
    Bookmark   220 citations  
  • Agent‐based computational models and generative social science.Joshua M. Epstein - 1999 - Complexity 4 (5):41-60.
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • Dynamical emergence and computation: An introduction. [REVIEW]Philippe Huneman & Paul Humphreys - 2008 - Minds and Machines 18 (4):425-430.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Emergence made ontological? Computational versus combinatorial approaches.Philippe Huneman - 2008 - Philosophy of Science 75 (5):595-607.
    I challenge the usual approach of defining emergence in terms of properties of wholes “emerging” upon properties of parts. This approach indeed fails to meet the requirement of nontriviality, since it renders a bunch of ordinary properties emergent; however, by defining emergence as the incompressibility of a simulation process, we have an objective meaning of emergence because the difference between the processes satisfying the incompressibility criterion and the other processes does not depend on our cognitive abilities. Finally, this definition fulfills (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • (1 other version)Philosophy of Mathematics: Structure and Ontology.Stewart Shapiro - 2000 - Philosophical Quarterly 50 (198):120-123.
    Download  
     
    Export citation  
     
    Bookmark   255 citations