NOTAS CRTICAS SOBRE O

REALISMO MATEMTICO,
MODA DE WITTGENSTEIN

LUIZ HENRIQUE LOPES DOS SANTOS

volume 12
nmero 1
2008

Luiz Henrique Lopes dos Santos

USP/CNPQ

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

NOTAS CRTICAS SOBRE O REALISMO MATEMTICO,

volume 12
nmero 1
2008

132

A questo do realismo em matemtica pode ser formulada da seguinte

maneira: seria o propsito da atividade simblica dos matemticos a representao das propriedades e relaes vigentes num domnio de coisas que existem,
possuem propriedades e mantm entre si relaes independentemente do fato
de serem simbolicamente representadas e do modo como so simbolicamente representadas? primeira vista, parece inegvel que a resposta de Wigenstein a
essa questo , pura e simplesmente, no. No entanto, entender que a recusa da
tese realista por Wigenstein equivalha adoo de uma tese ontolgica contrria, a
tese anti-realista, no mnimo embaraoso, j que esse entendimento implica que
a chamada questo filosfica do realismo seria, para ele, uma verdadeira questo,
que deveria merecer uma verdadeira resposta. Afinal, no foi Wigenstein quem
nunca se cansou de repetir que os chamados problemas filosficos no devem ser
resolvidos, mas dissolvidos?
Assim, creio que cabe indagar, antes de mais nada, se, e em que medida, as
crticas de Wigenstein ao realismo matemtico o comprometem com alguma forma de anti-realismo matemtico, isto , com alguma doutrina filosfica positiva
que seja mais do que a mera descrio das condies de uso significativo das expresses que compem o discurso matemtico. Pretendo aqui alinhavar algumas
razes que fundamentam, creio eu, uma resposta negativa a essa indagao, particularmente no que concerne aritmtica na extenso mais ampla do termo, que
inclui o clculo funcional.
No entanto, no pretendo faz-lo numa veia historiogrfica. Embora esteja
convencido de que Wigenstein no sustentou nenhuma tese filosfica, no sentido forte, sobre o estatuto ontolgico da matemtica, meu propsito aqui no
mostr-lo. Importa-me mostrar que a crtica tese do realismo matemtico,
conduzida, por assim dizer, moda de Wigenstein, no conduz forosamente
aceitao da tese do anti-realismo. Ela conduz antes ao reconhecimento de que
ambas as teses so contra-sensos, frutos do mau entendimento das condies de
significatividade de nossas prticas simblicas regulares, tal como as encontro
elucidadas nos textos do segundo Wigenstein sobre a noo de regra. Em outras palavras, importa-me mostrar que, de um ponto de vista que acredito ser

LUIZ HENRIQUE LOPES DOS SANTOS

wigensteiniano, a questo do realismo matemtico uma falsa questo. Se fao

referncia a Wigenstein, simplesmente para dar-lhe os crditos que julgo lhe
serem devidos.
O que torna verdadeiras as proposies aritmticas verdadeiras, distinguindo-as das proposies aritmticas falsas? O que torna legtima a assero de certas
proposies aritmticas, e no outras, justificando assim sua incluso no corpo
das verdades matemticas? Segundo a modalidade mais extrema de realismo, a
resposta a essas questes no distingue essencialmente a aplicao dos conceitos
de verdade e justificao s proposies matemticas e a aplicao desses mesmos
conceitos s proposies empricas.
A proposio H vrias pessoas nesta sala feita verdadeira pelo fato de
haver vrias pessoas nesta sala, fato cuja realidade independente do fato de ser
simbolicamente representado e do modo como simbolicamente representado. Do
mesmo modo, a proposio 2+2=4 seria verdadeira em virtude de representar
um fato aritmtico, cuja realidade seria independente do fato de ser simbolicamente representado e do modo como simbolicamente representado - fato aritmtico
que concerniria a entidades dotadas de tanta autonomia ontolgica relativamente
atividade humana de sua representao simblica quanto pessoas ou salas. Nos
dois casos, a verdade da proposio consistiria em sua correspondncia com algo
no apenas exterior a ela, mas logicamente anterior atividade de representao
de que essa proposio seria o veculo sensvel.
Se tem alguma relevncia filosfica a tese de que a verdade de uma proposio consiste em sua correspondncia com um fato real, isto , se ela implica mais
do que o mero reconhecimento de que as locues verdade que e um fato
que, na grande maioria dos seus contextos ordinrios de uso, so intercambiveis,
ela deve ser tomada como a admisso de que a relao entre verdade e fato combina a relao simtrica de equivalncia com a relao assimtrica de determinao.
Cumpre reconhecer no apenas que uma proposio p verdadeira se e somente
se um fato que p, ou seja, reconhecer a equivalncia entre verdade que p e
um fato que p, mas tambm reconhecer que p verdadeira porque um fato que
p, e no vice-versa. Como observa Aristteles, no porque verdadeiro dizer que

