Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Metainferential Logics - Federico Pailos, Bruno Da Ré

Metainferential Logics

Buch | Hardcover
X, 134 Seiten
2023 | 1st ed. 2023
Springer International Publishing (Verlag)
978-3-031-44380-0 (ISBN)
CHF 149,75 inkl. MwSt
  • Versand in 15-20 Tagen
  • Versandkostenfrei
  • Auch auf Rechnung
  • Artikel merken

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.

Federico Pailos is an Independent Researcher in Logic and Philosophy from the National Scientific and Technical Research Council of Argentina (IIF-SADAF-CONICET), a Professor at the University of Buenos Aires and a member of the Buenos Aires Logic Group. He works on the philosophy of logic, with a special focus on metainferential and mixed logics as a way to expand the expressive limits of formal languages. He has been the beneficiary of a Humboldt Fellowship for Experienced Researchers at the Universität Tübingen. He has published several articles in renowned journals such as Journal of Philosophical Logic, Review of Symbolic Logic, Synthese, Studia Logica, Journal of Applied Non-Classical Logics, Theoria (Sweden), Logic Journal of the IGPL, Logique et Analyse and Logic and Logical Philosophy, among others.
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.

Chapter 1: Introduction. About metainferences.- Chapter 2: Metainferential logics.- Chapter 3: Hierarchies of Local Metainferential Logics.- Chapter 4: Metainferential Theories of Truth.- Chapter 5: New Families of Metainferential Logics.- Chapter 6: Metainferential Sequent Calculi.- Chapter 7: Hierarchies of Global and Absolutely Global Metainferential Logics.- Chapter 8: Philosophical Reflections: Applications and Discussions.- Conclusion.

Erscheinungsdatum
Reihe/Serie Trends in Logic
Zusatzinfo X, 134 p. 11 illus.
Verlagsort Cham
Sprache englisch
Maße 155 x 235 mm
Gewicht 373 g
Themenwelt Geisteswissenschaften Philosophie Allgemeines / Lexika
Geisteswissenschaften Philosophie Logik
Mathematik / Informatik Informatik Theorie / Studium
Mathematik / Informatik Mathematik Algebra
Schlagworte advantages of local approach to metainferential validity • Applications of Metainferential Logics • Definition of a Logic • Global and Absolutely Global Metainferential Logics • Global, Local, and Absolutely Global Validity • Hierarchies of Metainferential Logics • higher-level validity paradox • Metainferences and Pluralism • Metainferences and Validity • metainferential logics infinitely-many-valued schemes • Metainferential Sequent Calculi • Metainferential Theories of Truth • Mixed Logics • New Families of Metainferential Logics • philosophical discussions related with the metainferences • Proof-theories for Metainferential Logics • Properties of Metainferential Logics • Strong and Weak Kleene Metainferential Logics
ISBN-10 3-031-44380-2 / 3031443802
ISBN-13 978-3-031-44380-0 / 9783031443800
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
die letzten Jahre der Philosophie und der Beginn einer neuen …

von Wolfram Eilenberger

Buch | Hardcover (2024)
Klett-Cotta (Verlag)
CHF 39,20
Gesundheitsschutz, Selbstbestimmungsrechte, Rechtspolitik

von Hartmut Kreß

Buch | Softcover (2024)
Kohlhammer (Verlag)
CHF 54,60
Jenseits von Identität | Ausgezeichnet mit dem Leipziger Buchpreis …

von Omri Boehm

Buch | Softcover (2023)
Ullstein Taschenbuch Verlag
CHF 19,55