Metainferential Logics

·
· Trends in Logic Libro 61 · Springer Nature
eBook
134
Páginas
Las valoraciones y las reseñas no se verifican. Más información

Información sobre este eBook

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.

Acerca del autor

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.

Valorar este eBook

Danos tu opinión.

Información sobre cómo leer

Smartphones y tablets
Instala la aplicación Google Play Libros para Android y iPad/iPhone. Se sincroniza automáticamente con tu cuenta y te permite leer contenido online o sin conexión estés donde estés.
Ordenadores portátiles y de escritorio
Puedes usar el navegador web del ordenador para escuchar audiolibros que hayas comprado en Google Play.
eReaders y otros dispositivos
Para leer en dispositivos de tinta electrónica, como los lectores de libros electrónicos de Kobo, es necesario descargar un archivo y transferirlo al dispositivo. Sigue las instrucciones detalladas del Centro de Ayuda para transferir archivos a lectores de libros electrónicos compatibles.