A family of metainferential logics

We will present 12 different mixed metainferential consequence relations. Each one of them is specified using two different inferential Tarskian or non-Tarskian consequence relations: or . We will show that it is possible to obtain a Tarskian logic with non-Tarskian inferential logics, but also a no...

Full description

Saved in:
Bibliographic Details
Published inJournal of applied non-classical logics Vol. 29; no. 1; pp. 97 - 120
Main Author Pailos, Federico Matias
Format Journal Article
LanguageEnglish
Published Taylor & Francis 02.01.2019
Subjects
empty logics
Logic
metainferences
metainferential validity
substructural logics
Online AccessGet full text

Cover

More Information
Summary:We will present 12 different mixed metainferential consequence relations. Each one of them is specified using two different inferential Tarskian or non-Tarskian consequence relations: or . We will show that it is possible to obtain a Tarskian logic with non-Tarskian inferential logics, but also a non-Tarskian logic with Tarskian inferential logics. Moreover, we will show how some of these metainferential logics work better than the corresponding inferential rivals. Finally, we will show how these logics prove that it is not enough to work with inferences as pairs of sets of formulas to obtain a contractive logic.
ISSN:1166-3081
1958-5780
DOI:10.1080/11663081.2018.1534486