Paraconsistent logic
A relation of logical consequence, , on a set of sentences,
, is explosive if and only if for all
,
![]() |
where "¬" is negation. A relation, and the logic that possesses it, is paraconsistent if and only if it is not explosive. Whether or not a correct consequence relation is explosive has been a contentious issue historically, but the standard formal logics of the 20th century, such as classical logic (cf. Logical calculus) and intuitionistic logic are explosive. Formal paraconsistent logics were developed by a number of different people, often working in isolation from each other, starting around the 1960s.
There are many different paraconsistent logics, with their own proof theories and model theories. Their distinctive features occur at the propositional level, though they all have full first- (and second-) order versions. In most of them validity can be defined in terms of preservation of truth in an interpretation.
In one approach, due to S. Jaśkowski, an interpretation is a Kripke model (cf. Kripke models) for some modal logic, and a sentence is true in it if it holds at some world of the interpretation. A major feature of this approach is that the inference of adjunction () fails. In another, an interpretation
,{} is a mapping from
to
, satisfying the usual classical conditions for
,
, and
.
is independent of
. The addition of further constraints on
, such as:
, give logics in N. da Costa's
family. A feature of this approach is that it preserves all of positive logic. In a third approach, an interpretation
is a mapping from
to the closed sets of a topological space
satisfying the conditions
,
,
(where
is the closure operator of
).
is true under
if and only if
is the whole space. This gives a logic dual to intuitionistic logic.
In a fourth approach, an interpretation is a relation , satisfying the natural conditions
![]() |
![]() |
![]() |
![]() |
and dually for .
is true under
if and only if
. This gives the logic of first degree entailment (FDE) of A. Anderson and N. Belnap. If one restricts interpretations to those satisfying the condition
, one gets G. Priest's LP. A feature of this logic is that its logical truths coincide with those of classical logic. Thus, the law of non-contradiction holds:
. A De Morgan lattice is a distributive lattice with an additional operator
satisfying:
and
. An FDE-interpretation can be thought of as a homomorphism into the De Morgan lattice with values
. More generally,
in FDE if and only if for every homomorphism
into a De Morgan lattice,
. Augmenting such lattices with an operator
satisfying certain conditions, and defining validity in the same way, gives a family of relevant logics.
A paraconsistent logic localizes contradictions, and so is appropriate for reasoning from information that may be inconsistent, e.g., information stored in a computer database. It also permits the existence of theories (sets of sentences closed under deducibility) that are inconsistent but not trivial (i.e., containing everything) and of their models, inconsistent structures.
One important example of an inconsistent theory is set theory based on the general comprehension schema (, where
is any formula not containing
), together with extensionality (
). Another is a theory of truth (or of other semantic notions), based on the
-schema (
, where
is any closed formula, and
indicates a name-forming device), together with some mechanism for self-reference, such as arithmetization. Such theories are inconsistent due to the paradoxes of self-reference (cf. Antinomy).
Not all paraconsistent logics are suitable as the underlying logics of these theories. In particular, if the underlying logic contains contraction () and modus ponens (
), these theories are trivial. However, the theories are non-trivial if
is interpreted as the material conditional and the logic LP is used, or if it is interpreted as the conditional of some relevant logics. In the truth theories, the inconsistencies do not spread into the arithmetical machinery.
Given a topos, logical operators can be defined as functors within it, and a notion of internal validity can be defined, giving intuitionistic logic. If these operators, and in particular, negation, are defined in the dual way, the internal logic of the topos is the dual intuitionistic logic. Topoi can therefore be seen as inconsistent structures.
For another example of inconsistent structures, let be the set of sentences true in the standard model of arithmetic. If
is a set of sentences in the same language properly containing
, then
is inconsistent, and so has no classical models; but
has models, including finite models, in the paraconsistent logic LP. Inconsistent (sets of) equations may have solutions in such models. The LP-models of
include the classical non-standard models of arithmetic (cf. Peano axioms) as a special case, and, like them, have a notable common structure.
In inconsistent theories of arithmetic, the incompleteness theorems of K. Gödel (cf. Gödel incompleteness theorem) fail: such a theory may be axiomatizable and contain its own "undecidable" sentence (and its negation).
Inconsistent theories may be interesting or useful even if they are not true. The view that some inconsistent theories are true is called dialetheism (or dialethism).
For a general overview of the area, see [a2]. [a3] is a collection of articles, with much background material. On inconsistent mathematical structures, see [a1].
References
[a1] | C. Mortensen, "Inconsistent mathematics" , Kluwer Acad. Publ. (1995) |
[a2] | G. Priest, "Paraconsistent logic" D. Gabbay (ed.) F. Guenthner (ed.) , Handbook of Philosophical Logic , VII , Kluwer Acad. Publ. (to appear) (Edition: Second) |
[a3] | "Paraconsistent logic: essays on the inconsistent" G. Priest (ed.) R. Routley (ed.) G. Norman (ed.) , Philosophia Verlag (1989) |
Paraconsistent logic. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Paraconsistent_logic&oldid=17427