Develops a logical analysis of dialogue in which two or more parties attempt to advance their own interests. It includes a classification of the major types of dialogues and a discussion of several important informal fallacies.

What would something unlike us--a chimpanzee, say, or a computer--have to be able to do to qualify as a possible knower, like us? To answer this question at the very heart of our sense of ourselves, philosophers have long focused on intentionality and have looked to language as a key to this condition. Making It Explicit is an investigation into the nature of language--the social practices that distinguish us as rational, logical creatures--that revises the very terms of this inquiry. Where (...) accounts of the relation between language and mind have traditionally rested on the concept of representation, this book sets out an alternate approach based on inference, and on a conception of certain kinds of implicit assessment that become explicit in language. Making It Explicit is the first attempt to work out in detail a theory that renders linguistic meaning in terms of use--in short, to explain how semantic content can be conferred on expressions and attitudes that are suitably caught up in social practices. -/- At the center of this enterprise is a notion of discursive commitment. Being able to talk--and so in the fullest sense being able to think--is a matter of mastering the practices that govern such commitments, being able to keep track of one’s own commitments and those of others. Assessing the pragmatic significance of speech acts is a matter of explaining the explicit in terms of the implicit. As he traces the inferential structure of the social practices within which things can be made conceptually explicit, the author defines the distinctively expressive role of logical vocabulary. This expressive account of language, mind, and logic is, finally, an account of who we are. (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)

A dialogue game is presented that enables us to generate coherent elementary conversational sequences at the speech act level. Central to this approach is the fact that the cognitive states of players change as a result of the interpretation of speech acts and that these changes provoke the production of a subsequent speech act. The rules of the game are roughly based on the Gricean maxims of co-operation ¿ i.e., agents are forbidden to put forward information they do not believe (...) and are forbidden to ask anything they already believe; the Gricean maxim of relevance is determined by a so-called imbalance in the players¿ belief and desire states. As in realistic conversational situations, it is assumed that the information needed to answer a question can be present in a distributed manner. Consequently, the structure of the dialogues may become rather complex, and may result in the generation of counter-questions and sub-dialogues. It will be shown that the structure and the coherence of conversational units do not necessarily have to be the product of a complex planning process or a speech act grammar, but can be based on elementary generation rules that take only into account the local context. As a result, the conversational game does not suffer from the same computational complexity as existing planning models for speech act generation. Although simple in its basic form, the framework enables us to produce abstract conversations with some properties that agree strikingly with dialogue properties found in Conversation Analysis. (shrink)

No detailed description available for "From Axiom to Dialogue".

In any survey of recent developments in semantics, the game-theoretic approach to the semantics of both formal and of natural languages which has been developed by Jaakko Hintikka and his associates must loom large. It is indeed well known by this time that the semantics of the usual first-order logic can be spelled out in terms of games. What is not equally generally known is that this game-theoretical semantics can be augmented so as to apply also to natural languages and (...) not only to some of the artificial languages studied by logicians. The results already reached by Hintikka and his associates in this direction nevertheless show that many important phenomena of natural language can be handled in the game-theoretical framework. In this paper I shall first try to outline the basic ideas of the game-theoretical approach to semantics, then discuss briefly some problems which have so far been left untouched and thereby try to provide some new evidence for the naturalness and adequacy of a game-theoretical semantics. (shrink)

In this study Friedrich Waismann gives a systematic presentation of insights into philosophical problems which can be achieved by clarifying the language in which the problems are posed. Much of the material and the method itself derive from Wittgenstein's work in the early 30s. The book was originally envisaged as a lucid and well organized account of Wittgenstein's distinctive form of linguistic philosophy to enable the Vienna Circle to incorporate these valuable methods into their own programme of analysis. The project (...) evolved over many years into a wide-ranging survey of the dissolution of many philosophical problems and the construction of a systematic philosophical grammar. Waismann shows in detail how puzzlement can be removed by careful description of the uses of the terms employed in framing problems. At the same time, he sketches a general framework for analysis of language, including chapters on names, general terms, logical operators, propositions, questions, etc. This book is an authoritative presentation of Wittgenstein's influential philosophy of language in a format much easier to follow than his own intricate and elusive texts. Waismann exhibits clearly the merits of this method of philosophizing. This book should serve as an important and useful text for those who wish to understand the method and power of linguistic philosophy. It has no equal as an introduction to Wittgenstein's philosophy. (shrink)