The logic of identity and copy for computational artefacts

Angius, Nicola and Primiero, Giuseppe (2018) The logic of identity and copy for computational artefacts. Journal of Logic and Computation, 28 (6). pp. 1293-1322. ISSN 0955-792X (doi:10.1093/logcom/exy012)

[img]
Preview
PDF - Final accepted version (with author's formatting)
Download (188kB) | Preview

Abstract

Defining identity for entities is a longstanding logical problem in philosophy, and it has resurfaced in current investigations within the philosophy of technology. The problem has not yet been explored for the philosophy of information, and of Computer Science in particular. This paper provides a logical analysis of identity and copy for computational artefacts. Identity is here understood as the relation holding between an instance of a computational artefact and itself. By contrast, the copy relation holds between two distinct computational artefacts. We distinguish among exact, inexact and approximate copies. We use process algebra to provide suitable formal definitions of these relations, using in particular the notion of bisimulation to define identity and exact copies, and simulation for inexact and approximate copies. Equivalence is unproblematic for identical computational artefacts at each individual time and for inexact copies; we will examine to which extent the formal constraints on identity criteria discussed in the literature are satisfied by our approach. As for inexact and approximate copy, they are intended as a weakening of the identity relation in that equivalence and other constraints on identity are violated. The proposed approach also suggests a computable treatment of identity and copy checking.

Item Type: Article
Research Areas: A. > School of Science and Technology > Computer Science > Foundations of Computing group
Item ID: 23616
Notes on copyright: This is a pre-copyedited, author-produced version of an article accepted for publication in Journal of Logic and Computation following peer review. The version of record Nicola Angius, Giuseppe Primiero, The logic of identity and copy for computational artefacts, Journal of Logic and Computation, Volume 28, Issue 6, September 2018, Pages 1293–1322, is available online at: https://academic.oup.com/logcom/article/28/6/1293/4954042 and https://doi.org/10.1093/logcom/exy012 on the OUP website.
Useful Links:
Depositing User: Giuseppe Primiero
Date Deposited: 23 Feb 2018 12:10
Last Modified: 22 Aug 2019 00:20
URI: https://eprints.mdx.ac.uk/id/eprint/23616

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year