-
32Ruth Barcan Marcus est-elle la mère du fils de Wittgenstein?(Considerations existencialistes sur la formule de Barcan)Manuscrito: Revista Internacional de Filosofía 22 (2): 11-27. 1999.
-
99O Suicídio segundo Arthur SchopenhauerDiscurso 28 127-144. 1997.Neste artigo examinamos a concepção filosófica do suicídio em Schopenhauer. Mostramos que a razão fundamental pela qual Schopenhauer rejeita o suicídio está intimamente ligada ao fundamento da sua metafísica. Explicamos suas diferenças face às rejeições tradicionais do suicídio, visto que Schopenhauer considera o suicídio um erro mas não um crime, e quais são os casos nos quais o suicídio pode ser aceito.
-
From Paraconsistent Logic to Universal LogicSorites 12 5-32. 2001.For several years I have been developing a general theory of logics that I have called Universal Logic. In this article I will try to describe how I was led to this theory and how I have progressively conceived it, starting my researches about ten years ago in Paris in paraconsistent logic and the broadening my horizons, pursuing my researches in Brazil, Poland and the USA.
-
160Idempotent Full Paraconsistent Negations are not AlgebraizableNotre Dame Journal of Formal Logic 39 (1): 135-139. 1998.Using methods of abstract logic and the theory of valuation, we prove that there is no paraconsistent negation obeying the law of double negation and such that $\neg(a\wedge\neg a)$ is a theorem which can be algebraized by a technique similar to the Tarski-Lindenbaum technique.
-
Transitivity and ParadoxesThe Baltic International Yearbook of Cognition, Logic and Communication 1. 2005.
-
107Disentangling Contradiction from Contrariety via IncompatibilityLogica Universalis 10 (2-3): 157-170. 2016.Contradiction is often confused with contrariety. We propose to disentangle contrariety from contradiction using the hexagon of opposition, providing a clear and distinct characterization of three notions: contrariety, contradiction, incompatibility. At the same time, this hexagonal structure describes and explains the relations between them.
-
172Logic may be simple. Logic, congruence and algebraLogic and Logical Philosophy 5 (n/a): 129-147. 1997.This paper is an attempt to clear some philosophical questions about the nature of logic by setting up a mathematical framework. The notion of congruence in logic is defined. A logical structure in which there is no non-trivial congruence relation, like some paraconsistent logics, is called simple. The relations between simplicity, the replacement theorem and algebraization of logic are studied (including MacLane-Curry’s theorem and a discussion about Curry’s algebras). We also examine how these…Read more
