-
988We 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
-
746Translations between logical systems: a manifestoLogique 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
-
709Towards a philosophical understanding of the logics of formal inconsistencyManuscrito 38 (2): 155-184. 2015.In this paper 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 in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue …Read more
-
680The Wonder of Colors and the Principle of AriadneIn 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
-
554Logics of Formal Inconsistency Enriched with Replacement: An Algebraic and Modal AccountReview of Symbolic Logic 15 (3): 771-806. 2022.One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative resu…Read more
-
524Formal inconsistency and evolutionary databasesLogic 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
-
453Erratum to “The Ricean Objection: An Analogue of Rice's Theorem for First-Order Theories” Logic Journal of the IGPL, 16: 585–590 (review)Logic Journal of the IGPL 17 (6): 803-804. 2009.This note clarifies an error in the proof of the main theorem of “The Ricean Objection: An Analogue of Rice’s Theorem for First-Order Theories”, Logic Journal of the IGPL, 16(6): 585–590(2008)
-
443Recovery operators, paraconsistency and dualityLogic 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
-
435Book Reviews: Ernst Schröder, Parafrasi Schröderiane. Ovvero: Ernst Schröder, Leoperazioni del Calcolo LogicoLogic and Logical Philosophy 20 (3): 267-272. 2011.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
-
422Razão e irracionalidade na representação do conhecimentoTrans/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
-
402Paraconsistent Logics for Knowledge Representation and Reasoning: advances and perspectives18th International Workshop on Nonmonotonic Reasoning. 2020.This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are…Read more
-
394Book Reviews: Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, CambridgeLogic and Logical Philosophy 15 (1): 91-96. 2006.Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge, UK, 2004, pp. 432
-
390Twist-Valued Models for Three-valued Paraconsistent Set TheoryLogic and Logical Philosophy 30 (2): 187-226. 2021.Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the…Read more
-
381Book Reviews: Claude P. Bruter (editor), Mathematics in Art: Mathematical Visualization in Art and EducationLogic and Logical Philosophy 13 (n/a): 163-166. 2004.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
-
380Meeting Hintikka's Challenge to ParaconsistentismPrincipia: 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
-
350Modulated logics and flexible reasoningLogic and Logical Philosophy 17 (3): 211-249. 2008.This paper studies a family of monotonic extensions of first-order logic which we call modulated logics, constructed by extending classical logic through generalized quantifiers called modulated quantifiers. This approach offers a new regard to what we call flexible reasoning. A uniform treatment of modulated logics is given here, obtaining some general results in model theory. Besides reviewing the “Logic of Ultrafilters”, which formalizes inductive assertions of the kind “almost all”, two new …Read more
-
325On formal aspects of the epistemic approach to paraconsistencyIn Max Freund, Max Fernandez de Castro & Marco Ruffino (eds.), Logic and Philosophy of Logic: Recent Trends in Latin America and Spain, College Publications. pp. 48-74. 2018.This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability a…Read more
-
273Tableaux sin refutaciónMatemá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
-
227Seventh Latin American on Mathematical Logic- Meeting of the association for symbolic logic: Campinas, Brazil, 1985Journal of Symbolic Logic 51 (4): 1093-1103. 1986.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
-
206The tyranny of knowledgeManuscrito 31 (1): 511-518. 2008.EN In his “Logic, Language, and Knowledge” Chateaubriand denounces the tyranny of belief , but takes some positions on knowledge and justification which seem to be too exacting. The fact that Chateaubriand derives constraints on the notion of justification by a close parallel to the notion of proof makes it unnecessarily loaded with the individual, rather than with the collective perspective. His position seems to leave little room for common knowledge, collective knowledge and usual common-sen…Read more
-
203Resenha de 'Logiques classiques et non classiques. essai sur les fondements de la logique' (Newton C.A. da Costa)Manuscrito 23 (1): 235-241. 2000.This is a review of: Newton C.A. da Costa, Logiques Classiques et Non Classiques. Essai sur les Fondements de la Logique. Translated from the Portuguese by Jean-Yves Béziau (with two appendices by the translator) Culture Scientifique, Masson, Paris, 1997, 276p. ISBN 2-225-85247-2
-
201“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philos…Read more
-
183XVI Brazilian Logic Conference (EBL 2011)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
-
162On paraconsistent deontic logicPhilosophia 16 (3-4): 293-305. 1986.This paper develops the first deontic logic in the context of paraconsistent logics.
-
120An epistemic approach to paraconsistency: a logic of evidence and truthSynthese 196 (9): 3789-3813. 2019.The purpose of this paper is to present a paraconsistent formal system and a corresponding intended interpretation according to which true contradictions are not tolerated. Contradictions are, instead, epistemically understood as conflicting evidence, where evidence for a proposition A is understood as reasons for believing that A is true. The paper defines a paraconsistent and paracomplete natural deduction system, called the Basic Logic of Evidence, and extends it to the Logic of Evidence and …Read more
-
113Fibring non-truth-functional logics: Completeness preservationJournal of Logic, Language and Information 12 (2): 183-211. 2003.Fibring has been shown to be useful for combining logics endowed withtruth-functional semantics. However, the techniques used so far are unableto cope with fibring of logics endowed with non-truth-functional semanticsas, for example, paraconsistent logics. The first main contribution of thepaper is the development of a suitable abstract notion of logic, that mayalso encompass systems with non-truth-functional connectives, and wherefibring can still be dealt with. Furthermore, it is shown that th…Read more
-
105Surviving AbductionLogic Journal of the IGPL 14 (2): 237-256. 2006.Abduction or retroduction, as introduced by C.S. Peirce in the double sense of searching for explanatory instances and providing an explanation is a kind of complement for usual argumentation. There is, however, an inferential step from the explanandum to the abductive explanans . Whether this inferential step can be captured by logical machinery depends upon a number of assumptions, but in any case it suffers in principle from the triviality objection: any time a singular contradictory explanan…Read more
-
102The Significance of the New Logic (edited book)Cambridge University Press. 2018.W. V. Quine was one of the most influential figures of twentieth-century American analytic philosophy. Although he wrote predominantly in English, in Brazil in 1942 he gave a series of lectures on logic and its philosophy in Portuguese, subsequently published as the book O Sentido da Nova Lógica. The book has never before been fully translated into English, and this volume is the first to make its content accessible to Anglophone philosophers. Quine would go on to develop revolutionary ideas abo…Read more
-
101New dimensions on translations between logicsLogica Universalis 3 (1): 1-18. 2009.After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: ( conservative ) translations , transfers and contextual translations . Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another.
-
97Systematization of finite many-valued logics through the method of tableauxJournal 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
-
University of CampinasCentre For Logic, Epistemology And The History Of ScienceDistinguished Professor
Campinas, São Paulo, Brazil
Areas of Specialization
Logic and Philosophy of Logic |
Philosophy of Mathematics |
Areas of Interest
Logic and Philosophy of Logic |
Philosophy of Mathematics |