โ Scribed by Federico Pailos, Bruno Da Rรฉ
No coin nor oath required. For personal study only.
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.
Preface
Acknowledgements
Contents
1 Introduction
References
2 About Metainferences
2.1 Two Ways of Understanding Metainferences: As Properties and as Inferences
2.1.1 Metainferences: A Technical Definition
2.2 Three Ways of Understanding Metainferential Validity
2.2.1 Comparing the Three Notions
References
3 Strong Kleene Metainferential Logics
3.1 Four Basic Inferential Logics
3.2 Strong Kleene Metainferential Logics (of Level 1)
References
4 Hierarchies of Strong Kleene Metainferential Logics
4.1 The ST-Hierarchy
4.2 The TS-Hierarchy
References
5 Weak Kleene Metainferential Logics
5.1 Four Basic Inferential Logics
5.2 Weak Kleene Mixed Metainferential Logics (of Level 1)
References
6 Combining Weak and Strong Kleene Metainferential Logics
References
7 Hierarchies of Global and Absolutely Global Metainferential Logics
7.1 Global Hierarchies
7.2 Absolutely Global Hierarchies
References
8 Metainferential Sequent Calculi
8.1 Sequent Calculi for Local Metainferential Validities
8.2 Sequent Calculi for Global Metainferential Validities (and Invalidities)
References
9 Metainferential Theories of Truth
References
10 Philosophical Reflections: Applications and Discussions
10.1 Metainferential Logics and the Monism/Pluralism Debate โฆ
10.2 Duality Between Metainferential Logics
10.3 What Is a (Paraconsistent or Paracomplete) Logic?
10.4 Further Issues
10.5 Future Work
References
11 Concluding Remarks
References
Appendix Author Index
Index
๐ SIMILAR VOLUMES
<p>"This is a volume that is well worth having access to. Encourage your librarian to buy it if it's not already in your collection!" (David Devidi, <i>The Review of Modern Logic</i> 10:3-4, 2005-2007) </p>
<p>Volume 12 of the <em>International Yearbook of German Idealism</em> is dedicated to the theme of logic. The volume begins with essays on Kant. Kant acknowledges that there are various kinds of logic, and he considers it necessary to distinguish his transcendental logic from other kinds of logic.
<p>Volume 12 of the <em>International Yearbook of German Idealism</em> is dedicated to the theme of logic. The volume begins with essays on Kant. Kant acknowledges that there are various kinds of logic, and he considers it necessary to distinguish his transcendental logic from other kinds of logic.
This volume contains a collection of articles applying methods of logic or, more generally, of mathematics to solve problems, some of which come from logic itself, others from other sciences. Its range of subjects is far from complete, but broadly representative. The first group of papers in this vo