-
116th Workshop on Logic, Language, Information and ComputationBulletin of Symbolic Logic 5 (3): 424-425. 1999.
-
39The Single-minded Pursuit of Consistency and its WeaknessStudia Logica 97 (1). 2011.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
-
423Razã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
-
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
-
60Book review r A. (2004). "Book review: Yves nievergelt, foundations of ...
-
53Maximal weakly-intuitionistic logicsStudia 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].
-
196th Workshop on Logic, Language, Information and Computation (Wollic'99)Bulletin of Symbolic Logic 5 (3): 424-425. 1999.
-
36The problem of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued LogicsZeitschrift 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
-
33Polynomizing: Logic inference in polynomial format and the legacy of BooleIn L. Magnani & P. Li (eds.), Model-Based Reasoning in Science, Technology, and Medicine, Springer. pp. 349--364. 2007.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.
-
5Logic, 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.
-
68Advances in Contemporary Logic and Computer Science: Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil (review)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
-
82The dialogical approach to paraconsistencySynthese 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
-
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
-
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
-
35Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985Journal of Symbolic Logic 51 (4). 1986.This is the ASL report on the 7th Latin American Symposium on Mathematical Logic held in Campinas, SP, Brazil, from July 29- August 02, 1985.
-
27This 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
-
63Limits for Paraconsistent CalculiNotre 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
-
275Tableaux 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
-
10The proceedings of the XVI ebl--16th Brazilian logic conference, 2011: A prefaceLogic Journal of the IGPL 22 (2): 181-185. 2014.
-
13Paraconsistency: The Logical Way to the Inconsistent (edited book)CRC Press. 2002.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, ...
-
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 |