Metainferential Logics

Federico Pailos · Bruno Da Ré

noy 2023 · Trends in Logic Kitab 61 · Springer Nature

E-kitab

134

Səhifələr

Reytinqlər və rəylər doğrulanmır Ətraflı Məlumat

Bu e-kitab haqqında

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.

Müəllif haqqında

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.

Bu e-kitabı qiymətləndirin

Fikirlərinizi bizə deyin

Məlumat oxunur

Smartfonlar və planşetlər

Android və iPad/iPhone üçün Google Play Kitablar tətbiqini quraşdırın. Bu hesabınızla avtomatik sinxronlaşır və harada olmağınızdan asılı olmayaraq onlayn və oflayn rejimdə oxumanıza imkan yaradır.

Noutbuklar və kompüterlər

Kompüterinizin veb brauzerini istifadə etməklə Google Play'də alınmış audio kitabları dinləyə bilərsiniz.

eReader'lər və digər cihazlar

Kobo eReaders kimi e-mürəkkəb cihazlarında oxumaq üçün faylı endirməli və onu cihazınıza köçürməlisiniz. Faylları dəstəklənən eReader'lərə köçürmək üçün ətraflı Yardım Mərkəzi təlimatlarını izləyin.

Qanunsuz kontenti bildirin