Veritas

Revista de Filosofia da PUCRS

e-ISSN 1984-6746

Porto Alegre, v. 61, n. 2, maio-ago. 2016, p. 267-275

http://dx.doi.org/10.15448/1984-6746.2016.2.25866

APRESENTAO / presentation

A pesquisa neste ltimo sculo nos permite verificar que existem

vrias lgicas, mas ser que existem tambm vrias matemticas?
Se os conceitos contemporneos de pluralidade, complexidade e de non
standard se verificam para a matemtica, a partir de que se justificaria
a unicidade do termo lgica matemtica? Remeteria a uma lgica, a
uma matemtica ou ainda a uma filosofia? Se a rea designada como
lgica matemtica decorre de uma conveno apresentada pela filosofia
da matemtica, ento quais possveis relaes analticas entre lgica,
matemtica e, ainda, filosofia teriam sido excludas pelos predicados
a que dizem respeito as propriedades do termo lgica matemtica?
Os descobrimentos do fim do sculo XIX na rea da matemtica
reforaram a tese de que o universo povoado no apenas por objetos
fsicos e partculas, e porventura nem principalmente por estes, mas
por variabilidades, esquemas e feixes, cujo estatuto no facilmente
determinvel em termos representacionais. A matemtica, desde ento,
se tornou mais conceitual, o que parece sugerir que a ideia de a priori ,
de fato, expansvel. De acordo com o matemtico francs, Alain Connes,
medalha Fields de 1982 e catedrtico de anlise e geometria no Collge
de France, um dos traos essenciais do trabalho do matemtico
reconhecer a coerncia interna e o carter gerativo prprio a certos
conceitos. [] O realismo e o materialismo no me parecem de modo
algum inconciliveis.1 Assim, a filosofia, e no apenas a filosofia da
matemtica, convocada a se posicionar frente conceitualidade
matemtica.
O que poderia, afinal, ser mais interessante do que entender que a
matemtica no somente no se reduz arte de contar, no sendo uma
variante sofisticada da contabilidade ou da matemtica financeira, mas
que trata sobremaneira daquilo que deve ser denominada uma arte de
criao? O problema, bem entendido, que a criao no se restringe ao

CONNES, A. e CHANGEUX, J.-P. Matire pense. Paris: ditions Odile Jacob, 1989, p. 53.
1

[Traduo brasileira por Luiz Paulo Rounet: Matria e pensamento. So Paulo: Editora Unesp,
195, p. 42]
Este artigo est licenciado sob forma de uma licena Creative Commons Atribuio 4.0 Internacional, que permite
uso irrestrito, distribuio e reproduo em qualquer meio, desde que a publicao original seja corretamente citada.
http://creativecommons.org/licenses/by/4.0/deed.pt_BR
Apresentao

estrito rigor do conhecimento da verdade matemtica. Mas ento em qual

medida a criao se submeteria de maneira mais fluda, mas plstica, ao
espectro da verdade filosfica? Talvez uma maneira pela qual a filosofia
deva considerar a matemtica seja como a uma arte que faz da criao
um processo verificado em termos de uma verdade que no nem
necessariamente clssica, nem limitada ao delineamento das teorias de
correspondncia.
O projeto para fundamentar, em um esprito logicista, a aritmtica
pela lgica booleana foi abandonado, ainda que o primeiro teorema de
incompletude de Gdel que interrompeu este projeto tenha feito mais
para delimitar os limites da lgica clssica que os da conceitualidade do
universo matemtico.2 Se a teoria dos conjuntos assegura um universo
construtvel, o que escapa boa ordem conjuntstica no deixaria
de apresentar uma projeo conceitual em relao a qual a verdade
no em nada excluda, mesmo que a apreenso de sua forma exija
uma criatividade cujos recursos se encontram tanto na prtica da
conceitualidade filosfica quanto na prtica da matemtica. Caberia ento
filosofia e s suas ontologias integrar estes avanos na compreenso
da prtica matemtica e verificar as consequncias que a criao
matemtica representa atravs do conceito analtico daquilo que no
depende da experincia humana para operar. J que a enumerabilidade
matemtica se confirma por meio de provas e de demonstraes, tanger
tambm ontologia filosfica se deparar com uma orientao terica para
tratar aquilo que no enumervel. Alm de platnica, esta orientao
realista no sentido material do termo.
Conforme a esta viso, o logicismo teria decorrido do descobrimento
da adequao dos operadores da lgica booleana com a axiomatizao
da Mengenlehre (escrita de nmeros) iniciada na primeira dcada do
sculo XX, cujos descobrimentos iniciais foram feitos por Georg Cantor na
dcada de 1870. Desde esta criao da teoria dos conjuntos, a distino
entre matemtica e lgica se tornou mais complexa, pois integrou uma
nova concepo da multiplicidade. Se a aparente precauo de Gdel
advinda de sua demonstrao quanto aos nmeros transfinitos conduzia a
limitar o tamanho dos conjuntos infinitos ao menor infinito maior que o da
srie dos nmeros naturais em conjuntos construtveis, ento a maneira
em que a filosofia deve se situar conceitualmente diante da ordem que
no se restringe a estes conjuntos ser apreendida singularmente pela
intuio. Se a lgica dos predicados e a matemtica construtvel