volume 12
nmero 1
2008

133

NOTAS CRTICAS SOBRE O REALISMO MATEMTICO,

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.

LUIZ HENRIQUE LOPES DOS SANTOS

Como as coisas se passam no domnio das proposies aritmticas? certo

que h, entre elas e as proposies empricas, uma analogia que nos leva a aplicar,
tambm nesse domnio, o conceito de verdade. As asseres de 2+2=4 so aritmeticamente legtimas, as asseres de 2+2=5 so aritmeticamente ilegtimas. Assim como algumas proposies empricas, as que chamamos verdadeiras, podem
ser legitimamente asseridas, ao contrrio de outras, algumas proposies aritmticas podem ser legitimamente asseridas e outras, no. Assim como podemos lanar mo das proposies empricas verdadeiras, e no das proposies empricas
falsas, para legitimar inferencialmente a assero de outras proposies empricas,
tambm podemos lanar mo das proposies aritmticas que podem ser legitimamente asseridas, e no das que no o podem, para legitimar inferencialmente a
assero de outras proposies, matemticas e empricas. Parece, portanto, natural
e tentador chamar de verdadeiras as proposies aritmticas que podem ser legitimamente asseridas. Se pergunto, ento, por que certas proposies aritmticas,
e no outras, so verdadeiras, parece tambm natural e tentador levar adiante a
analogia com as proposies empricas e responder: porque elas, ao contrrio das
outras, correspondem a fatos.
De um ponto de vista wigensteiniano, como avaliar essa manobra conceitual que subjaz ao realismo matemtico? Desse ponto de vista, o que importa saber
se a definio realista de verdade matemtica adequada ao conceito de verdade
matemtica tal como ele intervm na prtica efetiva dos matemticos e no uso efetivo que
fazemos das proposies matemticas em nosso discurso sobre o mundo. Em ltima instncia, o que importa saber se essa definio adequada s condies gramaticais de uso do termo verdadeiro no discurso dos matemticos.
Tratando-se de proposies empricas, a caracterizao da verdade como correspondncia com os fatos esclarece um aspecto normativo importante do uso que fazemos delas. Ocorre, porm, que esse aspecto precisamente um dos que distinguem o
uso que fazemos das proposies empricas do uso que fazem das proposies aritmticas os praticantes da matemtica pura. No caso das proposies empricas, os critrios de legitimidade das asseres mantm uma relao externa com os resultados das
suas aplicaes externa porque mediada pelos dados contingentes da experincia do

volume 12
nmero 1
2008

135

NOTAS CRTICAS SOBRE O REALISMO MATEMTICO,

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.

LUIZ HENRIQUE LOPES DOS SANTOS

Digo que h exatamente duas moedas em minha mo direita e h exatamente

