A young scientist and mathematician explores the mystery and complexity of human thought processes from an interdisciplinary point of view.

In 1931 the mathematical logician Kurt Godel published a revolutionary paper that challenged certain basic assumptions underpinning mathematics and logic. A colleague of Albert Einstein, his theorem proved that mathematics was partly based on propositions not provable within the mathematical system and had radical implications that have echoed throughout many fields. A gripping combination of science and accessibility, _Godel’s Proof_ by Nagel and Newman is for both mathematicians and the idly curious, offering those with a taste for logic and philosophy (...) the chance to satisfy their intellectual curiosity. (shrink)

This book comprises all of John Bell's published and unpublished papers in the field of quantum mechanics, including two papers that appeared after the first edition was published. It also contains a preface written for the first edition, and an introduction by Alain Aspect that puts into context Bell's great contribution to the quantum philosophy debate. One of the leading expositors and interpreters of modern quantum theory, John Bell played a major role in the development of our current understanding of (...) the profound nature of quantum concepts. First edition Hb (1987): 0-521-33495-0 First edition Pb (1988): 0-521-36869-3. (shrink)

In this classic work David Bohm, writing clearly and without technical jargon, develops a theory of quantum physics which treats the totality of existence as an unbroken whole.

The present essay is addressed simultaneously to two distinct audiences.

A study in the philosophy of science, proposing a strong form of the doctrine of scientific realism' and developing its implications for issues in the philosophy of mind.

The purpose of this book is to develop a terminological structure in which private perceptions can be discussed publicly without bringing into existence the usual unnecessary philosophical problems of confused usage of language. chisholm displays an appraisive, quasi-ethical use of language, whereby he claims that a thing has some particular sensible property is to have adequate evidence that it actually does have that property. (staff).

The idea of a 'logic of quantum mechanics' or quantum logic was originally suggested by Birkhoff and von Neumann in their pioneering paper [1936]. Since that time there has been much argument about whether, or in what sense, quantum 'logic' can be actually considered a true logic (see, e.g. Bell and Hallett [1982], Dummett [1976], Gardner [1971]) and, if so, how it is to be distinguished from classical logic. In this paper I put forward a simple and natural semantical framework (...) for quantum logic which reveals its difference from classical logic in a strikingly intuitive way, viz. through the fact that quantum logic admits (suitably formulated versions of) the characteristic quantum-mechanical notions of superposition and incompatibility of attributes. That is, precisely the features that distinguish quantum from classical physics also serve, within this framework, to distinguish quantum from classical logic. Some light is shed on the question of whether quantum logic is a genuine logical system by introducing a natural entailment relation for quantum-logical formulas with the implication symbol. The novelty is that, although implication behaves as it should (i.e. the 'deduction theorem' holds), the order of introduction of premises is significant. The fact that a reasonable entailment relation can be formulated for quantum logic supports the view that it is a genuine logical system and not merely an algebraic formalism. (shrink)

Ever since Copernicus, scientists have continually adjusted their view of human nature, moving it further and further from its ancient position at the center of Creation. But in recent years, a startling new concept has evolved that places it more firmly than ever in a special position. Known as the Anthropic Cosmological Principle, this collection of ideas holds that the existence of intelligent observers determines the fundamental structure of the Universe. In its most radical version, the Anthropic Principle asserts that (...) "intelligent information-processing must come into existence in the Universe, and once it comes into existence, it will never die out." This wide-ranging and detailed book explores the many ramifications of the Anthropic Cosmological Principle, covering the whole spectrum of human inquiry from Aristotle to Z bosons. Bringing a unique combination of skills and knowledge to the subject, John D. Barrow and Frank J. Tipler--two of the world's leading cosmologists--cover the definition and nature of life, the search for extraterrestrial intelligence, and the interpretation of the quantum theory in relation to the existence of observers. The book will be of vital interest to philosophers, theologians, mathematicians, scientists, and historians, as well as to anyone concerned with the connection between the vastness of the universe of stars and galaxies and the existence of life within it on a small planet out in the suburbs of the Milky Way. (shrink)

Attempts to indentify the fundamental concepts of language, argues that the study of language reveals hidden facts about the mind, and looks at the impact of propaganda.

