Epistemology & Cognition Lab

Prof. Nir Fresco

A critical survey of some competing accounts of concrete digital computation

This paper deals with the question: what are the key requirements for a physical system to perform digital computation? Oftentimes, cognitive scientists are quick to employ the notion of computation simpliciter when asserting basically that cognitive activities are computational. They employ this notion as if there is a consensus on just what it takes for a physical system to compute. Some cognitive scientists in referring to digital computation simply adhere to Turing computability. But if cognition is indeed computational, then it is concrete computation that is required for explaining cognition as an embodied phenomenon. Three accounts of computation are examined here: 1. Formal Symbol Manipulation. 2. Physical Symbol Systems and 3.The Mechanistic account. I argue that the differing requirements implied by these accounts justify the demand that one commits to a particular account when employing the notion of digital computation in regard to physical systems, rather than use these accounts interchangeably.

Publication language English
Pages 155-173
Publication status Published - 01.01.2013

Keywords

Cognitive Systems
Computability
Concrete computation
Information Processing
Semantics
Symbols
Turing Machines

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science