Explaining Engineered Computing Systems’ Behaviour: the Role of Abstraction and Idealization

Philosophy and Technology 30 (2):239-258 (2017)
  Copy   BIBTEX

Abstract

This paper addresses the methodological problem of analysing what it is to explain observed behaviours of engineered computing systems, focusing on the crucial role that abstraction and idealization play in explanations of both correct and incorrect BECS. First, it is argued that an understanding of explanatory requests about observed miscomputations crucially involves reference to the rich background afforded by hierarchies of functional specifications. Second, many explanations concerning incorrect BECS are found to abstract away from descriptions of physical components and processes of computing systems that one finds below the logic circuit and gate layer of functional specification hierarchies. Third, model-based explanations of both correct and incorrect BECS that are provided in the framework of formal verification methods often involve idealizations. Moreover, a distinction between restrictive and permissive idealizations is introduced and their roles in BECS explanations are analysed.

Similar books and articles

Is All Abstracting Idealizing?Nicholaos Jones - 2008 - The Reasoner 2 (4):4-5.
Expanding the Scope of Explanatory Idealization.Andrew Wayne - 2011 - Philosophy of Science 78 (5):830-841.
The Explanatory Role of Abstraction Processes in Models: the Case of Aggregations.Sergio A. Gallegos - 2016 - Studies in History and Philosophy of Science Part A 56:161-167.
What Is an Isolated System?Lawrence Sklar - 2001 - The Proceedings of the Twentieth World Congress of Philosophy 10:51-57.
Mechanistic explanation in engineering science.Dingmar van Eck - 2015 - European Journal for Philosophy of Science 5 (3):349-375.
Explaining with Models: The Role of Idealizations.Julie Jebeile & Ashley Graham Kennedy - 2015 - International Studies in the Philosophy of Science 29 (4):383-392.

Analytics

Added to PP
2016-10-02

Downloads
57 (#287,210)

6 months
10 (#306,677)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

Depth: An Account of Scientific Explanation.Michael Strevens - 2008 - Cambridge, Mass.: Harvard University Press.
Nature's capacities and their measurement.Nancy Cartwright - 1989 - New York: Oxford University Press.
Thinking about mechanisms.Peter Machamer, Lindley Darden & Carl F. Craver - 2000 - Philosophy of Science 67 (1):1-25.
Explanation: a mechanist alternative.William Bechtel & Adele Abrahamsen - 2005 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 36 (2):421-441.

View all 29 references / Add more references