In this book, Newell makes the case for unified theories by setting forth a candidate.

Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. This 2007 fifth edition has been thoroughly revised by John Burgess. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a (...) simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. This updated edition is also accompanied by a website as well as an instructor's manual. (shrink)

Thoughts and other mental states are defined by their role in a functional system. Since it is easier to determine when we have knowledge than when reasoning has occurred, Gilbert Harman attempts to answer the latter question by seeing what assumptions about reasoning would best account for when we have knowledge and when not. He describes induction as inference to the best explanation, or more precisely as a modification of beliefs that seeks to minimize change and maximize explanatory coherence. Originally (...) published in 1973. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

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.

By applying research in artificial intelligence to problems in the philosophy of science, Paul Thagard develops an exciting new approach to the study of scientific reasoning. This approach uses computational ideas to shed light on how scientific theories are discovered, evaluated, and used in explanations. Thagard describes a detailed computational model of problem solving and discovery that provides a conceptually rich yet rigorous alternative to accounts of scientific knowledge based on formal logic, and he uses it to illuminate such topics (...) as the nature of concepts, hypothesis formation, analogy, and theory justification. (shrink)

Ethics and jurisprudence are liable to the remark in common with logic. Almost every writer having taken a different view of some of the particulars which ...

The essays in this volume represent an approach to human knowledge that has had a profound influence on many recent thinkers. Popper breaks with a traditional commonsense theory of knowledge that can be traced back to Aristotle. A realist and fallibilist, he argues closely and in simple language that scientific knowledge, once stated in human language, is no longer part of ourselves but a separate entity that grows through critical selection.

The thirty-five chapters in this book describe various judgmental heuristics and the biases they produce, not only in laboratory experiments but in important...