Inferential Quantification and the ω-rule

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


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.



External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.


Added to PP

117 (#123,474)

6 months
70 (#25,609)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Constantin C. Brîncuș
Institute of Philosophy and Psychology, Romanian Academy

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references