WANG, H. A Logical Journey: from Gdel to Philosophy. New York: Bradbook,

2

1997, p. 241ff. O stimo ttulo deste livro capital se consagra a discutir o platonismo
de Gdel.

268 Veritas | Porto Alegre, v. 61, n. 2, maio-ago. 2016, p. 267-275

 Apresentao

conduziam a um projeto de fundamentao intrinsecamente legislada

pela prova e pela demonstrao, o que podia ser entendido em termos
de sua ontologia seria ento determinado por filsofos, ou pelos desvios
filosficos por parte de matemticos aventurosos. Desta forma, se esta
ontologia aparecia tambm como modelizao dos limites da matemtica,
ser que a ontologia bruta, isto , a-semntica, da matemtica poderia
ser seno realista?
A filosofia, a lgica e projetos de ontologia matemtica debaterem
durante grande parte do sculo XX com a afirmao enigmtica de
Wittgenstein segundo a qual as proposies matemticas no expressa-
riam pensamentos.3 Uma interpretao instigante desta afirmao a de
que, de fato, a matemtica, em um sentido profundo, mas literal, apenas
apresenta. Em outras palavras, se existe uma prtica discursiva geral da
racionalidade que possa de fato ser a-semntica e a-lingustica, ento a
matemtica seria este discurso.
O problema ser ento estabelecer qual dimenso, qual subseo
e qual filosofia da matemtica poderia ser qualificada para ocupar
este discurso, pois a mera noo de quantidade numrica eliminaria
a reivindicao apresentativa, sem que sejam ainda consideradas as
teorias interpretativas do modelo, da prova e da fundamentao que lhe
acrescentam. Assim, o segundo problema ser, finalmente, o de saber
se esta questo desperta reconhecimento na matemtica, ou se ela
intrinsecamente filosfica, embora ontolgica.
Se a matemtica no fora realista em sua ontologia, ela poderia bem
ser intuicionista ou at topolgica. O intuicionismo uma concepo
geral da matemtica que desdobrou uma escrita especfica, a lgebra
de Heyting, que muda radicalmente a representao da natureza
composta de objetos matemticos. A lgebra de Heyting tambm mudou
radicalmente a representao da verdade na medida em que eliminou
o princpio do terceiro excludo do universo matemtico no fsico. Por
ser uma tcnica (alm de um pensamento), ser que o intuicionismo
fundamentalmente matemtico, ou lgico? Quanto topologia, a noo
de espao na instncia da criao de novos subsistemas coerentes de
categorias, composies e homomorfismos, passar necessariamente por
uma escrita que se afasta das limitaes representacionais da cognio
humana.4 Desta maneira, restaria saber se a topologia independente
da lgica, pois de outra forma a interpretao correria sempre o risco

3
Der Satz der Mathematik drckt keinen Gedanken aus. WITTGENSTEIN, L. Tratatus Logico-
Philosophicus. London: Routledge and Kegan Paul, 1922, 6.21.
4
McLARTY, C. The Last Mathematician from Hilberts Gttingen: Saunders MacLane as
a Philosopher of Mathematics, in British Journal for the Philosophy of Science. 58, 2007,
77-112.

Veritas | Porto Alegre, v. 61, n. 2, maio-ago. 2016, p. 267-275 269

Apresentao

