Derivability and Metainferential Validity

Journal of Philosophical Logic:1-27 (forthcoming)
Download Edit this record How to cite View on PhilPapers
Abstract
The aim of this article is to study the notion of derivability and its semantic counterpart in the context of non-transitive and non-reflexive substructural logics. For this purpose we focus on the study cases of the logics ST and TS. In this respect, we show that this notion doesn’t coincide, in general, with a nowadays broadly used semantic approach towards metainferential validity: the notion of local validity. Following this, and building on some previous work by Humberstone, we prove that in these systems derivability can be characterized in terms of a notion we call absolute global validity. However, arriving at these results doesn’t lead us to disregard local validity. First, because we discuss the conditions under which local, and also global validity, can be expected to coincide with derivability. Secondly, because we show how taking into account certain families of valuations can be useful to describe derivability for different calculi used to present ST and TS.
Keywords
No keywords specified (fix it)
PhilPapers/Archive ID
DARDAM
Upload history
Archival date: 2021-07-28
View other versions
Added to PP index
2021-07-27

Total views
40 ( #57,439 of 2,448,086 )

Recent downloads (6 months)
40 ( #16,272 of 2,448,086 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.