University of Campinas
Department of Philosophy
PhD, 1985
Campinas, São Paulo, Brazil
  •  28
    On paraconsistent deontic logic
    Philosophia 16 (3-4): 293-305. 1986.
  •  25
    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
  •  22
    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
  •  31
    Possible-translations algebraization for paraconsistent logics
    with Juliana Bueno-Soler
    Bulletin of the Section of Logic 34 (2): 77-92. 2005.
  •  52
    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
  •  475
    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
  •  694
    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
  •  443
    Ernst Schröder, Parafrasi Schröderiane. Ovvero: Ernst Schröder, Leoperazioni del Calcolo Logico. Original German text with Italian translation, commentary and annotations by Davide Bondoni, LED Edizioni, Milan, 2010, pp. 208, 15,5 × 22 cm, ISBN 978-88-7916-474-0
  •  101
    Modulated fibring and the collapsing problem
    with Cristina Sernadas and João Rasga
    Journal of Symbolic Logic 67 (4): 1541-1569. 2002.
    Fibring is recognized as one of the main mechanisms in combining logics, with great signicance in the theory and applications of mathematical logic. However, an open challenge to bring is posed by the collapsing problem: even when no symbols are shared, certain combinations of logics simply collapse to one of them, indicating that bring imposes unwanted interconnections between the given logics. Modulated bring allows a ner control of the combination, solving the collapsing problem both at the s…Read more
  •  167
    On paraconsistent deontic logic
    Philosophia 16 (3-4): 293-305. 1986.
    This paper develops the first deontic logic in the context of paraconsistent logics.
  •  756
    Translations between logical systems: a manifesto
    with Itala Ml D'Ottaviano
    Logique Et Analyse 157 67-81. 1997.
    The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, log…Read more
  •  1004
    We present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically …Read more
  •  532
    Formal inconsistency and evolutionary databases
    with João Marcos and Sandra De Amo
    Logic and Logical Philosophy 8 (2): 115-152. 2000.
    This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems a…Read more
  •  11
    6th Workshop on Logic, Language, Information and Computation
    with Ruy J. G. B. De Queiroz
    Bulletin of Symbolic Logic 5 (3): 424-425. 1999.
  •  39
    I argue that a compulsive seeking for just one sense of consistency is hazardous to rationality, and that observing the subtle distinctions of reasonableness between individual and groups may suggest wider, structuralistic notions of consistency, even relevant to re-assessing Gödei's Second Incompleteness Theorem and to science as a whole
  •  428
    Razão e irracionalidade na representação do conhecimento
    with Mamede Lima Marques
    Trans/Form/Ação 14 165-177. 1991.
    How is it possible that beginning from the negation of rational thoughts one comes to produce knowledge? This problem, besides its intrinsic interest, acquires a great relevance when the representation of a knowledge is settled, for example, on data and automatic reasoning. Many treatment ways have been tried, as in the case of the non-monotonic logics; logics that intend to formalize an idea of reasoning by default, etc. These attempts are incomplete and are subject to failure. A possible solut…Read more
  •  227
    This publication refers to the proceedings of the Seventh Latin American on Mathematical Logic held in Campinas, SP, Brazil, from July 29 to August 2, 1985. The event, dedicated to the memory of Ayda I. Arruda, was sponsored as an official Meeting of the Association for Symbolic Logic. Walter Carnielli. The Journal of Symbolic Logic Vol. 51, No. 4 (Dec., 1986), pp. 1093-1103
  •  55
    Maximal weakly-intuitionistic logics
    with A. M. Sette
    Studia Logica 55 (1). 1995.
    This article introduces the three-valuedweakly-intuitionistic logicI 1 as a counterpart of theparaconsistent calculusP 1 studied in [11].I 1 is shown to be complete with respect to certainthree-valued matrices. We also show that in the sense that any proper extension ofI 1 collapses to classical logic.The second part shows thatI 1 is algebraizable in the sense of Block and Pigozzi (cf. [2]) in a way very similar to the algebraization ofP 1 given in [8].
  •  39
    The problem of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics
    Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (1): 19-29. 1987.
    This paper investigates a problem related to quantifiers which has some analogies to that of propositional completeness I give a definition of quantifier in many-valued logics generalizing the cases which already occur in first order many- valued logics. Though other definitions are possible, this particular one, which I call distribution quantifiers, generalizes the classical quantifiers in a very natural way, and occurs in finite numbers in every m-valued logic. We …Read more
  •  33
    Polynomizing is a term that intends to describe the uses of polynomial-like representations as a reasoning strategy and as a tool for scientific heuristics. I show how proof-theory and semantics for classical and several non-classical logics can be approached from this perspective, and discuss the assessment of this prospect, in particular to recover certain ideas of George Boole in unifying logic, algebra and the differential calculus.
  •  5
    Logic, sets and information: proceedings of the tenth Brazilian Conference on Mathematical Logic (edited book)
    Centro de Lógica, Epistemologia e História da Ciência, UNICAMP. 1995.
    Proceedings of the Tenth Brazilian Conference on Mathematical Logic. Coleção CLE, volume 14, 1995. Centro De Lógica, Epistemologia e História da Ciência, Unicamp, Campinas, SP, Brazil.
  •  68
    Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil (review)
    with Itala M. L. D'ottaviano and Brazilian Conference on Mathematical Logic
    American Mathematical Soc.. 1999.
    This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were select…Read more
  •  86
    The dialogical approach to paraconsistency
    with Sahid Rahman
    Synthese 125 (1-2): 201-232. 2000.
    Being a pragmatic and not a referential approach tosemantics, the dialogical formulation ofparaconsistency allows the following semantic idea tobe expressed within a semi-formal system: In anargumentation it sometimes makes sense to distinguishbetween the contradiction of one of the argumentationpartners with himself (internal contradiction) and thecontradiction between the partners (externalcontradiction). The idea is that externalcontradiction may involve different semantic contextsin which, s…Read more