Writings by a thinker—a psychiatrist, a philosopher, a cybernetician, and a poet—whose ideas about mind and brain were far ahead of his time. Warren S. McCulloch was an original thinker, in many respects far ahead of his time. McCulloch, who was a psychiatrist, a philosopher, a teacher, a mathematician, and a poet, termed his work “experimental epistemology.” He said, “There is one answer, only one, toward which I've groped for thirty years: to find out how brains work.” Embodiments of Mind, (...) first published more than fifty years ago, teems with intriguing concepts about the mind/brain that are highly relevant to recent developments in neuroscience and neural networks. It includes two classic papers coauthored with Walter Pitts, one of which applies Boolean algebra to neurons considered as gates, and the other of which shows the kind of nervous circuitry that could be used in perceiving universals. These first models are part of the basis of artificial intelligence. Chapters range from “What Is a Number, that a Man May Know It, and a Man, that He May Know a Number,” and “Why the Mind Is in the Head,” to “What the Frog's Eye Tells the Frog's Brain” (with Jerome Lettvin, Humberto Maturana, and Walter Pitts), “Machines that Think and Want,” and “A Logical Calculus of the Ideas Immanent in Nervous Activity” (with Walter Pitts). Embodiments of Mind concludes with a selection of McCulloch's poems and sonnets. This reissued edition offers a new foreword and a biographical essay by McCulloch's one-time research assistant, the neuroscientist and computer scientist Michael Arbib. (shrink)

The following values have no corresponding Zotero field: PB - J. Wiley Chichester,, UK.

In this study on deduction, the authors argue that people reason by imagining the relevant state of affairs, ie building an internal model of it, formulating a tentative conclusion based on this model and then searching for alternative models.

In a fluent, clear, and lively style this translation by two of Maslov's junior colleagues brings the work of the late Soviet scientist S. Yu. Maslov to a wider audience. Maslov was considered by his peers to be a man of genius who was making fundamental contributions in the fields of automatic theorem proving and computational logic. He published little, and those few papers were regarded as notoriously difficult. This book, however, was written for a broad audience of readers and (...) describes elegant examples of applications in such fields as computer science, artificial intelligence, operations research, economic modeling, and biological modeling, among others. The book also brings to light the work by the American mathematician E. L. Post, which inspired Maslov's own work in the development of a general theory and which has been long neglected by mathematicial logicians and systems theorists in the United States. The book's first chapter introduces the Rules of the Game. Part I, Mathematics of Calculi, covers E. L. Post's canonical systems, deductive systems and algorithms, and probabilistic calculi and deductive information. Part II, Horizonal Modeling, takes up a "toy" economy, the calculi of technological possibilities, and the development of rules. Part III, Vertical Modeling, deals with the topics of "to fight and to search" and the consequences of the asymmetry of cognitive mechanisms. Vladimir Lifschitz is affiliated with the Department of Computer Science at Stanford University, and Michael Gelfond with the Department of Electrical Engineering and Computer Science at the University of Texas, El Paso. Theory of Deductive Systems and Its Applicationsis included in the Foundation of Computing Series, edited by Michael Garey. (shrink)

This paper reviews current psychological theories of syllogistic inference and establishes that despite their various merits they all contain deficiencies as theories of performance. It presents the results of two experiments, one using syllogisms and the other using three-term series problems, designed to elucidate how the arrangement of terms within the premises affects performance. These data are used in the construction of a theory based on the hypothesis that reasoners construct mental models of the premises, formulate informative conclusions about the (...) relations in the model, and search for alternative models that are counterexamples to these conclusions. This theory, which has been implemented in several computer programs, predicts that two principal factors should affect performance: the figure of the premises, and the number of models that they call for. These predictions were confirmed by a third experiment. Dans cet article sont passées en revue les théories psychologiques du traitement des syllogismes. On établit qu'en dépit de leurs mérites variés toutes sont en défaut en tant que théories de la performance. On présente les résultats de deux expériences, une utilisant des syllogismes et l'autre des problémes avec des séries de trois termes conçues pour élucider comment l'arrangement des termes dans les premises affecte la performance. Ces données sont utilisées pour construire une théorie fondée sur l'hypothése que les gens construisent des modèles mentaux des premises, formulent des conclusions explicites sur les relations dans le modèle et cherchent des modèles qui seraient des contre-exemples pour leurs conclusions. Cette théorie, utilisée dans plusieurs programmes d'ordinateur, prédit que deux principaux facteurs affectent la performance: la figure des premises et le nombre de; modèles qu'ils mettent en jeu. Cette prédiction est confirmée dans les trois expériences. (shrink)