There is no tenable notion of global metainferential validity

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


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.



    Upload a copy of this work     Papers currently archived: 86,468

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Derivability and Metainferential Validity.Bruno Da Ré, Damian Szmuc & Paula Teijeiro - 2021 - Journal of Philosophical Logic 51 (6):1521-1547.
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 - 2021 - Journal of Philosophical Logic 51 (6):1327-1344.
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 - 2021 - Journal of Philosophical Logic 51 (6):1-27.
Validity as a primitive.J. Ketland - 2012 - Analysis 72 (3):421-430.


Added to PP

63 (#219,287)

6 months
6 (#161,008)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Rea Golan
Ben-Gurion University of the Negev

Citations of this work

On the Metainferential Solution to the Semantic Paradoxes.Rea Golan - 2023 - Journal of Philosophical Logic 52 (3):797-820.

Add more citations

References found in this work

Philosophy of logic.Willard Van Orman Quine - 1970 - Cambridge, Mass.: Harvard University Press. Edited by Simon Blackburn & Keith Simmons.
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 14 references / Add more references