Abstract

I will present paraconsistent logic in three different contexts: i) the experimental context, in which a statement is considered as concerning an experimental datum ; ii) the theoretical context, in which a statement is considered in a provisional way, as a candidate for playing inside a theoretical framework the role of a principle; iii) the foundational context, where a same statement leads to compare two different semantics according to two different formalizations of a same theory; in other terms, when these formalizations are mutually incommensurable. The case-study of the original Goe-del's proof is analysed as an instance of the last use of paraconsistent logic