Abstract
This paper aims to shed light on the broader significance of Frege’s logicism (and hence the phenomenon of modern logic) against the background of discussing and comparing Wittgenstein’s ‘showing/saying’-distinction with Brandom’s idiom of logic as the enterprise of making the implicit rules of our linguistic practices (something we do) explicit (by something we say). The main thesis of this paper is that the problem of Frege’s logicism lies deeper than in its inconsistency (which has since turned out to be reparable, as the neologicists have shown): it lies in the basic idea that in arithmetic (and prospectively in language in general) one can, and should, express everything that is implicitly presupposed so that nothing is left unsaid. This, in fact, is the target of Wittgenstein’s critique. Rather than the Tractatus, with its claim that logicism attempts to say something that can only be shown (e.g. what ‘object’, ‘function’ or ‘number’ are), it is the Philosophical Investigations, with its argument by regress against the thesis that every rule which one can follow must be of an explicit nature, that is of real significance here.
Similar content being viewed by others
Notes
Cf. some standard reference such as Odifreddi (1989).
Landau actually added the proof of it to his Foundations of Analysis only on the suggestion of a colleague. This observation is due to Potter (2000, 83).
Boolos did it within the broader context of neologicist studies though he did not count himself as a neologicist.
The whole story is, of course, more complicated but this is, to a certain extent, the point of this paper, as more thoroughly discussed in my other article, see Kolman (2010). For more information on the development of the neologicist project, its dealing with principles of abstraction such as GV or HP, see, e.g. Hale and Wright (2001) and Fine (2002).
As already noticed by Moore, Russell’s theory of description did not eliminate names (or denoting concepts) completely, but only reduced them to a variable, so the question remained “Have we, then, acquaintance with variable? and what sort of entity is it?”. See letter from Moore to Russell from 23 October 1905 as quoted in Potter (2008, p. 42).
For the contemporary logician or set theorist this might be a strange and most likely misleading way of putting it, since he thinks of the existence of infinitely many things or infinite models as simply given (probably by the axioms of set theory). As a result, the consistency of HP is not guaranteed by the existence of the infinite set but by the fact the infinite domain permits certain mappings—as were described in the parable of Hilbert’s hotel—to be done. This was not, however, the situation of the foundational movements we are discussing here, as is sufficiently witnessed by Russell’s and Whitehead’s (1910–1913, vol. II, p. 183) worries as to whether the axiom of infinity (which is, in fact, an equivalent of HP) is of a logical or empirical origin and Wittgenstein’s (1964, § 100, § 135) claim that, in the case that there is no infinity of objects, such an axiom would be nonsensical (and is, in fact, nonsensical because of this dependence, which interestingly is analogous to the point we are making here). To make it understandable from the modern point of view one might phrase the matter along the lines of Ramsey (1931, pp. 57–61), claiming that if among all the possible domains (which for Frege are reduced to the single one) there are none containing infinitely many objects, the axiom of infinity (or HP) becomes by definition a logical contradiction though we might not effectively know it.
See my paper Kolman (2005) for further elaboration on this point within the whole context of neologicist attempts to resurrect the logicist idea.
See Shapiro (1991, chap. 6) for further details. The basic idea goes back to Frege’s (1893/1903, §§ 25, 34) technique of representing the implicit act of predication F(N) of the concept F (of the n + 1-th order) to the object N (or concept of the n-th order) as an explicit relation PRED(F, N) with F, N understood as belonging to the same semantic category, i.e. having the same order. Independently of Frege, the original implicit difference and relations of F and N can be further captured with the help of some additional predicates Tn(N), Tn+1(F) and some principles such as the law of comprehension (∀X)(∃y)(Tn+1(y) ∧ (∀x)(PRED(y, x) ↔ (X(x) ∧ Tn(x)))). Now, if one takes X as standing for an arbitrary formula of the first-order order language (in which y is not free), reduction of the higher-order formulas to the first-order ones along these lines will only be partially successful, since the first-order law of comprehension admits models which do not have natural equivalents in the (standard) higher-order case due to the phenomenon known as Löwenheim–Skolem paradox. As a result, higher-order tautologicity is not preserved under translation. Once we however replace the first-order law by its (standard) second-order variant and quantify over “every” concept (or set) X, this cannot happen and the reduction along the suggested lines is (more or less) possible.
To give a more illuminating example: In the context of the old sophistic question “did you stop beating your wife?”, which—if allowed to be answered only by “yes” or “no”—forces the addressee to admit he had a wife and beat her, one can take a safe course by incorporating these suppositions into the question “did you have a wife, did you beat her and did you stop doing that?”, but at the price of making the negative answer ambiguous.
Frege (1983, p. 243).
Brandom (1994, p. 202).
References
Bolzano, B. (1851). Paradoxien des Unendlichen. Leipzig: Reclam.
Boolos, G. (1987). The consistency of Frege’s ‘Foundations of Arithmetic’. In J. J. Thompson (Ed.), On being and saying. Essays for Richard Cartwright (pp. 3–20). Cambridge, MA: MIT Press.
Brandom, R. (1994). Making it explicit. Reasoning, representing, and discursive commitment. Cambridge, MA: Harvard University Press.
Brandom, R. (2008a). Between saying and doing. Towards an analytic pragmatism. Oxford: Oxford University Press.
Brandom, R. (2008b). Responses. In P. Stekeler-Weithofer (Ed.), The pragmatics of making it explicit (pp. 209–230). Amsterdam: John Benjamin.
Brouwer, L. E. J. (1907). Over de grondslagen der wiskunde. Amsterdam: Universiteit Amsterdam.
Carroll, L. (1895). What the tortoise said to achilles. Mind, 3, 278–280.
Fine, K. (2002). The limits of abstraction. Oxford: Oxford University Press.
Frege, G. (1879). Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: L. Nebert.
Frege, G. (1884). Die Grundlagen der Arithmetik. Eine logisch mathematische Untersuchung über den Begriff der Zahl. Breslau: W. Koebner.
Frege, G. (1893/1903). Grundgesetze der Arithmetik. Begriffsschriftlich abgeleitet I–II. Jena: H. Pohle.
Frege, G. (1983). Nachgelassene Schriften (2nd ed.). Hamburg: Felix Meiner.
Hale, B., & Wright, C. (2001). The reason’s proper study. Essays towards a Neo-Fregean philosophy of mathematics. Oxford: Oxford University Press.
Kamlah, W., & Lorenzen, P. (1967). Logische Propädeutik. Vorschule des vernünftigen Redens. Mannheim: Bibliographisches Institut.
Kolman, V. (2005). Lässt sich der Logizismus retten? Allgemeine Zeitschrift für Philosophie, 30, 159–174.
Kolman, V. (2010). Continuum, name, paradox. Synthese, 175, 351–367.
Kripke, S. (1982). Wittgenstein on rules and private language. An elementary exposition. Cambridge, MA: Harvard University Press.
Lakatos, I. (1978). Cauchy and the continuum: The significance of non-standard analysis for the history and philosophy of mathematics. Mathematical Intelligencer, 1, 151–161.
Lorenzen, P. (1955). Einführung in die operative Logik und Mathematik. Berlin: Springer.
Lorenzen, P., & Lorenz, K. (1978). Dialogische Logik. Darmstadt: Wissenschaftliche Buchgesellschaft.
McDowell, J. (2008). Motivating inferentialism: Comments on making it explicit (Ch. 2). In P. Stekeler-Weithofer (Ed.), The pragmatics of making it explicit (pp. 109–126). Amsterdam: John Benjamin.
Odifreddi, P. (1989). Classical recursion theory. The theory of functions and sets of natural numbers. Amsterdam: North-Holland.
Poincaré, H. (1908). Science et méthode. Paris: Flammarion.
Potter, M. (2000). Reason’s nearest kin. Philosophies of arithmetic from Kant to Carnap. Oxford: Oxford University Press.
Potter, M. (2008). Wittgenstein’s notes on logic. Oxford: Oxford University Press.
Quine, W. V. O. (1953). From a logical point of view. Cambridge, MA: Harvard University Press.
Ramsey, F. P. (1931). The foundations of mathematics and other logical essays. London: Routledge.
Russell, B. (1905). On denoting. Mind, 14, 479–493.
Russell, B. (1920). Introduction to mathematical philosophy. London: George Allen & Unwin.
Russell, B., & Whitehead, A. N. (1910–1913). Principia Mathematica. Cambridge: Cambridge University Press.
Stekeler-Weithofer, P. (1986). Grundprobleme der Logik. Berlin: de Gryuter.
Wittgenstein, L. (1922). Tractatus logico-philosophicus. London: Routledge & Kegan Paul.
Wittgenstein, L. (1953). Philosophical investigations. Oxford: Blackwell.
Wittgenstein, L. (1964). Philosophical remarks. Oxford: Blackwell.
Wittgenstein, L. (1974). Philosophical grammar. Oxford: Blackwell.
Acknowledgments
Work on this paper has been supported by Grant No. P401/11/0371 of the Grant Agency of the Czech Republic. The author would like to thank the paper’s two anonymous reviewers for their suggestions and constructive comments.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kolman, V. Logicism as Making Arithmetic Explicit. Erkenn 80, 487–503 (2015). https://doi.org/10.1007/s10670-014-9712-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10670-014-9712-z