Reviewed Works:Gaisi Takeuti, Proof Theory.Georg Kreisel, Proof Theory: Some Personal Recollections.Wolfram Pohlers, Contributions of the Schutte School in Munich to Proof Theory.Stephen G. Simpson, Subsystems of $\mathbf{Z}_2$ and Reverse Mathematics.Solomon Feferman, Proof Theory: A Personal Report.

The fundamental texts of the great classical period in modern logic, some of them never before available in English translation, are here gathered together for ...

Introduction: Something on the State of the Art 1 I. Functionalism and Realism 1. Operationalism and Ordinary Language 35 2. The Appeal to Tacit Knowledge in Psychological Explanations 63 3. What Psychological States are Not 79 4. Three Cheers for Propositional Attitudes 100 II. Reduction and Unity of Science 5. Special Sciences 127 6. Computation and Reduction 146 III. Intensionality and Mental Representation 7. Propositional Attitudes 177 8. Tom Swift and His Procedural Grandmother 204 9. Methodological Solipsism Considered as a (...) Research Strategy in Cognitive Psychology 225 IV. Nativism 10. The Present Status of the Innateness Controversy 257 Notes 317. (shrink)

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.

The Taming of the True poses a broad challenge to realist views of meaning and truth that have been prominent in recent philosophy. Neil Tennant argues compellingly that every truth is knowable, and that an effective logical system can be based on this principle. He lays the foundations for global semantic anti-realism and extends its consequences from the philosophy of mathematics and logic to the theory of meaning, metaphysics, and epistemology.

Such a conception, says Dummett, will form "a base camp for an assault on the metaphysical peaks: I have no greater ambition in this book than to set up a base ...

It is often claimed that, because of semantic underdetermination, one can determine the content of an utterance only by appealing to pragmatic considerations concerning what the speaker means, what his intentions are. This supports ‘inferentialism' : the view that, in contrast to perceptual content, communicational content is accessed indirectly, via an inference. As against this view, I argue that primary pragmatic processes (the pragmatic processes that are involved in the determination of truth-conditional content) need not involve an inference from premisses (...) concerning what the speaker can possibly intend by his utterance. Indeed, they need not involve any inference at all : communication, I argue, is as direct as perception. (shrink)

This is a purely conceptual paper. It aims at presenting and putting into perspective the idea of a proof-theoretic semantics of the logical operations. The first section briefly surveys various semantic paradigms, and Section 2 focuses on one particular paradigm, namely the proof-theoretic semantics of the logical operations.

The unifying theme of these thirteen essays is understanding.

Preface 1 Introduction: The Persistence of the Attitudes 2 Individualism and Supervenience 3 Meaning Holism 4 Meaning and the World Order Epilogue Creation Myth Appendix Why There Still Has to be a Language of Thought Notes References Author Index.

The renowned philosopher Jerry Fodor, a leading figure in the study of the mind for more than twenty years, presents a strikingly original theory on the basic constituents of thought. He suggests that the heart of cognitive science is its theory of concepts, and that cognitive scientists have gone badly wrong in many areas because their assumptions about concepts have been mistaken. Fodor argues compellingly for an atomistic theory of concepts, deals out witty and pugnacious demolitions of rival theories, and (...) suggests that future work on human cognition should build upon new foundations. This lively, conversational, and superbly accessible book is the first volume in the Oxford Cognitive Science Series, where the best original work in this field will be presented to a broad readership. Concepts will fascinate anyone interested in contemporary work on mind and language. Cognitive science will never be the same again. (shrink)

I describe and defend the view in a philosophy of mind that I call 'Normative Essentialism', according to which propositional attitudes have normative essences. Those normative essences are 'horizontal' rational requirements, by which I mean the requirement to have certain propositional attitudes given other propositional attitudes. Different propositional attitudes impose different horizontal rational requirements. I distinguish a stronger and a weaker version of this doctrine and argue for the weaker version. I explore the consequences for knowledge of mind, and I (...) then consider objections to the view from mental causation, from empirical psychology, and from animals and small children. (shrink)