The paper presents a proof-theoretic semantics (PTS) for a fragment of natural language, providing an alternative to the traditional model-theoretic (Montagovian) semantics (MTS), whereby meanings are truth-condition (in arbitrary models). Instead, meanings are taken as derivability-conditions in a dedicated natural-deduction (ND) proof-system. This semantics is effective (algorithmically decidable), adhering to the meaning as use paradigm, not suffering from several of the criticisms formulated by philosophers of language against MTS as a theory of meaning. In particular, Dummett’s manifestation argument does not (...) obtain, and assertions are always warranted, having grounds of assertion. The proof system is shown to satisfy Dummett’s harmony property, justifying the ND rules as meaning conferring. The semantics is suitable for incorporation into computational linguistics grammars, formulated in type-logical grammar. (shrink)

According to Conceptual Role Semantics, the meaning of a representation is the role of that representation in the cognitive life of the agent, e.g. in perception, thought and decision-making. It is an extension of the well known "use" theory of meaning, according to which the meaning of a word is its use in communication and more generally, in social interaction. CRS supplements external use by including the role of a symbol inside a computer or a brain. The uses appealed to (...) are not just actual, but also counterfactual: not only what effects a thought does have, but what effects it would have had if stimuli or other states had differed. The view has arisen separately in philosophy and in cognitive science. The source of the view is Wittgenstein and Sellars, but the source in contemporary philosophy is a series of papers by Harman and Field. Other proponents in philosophy have included Block, Horwich, Loar, McGinn and Peacocke. In cognitive science, they include Woods and Miller and Johnson-Laird. (shrink)

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

The perennial question – What is meaning? – receives many answers. In this paper I present and discuss inferentialism – a recent approach to semantics based on the thesis that to have ( such and such ) a meaning is to be governed by ( such and such ) a cluster of inferential rules . I point out that this thesis presupposes that looking for meaning requires seeing language as a social institution (rather than, say, a psychological reality). I also (...) indicate that this approach may be seen as a new embodiment of the old ideas of structuralism. (shrink)

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.

In “The Runabout Inference Ticket” AN Prior (1960) examines the idea that logical connectives can be given a meaning solely in virtue of the stipulation of a set of rules governing them, and thus that logical truth/consequence.

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)

The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...) of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

According to a main idea of Gentzen the meanings of the logical constants are reflected by the introduction rules in his system of natural deduction. This idea is here understood as saying roughly that a closed argument ending with an introduction is valid provided that its immediate subarguments are valid and that other closed arguments are justified to the extent that they can be brought to introduction form. One main part of the paper is devoted to the exact development of (...) this notion. Another main part of the paper is concerned with a modification of this notion as it occurs in Michael Dummett’s book The Logical Basis of Metaphysics. The two notions are compared and there is a discussion of how they fare as a foundation for a theory of meaning. It is noted that Dummett’s notion has a simpler structure, but it is argued that it is less appropriate for the foundation of a theory of meaning, because the possession of a valid argument for a sentence in Dummett’s sense is not enough to be warranted to assert the sentence. (shrink)

The standard approach to what I call “proof-theoretic semantics”, which is mainly due to Dummett and Prawitz, attempts to give a semantics of proofs by defining what counts as a valid proof. After a discussion of the general aims of proof-theoretic semantics, this paper investigates in detail various notions of proof-theoretic validity and offers certain improvements of the definitions given by Prawitz. Particular emphasis is placed on the relationship between semantic validity concepts and validity concepts used in normalization theory. It (...) is argued that these two sorts of concepts must be kept strictly apart. (shrink)

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. _An Introduction to Substrucural Logics_ is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered: * Proof Theory * Propositional Structures * Frames * Decidability * Coda Both (...) students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading. (shrink)

I reject the contention that an important theoretical difference exists between formal and natural languages.

Ce livre est donc voué à la bizarrerie. Mais c'est qu'à accorder tout son soin à l'écriture, il la soumet à une réévaluation radicale. Et les voies sont nécessairement extravagantes lorsqu'il importe d'excéder, pour en penser la possibilité, ce qui se donne pour la logique elle-même - celle qui doit déterminer les rapports de la parole et de l'écriture en se rassurant dans l'évidence du sens commun, dans les catégories de 'représentation' ou 'd'image', dans l'opposition du dedans et du dehors, (...) du plus et du moins, de l'essence et de l'apparence, de l'originaire et du dérivé. Analysant les investissements dont notre culture a chargé le signe écrit, Jacques Derrida en démontre aussi les effets les plus actuels et parfois les plus inaperçus. Cela n'est possible que par un déplacement systématique des concepts - on ne saurait en effet répondre à la question 'qu'est-ce que l'écriture?' par un appel de style 'phénoménologique' à quelque expérience sauvage, immédiate, spontanée. L'interprétation occidentale de l'écriture commande tous les champs de l'expérience, de la pratique et du savoir, et jusqu'à la forme ultime de la question ('qu'est-ce que?') qu'on croit pouvoir libérer de cette prise. L'histoire de cette interprétation n'est pas celle d'un préjugé déterminé, d'une erreur localisée, d'une limite accidentelle. Elle forme une structure finie mais nécessaire dans le mouvement qui se trouve ici reconnu sous le nom de différance. (shrink)

We take it that Brandom’s sense of the geography is that our way of proceeding is more or less the first and his is more or less the second. But we think this way of describing the situation is both unclear and misleading, and we want to have this out right at the start. Our problem is that we don’t know what “you start with” means either in formulations like “you start with the content of words and proceed to the (...) content of sentences” or in formulations like “you start with the content of sentences and you proceed to the content of words.” Brandom’s official view seems to be that he’s talking about explanatory priorities (see the preceding quote); but we think that can’t really be what he has in mind, and we can’t find any alternative interpretation that seems plausible. Speaking just for ourselves, we’re inclined towards a relatively pragmatic view of explanation; what explanation we should “start with” depends, inter alia, on what it’s an explanation of and whom it’s an explanation for. But, in any case, we would have thought that explanatory priority is of more than heuristic interest only if it reflects a priority of some other kind: ontological, semantical, psychological, or whatever. In talking about what one “starts with”, Brandom must be claiming more than. (shrink)

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