Paraconsistency, Evidence and Semantic Incompleteness

Abstract

In this paper, we argue that the systems Basic Logic of Evidence (BLE) and Logic of Evidence and Truth (LETJ) suffer a kind of semantic incompleteness with respect to the informal notion of evidence. More especifically, we argue that the connective o of the logic LETJ fails to validate intuitive principles about conclusive evidence.