Analysis 81 (3):411-420 (2021)

Rea Golan
Freie Universität Berlin
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.
Keywords metainferences  model theory  closure principles  substitution invariance
Categories (categorize this paper)
DOI 10.1093/analys/anab032
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Philosophy of Logic.W. V. Quine - 1970 - Harvard University Press.
The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
Philosophy of Logic.W. Quine - 1970 - In Simon Blackburn & Keith Simmons (eds.), Truth. Oxford University Press.

View all 15 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Derivability and Metainferential Validity.Bruno Da Ré, Damian Szmuc & Paula Teijeiro - forthcoming - Journal of Philosophical Logic:1-27.
Metainferential Duality.Bruno Da Ré, Federico Pailos, Damian Szmuc & Paula Teijeiro - 2020 - Journal of Applied Non-Classical Logics 30 (4):312-334.
Metainferential Reasoning on Strong Kleene Models.Andreas Fjellstad - forthcoming - Journal of Philosophical Logic:1-18.
Not a Knot.Paula Teijeiro - 2020 - Thought: A Journal of Philosophy 9 (1):14-24.
Notions of Invariance for Abstraction Principles.G. A. Antonelli - 2010 - Philosophia Mathematica 18 (3):276-292.
Williamson, Closure, and KK.Daniel Immerman - 2020 - Synthese 197 (8):3349-3373.
Getting a Little Closure for Closure.James Simpson - 2021 - Synthese 199 (5-6):12331-12361.
One Step is Enough.David Ripley - forthcoming - Journal of Philosophical Logic:1-27.
Validity as a Primitive.J. Ketland - 2012 - Analysis 72 (3):421-430.


Added to PP index

Total views
49 ( #235,010 of 2,533,484 )

Recent downloads (6 months)
11 ( #69,090 of 2,533,484 )

How can I increase my downloads?


My notes