“In What Makes Us Smart, Gershman turns his creative and fertile mind to writing a
compelling defense of the seeming impurities of our reason. He examines the broad and …

A new proposal for integrating the employment of formal and empirical methods in the study
of human reasoning. In Human Reasoning and Cognitive Science, Keith Stenning and …

When the terms “intelligence” or “intelligent” are used by scientists, they are referring to a
large collection of human cognitive behaviors—people thinking. When life scientists speak …

Intelligence tests are often treated as if they encompassed all cognitive abilities. Our goal in
this chapter is to challenge this assumption by showing that an important class of cognitive …

Gödel's theorem is consistent with the computationalist hypothesis. Roger Penrose,
however, claims to prove that Gödel's theorem implies that human thought cannot be …

As the eleventh volume in the New Directions in Cognitive Science series (formerly the
Vancouver Studies in Cognitive Science series), this work promises superb scholarship and …

When it was first published in 1972, Hubert Dreyfus's manifesto on the inherent inability of
disembodied machines to mimic higher mental functions caused an uproar in the artificial …

This book provides a sustained and penetrating critique of a wide range of views in modern
cognitive science and philosophy of the mind, from Turing's famous test for intelligence in …

This chapter explains the approach to reaching the overarching scientific goal of capturing
the cognition of persons in computational formal logic. 1 The cognition in question must be …

Psychology is now ready for unified theories of cognition--so says Allen Newell, a leading
investigator in computer science and cognitive psychology. Not everyone will agree on a …