Paraconsistency. The Logical Way to the Inconsistent

TitleOntological causes of inconsistency and a change-adaptive, logical solution
Publication TypeBook Chapter (with title)
Year of Publication2002
AuthorsVanackere, G
Secondary AuthorsCarnielli, WA, Coniglio, ME, D'Ottaviano, IMLoffred
Book TitleParaconsistency. The Logical Way to the Inconsistent
PublisherMarcel Dekker
ISBN Number0824708059

This paper reveals an implicit ontological assumption that is presupposed in common thought. This assumption results in the fact that people usually do not make any distinction between 'the object a' and 'the object a at a given moment'. This laziness causes many inconsistencies. Several attempts to solve these inconsistencies are studied, and the most natural one is elaborated, namely the one obtained by applying Classical Logic to an ontological correct domain. This solution has a drawback with respect to communication, which is solved by the change-adaptive logic CAL2. This non-monotonic, paraconsistent logic, belongs to the family of ambiguity-adaptive logics. It has the special characteristic that it solves inconsistencies by the introduction of more precise names for objects, more exactly names that refer to objects at a moment. The dynamics of the logic captures the change in objects. CAL2 has a nice proof theory, and an intuitive semantics. Interesting results and applications are commented upon, for instance those making use of the notion 'periods of invariance'. Of course, the philosophical background is discussed.

Citation Key402884