<<
>>

Paraconsistency

Justification logic offers a well-principled approach to paraconsistency, which looks for noncollapsing logical ways of dealing with contradictory sets of as­sumptions, e.g.,

The following obvious observation shows how to convert any set of assump­tions

into a logically consistent set of sentences while maintaining all the intrinsic structure of Γ.

Informally, instead of (perhaps inconsistently) assuming that Γ holds, we assume only that each sentence A from Γ has a justification, i.e.,

It is easy to see that for each Γ, the setis consistent in what will be our basic justification logic J.

<< | >>
Source: Artemov S., Fitting M.. Justification Logic: Reasoning with Reasons. Cambridge: Cambridge University Press,2019. — 271 p.. 2019

More on the topic Paraconsistency:

  1. Paraconsistency
  2. References
  3. References
  4. Contents
  5. Index