Overview
- First book to provide a comprehensive study of the field of Metainferential Logics
- Pioneers coverage of the relations between the technical and the philosophical applications of metainferences
- Offers a general introduction to Metainferential Logics and new technical results
Part of the book series: Trends in Logic (TREN, volume 61)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (11 chapters)
Keywords
- Metainferences and Validity
- Hierarchies of Metainferential Logics
- Proof-theories for Metainferential Logics
- Global, Local, and Absolutely Global Validity
- Applications of Metainferential Logics
- Properties of Metainferential Logics
- Mixed Logics
- Metainferences and Pluralism
- Definition of a Logic
- Strong and Weak Kleene Metainferential Logics
- Metainferential Theories of Truth
- New Families of Metainferential Logics
- Metainferential Sequent Calculi
- Global and Absolutely Global Metainferential Logics
- philosophical discussions related with the metainferences
- higher-level validity paradox
- advantages of local approach to metainferential validity
- metainferential logics infinitely-many-valued schemes
About this book
This book is the first to present a comprehensive investigation of the technical features of the metainferential logics developed in the last years, with their most relevant results and applications. It provides some new paths to define and investigate metainferential logics and offers a thorough study of the semantics and the proof-theories of this new and exciting variety of families of logics.
This volume examines the hierarchies of metainferential logics and gives a general and systematic theory of them, and of the truth theories based on these logics. This book puts forward the prospects for truth-theories based on the metainferential logics of the TS/ST hierarchy and argues for its promise noting that each of these logics can be safely expanded with a transparent truth predicate. It also goes onto to explore new developments in three fields related to logics – namely metainferential logics built by means of the Weak Kleene schema and combining them with logics defined through the Strong Kleene schema, proof-theoretic presentations, and those with a with a global or an absolutely global validity standard, instead of a local one. This book is of interest to scholars in formal logic.
Authors and Affiliations
About the authors
Bruno Da Ré is an Assistant Researcher at IIF-SADAF-CONICET and a member of the Buenos Aires Logic Group. He has obtained his PhD in Philosophy at the University of Buenos Aires. His research is mainly focused on non-classical logics, theories of truth and in the role of the structural rules in semantic paradoxes. He has published several articles in renowned journals such as Logic Journal of the IGPL, Journal of Philosophical Logic, Journal of Applied Non-Classical Logics, and Logic and Logical Philosophy, among others.
Bibliographic Information
Book Title: Metainferential Logics
Authors: Federico Pailos, Bruno Da Ré
Series Title: Trends in Logic
DOI: https://doi.org/10.1007/978-3-031-44381-7
Publisher: Springer Cham
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023
Hardcover ISBN: 978-3-031-44380-0Published: 18 November 2023
Softcover ISBN: 978-3-031-44383-1Due: 19 December 2023
eBook ISBN: 978-3-031-44381-7Published: 17 November 2023
Series ISSN: 1572-6126
Series E-ISSN: 2212-7313
Edition Number: 1
Number of Pages: X, 134
Number of Illustrations: 11 b/w illustrations
Topics: Logic, Order, Lattices, Ordered Algebraic Structures, Mathematical Logic and Formal Languages