duas moedas em minha mo esquerda; j que 2+2=4, concluo que h exatamente
quatro moedas em minhas mos direita e esquerda. Represento fatos empricos
por meio de proposies onde ocorrem smbolos numricos e emprego uma verdade aritmtica como premissa na inferncia de uma proposio emprica a partir de
proposies empricas. Ora, pergunta Frege, como smbolos vazios, sem referncia
exterior, manipulados segundo regras arbitrrias, poderiam contribuir para a representao de fatos do mundo? Com que direito equaes que se legitimam em
nome de regras arbitrrias de clculo poderiam ser utilizadas para a justificao da
verdade de proposies fatuais?1
J no Tractatus, nos aforismos dedicados aritmtica, Wigenstein caracteriza-a
como um mtodo de clculo lgico com smbolos sem referncia exterior e pretende
que seja possvel, sem pressupor que tais smbolos sejam nomes do que quer que
seja e as proposies aritmticas sejam descries de fatos de qualquer natureza, dar
conta de seu uso significativo em proposies e inferncias empricas.2 O segundo
Wigenstein abandona a concepo particular da aritmtica que apresentara no
Tractatus, mas no a concepo geral da aritmtica como nada mais que um clculo
definido por regras de manipulao simblica e, mesmo assim, suscetvel de aplicao na descrio dos fatos empricos. Mas, e a objeo de Frege?
A objeo consiste em desqualificar como absurda, de modo geral, a idia de
que asseres de combinaes de smbolos sem referncia exterior, cuja legitimidade dependa apenas de sua conformidade a regras arbitrariamente institudas,
possam vir a ser legitimamente utilizadas para o estabelecimento da verdade de
proposies sobre o mundo. Formulada nesse grau de generalidade, porm, a
objeo no se sustenta. Consideremos, a ttulo de exemplo rudimentar, a poro
mais elementar da aritmtica dos nmeros naturais: o conjunto das igualdades singulares verdadeiras, do tipo de 4+2=2.3.
(1) cf. Frege, G., Grundgesetze der Arithmetik, II. Band, Olms, Hildesheim, 1962, 86 136.
(2) cf. Wigenstein, L., Tractatus Logico-Philosophicus, aforismos 6.2 6.421.

volume 12
nmero 1
2008

137

NOTAS CRTICAS SOBRE O REALISMO MATEMTICO,

volume 12
nmero 1
2008

Essa poro da aritmtica deixa-se facilmente caracterizar como um clculo

autnomo, fundado nas definies recursivas dos numerais, termos numricos e
operaes, como a adio e a multiplicao, entendidas como regras de reduo de
termos numricos a termos numricos. Dessas definies, podem ser derivadas,
por meio de procedimentos puramente formais, todas as proposies do sistema
que podem ser legitimamente asseridas. A considerao desse exemplo permite
atestar, ao menos em princpio, a viabilidade do que a objeo de Frege pretende
excluir por princpio: a aplicao legtima de um clculo puramente formal na justificao de proposies sobre o mundo.
Num primeiro momento, definimos contextualmente (isto , sem lhes atribuir qualquer referncia exterior) os numerais e termos numricos, quando usados
como partes de proposies empricas.
(1) H 0 coisas x tais que Px =df no h coisas x tais que Px.
(2) H (o sucessor de n) coisas x tais que Px =df h uma coisa y tal que Py e tal
que h n coisas x tais que (Px e x y).
(3) H t coisas x tais que Px =df h n coisas x tais que Px, sendo t um termo
numrico e n o numeral tal que t = n.

138

Os numerais e termos numricos so assim introduzidos, nesse contexto de

uso, como modificadores (ou, na terminologia utilizada por Wigenstein no Tractatus, como expoentes) do quantificador existencial, de modo que toda proposio
que os contenha pode ser reduzida, por obra dessa definio contextual recursiva,
a uma proposio equivalente que no os contm.
O movimento seguinte consiste em associar logicamente, com base nas regras
que definem o sistema de clculo e nas definies contextuais dos expoentes numricos do quantificador existencial, relaes aritmticas entre termos numricos
a relaes lgicas entre proposies que os contenham como expoentes. Por exemplo, pode-se estabelecer logicamente que, para quaisquer termos numricos t e s, a
proposio

LUIZ HENRIQUE LOPES DOS SANTOS

(4) H (t + s) coisas x tais que Px ou Qx

logicamente dedutvel de

volume 12
nmero 1
2008

(5) H t coisas x tais que Px

