-
9Computability. Computable Functions, Logic, and the Foundations of Mathematics. Second Edition of the PrecedingBulletin of Symbolic Logic 8 (1): 101. 2002.
-
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.
-
5Tendencies in Logic, and Some Modest Advice to Young LogiciansFelsefe Arkivi 51 343-350. 2019.This brief note raises the question of why there is no advice in the literature for young logicians, while there is for mathematicians, musicians, and others. Trying to take advantage of what exists in other areas, some tendencies in logic, and reasons to follow – or not to follow-- trends are discussed.
-
4The 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
-
4Credal Calculi, Evidence, and ConsistencyIn Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics, Springer Verlag. pp. 71-90. 2021.This paper defends the use of possibility and necessity models based on the Logics of Formal Inconsistency, taking advantage of their expressivity in terms of the notions of consistency and inconsistency. The present proposal directly generalizes the approach of Besnard and Lang, whose main guidelines we borrow here. Some basic properties of possibility and necessity functions over the Logics of Formal Inconsistency are obtained and it is shown, by revisiting a paradigmatic example, how paracons…Read more
-
4Paraconsistency, the logical way to the inconsistent (edited book)CRC Press. 2002.Proceedings of the II World Congress on Paraconsistency held in Juquey, SP, Brazil, from May 12-19, 2000
-
4The Semantic Foundations of Logic Volume 1: Propositional LogicsKluwer Academic Publishers. 1990.This book grew out of my confusion. If logic is objective how can there be so many logics? Is there one right logic, or many right ones? Is there some underlying unity that connects them? What is the significance of the mathematical theorems about logic which I've learned if they have no connection to our everyday reasoning? The answers I propose revolve around the perception that what one pays attention to in reasoning determines which logic is appropriate. The act of abstracting from our reaso…Read more
-
2The 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
-
1An algorithm for axiomatizing and theorem proving in finite many - valued propositional logicsLogique Et Analyse 28 (12): 363. 1985.
-
1Two's Company: The humbug of many logical valuesIn J. Y. Beziau (ed.), Logica Universalis, Birkhäuser Verlag. pp. 169-189. 2005.The Polish logician Roman Suszko has extensively pleaded in the 1970s for a restatement of the notion of many-valuedness. According to him, as he would often repeat, “there are but two logical values, true and false.” As a matter of fact, a result by W´ojcicki-Lindenbaum shows that any tarskian logic has a many-valued semantics, and results by Suszko-da Costa-Scott show that any many-valued semantics can be reduced to a two-valued one. So, why should one even consider using logics with more than…Read more
-
1Kantian and non-Kantian logicsLogique Et Analyse 31 (121/122): 3-9. 1988.In a previous work [the second and the third author, “On paraconsistent deontic logic”, Philosophia 16, 293-303 (1986)] investigated certain systems of paraconsistent deontic in order to investigate the problem of contradiction in the domain of ethics. This paper continues this line of research, studying some paraconsistent systems containing alethic and deontic modalities. This approach allows us to treat the principles of Kant (OA→ \diamond A) and Hintikka (\square A → OA) from the classica…Read more
-
Paraconsistency: The Logical Way to the InconsistentBulletin of Symbolic Logic 9 (3): 410-412. 2003.
-
Experimenting with ConsistencyIn 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
-
Aristóteles, paraconsistentismo e a tradição budistaO Que Nos Faz Pensar 23 163-175. 2008.This paper defends that the both the Buddhist tradition and the Aristotelian allow us to think of the distinction between to reason with contradictions and to accept them, understanding ' accept a contradiction ' by taking it as consistent. From this viewpoint, none of two would disagree with most contemporary paraconsistent views. The conclusions are, thus, that, firstly, there is no compelling reason to endorse any kind of metaphysical dialetheism, and, second, that a coherent form of reasonin…Read more
-
Making The ‘Hardest Logic Puzzle Ever’ a Bit HarderIn Brian Rayman & Melvin Fitting (eds.), Raymond Smullyan on Self Reference, Springer Verlag. 2017.
-
The Wonder of Colors and the Principle of AriadneIn How Colours Matter to Philosophy, Springer. 2017.
-
Contradictions, from Consistency to InconsistencyIn Walter Carnielli & Jacek Malinowski (eds.), Contradictions, from Consistency to Inconsistency, Springer. 2018.
-
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 |