karl bühler digital

Home > Journal > Journal Issue > Journal article

Publication details

Publisher: Springer

Place: Berlin

Year: 2017

Pages: 239-258

Series: Philosophy & Technology

Full citation:

Nicola Angius, Guglielmo Tamburrini, "Explaining engineered computing systems' behaviour", Philosophy & Technology 30 (2), 2017, pp. 239-258.

Explaining engineered computing systems' behaviour

the role of abstraction and idealization

Nicola Angius

Guglielmo Tamburrini

pp. 239-258

in: Fabio Paglieri, Chris REED (eds), Online arguments, Philosophy & Technology 30 (2), 2017.

Abstract

This paper addresses the methodological problem of analysing what it is to explain observed behaviours of engineered computing systems (BECS), 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 (and profitably so on account of both relevance and intelligibility of the explanans) 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.

Publication details

Publisher: Springer

Place: Berlin

Year: 2017

Pages: 239-258

Series: Philosophy & Technology

Full citation:

Nicola Angius, Guglielmo Tamburrini, "Explaining engineered computing systems' behaviour", Philosophy & Technology 30 (2), 2017, pp. 239-258.