Frege's critique of formalism

Soren Stenlund

pp. 75-86

in: Gisela Bengtsson, Simo Säätelä, Alois Pichler (eds), New essays on Frege, Berlin, Springer, 2018

Abstract

This paper deals with Frege's early critique of formalism in the philosophy of mathematics. Frege opposes meaningful arithmetic, according to which arithmetical formulas express a sense and arithmetical rules are grounded in the reference of the signs, to formal arithmetic, exemplified in particular by J. Thomae, whose "formal standpoint", according to Frege, is that arithmetic should be understood as a manipulation of meaningless figures. However, Frege's discussion of Thomae's analogy between arithmetic and chess shows that Frege does not understand his main point, which is that we must distinguish conceptually between statements about chess figures, and the chess pieces they represent. Indeed, Thomae's fruitful use of this comparison undermines the ontological conception of arithmetic represented by Frege. The chess pieces do not go proxy for anything (as the number signs do in Frege's "meaningful arithmetic"), but playing chess is not for that reason just manipulation of physical chess figures. This is also Wittgenstein's point when he criticizes Frege for not seeing the "justified side of formalism". Thomae's formalism can be clarified by using the distinction between sign and symbol. Symbols are never meaningless or empty forms or signs, since they have a role or function in a symbolism, which one may call their meaning. The discussion of the chess analogy shows that Frege fails to see this operative aspect of the symbolism. We can conclude that the "formal standpoint" that Frege criticizes is his fabrication, rather than anything we can attribute to Thomae.

Cited authors

Frege Gottlob

Wittgenstein Ludwig