
- English
- ePUB (mobile friendly)
- Available on iOS & Android
Metainferential Logics
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.
Frequently asked questions
- Essential is ideal for learners and professionals who enjoy exploring a wide range of subjects. Access the Essential Library with 800,000+ trusted titles and best-sellers across business, personal growth, and the humanities. Includes unlimited reading time and Standard Read Aloud voice.
- Complete: Perfect for advanced learners and researchers needing full, unrestricted access. Unlock 1.4M+ books across hundreds of subjects, including academic and specialized titles. The Complete Plan also includes advanced features like Premium Read Aloud and Research Assistant.
Please note we cannot support devices running on iOS 13 and Android 7 or earlier. Learn more about using the app.
Information
Table of contents
- Cover
- Front Matter
- 1. Introduction
- 2. About Metainferences
- 3. Strong Kleene Metainferential Logics
- 4. Hierarchies of Strong Kleene Metainferential Logics
- 5. Weak Kleene Metainferential Logics
- 6. Combining Weak and Strong Kleene Metainferential Logics
- 7. Hierarchies of Global and Absolutely Global Metainferential Logics
- 8. Metainferential Sequent Calculi
- 9. Metainferential Theories of Truth
- 10. Philosophical Reflections: Applications and Discussions
- 11. Concluding Remarks
- Back Matter