Natural deduction in connectionist systems

Synthese 101 (3):433-463 (1994)
  Copy   BIBTEX

Abstract

The relation between logic and thought has long been controversial, but has recently influenced theorizing about the nature of mental processes in cognitive science. One prominent tradition argues that to explain the systematicity of thought we must posit syntactically structured representations inside the cognitive system which can be operated upon by structure sensitive rules similar to those employed in systems of natural deduction. I have argued elsewhere that the systematicity of human thought might better be explained as resulting from the fact that we have learned natural languages which are themselves syntactically structured. According to this view, symbols of natural language are external to the cognitive processing system and what the cognitive system must learn to do is produce and comprehend such symbols. In this paper I pursue that idea by arguing that ability in natural deduction itself may rely on pattern recognition abilities that enable us to operate on external symbols rather than encodings of rules that might be applied to internal representations. To support this suggestion, I present a series of experiments with connectionist networks that have been trained to construct simple natural deductions in sentential logic. These networks not only succeed in reconstructing the derivations on which they have been trained, but in constructing new derivations that are only similar to the ones on which they have been trained.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,063

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
342 (#80,946)

6 months
17 (#165,935)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

William Bechtel
University of California, San Diego

References found in this work

The Language of Thought.Jerry Fodor - 1975 - Harvard University Press.
Unified theories of cognition.Allen Newell - 1990 - Cambridge: Harvard University Press.
The Language of Thought.J. A. Fodor - 1978 - Critica 10 (28):140-143.

View all 31 references / Add more references