Weak consistency and strong paraconsistency

  • Gemma Robles Universidad de La Laguna
Keywords: Philosophy of logic, substructural logics, paraconsistent logics, constructive falsity.

Abstract

In a standard sense, consistency and paraconsistency are understood as, respectively, the absence of any contradiction and as the absence of the ECQ (“E contradictione quodlibet”) rule that allows us to conclude any well formed formula from any contradiction. The aim of this paper is to explain the concepts of weak consistency alternative to the standard one, the concepts of paraconsistency related to them and the concept of strong paraconsistency, all of which have been defined by the author together with José M. Méndez.
Published
2009-11-06
Section
Special Issue: What is Really Information? An Interdisciplinary Approach.