Inferential Quantification and the ω-rule

In Antonio Piccolomini D'Aragona (ed.), Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Springer Verlag. pp. 345--372 (2024)
  Copy   BIBTEX

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 infinitary 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 infinitary 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 infinitary rules of inference in their reasoning.

Similar books and articles

The Non-categoricity of Logic (I). The Problem of a Full Formalization.Constantin C. Brîncuș - 1956 - In Henri Wald & Academia Republicii Populare Romîne (eds.), Probleme de Logica. Editura Academiei Republicii Populare Romîne. pp. 137-157.
Categorical Quantification.Constantin C. Brîncuș - forthcoming - Bulletin of Symbolic Logic:1-27.
Inferentialism and Quantification.Owen Griffiths - 2017 - Notre Dame Journal of Formal Logic 58 (1):107-113.
Completeness also Solves Carnap’s Problem.Eric Johannesson - 2022 - Thought: A Journal of Philosophy 11 (4):192-198.

Analytics

Added to PP
2023-01-01

Downloads
435 (#48,848)

6 months
247 (#12,076)

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

The Logical Syntax of Language.Rudolf Carnap - 1937 - London: Routledge. Edited by Amethe Smeaton.
Foundations of Logic and Mathematics.Rudolf Carnap - 1937 - Chicago, IL, USA: U. Of Chicago P.
Introduction to Semantics.Rudolf Carnap - 1942 - Cambridge: Harvard University Press.
Categorical Quantification.Constantin C. Brîncuș - forthcoming - Bulletin of Symbolic Logic:1-27.

View all 29 references / Add more references