Minds and Machines 29 (2):239-285 (2019)

Russ Abbott
California State University, Los Angeles
Modern computing is generally taken to consist primarily of symbol manipulation. But symbols are abstract, and computers are physical. How can a physical device manipulate abstract symbols? Neither Church nor Turing considered this question. My answer is that the bit, as a hardware-implemented abstract data type, serves as a bridge between materiality and abstraction. Computing also relies on three other primitive—but more straightforward—abstractions: Sequentiality, State, and Transition. These physically-implemented abstractions define the borderline between hardware and software and between physicality and abstraction. At a deeper level, asking how a physical device can interact with abstract symbols is the wrong question. The relationship between symbols and physical devices begins with the realization that human beings already know what it means to manipulate symbols. We build and program computers to do what we understand to be symbol manipulation. To understand what that means, consider a light switch. A light switch doesn’t turn a light on or off. Those are abstractions. Light switches don’t operate with abstractions. We build light switches, so that when flipped, the world is changed in such a way that we understand the light to be on or off. Similarly, we build computers to perform operations that we understand as manipulating symbols.
Keywords Symbol  Abstraction   Hardware   Software   Physical symbol system   Hardware–software bridge   Type  Abstract data type   Bit   Affordances
Categories (categorize this paper)
DOI 10.1007/s11023-018-9486-1
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Causality: Models, Reasoning and Inference.Judea Pearl - 2000 - Cambridge University Press.
The Ecological Approach to Visual Perception.Marc H. Bornstein - 1980 - Journal of Aesthetics and Art Criticism 39 (2):203-206.
On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.

View all 32 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Nature of Symbols in the Language of Thought.Susan Schneider - 2009 - Mind and Language 24 (5):523-553.
Classical Physical Abstraction.Ernest W. Adams - 1993 - Erkenntnis 38 (2):145 - 167.
The Structure System of Human Spirit, Together with Stratification Analysis.Zihu Liu - 2008 - Proceedings of the Xxii World Congress of Philosophy 42:161-163.
Computational Grounding.Herbert L. Roitblat - 2001 - Psycoloquy 12 (58).


Added to PP index

Total views
129 ( #72,953 of 2,386,657 )

Recent downloads (6 months)
23 ( #32,268 of 2,386,657 )

How can I increase my downloads?


My notes