Walter Carnielli on Reasoning, Paraconsistency, and Probability
Springer International Publishing (Verlag)
978-3-032-11026-8 (ISBN)
- Noch nicht erschienen - erscheint am 18.03.2026
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
This book is a collection of essays and research articles honoring Walter Carnielli and his work. It brings together contributions from renowned scholars from all over the world whose work draws on or is somehow related to the several important researches Carnielli has conducted throughout his career. It includes advanced work in paraconsistent and non-classical logics, computability, probability theory, philosophy of logic, and philosophy of science.
Carnielli s contributions to logic are widely acknowledged by the scientific community, and encompass very diverse areas ranging from critical thinking to probability theory. During his career he has published several important research papers, as well as widely adopted text-books on logic and related topics. This book reflects this aspect of Carnielli s work and is thus of interest to logicians, philosophers of science and mathematics, mathematicians, and computer scientists.
Chapter "Beyond Paraconsistency: A Plea for a Radical Breach with the Aristotelean Orthodoxy in Logic" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Henrique Antunes received his Ph.D. degree in Philosophy at the University of Campinas in 2019 under the supervision of Professor Walter Carnielli. Currently, he is a postdoctoral researcher at the Federal University of Minas Gerais and a full member of the Advanced Reasoning Forum. His main research areas are mathematical logic, non-classical logics, philosophy of logic, and philosophy of mathematics.
Alfredo Roque Freire received his doctorate in philosophy under the supervision of Walter Carnielli and Rodrigo Freire at the State University of Campinas (2019). As visiting scholar (2018) at the Graduate Center (CUNY), he collaborated with Joel Hamkins in foundations of set theory. He also held a temporary position as professor of logic at the University of Brasília and was a postdoc in applied logic at the Modal Institute. He is currently a postdoctoral fellow in mathematical logic at the University of São Paulo. His research interest is centered on fundamental issues in logic and set theory.
Abílio Rodrigues received his Ph.D. degree in 2007 from the Pontifical Catholic University of Rio de Janeiro (PUC-Rio), where he studied logic and philosophy of language. Since 2009 he is an associate professor of Philosophy at the Federal University of Minas Gerais. His main areas of interest are philosophy of logic and non-classical logics, particularly intuitionistic and paraconsistent logics.
1 A Fascination for Reasoning.- 2 Introduction.- 3 On the Philosophy and Mathematics of Hybrid Partial Type Theory.- 4 Possible-translation semantics from a categorical point of view.- 5 Self-extensionality in Four-Valued Paradefinite Logics.- 6 Logical desiderata on statistical inference.- 7 Paraconsistent and Paracomplete Popperian Probabilities.- 8 Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning.- 9 Restricted swap structures for -systems: an algebraic and categorical approach.- 10 Nicholas of Autrecourt and Paraconsistency.- 11 A Logic Not Exactly Adopted.- 12 An approach to inconsistency-tolerant reasoning about probability based on Lukasiewicz logic.- 13 Recapturing Structural Properties with a Consistency Operator.- 14 On 0-Categorical Biregular Rings.- 15 The (In)Consistency of Consistency.- 16 Modality and Dyadic Contingency.- 17 Decidability of Consequence in Logics via Reduction.- 18 An informational approach to logic: towards more realistic models of logical agents.- 19 The e-value and the Full Bayesian Significance Test: Logical Properties and Philosophical Consequences.- 20 Beyond Paraconsistency: A plea for a radical breach with the Aristotelean orthodoxy in logic.- 21 My views on my friends and their contributions.- 22 Bibliography of Walter Carnielli.
| Erscheinungsdatum | 29.11.2025 |
|---|---|
| Reihe/Serie | Outstanding Contributions to Logic |
| Zusatzinfo | X, 612 p. 53 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika |
| Geisteswissenschaften ► Philosophie ► Logik | |
| Schlagworte | consistency in metainferential logics • epistemological hexagon of opposition • Logics of Formal Inconsistency Carnielli • metatheorems in propositional based logics • Monadic and dyadic contingency • Negation in Prawitz' ecumenical system • Negation in Prawitz’ ecumenical system • Non-classical Logics Carnielli • non-deterministic matrices and its associated Tableaux systems • Normal and self-extensional paraconsistent logics • Paracomplete Logics Carnielli • Paraconsistency Walter Carnielli • Paraconsistent Logics Carnielli • Peter Abelard and paraconsistency • Philosophy of Logic Carnielli • Philosophy of Science Carnielli • Possible-translation semantics • Probability Carnielli • Reasoning Carnielli • Stratified paraconsistent possible-World semantics • Walter Carnielli |
| ISBN-10 | 3-032-11026-2 / 3032110262 |
| ISBN-13 | 978-3-032-11026-8 / 9783032110268 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
