Symbolic AI (the road Dreyfus contested)
In The You On AI Encyclopedia
The foundational figures of symbolic AI—John McCarthy, Marvin Minsky, Allen Newell, Herbert Simon—shared a philosophical commitment that Newell and Simon formulated as the Physical Symbol System Hypothesis: that a physical symbol system has the necessary and sufficient means for general intelligent action. The hypothesis was explicit, ambitious, and, as Dreyfus argued, philosophically untenable. The field's confidence in it produced the series of overly optimistic predictions that marked the discipline's early decades: Simon's 1965 prediction that within twenty years 'machines will be capable of doing any work a man can do,' Minsky's 1970 claim that a generally intelligent machine would exist 'within three to eight years.'
The failures of symbolic AI occurred in a specific pattern that Dreyfus's framework predicted. Systems that worked brilliantly in narrow, well-defined domains collapsed when exposed to open-ended situations. Chess programs could beat grandmasters but could not play novel variants without complete reprogramming. Expert systems could match human performance in specific diagnostic tasks but could not handle cases outside their rule base. Natural language systems could parse syntactically complex sentences but could not understand jokes, sarcasm, or the ordinary uses of language that depend on common-sense background.
The transition to connectionism and statistical methods, beginning in the 1980s and accelerating through the 2000s and 2010s, represented a philosophical retreat that the field never fully acknowledged as such. The new methods did not solve the problems symbolic AI had failed to solve. They sidestepped them by abandoning the representational framework in which the problems had been formulated. This was a significant achievement—the statistical approaches produced capabilities symbolic AI had never approached—but it was not a vindication of the underlying vision of intelligence that symbolic AI had inherited from Descartes and Turing.
The contemporary large language model moment is, in Dreyfus's framework, the statistical approach brought to maturity. It has achieved extraordinary fluency by absorbing the textual residue of embodied human practice. It has not resolved the philosophical problems symbolic AI encountered. It has approximated them well enough to make the problems functionally manageable in most situations, while leaving their underlying structure intact. Whether this approximation is sufficient—whether the remaining gaps matter—is the central philosophical question of the current moment.
Origin
Symbolic AI emerged from the Dartmouth Workshop of 1956, organized by John McCarthy, Marvin Minsky, Claude Shannon, and Nathan Rochester. The workshop proposal articulated the paradigm's founding ambition: that 'every aspect of learning or any other feature of intelligence can in principle be so precisely described that a machine can be made to simulate it.'
Dreyfus's critique developed throughout the paradigm's dominant period, from the 1965 Alchemy and AI through What Computers Can't Do (1972) and its 1992 revision. The critique was largely ignored by the field during its period of confidence and partially acknowledged during the period of crisis. Its deeper philosophical claims remain contested, but its specific predictions about symbolic AI's limits have been vindicated by the historical record.
Key Ideas
Physical Symbol System Hypothesis. The foundational commitment that intelligence consists of manipulating symbolic representations according to rules.
Domain-limited success. Symbolic AI succeeded in narrow, well-defined domains but failed systematically when exposed to the open-ended situations characteristic of everyday intelligence.
The philosophical retreat. The transition to connectionism and statistical methods represented abandonment of the symbolic paradigm's foundational assumptions, not their vindication through new technical means.
Dreyfus's vindication. The specific technical failures of symbolic AI matched the failures Dreyfus's philosophical analysis had predicted.
Debates & Critiques
The question of whether the current statistical paradigm represents a genuine departure from symbolic AI or merely a technical redescription of the same underlying commitments remains contested. Defenders of continuity argue that large language models are, at bottom, symbol manipulators with learned rather than explicit rules. Dreyfus's framework accepts the functional description but argues that the philosophical problems attach to the representational stance itself, not to whether the representations are explicit or learned.
Further Reading
- Allen Newell and Herbert Simon, 'Computer Science as Empirical Inquiry: Symbols and Search,' Communications of the ACM 19:3 (1976)
- Daniel Crevier, AI: The Tumultuous History of the Search for Artificial Intelligence (Basic Books, 1993)
- Pamela McCorduck, Machines Who Think (A. K. Peters, 2004)
- Stuart Russell and Peter Norvig, Artificial Intelligence: A Modern Approach, 4th ed. (Pearson, 2020)