Abstraction, law, and freedom in computer science
Metaphilosophy 41 (3):345-364 (2010)
| Abstract | Abstract: Laws of computer science are prescriptive in nature but can have descriptive analogs in the physical sciences. Here, we describe a law of conservation of information in network programming, and various laws of computational motion (invariants) for programming in general, along with their pedagogical utility. Invariants specify constraints on objects in abstract computational worlds, so we describe language and data abstraction employed by software developers and compare them to Floridi's concept of levels of abstraction. We also consider Floridi's structural account of reality and its fit for describing abstract computational worlds. Being abstract, such worlds are products of programmers' creative imaginations, so any "laws" in these worlds are easily broken. The worlds of computational objects need laws in the form of self-prescribed invariants, but the suspension of these laws might be creative acts. Bending the rules of abstract reality facilitates algorithm design, as we demonstrate through the example of search trees. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesD. H. Mellor (1990). Laws, Chances and Properties. International Studies in the Philosophy of Science 4 (2):159 – 170.
Thomas Mormann (1994). Accessibility, Kinds, and Laws: A Structural Explication. Philosophy of Science 61 (3):389-406.
Deborah G. Johnson & Keith W. Miller (forthcoming). Un-Making Artificial Moral Agents. Ethics and Information Technology.
Stephen Barker (2011). Can Counterfactuals Really Be About Possible Worlds? Noûs 45 (3):557-576.
Timothy Colburn & Gary Shute (2011). Decoupling as a Fundamental Value of Computer Science. Minds and Machines 21 (2):241-259.
Timothy R. Colburn (1999). Software, Abstraction, and Ontology. The Monist 82 (1):3-19.
Timothy Colburn & Gary Shute (2007). Abstraction in Computer Science. Minds and Machines 17 (2).
Analytics
Monthly downloads |
Added to index2010-04-20Total downloads14 ( #84,151 of 556,772 )Recent downloads (6 months)1 ( #64,754 of 556,772 )How can I increase my downloads? |
My notes
Discussion
