- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Reply to Angius and Primiero on Software Intensive Science
Philosophy and Technology 27 (3):491-494 (2014)
Abstract
This paper provides a reply to articles by Nicola Angius and Guiseppe Primiero responding to our paper “Software Intensive Science”Author's Profile
My notes
Similar books and articles
Computational Idealizations in Software Intensive Science: a Comment on Symons’ and Horner’s paper.Nicola Angius - 2014 - Philosophy and Technology 27 (3):479-484.
Software Intensive Science.John Symons & Jack Horner - 2014 - Philosophy and Technology 27 (3):461-477.
On the Ontology of the Computing Process and the Epistemology of the Computed.Giuseppe Primiero - 2014 - Philosophy and Technology 27 (3):485-489.
The Problem of Justification of Empirical Hypotheses in Software Testing.Nicola Angius - 2014 - Philosophy and Technology 27 (3):423-439.
Abstraction and Idealization in the Formal Verification of Software Systems.Nicola Angius - 2013 - Minds and Machines 23 (2):211-226.
Problems for a Philosophy of Software Engineering.Stefan Gruner - 2011 - Minds and Machines 21 (2):275-299.
A Philosophy of Maintenance? Engaging with the Concept of Software.David Love - 2007 - Philosophy of Management 6 (2):27-30.
Software informed consent: Docete emptorem, not caveat emptor. [REVIEW]Keith Miller - 1998 - Science and Engineering Ethics 4 (3):357-362.
Expert-System Software and Knowledge-Intensive Problem Solving.Brian D. Monahan & Sandra E. Belkin - 1986 - Thought: Fordham University Quarterly 61 (4):497-507.
Analytics
Added to PP
2014-08-20
Downloads
25 (#628,404)
6 months
9 (#300,363)
2014-08-20
Downloads
25 (#628,404)
6 months
9 (#300,363)
Historical graph of downloads
Author's Profile
Citations of this work
Epistemic Entitlements and the Practice of Computer Simulation.John Symons & Ramón Alvarado - 2019 - Minds and Machines 29 (1):37-60.
Can we trust Big Data? Applying philosophy of science to software.John Symons & Ramón Alvarado - 2016 - Big Data and Society 3 (2).
Epistemic issues in computational reproducibility: software as the elephant in the room.Alexandre Hocquet & Frédéric Wieber - 2021 - European Journal for Philosophy of Science 11 (2):1-20.
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.
Why There is no General Solution to the Problem of Software Verification.John Symons & Jack J. Horner - 2020 - Foundations of Science 25 (3):541-557.
References found in this work
Computability and Logic.George Boolos, John Burgess, Richard P. & C. Jeffrey - 1980 - New York: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 1974 - Cambridge, England: Cambridge University Press. Edited by John P. Burgess & Richard C. Jeffrey.
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-55b469568f-2bmv2 uwo