# Inferential Quantification and the ω-rule

In Antonio D’Aragona (ed.), Perspectives on Deduction (forthcoming)

# Abstract

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinite rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinite rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinite rules of inference in their reasoning.

## PhilArchive

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

# Similar books and articles

Inferentialism and Quantification.Owen Griffiths - 2017 - Notre Dame Journal of Formal Logic 58 (1):107-113.
A propositional semantics for substitutional quantification.Geoff Georgi - 2015 - Philosophical Studies 172 (5):1183-1200.
Harmonic inferentialism and the logic of identity.Stephen Read - 2016 - Review of Symbolic Logic 9 (2):408-420.
Beyond Plurals.Agust\’in Rayo - 2006 - In Agust\’in Rayo & Gabriel Uzquiano (eds.), Absolute Generality. Oxford University Press. pp. 220--54.

2023-01-01

117 (#123,474)

6 months
70 (#25,609)