(6) H s coisas x tais que Qx
e
(7) H 0 coisas x tais que Px e Qx.
De maneira um pouco mais trabalhosa, mas conceitualmente trivial, pode-se
estabelecer que, se o predicado Rxy funcional, a proposio
(8) H (t . s) coisas x tais que, para alguma coisa y, Rxy
se deduz de
(9) H t coisas y tais que, para alguma coisa x, Rxy
e
(10) Para qualquer coisa y, h s coisas x tais que Rxy
Isso estabelecido, podemos recorrer equao 2+2=4 para inferir que h
exatamente quatro moedas em minhas mos direita e esquerda a partir do fato de
que h exatamente duas moedas em minha mo esquerda e exatamente duas em
minha mo direita (substituindo, em (4)-(7) acima, Px e Qx por, respectivamente,
x uma moeda que est em minha mo direita e x uma moeda que est em
minha mo esquerda). E podemos recorrer equao 3.4 = 12 para inferir que
h exatamente doze moedas em meus bolsos a partir do fato de que tenho exata-

139

NOTAS CRTICAS SOBRE O REALISMO MATEMTICO,

volume 12
nmero 1
2008

140

mente quatro bolsos e h exatamente trs moedas em cada um (substituindo, em

(8)-(10) acima, Rxy por x uma moeda que est em algum de meus bolsos e y o
bolso em que x est). Portanto, ao menos em princpio, no deve causar surpresa
que se possa recorrer a proposies de um clculo sem referncia exterior no curso
de inferncias de proposies empricas a partir de proposies empricas.
Em princpio, diria Wigenstein, qualquer sistema de clculo poderia se
prestar, de maneira mais ou menos conveniente, a essa espcie de aplicao, desde
que sejamos suficientemente engenhosos no estabelecimento de correspondncias
entre, por um lado, relaes simblicas definidas no sistema e, por outro, relaes
inferenciais entre proposies empricas que contenham smbolos do sistema,
contextualmente definidos. Assim, para um clculo, no se levantaria a questo
terica da correspondncia com uma realidade exterior, mas to somente a questo pragmtica de sua maior ou menor convenincia enquanto instrumento para
a conduo de inferncias. A matemtica seria uma constelao de clculos autosuficientes, eventualmente aptos, em maior ou menor grau, a servir definio
de mtodos de inferncia de proposies fatuais a partir de proposies fatuais .
De modo geral, o que os matemticos fazem definir sistemas de clculo, derivar
proposies segundo as regras do sistema, estabelecer relaes de correspondncia entre relaes simblicas no sistema e relaes inferenciais entre proposies
fatuais para, assim, aplicar o clculo como mtodo de conduo de inferncias de
proposies fatuais.
claro que o exemplo rudimentar sumariamente esboado acima no alicera essa concepo da matemtica em toda sua generalidade. No entanto, se no
basta para fundar a crena de que a atribuio, s chamadas teorias matemticas,
do estatuto de meros clculos, intrinsecamente indiscernveis dos jogos de tabuleiro, seja compatvel com o reconhecimento de que elas podem ser legitimamente
utilizadas no trabalho de justificao do conhecimento do mundo, o exemplo basta
para mostrar que essa crena no pode ser descartada com a facilidade com que
Frege pretendeu descart-la.
Por outro lado, se essa concepo correta, ento a postulao (comumente chamada de platonista) de um domnio de objetos e fatos matemticos inde-

LUIZ HENRIQUE LOPES DOS SANTOS

pendentes da atividade de sua representao simblica no desempenha papel