de falsificar aquilo que se entende pela projeo fsica do espao,

projeo esta que limitada pela tendncia representacional cognio
humana, principalmente ao considerar as possibilidades de mapeamento
de funes contnuas que compem a categoria matemtica de espaos
topolgicos. A nova complexidade inaugurada pelo realismo implica que
partes, ou mesmo a totalidade, das orientaes intuicionista e topolgica
problematizem a ontologia se for entendido que a fundamentao diz
menos respeito origem quanto gerao.
No presente dossi sobre realismo ontolgico, ontologia matemtica e
lgica, buscou-se entender melhor os canais e os parmetros atravs dos
quais a filosofia dialoga com a matemtica, e como ela poderia faz-lo.
Cinco pesquisadores contriburam com reflexes sobre esta relao,
apresentando vrias perspectivas dos problemas que so de relevncia
filosofia em sua vocao ontolgica. O horizonte semntico do termo
realismo decorre de uma tradio filosfica que aponta para a existncia
de entidades matemticas independentes da interveno do sujeito
humano. Pensado conforme os critrios da ontologia contempornea,
o realismo deve modelizar tambm a emergncia do sujeito dentro dos
parmetros e das restries da objetividade. Este realismo indicado
tanto por A. Connes, quanto pelas teses conjuntsticas de Penelope
Maddy e de Charles Parsons, este ltimo ampliando a leitura conjuntstica
ao incluir uma dimenso estruturalista pela qual deve ser filtrado o
conhecimento matemtico.5
J que a matemtica no um frequente hspede nas pginas de
Veritas, faz-se mister ressaltar que a matemtica frequentemente
reduzida pela prpria filosofia sua forma mais instrumental. No raro
tambm a matemtica se v sobremaneira simplificada nos modelos
lgicos pelos quais a racionalidade matemtica adaptada aos termos
adequados ao campo da razo, o que significa tambm uma reduo
linguagem. Com esta perspectiva ainda no horizonte, mal se consegue
avanar no dilogo mais amplo de uma filosofia genrica e de uma prtica
matemtica cujo mote a criao alm dos limites do representvel. A
matemtica no apenas uma dimenso em que a natureza se inscreve,
mas tem tudo o direito de reivindicar que a partir dela, mais ainda
do que a partir da biofsica, que se constitui o sujeito pensante. A
complexidade do objeto matemtico, dos nmeros e dos conjuntos, das
funes e das figuras geomtricas, no se limita ao domnio fsico. Se
a funo de sucesso, ou seja, a iterao, est embutida na produo

MADDY, Penelope. Realism in Mathematics. London: Oxford/Clarendon Press, 1990; e

5

PARSONS, C. Mathematical Thought and its Objects. Cambridge, MA: Harvard University
Press, 2008.

270 Veritas | Porto Alegre, v. 61, n. 2, maio-ago. 2016, p. 267-275

 Apresentao

linear e ordenada dos nmeros, assim organizando o processo recursivo

da gerao at o infinito, ser pela crtica da noo ontolgica de
intuio que tanto a filosofia quanto a matemtica podem estabelecer
bases firmes para um dilogo crtico sobre o pensar enquanto prtica e
afeto de criao.6 Conforme a tese de Charles Parsons, tal concepo de
objetos matemticos deveria conduzir ideia segundo a qual os objetos
matemticos, antes de serem objetos enquanto tais, so estruturas.
No intuito de avanar a hiptese de que o afastamento da binaridade
realismo-nominalismo se perpetua por causa de uma superimposio
da lgica sobre a matemtica, e verificar a tese de que tal afastamento
possa ser realizado por um realismo estruturalista em que a noo de
estrutura deve ser genrica, organizou-se o presente dossi com vistas
a provocar reaes quanto a uma viso do realismo agora tornado
ontolgico.
Uma pergunta aberta foi feita aos pesquisadores que aceitaram
participar do dossi: se possvel falar em termos de um realismo
ontolgico na filosofia, qual seria a matemtica que o traduziria e como
se representaria a lgica no desafio de se situar no encontro destas
perspectivas?
Na perspectiva filosfica na qual este dossi est organizado, a
pergunta colocada remete proposta filosfica de A. Badiou que se
orienta pela indagao do realismo, em verso platonista, pelo qual
sua teoria do sujeito fundamentada por meio da indecidibilidade da
Hiptese do Contnuo, hiptese formulada por G. Cantor e teorema por P.
Cohen.7 Ademais, esta dupla articulao do realismo com uma teoria do
sujeito est assentada em uma ontologia matemtica que conjuntstica.
Pelo realismo ontolgico, Badiou lana um triplo gesto de oposio
insuficincia ontolgica da epistemologia do estruturalismo francs
clssico, da ontologia logicista de Wittgenstein e das epistemologias
hermenuticas a partir de Heidegger, orientaes ontolgicas estas
marcadas pelo esvaziamento de formas de sujeito. Desta forma, Badiou
criou uma ontologia matemtica intrnseca dos processos de subjetivao
cuja indexao ao novo em quatro mbitos de prticas discursivas faz com
que a ontologia matemtica reencontrasse o formalismo de um sujeito
genrico e gerativo. Nesta compreenso da ontologia, a filosofia no
reduzida matemtica tampouco ontologia, pois a filosofia oferece
apenas uma perspectiva sobre a parte infinitesimal das produes da
natureza de qual a ontologia daria conta ao inscrever os processos de
subjetivao enquanto criao de novas verdades.

6
PARSONS, C. Mathematical Thought and its Objects. Op. cit., p. 260 ff.
7 BADIOU, A. Ltre et lvnement. Paris: ditions du Seuil, 1988, p. 391-425.

Veritas | Porto Alegre, v. 61, n. 2, maio-ago. 2016, p. 267-275 271

Apresentao

A teoria do sujeito fundamentada pelo realismo ontolgico ,

v-se, uma teoria ambos ps-humana e ps-humanista. O sujeito no
a res cogitans, pois a sua distino de processos naturais indecidvel.
Tampouco o sujeito a res extensa, pois somos projetados num mbito
excedente em relao espacialidade euclidiana, espacialidade esta
que conferia coerncia fsica da extenso at o fim do sculo XIX. Se
por extenso entende-se tambm expanso, ento o sentido de realismo
mostra-se realmente estruturalista, conforme a explicao de Parsons:
Historically, what has served to defuse the critique of impredicativity is
set-theoretic realism, more particularly, the abandonment of the idea that
sets are extensions of predicates in a given language, so that the domain
of sets one can quantify over has to be seen as potential, expanding
as ones linguistic resources expand, in particular by quantifying over
totalities of sets previously arrived at.8 Assim, a estrutura no responde
a uma essncia a no ser que atravs da compreenso de que esta
essncia multiplicidade, cujos parmetros so delineados pela teoria
dos conjuntos.
A ontologia de Badiou, no entanto, deixou pelo menos duas questes
fundamentais do realismo no resolvidas. A primeira diz respeito ao modelo
do realismo subjacente ontologia: o qu explica que a multiplicidade
matemtica da ontologia seja platnica e no intuicionista? A teoria
dos conjuntos pode ter uma ontologia, agora pensada por dentro da
matemtica e no da filosofia tanto a logicista quanto a platnica.
Mas Badiou determina que o intuicionismo principalmente uma
teoria lgica que, conjuntamente teoria das categorias e s lgicas
paraconsistente e paracompleta, opera um novo transcendentalismo que
tange aos modos gerais do aparecer em mundos possveis de objetos, de
espao, de corpos e de vida, sem omitir o prprio fenmeno da mudana.
Publicada como Logiques des mondes: Ltre et lvnement 2 em 2006,
estes componentes produzem uma nova disciplina, a fenomeno-lgica,
cuja relao com a teoria geral da multiplicidade genrica do sujeito
de Ltre et lvnement, de 1988, no foi realizada, uma vez que no se
quer supor de antemo a repetio do gesto das filosofias do sculo XX
que predicavam a existncia de uma hierarquia entre ontologia e onto-
fenomeno-lgica em que a segunda seria fundamentada pela primeira.
Atribuir uma conexo entre a conceitualidade filosfica e a escrita
formal da matemtica no se mostra uma barreira quando se trata de
pensar filosoficamente a conceitualidade especfica da matemtica,
sendo esta justamente o que escapa instrumentalizao da matemtica
ao ser aplicada meramente a contar e calcular. No presente dossi, o

PARSONS, C., op. cit., p. 312.

8

272 Veritas | Porto Alegre, v. 61, n. 2, maio-ago. 2016, p. 267-275

 Apresentao

primeiro artigo uma contribuio do matemtico Colin McLarty, um dos

maiores especialistas em teoria das categorias. Publicado inicialmente
nas Notices of the American Mathematical Society, aqui oferecemos a
traduo ligeiramente modificada do artigo que aborda a produo de
um dos maiores matemticos do sculo XX, Alexander Grothendieck.
Grothendieck, falecido em 2014, fez contribuies monumentais
topologia e teoria das categorias. McLarty explica como Grothendieck
simplificou a geometria algbrica de maneira a transitar em espaos
formais povoados no apenas de vazios, mas de buracos formadores
de torus, uma das novas entidades deste campo. As inovaes de
Grothendieck so ainda to ousadas que seu impacto sobre o pensamento
parametrizado por representaes na filosofia depende evidentemente
da ampliao do prprio espao da conceitualidade; mas, como se ver
no artigo, Grothendieck introduziu tambm uma escrita nova tanto
visualidade topolgica quanto compacidade equacional. Gostaramos
de agradecer ao Colin McLarty pelo interesse em ampliar a discusso
entre matemtica e filosofia.
O segundo artigo de Gregory Chaitin escrito em coautoria com
Virginia Chaitin e oferece uma perspectiva proveniente de uma ontologia
diferente da de Badiou, mas cuja extenso tambm realista, ou seja,
meta-biolgica. Gregory Chaitin certamente um dos mais importantes
lgicos de nosso tempo, responsvel por ter transcrito os teoremas de
incompletude de Gdel para o mbito da computao. Trabalhando na
esteira de Alan Turing e de Emil Leon Post, Chaitin leva tanto a computao
quanto a matemtica ao mundo biolgico numa tese inovadora que visa
determinar a extenso matemtica da vida. No projeto meta-biolgico, os
autores analisam a questo da seleo natural pela busca do algoritmo
da criatividade natural. Na tradio matemtica e filosfica em que se
situa, pela proximidade com Leibniz e Hermann Weyl, Chaitin seria um
intuicionista, no entanto, pela natureza do objeto informacional que
representa o software, ele tambm realista. O software, argumenta
ele, um artefato natural antes de ser fabricado pelos seres humanos;
fabricao ilusria, o software seria um descoberto. Para Chaitin, e esta a
posio defendida em seu ltimo livro, no h coincidncia alguma no fato
de que o descobrimento do software e do complexo clula-DNA tenha
introduzido a noo de computao natural, sendo ento o DNA nada
mais que um algoritmo, natural software.9 Neste artigo, gentilmente
concedido pelos professores Chaitin, se prope uma leitura de G. Leibniz
em que o pensador do novo sistema da natureza identificado como

9
CHAITIN, G. Proving Darwin: Making biology mathematical. New York: Vintage, 2013,
p. 21ff.

Veritas | Porto Alegre, v. 61, n. 2, maio-ago. 2016, p. 267-275 273

Apresentao

tendo pensado alguns dos princpios fundamentais da complexidade,

aqui entendida na sua instanciao natural.
O terceiro artigo de autoria do professor do Programa de Ps-
Graduao em Informtica em Educao da UFRGS e colaborador do
Programa de Ps-Graduao em Engenharia da Computao da FURG,
Antnio Carlos da Rocha Costa. Talvez este fora o artigo que mais se
confrontou ao projeto de nosso dossi, de pensar o carter matemtico
necessrio para um realismo ontolgico. Assim, apresenta a exigncia de
uma concesso fundamental: a ontologia realista deve ser relativista. Seu
artigo no faz nada menos que ampliar o domnio formal experimental
da ontologia atravs da conceitualizao de novos objetos, tais como
circuitos lgicos e sistemas de software.
O quarto artigo de Walter Gomide, professor no Programa de Ps-
graduao em filosofia da UFMT, que realiza uma importante contribuio
sobre as formas pelos quais estender a potncia conceitual da teoria dos
conjuntos concebida por Cantor. Gomide sublinhar principalmente a tese
segundo a qual a intuio original da teoria cantoriana no era analtica-
fundacional, mas geomtrica. Desta forma, no esprito do tempo em que
a matemtica de Henri Poincar vem sendo discutida novamente em
diversas reas da conceitualidade matemtica, inclusive pelo IMPA do Rio
de Janeiro, o contnuo cantoriano apontaria a um realismo se, e somente
se, a variabilidade exceda em diferena a prpria noo de multiplicidade.
Uma das questes levantadas por esta tese indaga qual seria a forma
matemtica a dar conceitualidade dos objetos, e Gomide argumentar
que esta deve ser de forma analgica-topolgica-geomtrica, ao invs
de lgica-analtica.
O ltimo artigo do dossi do pesquisador da Fundao Alexander
von Humboldt no Ludwig-Maximilians-Universitt Mnchen, Lus Rosa,
doutor pelo Programa de Ps-graduao em filosofia da PUCRS, e
prmio Capes de melhor tese em filosofia do ano de 2015. No artigo,
Rosa desenvolve os tipos incondicionais de conhecimento lgico em
um argumento que a resposta analtica ao desafio de provar que o
conhecimento da matemtica possvel sem que seja preciso o realismo.
Sua pesquisa atende tanto questo do conhecimento quanto maneira
em que os demais autores do dossi tratam do conceito de intuio
matemtica.
Na seo VARIA, o primeiro dos artigos inicia-se com uma crtica
s teses do eliminacionismo e do dualismo por Nythamar de Oliveira,
professor no Programa de Ps-Graduao em filosofia da PUCRS. Neste
artigo, o autor visa mostrar que, ao eliminar as extenses fisicalistas
do dualismo, o eliminacionismo acaba prejudicando, sem justificao,
a reconstruo normativa da hiptese do crebro social (social brain).

274 Veritas | Porto Alegre, v. 61, n. 2, maio-ago. 2016, p. 267-275

 Apresentao

Assim, Oliveira avana um modelo de construcionismo social mitigado

para analisar a conscincia sem reativar o dualismo.
Na sequncia, Juliana Missaggia, doutora pelo Programa de Ps-
Graduao em Filosofia da PUCRS, prope uma anlise no ortodoxa
da virada idealista que E. Husserl operou na fenomenologia. Ao invs
de situar a anlise sobre a questo do projeto de fundamentao da
conscincia intencional por meio de um sujeito transcendental, Missaggia
salienta a importncia da multiplicao e diversificao de tipos de
verdades presentes nesta virada.
Enriquecendo o espao de reflexo multidisciplinar com a literatura,
o artigo de Janyne Sattler, encontra a defesa feita por Martha Nussbaum
de que a literatura representa um campo com abrangncia maior para
tratar a moral do que a prpria filosofia. No artigo, Sattler redefine o
conceito de queda e o ato de cair em um verdadeiro programa tico-
moral. Seu texto tece uma reflexo que passa pela fico de J. Coetzee no
romance Disgrace, de 1999, encontrando na trama os caminhos traados
por Nussbaum em sua modernizao do pensamento tico e jurdico no
contexto do liberalismo secular e de R. Gaita em uma nova filosofia moral.
Este nmero se encerra com um artigo de Felipe de Matos Mller,
professor no Programa de Ps-graduao em filosofia da PUCRS, em
que se trata de esclarecer a categoria de boato a partir de frameworks
de anlise desenvolvidos na epistemologia social. Aps a crtica de trs
modelos explanatrios vigentes, Mller oferece uma definio prpria,
em que um boato reconsiderado na base de ser um caso de testemunho
genuno, mas em que no exista uma confirmao oficial por causa da
perda ou da inexistncia da fonte original.
Cabe ressaltar em concluso desta apresentao os meus imensos
agradecimentos aos autores do dossi por aceitar esta tentativa de abrir
os caminhos presentes e futuros da radicalizao da conceitualidade
matemtica em vista a compreender melhor como o realismo ontolgico
se vincula ao descobrimento de formas genricas e da fora gerativa do
sujeito. Por fim, agradeo a ajuda na preparao deste nmero do bolsista
tcnico da Veritas, Maximiliano Oscar Zapata, o trabalho de reviso
realizado por Francisco Jozivan Guedes de Lima (UFPi) e, sem esquecer,
o valioso trabalho dos parecistas.

Norman R. Madarasz
PPGF, PUCRS

Veritas | Porto Alegre, v. 61, n. 2, maio-ago. 2016, p. 267-275 275