In defense of the semantic view of computation.

The semantic view of computation is the claim that semantic properties play an essential role in the individuation of physical computing systems such as laptops and brains. The main argument for the semantic view ("the master argument") rests on the fact that some physical systems simultaneously imp...

Descripción completa

Detalles Bibliográficos
Publicado en:Synthese Vol. 197; no. 9; pp. 4083 - 4109
Autor principal: Shagrir, Oron
Formato: Artículo
Publicado: Springer Nature Sep2020
Materias:
Acceso en línea:Ver este registro en EBSCOhost
fields @attributes:
  recordID: 1
pdfLink:
plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=145269425&site=ehost-live
header:
  @attributes:
    shortDbName: hlh
    uiTerm: 145269425
    longDbName: Humanities International Complete
    uiTag: AN
  controlInfo:
    bkinfo:
    jinfo:
      jid:
        00397857
        4LI
      jtl: Synthese
      issn: 00397857
      maglogo: N
    pubinfo:
      dt: Sep2020
      vid: 197
      iid: 9
      pid: 237
      pub: Springer Nature
    artinfo:
      ui:
        145269425
        10.1007/s11229-018-01921-z
      ppf: 4083
      ppct: 26
      formats:
        fmt:
          – @attributes:
              type: T
          – @attributes:
              type: P
              size: 619KB
      tig:
        atl: In defense of the semantic view of computation.
      aug:
        au: Shagrir, Oron
        affil: Departments of Philosophy and Cognitive Science, The Hebrew University of Jerusalem, Mt. Scopus, 91905, Jerusalem, Israel
      su:
        Oxford University Press
        Computer systems
        Individuation (Psychology)
        Robots
        Mathematical equivalence
      sug:
        subj:
          Oxford University Press
          Computer systems
          Individuation (Psychology)
          Robots
          Mathematical equivalence
      keyword:
        Computation
        Externalism
        Implementation
        Individuation
        Mechanism
        Semantic properties
      ab: The semantic view of computation is the claim that semantic properties play an essential role in the individuation of physical computing systems such as laptops and brains. The main argument for the semantic view ("the master argument") rests on the fact that some physical systems simultaneously implement different automata at the same time, in the same space, and even in the very same physical properties ("simultaneous implementation"). Recently, several authors have challenged this argument (Piccinini in Philos Stud 137:205–241, 2008, Piccinini in Physical computation: a mechanistic account, Oxford University Press, Oxford, 2015; Coelho Mollo in Synthese 195:3477–3497, 2018; Dewhurst in Br J Philos Sci 69:103–116, 2018). They accept the premise of simultaneous implementation but reject the semantic conclusion. In this paper, I aim to explicate the semantic view and to address these objections. I first characterize the semantic view and distinguish it from other, closely related views. Then, I contend that the master argument for the semantic view survives the counter-arguments against it. One counter-argument is that computational individuation is not forced to choose between the implemented automata but rather always picks out a more basic computational structure. My response is that this move might undermine the notion of computational equivalence. Another counter-argument is that while computational individuation is forced to rely on extrinsic features, these features need not be semantic. My reply is that the semantic view better accounts for these extrinsic features than the proposed non-semantic alternatives.
      pubtype: Academic Journal
      doctype: Article
      src: R
    language: English
    refInfo:
    copyright:
      @attributes:
        flag: Y
      custom: Synthese is a copyright of Springer, 2020. All Rights Reserved.
      item: Synthese
      holder: Springer Nature
      dt:
        @attributes:
          year: 2020
    holdings:
      @attributes:
        islocal: N