What psychological and philosophical significance should we attach to recent efforts at computer simulations of human cognitive capacities? In answering this question, I find it useful to distinguish what I will call "strong" AI from "weak" or "cautious" AI. According to weak AI, the principal value of the computer in the study of the mind is that it gives us a very powerful tool. For example, it enables us to formulate and test hypotheses in a more rigorous and precise fashion. (...) But according to strong AI, the computer is not merely a tool in the study of the mind; rather, the appropriately programmed computer really is a mind, in the sense that computers given the right programs can be literally said to. (shrink)

Proofs and Refutations is essential reading for all those interested in the methodology, the philosophy and the history of mathematics. Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre (...) Lakatos is concerned throughout to combat the classical picture of mathematical development as a steady accumulation of established truths. He shows that mathematics grows instead through a richer, more dramatic process of the successive improvement of creative hypotheses by attempts to 'prove' them and by criticism of these attempts: the logic of proofs and refutations. (shrink)

Rich with historical and cultural value, these works are published unaltered from the original University of Minnesota Press editions.

The paper discusses the utility of the notion of consciousness for the behavioural and brain sciences. It describes four distinctively different senses of 'conscious', and argues that to cope with the heterogeneous phenomena loosely indicated thereby, these sciences not only do not but should not discuss them in terms of 'consciousness'. It is thus suggested that 'the problem' allegedly posed to scientists by consciousness is unreal; one need neither adopt a realist stance with respect to it, nor include the term (...) and its cognates in the sciences' conceptual apparatus. The paper briefly examines Nagel's [1974] article, since this presents the strongest counter to the thesis proposed. (shrink)

The general problem of visual search can be shown to be computationally intractable in a formal, complexity-theoretic sense, yet visual search is extensively involved in everyday perception, and biological systems manage to perform it remarkably well. Complexity level analysis may resolve this contradiction. Visual search can be reshaped into tractability through approximations and by optimizing the resources devoted to visual processing. Architectural constraints can be derived using the minimum cost principle to rule out a large class of potential solutions. The (...) evidence speaks strongly against bottom-up approaches to vision. In particular, the constraints suggest an attentional mechanism that exploits knowledge of the specific problem being solved. This analysis of visual search performance in terms of attentional influences on visual information processing and complexity satisfaction allows a large body of neurophysiological and psychological evidence to be tied together. (shrink)

A set of hypotheses is formulated for a connectionist approach to cognitive modeling. These hypotheses are shown to be incompatible with the hypotheses underlying traditional cognitive models. The connectionist models considered are massively parallel numerical computational systems that are a kind of continuous dynamical system. The numerical variables in the system correspond semantically to fine-grained features below the level of the concepts consciously used to describe the task domain. The level of analysis is intermediate between those of symbolic cognitive models (...) and neural models. The explanations of behavior provided are like those traditional in the physical sciences, unlike the explanations provided by symbolic models. (shrink)

I NATURE AND TRADITION Quemcunque aegrum ingenio praestaittem curanJum invisebat , siquidem morbi vehementia pateretur, . . .familiarem cum eo sermonem aliquandiu conferebat, cum pbilosophis Pbilosopkica, cum Mathematicis Mathematica, ..

In Infinity and the Mind, Rudy Rucker leads an excursion to that stretch of the universe he calls the "Mindscape," where he explores infinity in all its forms: potential and actual, mathematical and physical, theological and mundane. Here Rucker acquaints us with Gödel's rotating universe, in which it is theoretically possible to travel into the past, and explains an interpretation of quantum mechanics in which billions of parallel worlds are produced every microsecond. It is in the realm of infinity, he (...) maintains, that mathematics, science, and logic merge with the fantastic. By closely examining the paradoxes that arise from this merging, we can learn a great deal about the human mind, its powers, and its limitations. Using cartoons, puzzles, and quotations to enliven his text, Rucker guides us through such topics as the paradoxes of set theory, the possibilities of physical infinities, and the results of Gödel's incompleteness theorems. His personal encounters with Gödel the mathematician and philosopher provide a rare glimpse at genius and reveal what very few mathematicians have dared to admit: the transcendent implications of Platonic realism. (shrink)

Physical and chemical processes may act upon the mind; and when we are writing a difficult letter, our mind acts upon our body and, through a chain of physical...