Академический Документы
Профессиональный Документы
Культура Документы
REALISMO MATEMTICO,
MODA DE WITTGENSTEIN
volume 12
nmero 1
2008
quase um lugar comum caracterizar como anti-realista a posio de Wigenstein acerca do estatuto da matemtica. J no Tractatus, contra Frege e Russell,
ele ops-se frontalmente tentao referencialista de elucidar, por exemplo, o
contedo semntico das proposies aritmticas em termos da relao de nomeao que os smbolos aritmticos supostamente manteriam com supostas entidades aritmticas, como nmeros, operaes, relaes, etc., e em termos da relao
de descrio que as proposies aritmticas supostamente manteriam com os
supostos fatos aritmticos. Essa oposio aprofundou-se nos textos do incio dos
anos 30, num movimento de radicalizao que, diz-se muitas vezes, teria culminado, nas Bemerkungen ber die Grundlagen der Mathematik e nas Wigensteins
Lectures on the Foundations of Mathematics, na modalidade mais extrema e, diriam
alguns, mais delirante de anti-realismo: a tese de que os atos de assero matemtica esto desobrigados de conformar-se a qualquer padro exterior de medida de valor.
ANALYTICA, Rio de Janeiro, vol 12 n 1, 2008, p. 131-147
131
volume 12
nmero 1
2008
132
volume 12
nmero 1
2008
133
volume 12
nmero 1
2008
134
Scrates branco que Scrates branco, mas porque Scrates branco que verdadeiro dizer que Scrates branco.
O recurso a essa assimetria para elucidar a aplicao do conceito de verdade
s proposies empricas pode ser reputado como filosoficamente inofensivo, e at
mesmo esclarecedor, desde que no se confira ao termo fato um peso ontolgico
excessivo. A definio da verdade de uma proposio em termos de sua correspondncia com um fato pode ser aceita simplesmente como uma maneira de sublinhar
que o processo de justificao de uma assero dessa proposio envolve, em ltima instncia e decisivamente, critrios cuja aplicao requer mais que o exerccio
da capacidade de compreender a linguagem em que ela se formula.
Chamamos certas proposies empricas de verdadeiras, chamamos outras de
falsas, e assim distinguimos as que podem e as que no podem ser legitimamente
asseridas. Toda proposio emprica, considerada to somente luz das regras do
simbolismo a que pertence, pode ser verdadeira e pode ser falsa. As regras do simbolismo bastam para que a ela se associe um sentido, mas no um valor de verdade. Quem entende a proposio identifica condies que devem ser satisfeitas para
que a proposio seja legitimamente asserida, condies que apenas a experincia
pode revelar serem ou no satisfeitas. Dada uma proposio emprica, as regras do
simbolismo a que pertence limitam-se a associar-lhe critrios de legitimidade de
suas asseres. O que determina sua verdade ou falsidade, a legitimidade ou no de
suas asseres, algo exterior ao simbolismo, algo que apenas se d a conhecer no
momento da aplicao desses critrios no curso da experincia do mundo.
Nessa medida, se concordamos em utilizar a palavra fato numa atitude
de descompromisso ontolgico, pode ser esclarecedor dizer que uma proposio
emprica verdadeira ou falsa porque o fato que ela diz que ocorre no mundo
realmente ocorre no mundo, ao invs de no ocorrer, ou realmente no ocorre, ao
invs de ocorrer. Ao diz-lo, apenas sublinhamos que uma proposio emprica se
estabelece como verdadeira ou falsa quando a experincia revela que acontece realmente no mundo, ao invs de no acontecer, ou no acontece, ao invs de acontecer,
aquilo que ela diz que acontece ou no acontece o que a mera considerao das regras do simbolismo no permite estabelecer.
volume 12
nmero 1
2008
135
volume 12
nmero 1
2008
136
mundo. Ora, isso no acontece no caso das proposies aritmticas, em que a relao
interna: a definio dos critrios de assero legtima das proposies aritmticas j
contm os resultados de todas as aplicaes possveis desses critrios.
Na aritmtica dos nmeros naturais, por exemplo, as definies recursivas
da relao de sucesso e da operao de adio j contm tudo de que se necessita
para a fundamentao da legitimidade da assero de 2+2=4 e da ilegitimidade
da assero de 2+2=5. De modo geral, nas chamadas teorias aritmticas, uma vez
dadas as regras de composio e derivao de smbolos a partir de smbolos que
definem o simbolismo da teoria, j se dispe de tudo aquilo de que se necessita
para a justificao das asseres que podem ser legitimamente feitas nessa linguagem. E essas prprias regras, por sua vez, no respondem, no mbito da matemtica pura, a nenhum requisito de adequao a padres exteriores de legitimidade.
Se isso verdade, ainda que no seja posto em questo, apenas para argumentar, que haja um domnio de objetos e fatos matemticos independentes, a
existncia e composio desse domnio seriam inteiramente irrelevantes no contexto da atividade efetiva de justificao das verdades matemticas atividade que se
mede normativamente apenas pelo padro da fidelidade que o matemtico deve
exibir com respeito s regras pelas quais define, dessa ou daquela maneira, seus
sistemas simblicos.
H um sentido, portanto, em que cabe dizer que, do ponto de vista da prtica
efetiva dos matemticos, as chamadas teorias matemticas so sistemas de clculo
simblico autnomos e arbitrariamente definidos. Neles, a atividade de justificao
da legitimidade das asseres s deve fidelidade s regras de manipulao simblica que os definem regras para as quais, no mbito da matemtica, no se levanta
a questo da justificao. Ora, essa idia de que a matemtica um sistema autnomo de clculo simblico, um sistema definido por regras arbitrariamente estipuladas, parece conflitar com a possibilidade de aplicao da matemtica no curso da
justificao de nosso conhecimento do mundo. Essa a crtica que faz, por exemplo, Frege, nas Grundgesetze der Arithmetik, tese formalista de que a atividade do
matemtico puro nada mais que uma atividade de manipulao, segundo regras
arbitrrias, de smbolos sem referncia exterior.
volume 12
nmero 1
2008
137
volume 12
nmero 1
2008
138
volume 12
nmero 1
2008
139
volume 12
nmero 1
2008
140
volume 12
nmero 1
2008
141
volume 12
nmero 1
2008
142
senso entre os aplicadores da regra como o padro objetivo que garantiria a possibilidade de distinguir as aplicaes corretas e incorretas da regra.
Um tal contorcionismo interpretativo parece-me resultar de uma confuso,
que obscurece a importncia da anlise wigensteiniana do conceito de regra.
Julgo que se deve manter a ferro e fogo que essa anlise em nenhum momento
arranha a idia de que a relao entre uma regra e seus casos de aplicao correta
interna e, portanto, atemporal. Uma regra uma entidade atemporal: essa no
pretende ser a constatao de um fato, mas o resultado da elucidao de um conceito, o prprio conceito de regra. simplesmente absurdo dizer que, supondo-se
definida uma regra, uma vez preenchidos os parmetros da regra, ainda assim dependa de algum outro fator ser correto ou incorreto o resultado de uma aplicao
dessa regra.
volume 12
nmero 1
2008
A razo pela qual a seguinte proposio, Se voc seguir a regra, nisso que voc chegar, no uma predio que essa proposio diz simplesmente: o resultado desse
clculo este. E esta uma proposio matemtica verdadeira ou falsa. A aluso ao
futuro e a voc um mero ornamento.3
Se o clculo foi feito corretamente, ento o resultado deve ser este. Pergunta: este
deve ser sempre o resultado? Resposta: claro.4
(3) Wigenstein, L., Bemerkungen ber die Grundlagen der Mathematik, Suhrkamp, Frankfurt, 1984, VI,
seo15.
(4) Id., IV, seo 35.
143
volume 12
nmero 1
2008
144
todo objeto de comparao pode, em princpio, ser aplicado de diferentes maneiras, segundo diferentes mtodos de aplicao. Entender a regra que se pretende
formular como uma formulao de regra numa determinada situao saber como
se pretende que a formulao se aplique em cada caso particular, e isso o mesmo
que saber como aplicar corretamente a regra em cada caso particular.
Ocorre, no entanto, que o objeto desse saber no se evidencia em nenhum
conjunto finito de aplicaes corretas da formulao da regra, j que regras diferentes podem compartilhar subconjuntos finitos de seus diferentes conjuntos totais
de aplicaes corretas. A identidade de uma regra define-se pelo conjunto total de
suas aplicaes corretas reais ou possveis, passadas, presentes ou futuras; esse
conjunto, porm, subdeterminado pelo conjunto finito das aplicaes corretas
presentes e passadas da regra. Cabe, ento, perguntar: como sei que, ao aplicar
uma formulao de regra, sigo a mesma regra que outra pessoa segue, ao aplicar
a mesma formulao, ainda que nossas aplicaes dessa formulao tenham, at
hoje, coincidido completamente? E, mais ainda, cabe tambm perguntar: como sei
que sigo hoje, ao aplicar uma tal formulao, a mesma regra que segui at ontem,
quando apliquei a mesma formulao, supondo-se que aceito hoje, como aplicaes corretas dessa formulao, todas as que aconteceram at ontem?
Parece que essas perguntas levantam uma dificuldade que apenas se poderia solucionar com a admisso de que a regra consiste em algo que acompanha
a formulao da regra, na qualidade de seu significado, independentemente de
suas aplicaes, algo que transcende o conjunto finito de suas aplicaes presentes e passadas e, de alguma maneira, contm a totalidade de suas possveis
aplicaes corretas: um universal, concebido seja como uma idealidade objetiva,
na tradio dita platonista, seja como uma representao mental, na tradio
psicologista. Dado que Wigenstein expressamente recusa essa manobra, somos
tentados a v-lo obrigado a aderir a uma soluo ctica: dissolver a identidade
propriamente dita da regra na multiplicidade possivelmente divergente das
aplicaes arbitrrias de sua formulao para, posteriormente, atribuir-lhe uma
modalidade precria de identidade, por meio do recurso a consensos tambm
arbitrariamente institudos.
Entendo, pelo contrrio, que o desafio que enfrenta a anlise wigensteiniana do conceito de regra precisamente o de recusar a hipstase da regra como
universal sem, com isso, comprometer sua identidade atemporal. J no Caderno
Azul, Wigenstein mostra que essa hipstase um expediente explicativo ilusrio.
Assim como, desvinculada de uma tcnica de aplicao, uma formulao de regra
no define o conjunto de suas possveis aplicaes corretas, tambm um suposto
significado da formulao, a regra como universal, teria que ser aplicado em cada
caso particular. Sua aptido para definir o conjunto de suas possveis aplicaes
corretas tambm dependeria do domnio de uma tcnica de aplicao, enquanto
capacidade para generalizar a partir de aplicaes passadas, de modo que sua
mera apreenso no bastaria para dar conta de nossa capacidade para aplicar a
regra corretamente. Platonismo e mentalismo nutrem-se de um mesmo postulado
mgico: ambos postulam a existncia de um objeto de comparao que conteria, de
alguma maneira, o mtodo de sua prpria aplicao.
Para Wigenstein, o que constitui a identidade de uma regra no um algo
que acompanha a formulao da regra, mas um modo de aplicao dessa formulao que se constitui, em ltima instncia, na reiterao dos prprios atos particulares de sua aplicao. Esse modo de aplicao pode ser aprendido, indiretamente,
mediante uma interpretao da formulao da regra, que nada mais faz que substituir essa formulao por outra, que se pressupe compreensvel. Em ltima instncia, porm, a apreenso da identidade de uma regra pressupe que ao menos a
identidade de certas regras seja diretamente conhecida. Esse conhecimento no
a apreenso direta de um universal, enquanto encarnao singular da universalidade da regra, mas consiste na conjuno do conhecimento dos casos passados de
aplicao correta da formulao da regra com um saber agir, o domnio prtico de
tcnicas elementares de generalizao, que confere contedo originrio instruo: Aplique a regra agora do mesmo modo como ela se aplicou no passado.
No , pois, a identidade da regra que define, em ltima instncia, a tcnica
de sua aplicao correta, mas , pelo contrrio, essa tcnica, tal como exercitada
nos sucessivos atos de aplicao da formulao da regra, que constitui a identidade da regra. Aplicar uma regra , direta ou indiretamente, exercitar tcnicas ele-
volume 12
nmero 1
2008
145
volume 12
nmero 1
2008
146
volume 12
nmero 1
2008
RESUMO
Neste artigo, mostro que as objees de Wigenstein ao realismo matemtico no conduzem necessariamente
adoo de nenhuma doutrina ontolgica positiva sobre a natureza da matemtica, nenhuma tese que v alm
da mera descrio de condies de significao da atividade simblica em matemtica. Por meio de uma anlise da noo de regra, mostro que, de um ponto de vista wigensteiniano, o problema do realismo matemtico
deve ser dissolvido, mais do que resolvido.
Palavras-Chave: Wigenstein, Filosofia da Matemtica, Realismo, Regra.
ABSTRACT
In this paper, we show that Wigensteins objections to mathematical realism must not lead one to embrace
any kind of positive doctrine on the nature of mathematics, which goes beyond mere description of conditions
of meaning of mathematical symbolic activity. By means of an analysis of the notion of rule, we show that,
from a Wigensteinian point of view, the philosophical problem of mathematical realism is to be dissolved,
rather than solved.
Keywords: Wigenstein, Philosophy of Mathematics, Realism, Rule.
Recebido em 05/2008
Aprovado em 06/2008
147