The paper explains how a paraconsistent logician can appropriate all classical reasoning. This is to take consistency as a default assumption, and hence to work within those models of the theory at hand which are minimally inconsistent. The paper spells out the formal application of this strategy to one paraconsistent logic, first-order LP. (See, Ch. 5 of: G. Priest, In Contradiction, Nijhoff, 1987.) The result is a strong non-monotonic paraconsistent logic agreeing with classical logic in consistent situations. It is shown (...) that the logical closure of a theory under this logic is trivial only if its closure under LP is trivial. (shrink)

In this incisive new book one of Britain's most eminent philosophers explores the often overlooked tension between voluntariness and involuntariness in human cognition. He seeks to counter the widespread tendency for analytic epistemology to be dominated by the concept of belief. Is scientific knowledge properly conceived as being embodied, at its best, in a passive feeling of belief or in an active policy of acceptance? Should a jury's verdict declare what its members involuntarily believe or what they voluntarily accept? And (...) should statements and assertions be presumed to express what their authors believe or what they accept? Does such a distinction between belief and acceptance help to resolve the paradoxes of self-deception and akrasia? Must people be taken to believe everything entailed by what they believe, or merely to accept everything entailed by what they accept? Through a systematic examination of these problems, the author sheds new light on issues of crucial importance in contemporary epistemology, philosophy of mind, and cognitive science. (shrink)

In In Contradiction, Graham Priest shows, as clearly as anything like this can be shown, that it is coherent to maintain that some sentences can be both true and false at the same time. As a consequence, some contradictions are true, and an appreciation of this possibility advances our understanding of the nature of logic and language.

1 IntroductionNumerous solutions have been proposed to the semantic paradoxes. Two that are frequently singled out and compared are the following. The first is that according to which paradoxical sentences are neither true nor false — as it is sometimes put, they are semantic gaps. The second is that according to which paradoxical sentences are both true and false — as it is sometimes put, they are semantic gluts. Calling the first of these a solution is, in fact, somewhat misleading: (...) it is rather like calling an opening gambit a game of chess. For the solution runs into severe problems almost immediately, and so can be only the first of a series of moves made to defend the original weak opening. Nonetheless, the symmetry involved in the gap and glut solutions is obvious enough to make the comparison a natural one. (shrink)