A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

In response to the liar’s paradox, Kripke developed the fixed-point semantics for languages expressing their own truth concepts. Kripke’s work suggests a number of related fixed-point theories of truth for such languages. Gupta and Belnap develop their revision theory of truth in contrast to the fixed-point theories. The current paper considers three natural ways to compare the various resulting theories of truth, and establishes the resulting relationships among these theories. The point is to get a sense of the lay of (...) the land amid a variety of options. Our results will also provide technical fodder for the methodological remarks of the companion paper to this one. (shrink)

In this rigorous investigation into the logic of truth Anil Gupta and Nuel Belnap explain how the concept of truth works in both ordinary and pathological..

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)

Awarded the 1988 Johnsonian Prize in Philosophy. Published with the aid of a grant from the National Endowment for the Humanities.