Quantification in the Interpretational Theory of Validity

Synthese 202 (3):1-21 (2023)
  Copy   BIBTEX

Abstract

According to the interpretational theory of logical validity (IR), logical validity is preservation of truth in all interpretations compatible with the intended meaning of logical expressions. IR suffers from a seemingly defeating objection, the so-called cardinality problem: any instance of the statement ‘There are n things’ is true under all interpretations, since it can be written down using only logical expressions that are not to be reinterpreted; yet ‘There are n things’ is not logically true. I argue that the cardinality problem is indeed a serious problem for IR, when understood in terms of ‘asymmetry of information’. I then argue that IR can be rehabilitated by making quantifiers context-sensitive: what we do not reinterpret is the Kaplanian character of a quantifier, rather than its content. ‘There are n things’ is false in a context where fewer than n things are relevant, so it is not logically true in IR. I finally discuss some objections and ramifications of my account: I discuss how to make space for the possibility of an explicitly absolutely general quantifier in my framework, how terms can be logical even though context-sensitive, and how to recapture classical logic within my framework.

Similar books and articles

On exhibiting representational validity.Alexandra Zinke - 2015 - Synthese 192 (4):1157-1171.
There is No Paradox of Logical Validity.Roy T. Cook - 2014 - Logica Universalis 8 (3-4):447-467.
Validity and quantification in intuitionism.H. C. M. de Swart & C. J. Posy - 1981 - Journal of Philosophical Logic 10 (1):117-126.
Discussion.Cesare Cozzo - 2011 - In Carlo Cellucci, Emily Grosholz & Emiliano Ippoliti (eds.), Logic and Knowledge. Cambridge Scholars Press. pp. 101-7.
On the concept of material consequence.Tomis Kapitan - 1982 - History and Philosophy of Logic 3 (2):193-211.
Hyperintensional Ω-Logic.David Elohim - 2019 - In Matteo Vincenzo D'Alfonso & Don Berkich (eds.), On the Cognitive, Ethical, and Scientific Dimensions of Artificial Intelligence. Springer Verlag. pp. 65-82.
Semantics without reference.Christopher Gauker - 1990 - Notre Dame Journal of Formal Logic 31 (3):437-461.
The inexpressibility of validity.Julien Murzi - 2014 - Analysis 74 (1):65-81.
Proof-theoretic validity.Stephen Read - 2015 - In Colin R. Caret & Ole T. Hjortland (eds.), Foundations of Logical Consequence. Oxford, UK: Oxford University Press. pp. 136-158.
Logical Particularism.Nicole Wyatt & Gillman Payette - 2018 - In Jeremy Wyatt, Nikolaj Jang Lee Linding Pedersen & Nathan Kellen (eds.), Pluralisms in Truth and Logic. Cham, Switzerland and Basingstoke, Hampshire, UK: Palgrave Macmillan. pp. 277-299.
Logical Forms: Validity and Variety of Formalizations.Georg Brun - 2023 - Logic and Logical Philosophy 32:341-361.

Analytics

Added to PP
2023-08-03

Downloads
210 (#93,650)

6 months
129 (#28,116)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Marco Grossi
University of Oxford

Citations of this work

No citations found.

Add more citations

References found in this work

Demonstratives: An Essay on the Semantics, Logic, Metaphysics and Epistemology of Demonstratives and other Indexicals.David Kaplan - 1989 - In Joseph Almog, John Perry & Howard Wettstein (eds.), Themes From Kaplan. Oxford University Press. pp. 481-563.
Generalized quantifiers and natural language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
The Frege reader.Gottlob Frege & Michael Beaney (eds.) - 1997 - Cambridge, Mass.: Blackwell.
Assertion.Robert Stalnaker - 1978 - Syntax and Semantics (New York Academic Press) 9:315-332.

View all 34 references / Add more references