Inferentialism and the categoricity problem: Reply to Raatikainen

Analysis 69 (3):480-488 (2009)
It is sometimes held that rules of inference determine the meaning of the logical constants: the meaning of, say, conjunction is fully determined by either its introduction or its elimination rules, or both; similarly for the other connectives. In a recent paper, Panu Raatikainen (2008) argues that this view - call it logical inferentialism - is undermined by some "very little known" considerations by Carnap (1943) to the effect that "in a definite sense, it is not true that the standard rules of inference" themselves suffice to "determine the meanings of [the] logical constants" (p. 2). In a nutshell, Carnap showed that the rules allow for non-normal interpretations of negation and disjunction. Raatikainen concludes that "no ordinary formalization of logic ... is sufficient to `fully formalize' all the essential properties of the logical constants" (ibid.). We suggest that this is a mistake. Pace Raatikainen, intuitionists like Dummett and Prawitz need not worry about Carnap's problem. And although bilateral solutions for classical inferentialists - as proposed by Timothy Smiley and Ian Rumfitt - seem inadequate, it is not excluded that classical inferentialists may be in a position to address the problem too.
Keywords Categoricity Problem  Logical inferentialism  Bilateralism  Fundamental Assumption  Intuitionism  External negation
Categories (categorize this paper)
DOI 10.1093/analys/anp071
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 29,174
Through your library
References found in this work BETA
Yes and No.I. Rumfitt - 2000 - Mind 109 (436):781-823.
The Revival of Rejective Negation.Lloyd Humberstone - 2000 - Journal of Philosophical Logic 29 (4):331-381.
Negation as a Sign of Negative Judgment.Kent Bendall - 1979 - Notre Dame Journal of Formal Logic 20 (1):68-76.

Add more references

Citations of this work BETA
Rejection and Valuations.Luca Incurvati & Peter Smith - 2010 - Analysis 70 (1):3 - 10.
Inferentializing Semantics.Jaroslav Peregrin - 2010 - Journal of Philosophical Logic 39 (3):255 - 274.

Add more citations

Similar books and articles
Added to PP index

Total downloads
219 ( #17,918 of 2,180,048 )

Recent downloads (6 months)
5 ( #51,450 of 2,180,048 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums