Switch to: References

Add citations

You must login to add citations.
  1. Miscomputation.Nir Fresco & Giuseppe Primiero - 2013 - Philosophy and Technology 26 (3):253-272.
    The phenomenon of digital computation is explained (often differently) in computer science, computer engineering and more broadly in cognitive science. Although the semantics and implications of malfunctions have received attention in the philosophy of biology and philosophy of technology, errors in computational systems remain of interest only to computer science. Miscomputation has not gotten the philosophical attention it deserves. Our paper fills this gap by offering a taxonomy of miscomputations. This taxonomy is underpinned by a conceptual analysis of the design (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • (1 other version)Computational Artifacts: the Things of Computer Science.Raymond Turner - 2019 - Philosophy and Technology 10 (2):47-69.
    The reviewers Rapaport, Stephanou, Angius, Primiero, and Bringsjord of Turner cover a broad range of topics in the philosophy of computer science. They either challenge the positions outlined in Turner or offer a more refined analysis. This article is a response to their challenges.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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  
  • From Coding To Curing. Functions, Implementations, and Correctness in Deep Learning.Nicola Angius & Alessio Plebe - 2023 - Philosophy and Technology 36 (3):1-27.
    This paper sheds light on the shift that is taking place from the practice of ‘coding’, namely developing programs as conventional in the software community, to the practice of ‘curing’, an activity that has emerged in the last few years in Deep Learning (DL) and that amounts to curing the data regime to which a DL model is exposed during training. Initially, the curing paradigm is illustrated by means of a study-case on autonomous vehicles. Subsequently, the shift from coding to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Understanding Error Rates in Software Engineering: Conceptual, Empirical, and Experimental Approaches.Jack K. Horner & John Symons - 2019 - Philosophy and Technology 32 (2):363-378.
    Software-intensive systems are ubiquitous in the industrialized world. The reliability of software has implications for how we understand scientific knowledge produced using software-intensive systems and for our understanding of the ethical and political status of technology. The reliability of a software system is largely determined by the distribution of errors and by the consequences of those errors in the usage of that system. We select a taxonomy of software error types from the literature on empirically observed software errors and compare (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)Computational Artifacts: the Things of Computer Science.Raymond Turner - 2020 - Philosophy and Technology 33 (2):357-367.
    The reviewers Rapaport, Stephanou, Angius, Primiero, and Bringsjord of Turner cover a broad range of topics in the philosophy of computer science. They either challenge the positions outlined in Turner or offer a more refined analysis. This article is a response to their challenges.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Semantics of Untrustworthiness.Giuseppe Primiero & Laszlo Kosolosky - 2016 - Topoi 35 (1):253-266.
    We offer a formal treatment of the semantics of both complete and incomplete mistrustful or distrustful information transmissions. The semantics of such relations is analysed in view of rules that define the behaviour of a receiving agent. We justify this approach in view of human agent communications and secure system design. We further specify some properties of such relations.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Design, Malfunction, Validity: Three More Tasks for the Philosophy of Computing.Giuseppe Primiero - 2020 - Philosophy and Technology 33 (2):331-337.
    We present a review of Raymond Turner’s Book Computational Artifacts – Towards a Philosophy of Computer Science, focusing on three main topics: Design, Malfunction, and Validity.
    Download  
     
    Export citation  
     
    Bookmark   2 citations