The Monist 82 (1):3-19 (1999)
This paper analyzes both philosophical and practical assumptions underlying claims for the dual nature of software, including software as a machine made of text, and software as a concrete abstraction. A related view of computer science as a branch of pure mathematics is analyzed through a comparative examination of the nature of abstraction in mathematics and computer science. The relationship between the concrete and the abstract in computer programs is then described by exploring a taxonomy of approaches borrowed from philosophy of mind
|Keywords||Analytic Philosophy Contemporary Philosophy General Interest Philosophy of Mind Philosophy of Science|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
On Malfunctioning Software.Giuseppe Primiero, Nir Fresco & Luciano Floridi - 2015 - Synthese 192 (4):1199-1220.
Similar books and articles
Abstraction in Computer Science.Timothy Colburn & Gary Shute - 2007 - Minds and Machines 17 (2):169-184.
Problems for a Philosophy of Software Engineering.Stefan Gruner - 2011 - Minds and Machines 21 (2):275-299.
Information Modeling Aspects of Software Development.Timothy R. Colburn - 1998 - Minds and Machines 8 (3):375-393.
Abstraction and Idealization in the Formal Verification of Software Systems.Nicola Angius - 2013 - Minds and Machines 23 (2):211-226.
Abstraction, Law, and Freedom in Computer Science.Timothy Colburn & Gary Shute - 2010 - Metaphilosophy 41 (3):345-364.
Software Informed Consent: Docete Emptorem, Not Caveat Emptor. [REVIEW]Keith Miller - 1998 - Science and Engineering Ethics 4 (3):357-362.
Why Are Software Patents so Elusive? A Platonic Approach.Odin Kroeger - 2011 - Masaryk University Journal of Law and Technology 5 (1):57-70.
Added to index2011-01-09
Total downloads45 ( #114,807 of 2,163,707 )
Recent downloads (6 months)4 ( #84,209 of 2,163,707 )
How can I increase my downloads?