Derivability and Metainferential Validity

Autor: Damián Enrique Szmuc, Paula Teijeiro, Bruno Da Ré
Rok vydání: 2021
Předmět:
Zdroj: Journal of Philosophical Logic. 51:1521-1547
ISSN: 1573-0433
0022-3611
DOI: 10.1007/s10992-021-09619-3
Popis: 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.
Databáze: OpenAIRE
Externí odkaz: