Switch to: References

Add citations

You must login to add citations.
  1. Individual homogenization in large-scale systems: on the politics of computer and social architectures.Jens Bürger & Andres Laguna-Tapia - 2020 - Palgrave Communications 6 (47).
    One determining characteristic of contemporary sociopolitical systems is their power over increasingly large and diverse populations. This raises questions about power relations between heterogeneous individuals and increasingly dominant and homogenizing system objectives. This article crosses epistemic boundaries by integrating computer engineering and a historicalphilosophical approach making the general organization of individuals within large-scale systems and corresponding individual homogenization intelligible. From a versatile archeological-genealogical perspective, an analysis of computer and social architectures is conducted that reinterprets Foucault’s disciplines and political anatomy to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Why There is no General Solution to the Problem of Software Verification.John Symons & Jack K. Horner - 2020 - Foundations of Science 25 (3):541-557.
    How can we be certain that software is reliable? Is there any method that can verify the correctness of software for all cases of interest? Computer scientists and software engineers have informally assumed that there is no fully general solution to the verification problem. In this paper, we survey approaches to the problem of software verification and offer a new proof for why there can be no general solution.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Software Intensive Science.John Symons & Jack Horner - 2014 - Philosophy and Technology 27 (3):461-477.
    This paper argues that the difference between contemporary software intensive scientific practice and more traditional non-software intensive varieties results from the characteristically high conditionality of software. We explain why the path complexity of programs with high conditionality imposes limits on standard error correction techniques and why this matters. While it is possible, in general, to characterize the error distribution in inquiry that does not involve high conditionality, we cannot characterize the error distribution in inquiry that depends on software. Software intensive (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • What Can We Know of Computational Information? Measuring, Quantity, and Quality at Work in Programmable Artifacts.Federico Gobbo & Marco Benini - 2016 - Topoi 35 (1):203-212.
    This paper explores the problem of knowledge in computational informational organisms, i.e. organisms that include a computing machinery at the artifact side. Although information can be understood in many ways, from the second half of the past century information is getting more and more digitised, von Neumann machines becoming dominant. Computational information is a challenge for the act of measuring, as neither purely quantitative nor totally qualitative approaches satisfy the need to explain the interplay among the agents producing and managing (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The determinacy of computation.André Curtis-Trudel - 2022 - Synthese 200 (1):1-28.
    A skeptical worry known as ‘the indeterminacy of computation’ animates much recent philosophical reflection on the computational identity of physical systems. On the one hand, computational explanation seems to require that physical computing systems fall under a single, unique computational description at a time. On the other, if a physical system falls under any computational description, it seems to fall under many simultaneously. Absent some principled reason to take just one of these descriptions in particular as relevant for computational explanation, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Distributed Adaptations: Can a Species Be Adapted While No Single Individual Carries the Adaptation?Ehud Lamm & Oren Kolodny - 2022 - Frontiers in Ecology and Evolution 10.
    Species’ adaptation to their environments occurs via a range of mechanisms of adaptation. These include genetic adaptations as well as non-traditional inheritance mechanisms such as learned behaviors, niche construction, epigenetics, horizontal gene transfer, and alteration of the composition of a host’s associated microbiome. We propose to supplement these with another modality of eco-evolutionary dynamics: cases in which adaptation to the environment occurs via what may be called a “distributed adaptation,” in which the adaptation is not conferred via something carried by (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation