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)

The main object of this paper is to provide the logical machinery needed for a viable basis for talking of the ‘consequences’, the ‘content’, or of ‘equivalences’ between inconsistent sets of premisses.With reference to its maximal consistent subsets (m.c.s.), two kinds of ‘consequences’ of a propositional set S are defined. A proposition P is a weak consequence (W-consequence) of S if it is a logical consequence of at least one m.c.s. of S, and P is an inevitable consequence (I-consequence) of (...) S if it is a logical consequence of all the m.c.s. of S. The set of W-consequences of a set S it determines (up to logical equivalence) its m.c.s. (This enables us to define a normal form for every set such that any two sets having the same W-consequences have the same normal form.) The W-consequences and I-consequences will not do to define the ‘content’ of a set S. The first is too broad, may include propositions mutually inconsistent, the second is too narrow. A via media between these concepts is accordingly defined: P is a P-consequence of S, where P is some preference criterion yielding some of the m.c.s. of S as preferred to others, and P is a consequence of all of the P-preferred m.c.s. of S. The bulk of the paper is devoted to discussion of various preference criteria, and also surveys the application of this machinery in diverse contexts - for example, in connection with the processing of mutually inconsistent reports. (shrink)