I provide an interpretation of Wittgenstein's much criticized remarks on Gödel's First Incompleteness Theorem in the light of paraconsistent arithmetics: in taking Gödel's proof as a paradoxical derivation, Wittgenstein was right, given his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. I show that the models of paraconsistent arithmetics (obtained via the Meyer-Mortensen (...) collapsing filter on the standard model) match with many intuitions underlying Wittgensteins philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any meaningful mathematical question. (shrink)

Consequence is at the heart of logic, and an account of consequence offers a vital tool in the evaluation of arguments. This text presents what the authors term as 'logical pluralism' arguing that the notion of logical consequence doesn't pin down one deductive consequence relation; it allows for many of them.

The paper deals with the most controversial - in the modern scholarly discussion - episode within the Byzantine polemics on the Filioque, Nicephorus Blemmydes‘ acknowledgement of proceeding of the Spirit through the Son providing that the Son be considered as generated through the Spirit. The logical intuition behind this theological idea is explicated in the terms of paraconsistent logic and especially of a kind of paraconsistent numbers called by the author “pseudo-natural numbers”. Such numbers could not be interpreted via the (...) notion of ordered pair. Instead, they imply a known but still little studied logical connective ternary exclusive OR. (shrink)