University of Campinas
Department of Philosophy
PhD, 1985
Campinas, São Paulo, Brazil
  • Making The ‘Hardest Logic Puzzle Ever’ a Bit Harder
    In Brian Rayman & Melvin Fitting (eds.), Raymond Smullyan on Self Reference, Springer Verlag. 2017.
  • Experimenting with Consistency
    with Juliana Bueno-Soler and Walter Carnieli and Juliana Bueno-Soler
    In Dmitry Zaitsev & Vladimir Markin (eds.), The Logical Legacy of Nikolai Vasiliev and Modern Logic, Springer Verlag. pp. 199-221. 2017.
    This paper discusses logical accounts of the notions of consistency and negation, and in particular explores some potential means of defining consistency and negation when expressed in modal terms. Although this can be done with interesting consequences when starting from classical normal modal logics, some intriguing cases arise when starting from paraconsistent modalities and negations, as in the hierarchy of the so-called cathodic modal paraconsistent systems (cf. Bueno-Soler, Log Univers 4(1…Read more
  •  26
    Finite and infinite-valued logics: inference, algebra and geometry: Preface
    Journal of Applied Non-Classical Logics 9 (1): 7-8. 1999.
    This is the preface for a special volume published by the Journal of Applied Non-Classical Logics Volume 9, Issue 1, 1999.
  • The Wonder of Colors and the Principle of Ariadne
    with Carlos di Prisco
    In Marcos Silva (ed.), How Colours Matter to Philosophy, Springer. 2017.
  •  18
    Foreword
    with Edward Hermann Haeusler and Petrucio Viana
    Logic Journal of the IGPL 25 (4): 381-386. 2017.
  •  28
    On paraconsistent deontic logic
    Philosophia 16 (3-4): 293-305. 1986.
  •  27
    Computability. Computable Functions, Logic, and the Foundations of Mathematics
    with Richard L. Epstein
    Bulletin of Symbolic Logic 8 (1): 101-104. 2002.
  •  4
    The Many Sides of Logic. (edited book)
    College Publications. 2009.
    The ``Many Sides of Logic'' is a volume containing a selection of the papers delivered at three simultaneous events held between 11-17 May 2008 in Paraty, RJ, Brazil, continuing a tradition of three decades of Brazilian and Latin-American meetings and celebrating the 30th anniversary of an institution congenital with the mature interest for logic, epistemology and history of sciences in Brazil: CLE 30 - 30th Anniversary of the Centre for Logic, Epistemology and the History of Science at the Stat…Read more
  •  11
    Paraconsistent Algebras
    with Luiz Paulo de Alcantara
    Studia Logica 43 (1): 79-88. 1984.
    The propositional calculi $C_{n}$ , $1\leq n\leq \omega $ introduced by N.C.A. da Costa consitute special kinds of paraconsistent logics. A question which remained open for some time concerned whether it was possible to obtain a Lindenbaum's algebra for $C_{n}$ . C. Mortensen settled the problem, proving that no equivalence relation for $C_{n}$ determines a non-trivial quotient algebra. The concept of da Costa algebra, which reflects most of the logical properties of $C_{n}$ , as well as the con…Read more
  •  5
    Some results on polarized partion relations of higher dimension
    with Carlos Augusto Di Prisco
    Mathematical Logic Quarterly 39 (1): 461-474. 1993.
    Several types of polarized partition relations are considered. In particular we deal with partitions defined on cartesian products of more than two factors. MSC: 03E05
  •  7
    Possible-translations algebraization for paraconsistent logics
    with Juliana Bueno-Soler
    Bulletin of the Section of Logic 34 (2): 77-92. 2005.
  •  21
    Paraconsistent algebras
    with Luiz Paulo Alcantara
    Studia Logica 43 (1-2). 1984.
    The prepositional calculiC n , 1 n introduced by N.C.A. da Costa constitute special kinds of paraconsistent logics. A question which remained open for some time concerned whether it was possible to obtain a Lindenbaum''s algebra forC n . C. Mortensen settled the problem, proving that no equivalence relation forC n . determines a non-trivial quotient algebra.The concept of da Costa algebra, which reflects most of the logical properties ofC n , as well as the concept of paraconsistent closure syst…Read more
  •  500
    Recovery operators, paraconsistency and duality
    Logic Journal of the IGPL 28 (5): 624-656. 2020.
    There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a parac…Read more
  •  699
    The Wonder of Colors and the Principle of Ariadne
    with Carlos di Prisco
    In Walter Carnielli & Carlos di Prisco (eds.), The Wonder of Colors and the Principle of Ariadne, Springer. pp. 309-317. 2017.
    The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne Ga…Read more
  •  4
    This is a review of Yves Nievergelt, Foundations of Logic and Mathematics: Applications to Computer Science and Cryptography, Birkäuser Verlag, Boston, 2002, €90, pp. 480, ISBN 0-8176-4249-8, hardcover
  •  10
    Limits for Paraconsistent Calculi
    Notre Dame Journal of Formal Logic 40 (3): 375-390. 1999.
    This paper discusses how to define logics as deductive limits of sequences of other logics. The case of da Costa's hierarchy of increasingly weaker paraconsistent calculi, known as $ \mathcal {C}$n, 1 $ \leq$ n $ \leq$ $ \omega$, is carefully studied. The calculus $ \mathcal {C}$$\scriptstyle \omega$, in particular, constitutes no more than a lower deductive bound to this hierarchy and differs considerably from its companions. A long standing problem in the literature (open for more than 35 year…Read more
  •  93
    Tableaux sin refutación
    Matemáticas: Enseñanza Universitaria 13 (2): 81-99. 2005.
    Motivated by H. Curry’s well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus without refutation based upon the idea of implicational triviality. The completeness of the method is proven, which establishes a new decision procedure for the (classical) positive propositional logic. We also introduce the concept of paratriviality in order to contribute to the question of paradoxes and limitations imposed by the behavior of cla…Read more
  •  10
    Conference Report
    with I. D'ottaviano, A. Sette, and M. Wrigley
    Logic Journal of the IGPL 5 (3): 135-173. 1997.
  •  10
    The proceedings of the XVI ebl--16th Brazilian logic conference, 2011: A preface
    with Renata de Freitas Petrucio Viana
    Logic Journal of the IGPL 22 (2): 181-185. 2014.
  •  13
    The Logical Way to the Inconsistent Walter Alexandr Carnielli, Marcelo Coniglio, Itala Maria Lof D'ottaviano. Beyond Truth(-Preservation) R.E. JENNINGS Laboratory for Logic and Experimental Philosophy, Simon Fraser University, Burnaby, ...
  •  401
    Meeting Hintikka's Challenge to Paraconsistentism
    Principia: An International Journal of Epistemology 13 (3): 283-297. 2009.
    Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF logic and paraconsistent logic are, in a sense, very similar. Having sketched the proposal of a new paraconsistent system, he maintains that several achievements of IF logic could be reproducible in paraconsistent logic. One of the major difficulties, left as a challenge, would be to formulate some truth conditions for this new paraconsistent first-order language in order to make IF logic and paraconsistent logic more inte…Read more
  •  90
    Claude P. Bruter (editor), Mathematics in Art: Mathematical Visualization in Art and Education, Springer-Verlag, New York, 2002, pp. X + 337, ISBN 3-540-43422-4
  •  42
    Interpolation via translations
    with João Rasga and Cristina Sernadas
    Mathematical Logic Quarterly 55 (5): 515-534. 2009.
    A new technique is presented for proving that a consequence system enjoys Craig interpolation or Maehara interpolation based on the fact that these properties hold in another consequence system. This technique is based on the existence of a back and forth translation satisfying some properties between the consequence systems. Some examples of translations satisfying those properties are described. Namely a translation between the global/local consequence systems induced by fragments of linear lo…Read more
  •  53
    XVI Brazilian Logic Conference (EBL 2011)
    with Renata de Freitas and Petrucio Viana
    Bulletin of Symbolic Logic 18 (1): 150-151. 2012.
    This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of congregating logicians from Brazil an…Read more
  •  8
    Systematization of finite many-valued logics through the method of tableaux
    Journal of Symbolic Logic 52 (2): 473-493. 1987.
    his paper presents a unified treatment of the propositional and first-order many-valued logics through the method of tableaux. It is shown that several important results on the proof theory and model theory of those logics can be obtained in a general way. We obtain, in this direction, abstract versions of the completeness theorem, model existence theorem (using a generalization of the classical analytic consistency properties), compactness theorem and Lowenheim-Skolem theorem. The paper is comp…Read more
  •  3
    This paper intends to open a discussion on how certain dangerous kinds of deceptive reasoning can be defined, in which way it is achieved in a discussion, and which would be the strategies for defense against such deceptive attacks on the light of some principles accepted as fundamental for rationality and logic.
  •  17
    Editorial
    with Paulo Mateus
    Logic Journal of the IGPL 13 (6): 611-614. 2005.
  •  17
    Anti-intuitionism and paraconsistency
    with Andreas B. M. Brunner
    Journal of Applied Logic 3 (1): 161-184. 2005.