Introduction. During the past two decades philosophers of psychology have considered a large variety of computational models for philosophy of mind and more recently for cognitive science. Among the suggested models are computer programs, Turing machines, pushdown automata, linear bounded automata, finite state automata and sequential machines. Many philosophers have found finite state automata models to be the most appealing, for various reasons, although there has been no shortage of defenders of programs and Turing machines. A paper by Arthur Burks (...) convinced me long ago that “all natural human functions” are, or can be fruitfully modeled to be, finite state automata with output. Further work in the field has reinforced this conviction. There is room, however, for the use of any of the above models in philosophy of mind and in the ongoing development of cognitive science. (shrink)

In this paper it is argued that certain stimulus-response learning models which are adequate to represent finite automata (acceptors) are not adequate to represent noninitial state input-output automata (transducers). This circumstance suggests the question whether or not the behavior of animals if satisfactorily modelled by automata is predictive. It is argued in partial answer that there are automata which can be explained in the sense that their transition and output functions can be described (roughly, Hempel-type covering law explanation) while their (...) behaviors are in principle not predictable short of possession of their complete histories or of information concerning present internal states by indirect observation. (shrink)

The problem of reference is central to the fields of linguistics, cognitive science, and epistemology yet it remains largely unresolved. Naming and Reference explains the reference of lexical terms, with particular emphasis placed on proper names, demonstrative pronouns and personal pronouns. It examines such specific issues as: how to account for the reference of names that are empty or speculative, which abound in science and philosophy, and how to account for intentional reference as in "he took Mary to be Jane." (...) Naming and Reference begins with a survey of the history of the subject within a philosophical and critical setting, from Locke, Brentano, Peirce, Frege, Russell, Strawson, Tarski, Carnap and Quine up to Kripke and Fodor. The rest of the book is devoted to an algorithmic theory of reference derived from Peirce's idea that signification is a three-way relationship involving a term, an object and an interpretant. The theory rounds out the causal notion of reference, while at the same time preserving Frege's distinction between sense and reference, and making a place for indexical terms. Through the use of various computer models, R. J. Nelson explores the meaning and reference of words to objects and the relationship of these phenomena to perception, belief and truth. The models used are parallel, connectionist computational models rather than the sequential models of mid-century artificial intelligence. The aim, in opposition to nativist and mental representation theories, is to account for the genesis of semantically interpretable symbols, not to assume them. (shrink)