Machine Code and Metaphysics: A Perspective on Software Engineering

Philosophies 1 (1):28--39 (2015)
  Copy   BIBTEX

Abstract

A major, but too-little-considered problem for Software Engineering is a lack of consensus concerning Computer Science and how this relates to developing unpredictable computing technology. We consider some implications for SE of computer systems differing scientific basis, exemplified with the International Standard Organisations Open Systems Interconnection layered architectural model. An architectural view allows comparison of computing technology components facilitating a view of computing as a continuum. For example, at one layer of computer architecture, components written in Turing-complete machine language can be seen as deterministic and consistent with a theoretical paradigm of CS. At another layer, components closer to the human sphere have been seen as non-deterministic and inconsistent with theoretical CS. We compare unpredictable development of computing technology against the cyclic legacy of technological advance and scientific discovery, and suggest that SE indicates an enabling cycle, discernible in previous scientific revolution, is stalled or possibly hidden. The CS consequence of divorcing technological advance from scientific consensus is particularly concerning. For example human/computing events could be seen as unpredictable virtual phenomena that somehow extend the ontology of CS. Our approach challenges practical and philosophical boundaries by investigating if applying scientific method resolves any SE/Science dichotomy.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A critique of positive responsibility in computing.James A. Stieb - 2008 - Science and Engineering Ethics 14 (2):219-233.
Problems for a Philosophy of Software Engineering.Stefan Gruner - 2011 - Minds and Machines 21 (2):275-299.
A universal socio-technical computing machine.Markus Luczak-Roesch, Ramine Tinati, Saud Aljaloud, Wendy Hall & Nigel Shadbolt - 2016 - In Markus Luczak-Roesch, Ramine Tinati, Saud Aljaloud, Wendy Hall & Nigel Shadbolt (eds.), International Conference on Web Engineering.
Towards a Philosophy of Software Development: 40 Years after the Birth of Software Engineering.Mandy Northover, Derrick G. Kourie, Andrew Boake, Stefan Gruner & Alan Northover - 2008 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 39 (1):85-113.

Analytics

Added to PP
2019-01-17

Downloads
53 (#293,652)

6 months
50 (#81,612)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Conjectures and Refutations.K. Popper - 1963 - Les Etudes Philosophiques 21 (3):431-434.
Computer science as empirical inquiry: Symbols and search.Allen Newell & Herbert A. Simon - 1981 - Communications of the Association for Computing Machinery 19:113-26.
Three paradigms of computer science.Amnon H. Eden - 2007 - Minds and Machines 17 (2):135-167.

View all 7 references / Add more references