A family of metainferential logics. Issue 1 (2nd January 2019)

• Record Type: Journal Article
• Authors: Pailos, Federico Matias
• Is Part Of: Journal of applied non-classical logics. Volume 29:Issue 1(2019)
• Page Start: 97
• Page End: 120
• Publication Date: 2019-01-02
• Subjects: Logic -- metainferences -- metainferential validity -- substructural logics -- empty logics; Nonclassical mathematical logic -- Periodicals; Wiskundige logica; Logic; Periodicals; 511.3105
• DOI: 10.1080/11663081.2018.1534486
• Languages: English
• ISSNs: 1166-3081

Abstract

ABSTRACT: 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:K 3, L P, S T orT S + . 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.