TY - JOUR
T1 - There is no tenable notion of global metainferential validity
AU - Golan, Rea
N1 - Publisher Copyright:
© 2021 The Author(s) 2021. Published by Oxford University Press on behalf of The Analysis Trust. All rights reserved. For permissions, please email: [email protected].
PY - 2021/7/1
Y1 - 2021/7/1
N2 - The use of models to assign truth values to sentences and to counterexemplify invalid inferences is a basic feature of model theory. Yet sentences and inferences are not the only phenomena that model theory has to take care of. In particular, the development of sequent calculi raises the question of how metainferences are to be accounted for from a model-Theoretic perspective. Unfortunately there is no agreement on this matter. Rather, one can find in the literature two competing model-Theoretic notions of metainferential validity, known as the 'global' notion and the 'local' notion. In this article, I argue that, given certain plausible considerations about metainferential validity, the global notion collapses into the local notion.
AB - The use of models to assign truth values to sentences and to counterexemplify invalid inferences is a basic feature of model theory. Yet sentences and inferences are not the only phenomena that model theory has to take care of. In particular, the development of sequent calculi raises the question of how metainferences are to be accounted for from a model-Theoretic perspective. Unfortunately there is no agreement on this matter. Rather, one can find in the literature two competing model-Theoretic notions of metainferential validity, known as the 'global' notion and the 'local' notion. In this article, I argue that, given certain plausible considerations about metainferential validity, the global notion collapses into the local notion.
KW - closure principles
KW - metainferences
KW - model theory
KW - substitution invariance
UR - http://www.scopus.com/inward/record.url?scp=85122332922&partnerID=8YFLogxK
U2 - 10.1093/analys/anab032
DO - 10.1093/analys/anab032
M3 - Article
AN - SCOPUS:85122332922
SN - 0003-2638
VL - 81
SP - 411
EP - 420
JO - Analysis
JF - Analysis
IS - 3
ER -