Graduate studies at Western
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||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Nurbay Irmak (2012). Software is an Abstract Artifact. Grazer Philosophische Studien 86:55-72.
Timothy Colburn & Gary Shute (2007). Abstraction in Computer Science. Minds and Machines 17 (2):169-184.
Stefan Gruner (2011). Problems for a Philosophy of Software Engineering. Minds and Machines 21 (2):275-299.
Peter Suber (1988). What is Software? Journal of Speculative Philosophy 2 (2):89-119.
Timothy R. Colburn (1998). Information Modeling Aspects of Software Development. Minds and Machines 8 (3):375-393.
Nicola Angius (2013). Abstraction and Idealization in the Formal Verification of Software Systems. Minds and Machines 23 (2):211-226.
Timothy Colburn & Gary Shute (2010). Abstraction, Law, and Freedom in Computer Science. Metaphilosophy 41 (3):345-364.
Rohit Parikh (2002). Social Software. Synthese 132 (3):187 - 211.
Mandy Northover, Derrick G. Kourie, Andrew Boake, Stefan Gruner & Alan Northover (2008). Towards a Philosophy of Software Development: 40 Years After the Birth of Software Engineering. [REVIEW] Journal for General Philosophy of Science 39 (1):85 - 113.
Derrick Mandy Northover, Andrew Boake G. Kourie & Alan Northover Stefan Gruner (2008). Towards a Philosophy of Software Development: 40 Years After the Birth of Software Engineering. Journal for General Philosophy of Science 39 (1).
Nicholas Kushmerick (1997). Software Agents and Their Bodies. Minds and Machines 7 (2):227-247.
Keith Miller (1998). Software Informed Consent: Docete Emptorem, Not Caveat Emptor. [REVIEW] Science and Engineering Ethics 4 (3):357-362.
Odin Kroeger (2011). Why Are Software Patents so Elusive? A Platonic Approach. Masaryk University Journal of Law and Technology 5 (1):57-70.
Ian Phau & James Ng (2010). Predictors of Usage Intentions of Pirated Software. Journal of Business Ethics 94 (1):23 - 37.
Izabela Bondecka-Krzykowska (2010). O związkach informatyki z matematyką. Filozofia Nauki 1.
Added to index2011-01-09
Total downloads4 ( #189,291 of 739,354 )
Recent downloads (6 months)1 ( #61,680 of 739,354 )
How can I increase my downloads?