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 present essay is addressed simultaneously to two distinct audiences.

Examines the theses that the postulation of mental processing is unnecessary to account for our perceptual relationship with the world, see turvey etal. for a criticque.

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)

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.

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)

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)

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

J. R. Lucas argues in “Minds, Machines, and Gödel”, that his potential output of truths of arithmetic cannot be duplicated by any Turing machine, and a fortiori cannot be duplicated by any machine. Given any Turing machine that generates a sequence of truths of arithmetic, Lucas can produce as true some sentence of arithmetic that the machine will never generate. Therefore Lucas is no machine.

The familiar theories of physics have the feature that the application of the theory to make predictions in specific circumstances can be done by means of an algorithm. We propose a more precise formulation of this feature—one based on the issue of whether or not the physically measurable numbers predicted by the theory are computable in the mathematical sense. Applying this formulation to one approach to a quantum theory of gravity, there are found indications that there may exist no such (...) algorithms in this case. Finally, we discuss the issue of whether the existence of an algorithm to implement a theory should be adopted as a criterion for acceptable physical theories.“Can it then be that there is... something of use for unraveling the universe to be learned from the philosophy of computer design?” —J. A. Wheeler(1). (shrink)

Kraus, O. Biographical sketch of Franz Brentano.--Stumpf, C. Reminiscences of Franz Brentano.--Husserl, E. Reminiscences of Franz Brentano.--Gilson, E. Brentano's interpretation of medieval philosophy.--Gilson, L. Franz Brentano on science and philosophy.--Titchener, E. B. Brentano and Wundt: empirical and experimental psychology.--Chisholm, R. M. Brentano's descriptive psychology.--De Boer, T. The descriptive method of Franz Brentano.--Spiegelberg, H. Intention and intentionality in the scholastics, Brentano and Husserl.--Marras, A. Scholastic roots of Brentano's conception of intentionality.--Chisholm, R. M. Intentional inexistence.--McAlister, L. L. Chisholm and Brentano on intentionality.--Chisholm, (...) R. M. Brentano's theory of correct and incorrect emotion.--Moore, G. E. Review of Franz Brentano's The origin of the knowledge of right and wrong.--Franks, G. Was G. E. Moore mistaken about Brentano?--Kotarbinski, T. Franz Brentano as reist.--Terrell, D.B. Brentano's argument for reismus.--Bergman, H. Brentano's theory of induction.--Kraus, O. Toward a phenomenognosy of time consciousness. (shrink)

J. R. Lucas serves warning that he stands ready to refute any sufficiently specific accusation that he is a machine. let any mechanist say, to his face, that he is some particular machine M; Lucas will respond by producing forthwith a suitable Gödel sentence ϕM. Having produced ϕM, he will then argue that — given certain credible premises about himself — he could not have done so if the accusation that he was M had been true. let the mechanist try (...) again; Lucas will counter him again in the same way. It is not possible to accuse Lucas truly of being a machine. (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)

Change and necessity is a statement of Darwinian natural selection as a process driven by chance necessity, devoid of purpose or intent.

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, ..

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)

All of the chapters have been written especially for the book by the leading scholars in the field.Michael I. Posner is Professor of Psychology at the ...

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