explicativo algum, seja no que concerne discriminao das chamadas verdades
matemticas, tal como ela se faz na prtica discursiva dos matemticos, seja no
que concerne legitimidade das aplicaes da matemtica na justificao de nosso
conhecimento do mundo. Quem insistisse em afirmar a realidade independente
de um tal domnio de objetos e fatos haveria de admitir que, na prtica efetiva dos
matemticos, tudo se passa como se ele no existisse.
Para todos os efeitos matemticos, a possibilidade de derivao de uma proposio matemtica no interior do sistema de clculo a que pertence, mais do que
um critrio de reconhecimento de sua verdade, a prpria definio do que , para
ela, ser verdadeira. Vale para a matemtica o que Wigenstein dizia da lgica no
Tractatus: ela cuida de si prpria. Se nos atemos considerao das condies de
uso correto do termo verdadeiro no discurso dos matemticos, a questo de saber o que torna verdadeira uma proposio matemtica s admite uma resposta:
a possibilidade de ser ela derivada a partir das regras do sistema de clculo a que
pertence.
Cabe, ento, ao realista extremado esclarecer o que se h de entender pela
expresso tornar verdadeira, quando afirma que fatos matemticos independentes tornam verdadeiras as proposies matemticas. Enquanto no o fizer, sua
afirmao, mais do que falsa, ser vazia, simplesmente carecer de sentido. E para
contrapor-se a ela, no preciso recorrer a nenhuma tese ontolgica que fosse
simetricamente oposta ao realismo, no preciso recorrer a nada mais que a descrio das condies gramaticais de uso da expresso no discurso matemtico, tal
como efetivamente exercitado pelos matemticos.
A autonomia dos sistemas matemticos, porm, aparentemente no incompatvel com uma modalidade mais modesta de realismo, que poderamos chamar
de realismo mitigado. Segundo essa modalidade de realismo, ainda que inventado
pelos matemticos, um sistema de clculo, uma vez inventado, adquiriria, em relao aos atos particulares de derivao simblica, um grau de autonomia suficiente
para que cada um desses atos se caracterizasse como o reconhecimento de um fato
independente dele: o fato de ser a seqncia simblica que se pretende ter deriva-

volume 12
nmero 1
2008

141

NOTAS CRTICAS SOBRE O REALISMO MATEMTICO,

volume 12
nmero 1
2008

142

do realmente derivvel no interior do sistema. Esse fato independeria de cada ato

particular de derivao, por ter estado desde sempre contido no conceito do sistema, tal como definido por suas regras de composio e derivao de smbolos. O
conjunto das possibilidades de derivao de seqncias simblicas no interior do
sistema, delimitado de uma vez por todas no momento da definio do sistema,
constituiria um domnio de fatos onde cada ato particular de assero de uma proposio do sistema encontraria a medida exterior de sua legitimidade.
A plausibilidade dessa modalidade mitigada de realismo parece decorrer do
prprio conceito de regra, por meio do qual se define o conceito de clculo. Parece
plausvel que definir uma regra seja definir o que deve resultar de sua aplicao
em cada situao particular em que seus parmetros sejam preenchidos. Assim, o
resultado correto de cada aplicao futura da regra j deve estar, de uma vez por
todas, contido na definio da regra, pr-determinado no momento em que se
define a regra pois, caso contrrio a regra no teria sido ainda completamente
definida. Dessa aparente trivialidade, o realismo mitigado conclui que os atos particulares de aplicao de uma regra no contribuem em nada para a qualificao do
resultado dessa aplicao como correto ou incorreto - e apresenta essa concluso
como tambm trivial. Do fato de haver uma relao interna entre uma regra e seus
casos de aplicao correta e incorreta, parece decorrer trivialmente que cada ato de
aplicao da regra possa ser medido segundo padres inteiramente independentes
dele, padres em cuja constituio ele no desempenha nenhum papel.
No entanto, a anlise que faz Wigenstein do conceito de regra leva recusa dessa concluso. Por aceitarem a correo formal do argumento do realismo
mitigado, e para evitar a atribuio a Wigenstein de qualquer modalidade de
realismo, mesmo mitigado, vrios comentadores fazem-no recusar a premissa do
argumento. Tudo se passa como se, para Wigenstein, uma regra e seus casos de
aplicao correta mantivessem uma relao externa, que se instituiria no tempo,
pela mediao de decises arbitrrias, em que consistiriam os atos particulares
de aplicao da regra. Para afastar uma conseqncia incmoda dessa concepo,
expressamente recusada por Wigenstein, a de que seria correta, por definio, a
aplicao de uma regra que se reconhece como correta, introduz-se ento o con-

LUIZ HENRIQUE LOPES DOS SANTOS

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

