Formalismo e Significado

In the context of game formalism, the phrases like 'language' and 'symbol' are misleading. In just about any other context, the purpose of language, first and foremost, is communicate. We use language to talk about things, usually things other than language itself. In its normal usage, a symbol symbolizes something. The word 'Stewart' stands for the person Stewart. So one would think that the numeral '2' stands for the number 2. This is just what the game formalist denies, or demurs from. [Stweart Shapiro, Thinking About Mathematics, p.143]

Quando digo "Corra", sobre o que estou falando? Estou falando sobre a ação de correr? O que estou dizendo sobre ela? Não estou comunicando algo? Ou, melhor, não estou me comunicando? As palavras "se" e "portanto" representam ou estão no lugar de alguma coisa? O que significa dizer que "um símbolo simboliza alguma coisa"? Não é análogo a dizer que toda palavra tem um significado? E quem negaria isso (exceto, é claro, para aquelas que, por ventura, não tenham)? Isso é certo: nós usamos símbolos e os compreendemos. E na medida em que os compreendemos, podemos dizer que significam alguma coisa ou têm significado. Mas admitir isso não nos compromete com a tese (nem com a negação da tese) que, em todos os casos, um símbolo tem significado porque ele éstá no lugar de alguma coisa, como se todo símbolo fosse um tipo de nome. Isso é certo: um símbolo não se reduz a uma entidade física, como uma marca de tinta num papel. Deve haver algo mais que torne essas marcas símbolos. Mas admitir isso não nos compromete com a tese (nem com a negação da tese) que esse "algo mais" é algo no lugar do qual o símbolo está.