Software, Abstraction, and Ontology

The Monist 82 (1):3-19 (1999)

Abstract
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)
ISBN(s) 0026-9662
DOI 10.5840/monist19998215
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 46,223
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

The Philosophy of Computer Science.Raymond Turner - 2013 - Stanford Encyclopedia of Philosophy.
Logically Possible Machines.Eric Steinhart - 2002 - Minds and Machines 12 (2):259-280.

Add more citations

Similar books and articles

Software is an Abstract Artifact.Nurbay Irmak - 2012 - Grazer Philosophische Studien 86 (1):55-72.
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.
What is Software?Peter Suber - 1988 - Journal of Speculative Philosophy 2 (2):89-119.
Software Agents and Their Bodies.Nicholas Kushmerick - 1997 - Minds and Machines 7 (2):227-247.
Why Are Software Patents so Elusive? A Platonic Approach.Odin Kroeger - 2011 - Masaryk University Journal of Law and Technology 5 (1):57-70.

Analytics

Added to PP index
2011-01-09

Total views
59 ( #149,093 of 2,285,755 )

Recent downloads (6 months)
2 ( #573,699 of 2,285,755 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature