View topic on PhilPapers for more information
Related categories

4 found
Order:
More results on PhilPapers
  1. added 2019-07-22
    Real Patterns and Indispensability.Abel Suñé & Manolo Martínez - manuscript
    While scientific inquiry crucially relies on the extraction of patterns from data, we still have a very imperfect understanding of the metaphysics of patterns—and, in particular, of what it is that makes a pattern real. In this paper we derive a criterion of real-patternhood from the notion of conditional Kolmogorov complexity. The resulting account belongs in the philosophical tradition, initiated by Dennett, that links real-patternhood to data compressibility, but is simpler and formally more perspicuous than other proposals defended heretofore in (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. added 2016-03-17
    Simulation as Formal and Generative Social Science: The Very Idea.Nuno David, Jaime Sichman & Helder Coelho - 2007 - In Carlos Gershenson, Diederik Aerts & Bruce Edmonds (eds.), Worldviews, Science, and Us: Philosophy and Complexity. World Scientific. pp. 266--275.
    The formal and empirical-generative perspectives of computation are demonstrated to be inadequate to secure the goals of simulation in the social sciences. Simulation does not resemble formal demonstrations or generative mechanisms that deductively explain how certain models are sufficient to generate emergent macrostructures of interest. The description of scientific practice implies additional epistemic conceptions of scientific knowledge. Three kinds of knowledge that account for a comprehensive description of the discipline were identified: formal, empirical and intentional knowledge. The use of formal (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  3. added 2016-03-17
    The Structure and Logic of Interdisciplinary Research in Agent-Based Social Simulation.Nuno David, Maria Marietto, Jaime Sichman & Helder Coelho - 2004 - Journal of Artificial Societies and Social Simulation 7 (3).
    This article reports an exploratory survey of the structure of interdisciplinary research in Agent-Based Social Simulation. One hundred and ninety six researchers participated in the survey completing an on-line questionnaire. The questionnaire had three distinct sections, a classification of research domains, a classification of models, and an inquiry into software requirements for designing simulation platforms. The survey results allowed us to disambiguate the variety of scientific goals and modus operandi of researchers with a reasonable level of detail, and to identify (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. added 2012-07-04
    Proofs Are Programs: 19th Century Logic and 21st Century Computing.Philip Wadler - manuscript
    As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were driven by nothing other than an abiding interest in truth, and their proofs were as ethereal as the mind of God. Yet within decades these mathematical abstractions were realized by the hand of man, in the digital stored-program computer. How it came to be recognized that proofs and programs are the same thing is a story that spans a century, a chase with as (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark