Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 58, Number 1 (2017), 107-113.
Inferentialism and Quantification
Logical inferentialists contend that the meanings of the logical constants are given by their inference rules. Not just any rules are acceptable, however: inferentialists should demand that inference rules must reflect reasoning in natural language. By this standard, I argue, the inferentialist treatment of quantification fails. In particular, the inference rules for the universal quantifier contain free variables, which find no answer in natural language. I consider the most plausible natural language correlate to free variables—the use of variables in the language of informal mathematics—and argue that it lends inferentialism no support.
Notre Dame J. Formal Logic, Volume 58, Number 1 (2017), 107-113.
Received: 23 September 2013
Accepted: 24 May 2014
First available in Project Euclid: 25 November 2016
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Griffiths, Owen. Inferentialism and Quantification. Notre Dame J. Formal Logic 58 (2017), no. 1, 107--113. doi:10.1215/00294527-3768059. https://projecteuclid.org/euclid.ndjfl/1480042819