O ponto de partida da anlise wigensteiniana do conceito de regra uma

constatao trivial: entre a formulao simblica de uma regra e seus casos de aplicao correta, a relao externa, j que mediada, ao menos, pelas convenes
semnticas que conferem significao aos smbolos que compem a formulao.
Na aplicao da regra, a formulao da regra serve de objeto de comparao, e

(3) Wigenstein, L., Bemerkungen ber die Grundlagen der Mathematik, Suhrkamp, Frankfurt, 1984, VI,
seo15.
(4) Id., IV, seo 35.

143

NOTAS CRTICAS SOBRE O REALISMO MATEMTICO,

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.

LUIZ HENRIQUE LOPES DOS SANTOS

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

NOTAS CRTICAS SOBRE O REALISMO MATEMTICO,

volume 12
nmero 1
2008

146

mentares de generalizao, maneiras de reconhecer praticamente, como relevantes

para a generalizao, semelhanas entre os casos passados, presentes e futuros de
aplicao da regra. Uma tcnica elementar de generalizao no algo que, antes
da realizao dos atos de generalizao, j conteria seus resultados, o que faria
dela um universal, mas a prpria maneira como, no curso do tempo, efetivamente generalizamos, ao praticarmos nossos sucessivos atos de aplicao de regras. Ela
define-se, portanto, na sucesso das generalizaes elementares que sustentam, direta ou indiretamente, esses atos generalizaes de que, por serem elementares,
no cabe pedir justificao.
apenas relativamente a essas tcnicas elementares de generalizao que
as formulaes de regras adquirem a capacidade de funcionar como objetos de
comparao, apenas relativamente a elas que as regras passam a manter relaes
internas e atemporais com o conjunto de todas as suas aplicaes corretas. O que
essas tcnicas definem, em ltima instncia, o prprio conceito de fazer sucessivamente a mesma coisa, de modo que, ao exercit-las em diferentes momentos,
no faz sentido perguntar se estamos ou no fazendo sucessivamente a mesma
coisa. Elas consistem, por definio, nas maneiras como, no nvel elementar de
aplicao de regras, efetivamente generalizamos, ao realizarmos a sucesso de atos
de generalizao que efetivamente realizamos. Nessa medida, sua identidade no
anterior a esses atos, mas constituda pela sucesso deles; nessa medida, sua
identidade constitui-se no tempo. E, nessa mesma medida, a identidade de toda
regra constitui-se no tempo, j que se enraiza, direta ou indiretamente, por meio
de interpretaes, no terreno das generalizaes elementares.
O que a anlise wigensteiniana do conceito de regra mostra aparentemente paradoxal: a regra atemporal, pois tem uma relao interna com seus casos de
aplicao correta, mas sua identidade constitui-se no tempo, pela reiterao dos
atos de sua aplicao. Esse paradoxo aparente , na verdade, a chave para a soluo do problema do realismo mitigado em matemtica.
Na exata medida em que descreve condies de uso significativo do termo
regra e expresses aparentadas, como seguir a regra, o realismo mitigado est
correto: dada uma regra, est atemporalmente determinado o conjunto de suas

LUIZ HENRIQUE LOPES DOS SANTOS

aplicaes corretas, passadas, presentes e futuras, reais ou meramente possveis.

No entanto, na medida em que pretende ir alm dessa descrio e faz da regra um
universal ideal, objetivo ou psicolgico, no passa de um contra-senso. Analogamente, na exata medida em que descreve condies de uso significativo do termo
regra e expresses aparentadas, seu antpoda, o consensualismo, est correto: a
identidade das regras constitui-se temporalmente, nos sucessivos atos de generalizao que possibilitam sua aplicao. No entanto, o consensualismo, na medida
em que pretende ir alm dessa descrio e afirma que a relao entre a regra e suas
aplicaes corretas externa, porque supostamente mediada pelo consenso dos
aplicadores, no passa de um contra-senso. De um ponto de vista wigensteiniano, a questo do realismo matemtico deve ser tratada moda de Wigenstein:
deve ser resolvida por dissoluo.

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