Show simple item record

dc.contributor.authorFjellstad, Andreas
dc.date.accessioned2021-08-20T10:43:03Z
dc.date.available2021-08-20T10:43:03Z
dc.date.created2021-08-18T13:52:09Z
dc.date.issued2021
dc.identifier.issn0022-3611
dc.identifier.urihttps://hdl.handle.net/11250/2770548
dc.description.abstractBarrio et al. (Journal of Philosophical Logic, 49(1), 93–120, 2020) and Pailos (Review of Symbolic Logic, 2020(2), 249–268, 2020) develop an approach to define various metainferential hierarchies on strong Kleene models by transferring the idea of distinct standards for premises and conclusions from inferences to metainferences. In particular, they focus on a hierarchy named the ST-hierarchy where the inferential logic at the bottom of the hierarchy is the non-transitive logic ST but where each subsequent metainferential logic ‘says’ about the former logic that it is transitive. While Barrio et al. (2020) suggests that this hierarchy is such that each subsequent level ‘in some intuitive sense, more classical than’ the previous level, Pailos (2020) proposes an extension of the hierarchy through which a ‘fully classical’ metainferential logic can be defined. Both Barrio et al. (2020) and Pailos (2020) explore the hierarchy in terms of semantic definitions and every proof proceeds by a rather cumbersome reasoning about those semantic definitions. The aim of this paper is to present and illustrate the virtues of a proof-theoretic tool for reasoning about the ST-hierarchy and the other metainferential hierarchies definable on strong Kleene models. Using the tool, this paper argues that each level in the ST-hierarchy is non-classical to an equal extent and that the ‘fully classical’ metainferential logic is actually just the original non-transitive logic ST ‘in disguise’. The paper concludes with some remarks about how the various results about the ST-hierarchy could be seen as a guide to help us imagine what a non-transitive metalogic for ST would tell us about ST. In particular, it teaches us that ST is from the perspective of ST as metatheory not only non-transitive but also transitive.en_US
dc.language.isoengen_US
dc.publisherSpringeren_US
dc.rightsNavngivelse 4.0 Internasjonal*
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/deed.no*
dc.titleMetainferential Reasoning on Strong Kleene Modelsen_US
dc.typeJournal articleen_US
dc.typePeer revieweden_US
dc.description.versionpublishedVersionen_US
dc.rights.holderCopyright 2021 The Authorsen_US
cristin.ispublishedtrue
cristin.fulltextoriginal
cristin.qualitycode2
dc.identifier.doihttps://doi.org/10.1007/s10992-021-09627-3
dc.identifier.cristin1926973
dc.source.journalJournal of Philosophical Logicen_US
dc.relation.projectNorges forskningsråd: 262837/F10en_US
dc.identifier.citationJournal of Philosophical Logic. 2021en_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

Navngivelse 4.0 Internasjonal
Except where otherwise noted, this item's license is described as Navngivelse 4.0 Internasjonal