RELAES ENTRE A TOPOLOGIA E A FILOSOFIA DE

CHARLES S. PEIRCE
Jorge de Barros Pires1
Lauro Frederico Barbosa da Silveira2

Peirce, nos anos que se seguem a 1890, no s realizou extensas investigaes

a respeito da ento relativamente nova rea da Matemtica, a Topologia, mas tambm
repetidamente tentou usar a Lgica, a fim de resolver problemas topolgicos, como o
ento clebre problema das quatro cores em mapas. O real impacto de suas
investigaes lgico-topolgica permanece um pouco obscura, em parte porque o
assunto ainda no parece ter sido suficientemente estudado. (Burch, 1992).
No entanto, entendermos como a Lgica e a Matemtica e, especialmente a
Topologia, se relacionam com sua Filosofia, sem dvida, seria de grande valor. Com
isso em mente procuramos trazer a este texto algumas consideraes a respeito desse
tema.
De incio importante entendermos que Peirce entende Topologia como a mais
fundamental e, ao mesmo tempo, a mais simples das trs grandes divises da
Geometria, a saber: Tpica (ou Topologia), Grfica( ou Projetiva) e Mtrica.
Resumidamente, para explicar seu significado, a geometria ou geometria matemtica,
lida com hipteses puras, e ao contrrio de geometria fsica, no investiga as
propriedades do espao objetivamente vlido, pois no se relaciona com a experincia
sequer Possivel. (MS 137).3
A Geometria Mtrica a cincia de todas as grandezas espaciais. A primeira
quantidade espacial que se apresenta o comprimento relativo de uma linha; a segunda
a magnitude relativa de um ngulo. Em termos dessas quantidades todas as outras so

1

Ps-Doutorando no Programa de Ps-Graduao em Filosofia da UNESP/Marlia. E-mail:

jorge.barros.pires@gmail.com.
2
Professor no Programa de Ps-Graduao em Filosofia da UNESP/Marlia. E-mail:
lfbsilv@terra.com.br.
3
Para as citaes aos textos de Peirce sero adotadas as seguintes convenes j estabelecidas pela
comunidade de leitores de suas obras: The Essential Peirce ser citado pelas iniciais EP seguidas pelo
nmero do volume e nmero da(s) pgina(s). O mesmo valendo para o Contributions to the Nation, a
inicial CN seguida do nmero do volume e do nmero da(s) pgina(s). Os Collected Papers of Chaeles S.
Peirce sero citados pelas iniciais CP seguidas do nmero do volume e do pargrafo. A mesma conveno
vale para suas outras obras: NEM para The New Elements of Mathematics e W para Writings of C. S.
Peirce. Para os manuscritos no publicados de Peirce ser usado MS seguido da paginao, de acordo
com o Institute for Studies in Pragmatism. A paginao adotada por esse instituto a mesma elaborada
originalmente por Robin (1967).

definveis. Mas se supusermos o Espao sendo perfeitamente contnuo em toda sua

extenso, e, como tal, inteiramente suave e homogneo, em si mesmo, em sua
vacuidade pura, sem caractersticas pelas quais os comprimentos relativos de duas
linhas ou a importncia relativa dos ngulos pode ser determinado. Para a determinao
dessas magnitudes, somos compelidos a nos referir aos deslocamentos de um corpo
rgido imaginrio. Se, como uma definio parcial da igualdade, ns concordamos em
chamar os lugares que podem em tempos diferentes ser ocupados por este corpo igual, e
se, em seguida, estender o significado de quantidade geomtrica por "axiomas" de
quantidade, de modo a torn-lo aplicvel a somas, diferenas, limites de sries infinitas,
e figuras, no h nada mais para prevenir nossa comparao quantitativa desses
personagens geomtricos homogneos cujas variaes ocorrem em sries lineares. Uma
vez que toda doutrina repousa sobre nada a no ser os "axiomas" formais e as
propriedades do corpo rgido, a mtrica melhor definida como a cincia da geometria
do corpo rgido. Certamente no uma doutrina sobre espao puro; e melhor excluir
disso a doutrina do tipo de quantidade que no depende das propriedades do corpo
rgido. (MS 137).
Por Geometria Grfica, ou projetiva, deve-se considerar simplesmente uma
extenso da doutrina da perspectiva linear, que resulta de supor as linhas de viso serem
raios ilimitados que no param no olho, mas passam por ele; assim a imagem mostra o
que est por trs do espectador, assim como o que est na frente dele. As linhas retas
no tm propriedades espaciais puras que as distinguem de outras famlias de linhas no
espao. Elas podem ser definidas como os caminhos de partculas no sujeitas a
quaisquer foras, se movendo livremente. Em qualquer caso, elas so linhas sujeitas a
uma condio geral incapaz de definio em termos do prprio espao. Portanto, a
Geometria Grfica no um ramo da geometria pura mais do que a Mtrica. (MS
137).
Com a Geometria Tpica, no entanto, o caso diferente. Nesse campo de
pensamento ns ainda supomos que objetos deslocam-se no espao. Mas vamos supor
que qualquer um desses objetos pode ser expandido, contraido, dobrado, torcido, e se
mover livre de qualquer lei, excetuando-se apenas que ele no ser quebrado ou
fundido. Assim, no h duas partes ou limites desse objeto que sejam capazes de ocupar
o mesmo lugar em um instante e em um instante diferente ocupar locais separados. Ou
seja, supomos que a conexo entre as partes no pode ser perturbado. Essa ligao entre
as partes uma propriedade do prprio espao. Alm disso, o topologista tem a

liberdade de supor que esta lei de conexo pode ser quebrada, desde que a violao
explicitamente tenha lugar em uma ocasio definida e por um movimento definido.
Agora, a Matemtica, tratando de objetos puramente hipotticos, no precisa da
experincias ou sensaes peculiares para produzir seu conhecimento. Espao, portanto,
para essa Cincia, pode ser apenas um conceito geral; e o nico conceito geral de
Espao que temos, ou podemos ter, uma lei imposta sobre certas mudanas de objetos,
ou seja, os seus movimentos. A Geometria Tpica a nica matemtica possvel para o
Espao puro. (MS 137).
uma verdade clebre, familiar aos matemticos que a Mtrica apenas um
problema particular da Geometria Grfica; que tudo o que verdadeiro de magnitudes
espaciais consiste em uma verdade Grfica - uma verdade de interseces e tangncias,
- sobre um lugar individual, ou locus, chamado o Absoluto. Essa forma de afirmao
envolve o espao de Geometria Analtica, com os seus pontos "imaginrios" e planos
"imaginrios". Mas, sem dvida, isso indica uma relao entre a Mtricas e a Grfica
que subsiste, de uma forma modificada, mesmo no espao "real". Trata-se, por outro
lado, quase evidente que os grficos do Espao real (isto , espao sem partes
"imaginrias") apenas um problema especfico da Topologia. Suponha todo o espao a
ser preenchido com um fluido, no elstico mas expansvel e compressvel e incapaz de
qualquer movimento descontnuo. Todas as verdades da Geometria Grfica so
resolveis em verdades sobre as intersees de raios ou linhas retas ilimitadas. Cada
raio no espao ser ocupado a qualquer momento por uma linha de partculas, um
filamento, daquele fluido. Imagine que qualquer nmero destes filamentos pode ser
colorido, em qualquer instante, de modo a ser identificvel. Agora deixe que o fluido se
mova de qualquer maneira, no importa o quo complexo, e depois retorne ao repouso.
Esses filamentos no sero mais lineares; pela simples expanso de uma parte do fluido,
com uma contrao de outra, dever ser suficiente para destruir a sua linearidade. No
entanto, todos eles se intersectam nas mesmas partculas que cruzaram no incio do
movimento. Isto mostra claramente que os raios no podem ser distinguidos a partir de
vrias outras famlias de linhas por quaisquer propriedades grficas. Toda a famlia de
raios simplesmente um objeto particular no espao, exatamente como inmeros
outros, assim como o Absoluto um determinado objeto no espao exatamente como
inmeros outros; e a doutrina das intersees dos raios includa na doutrina geral dos
possveis deslocamentos de tal fluido, sendo que esta ltima doutrina nada mais que
um problema particular da Topologia. (MS 137).

 preciso entendermos que o Espao da Topologia no o espao da

experincia; para que ele seja objeto do raciocnio matemtico puro ele deve ser um
objeto puramente hipottico, cujas propriedades so virtualmente conhecidas
perfeio, como nenhum objeto da experincia pode ser. A Topologia est no domnio
da Matemtica pura, cuja atividade estudar definidas hipteses, sem assumir a mnima
responsabilidade pela sua conformidade com a realidade. (MS 137). No entanto, suas
descobertas podem embasar perfeitamente o estudo das relaes que se fazem no
universo da experincia.
Para encaminharmos nossos comentrios a respeito das relaes entre a
topologia e a filosofia peirceana, importante ter em mente que Peirce,
concomitantemente a seus estudos em topologia, desenvolveu interessantes estudos
sobre a teoria das valncias, das quais os elementos qumicos seriam dotados, somados
aos recursos j elaborados na lgica dos relativos, Peirce, pode formular uma teoria
fenomenolgica4 muito original. A partir dela, entendemos que tudo aquilo que se
apresenta mente possui propriedades combinatrias que organizam o universo
fenomnico e nos permite descreve-lo em sua potencialidade, produzindo as condies
bsicas e irredutveis de legitimao para que as construes formais decorrentes da
analise matemtica representasse os possveis programas de conduta na busca de fins
que, em seu poder de atrao, desse forma e efetivasse a todo constituinte da realidade
fenomnica.
Ao contrrio das categorias aristotlicas (resultantes da anlise do ato
predicativo realizado por um sujeito, que no discurso representa a realidade), Peirce
assume que as categorias fenomenolgicas correspondem aos modos mais elementares
de combinao dos fenmenos contidos no universo da experincia. Desse modo, as
categorias fenomenolgicas no dependem mais de uma sntese realizada por um
sujeito, elas esto compreendidas de acordo com o modo pelo qual se apresentam e
articulam para uma mente. (Silveira, 2007 e 2008a).
De modo breve, as categorias fenomenolgicas foram nomeadas: Primeiridade,
Secundidade e Terceiridade; e as relaes correspondentes a elas como mondicas,

4

A Fenomenologia, ou Faneroscopia, a descrio do fneron; e por fneron quero dizer o total coletivo
de tudo o que esteja de algum modo, ou em algum sentido, presente mente, sem considerar
absolutamente se corresponde a alguma coisa real ou no. Se voc perguntar presente quando, e mente
de quem, respondo que deixo essas questes sem resposta, nunca tendo alimentado dvida alguma de que
aqueles perfis do fneron que encontrei em minha mente estejam presentes em todos os momentos e para
todas as mentes. At onde tenho desenvolvida a cincia da faneroscopia, ela se ocupa dos elementos
formais do fneron. (CP 1.284).

didicas e tridicas. (Lemon, 2007). Sendo as categorias genuinamente universais,

portanto extremamente gerais e abstratas, nada mais natural que se apresentem em
nmero reduzido, respeitando a exigncia de suficincia e de ser livre de redundncias.
(CP 5.43) De acordo com Peirce (CP 8.328):
Esse tipo de noo me to pouco agradvel como para qualquer outra
pessoa e, durante muitos anos, tentei reduzir-lhe a importncia e afastar-me
dele. Contudo, de h muito, ele me conquistou por completo. Por
desagradvel que seja atribuir tal significao a nmeros e, acima de tudo, a
uma trade, to desagradvel quanto verdadeiro. As idias de Primeiridade,
Secundidade e Terceiridade so simples. Emprestando ao vocbulo Ser o
mais amplo sentido possvel, para nele incluir tanto idias quanto coisas - e
no s idias que vislumbram, mas idias que efetivamente ocorrem - eu
definiria Primeiridade, Secundidade, Terceiridade assim: Primeiridade o
modo de ser daquilo que tal como , positivamente e sem referncia a
qualquer outra coisa. Secundidade o modo de ser daquilo que tal como ,
com respeito a um segundo, mas independentemente de qualquer terceiro.
Terceiridade, o modo de ser daquilo que tal como , colocando uma
relao recproca um segundo e um terceiro.5

Na verdade, sendo as trs categorias onipresentes e interrelacionadas (CP

1.905, 5.436, 7.532)6, a Terceiridade no dever ser considerada isoladamente da
Primeiridade e da Secundidade. (Santaella, 2007). De acordo com a lgica que orienta a
Fenomenologia de Peirce, as categorias de maior complexidade pressupem aquelas de
menor complexidade (cf. De Tienne, 1992). Do ponto de vista lgico, as categorias
constituem um sistema de pressuposio necessria (Hausman, 1993, p. 97), onde
podemos abstrair certas noes da experincia e classific-las como pertencentes a uma
ou outra categoria. Podemos, por exemplo, abstrair a Primeiridade a partir da
Secundidade e podemos abstrair a Secundidade a partir da Terceiridade, mas no
podemos realizar abstraes no sentido oposto. (Misak, 2006). Desse modo, as trs
categorias esto interrelacionadas do seguinte modo: a Primeiridade independente de
qualquer outra categoria; a Secundidade depende da Primeiridade; e a Terceiridade
depende tanto da Primeiridade quanto da Secundidade. A rede formada pelas categorias
cobre toda a experincia, seja ela real ou no, permitindo que se represente desde meras
qualidades no atualizadas at processos evolutivos complexos. Tal capacidade uma

5

As categorias por Peirce denominadas Cenopitagricas, mas que poderiam ser denominadas
fenomenolgicas, se mostram irredutveis umas s outras. As demonstraes desta irredutibilidade e de
sua suficincia podem ser encontradas em: CP 5.82-92 e 7.537.
6
As categorias universais esto presentes em todos os fenmenos, podendo apresentar em alguns casos
uma certa proeminncia de uma ou outra categoria. (CP 5.43).

manifestao inerente do prprio fenmeno, que no depende ou se reduz sntese de

um sujeito, embora a ele se dirija. (cf. Silveira, 2007, p. 42).
importante notar que a influncia da matemtica nas categorias no decorre
de uma simples contagem (1, 2, 3), uma interpretao topolgica sobre as relaes no
universo da experincia. No caso das cores, por exemplo, podemos imaginar que elas
possam ser representadas por vetores. Os vetores, desse modo, estaro se referindo a
dados simples, codificados em n-dimenses. Alguns vetores de cores podem ser vistos
na FIGURA 1. Se assumirmos que cada vetor da natureza de uma qualidade, o que
poderemos supor a respeito da cor vermelha, por exemplo, que, em essncia, ela
possui como caracterstica predominante a Primeiridade. Isso , ela um primeiro
porque, como qualidade, independente das outras cores e at mesmo de sua
materializao, sendo semelhante a uma possibilidade. A qualidade em si mesmo, no
pensada como pertencente a algum objeto ou pessoa, simplesmente uma qualidade
peculiar independente de tudo o mais.

Figura 1 a) Vetores de cores. Fonte: JOHNSON, et al., 20107

Agora imagine as cores distribudas numa paleta de cores, que representa o
espectro do visvel ( ou espectro tico) para humanos. Newton demonstrou que a luz
branca pode ser decomposta em todas as cores do espectro pela refrao da luz do sol
atravs de um prisma. No h bordas exatas nesse espectro, ele contnuo (cf. Figura
2). A continuidade apresentada na noo de Primeiridade tem na Topologia sua
fundamentao. Devemos lembrar que no se trata de uma questo puramente
Metafsica, que foi transposta para a Fenomenologia. Antes de ser e para poder ser um
problema metafsico, o conceito de continuidade deve passar pela Fenomenologia. Ela,
por sua vez, tem na Topologia sua ncora terica.

Figura inspirada nos vetores de cores usados no experimento de ajuste de rudo cromtico Johnson, et
al.

Figura 2 espectro eletromagnetico de cores visveis ao olho humano.

Tendo por meta dispor de recursos formais de natureza matemtica para
equacionar problemas do mundo fenomnico, a conceituao matemtica trabalhada por
Peirce, sobretudo em seus anos de maturidade, adotada para melhor atender tais
exigncias e a no compromet-las indevidamente. Sendo as relaes fenomenolgicas
e metafsicas originrias de todas aquelas que definem classes especiais de fenmenos,
necessitam de recursos matemticos que no impeam tal generalidade. Ser, deste
modo, a geometria topolgica, ou tpica, o recurso que melhor lhe parece servir para
equacionar em nvel mais geral as questes de fenomenologia, semitica e metafsica. A
geometria projetiva e, mais ainda a geometria mtrica, sero vistas como
demasiadamente redutoras para realizar tal tarefa, j que restringem mais seus objetos
do que os da tpica. Assumindo este ponto de vista e comparando mais uma vez seu
trabalho com o continuum com aquele que vinha sendo realizado por Georg Cantor,
decidir afastar-se definitivamente do modo como aquele matemtico propunha a
questo. (Silveira, 2008b)
Havendo por bem suportar as crticas feitas pelos matemticos voltados ao
calculo analtico, crticas que, alis, ainda em data muito posterior a seus trabalhos
persistem e se repetem, Peirce reafirma a validade de sua opo e denuncia a presuno
de Cantor de extrapolar o domnio legtimo do fazer matemtico e concluir
peremptoriamente ser somente suas concluses dotadas de sentido. (Silveira, 2008b).
O resultado de toda elaborao a respeito deste assunto, a saber, da
continuidade, por matemticos tendo sido a de que permanece uma sria
disputa entre aqueles que abordam o assunto do ponto de vista do clculo e
aqueles que, tais como eu, do ponto de vista da tpica. Os que abordam do
ponto de vista da tpica. Os que abordam do ponto de vista da tpica dizem
que aquilo que os analistas denominam continuidade no , de modo algum,
continuidade; ns chamamos aquilo de pseudo-continuidade. Mas no se
deve supor tratar-se de uma disputa meramente sobre palavras. Para os
analistas, no possvel haver continuidade mais perfeita do que a deles; e a
descrio fornecida pelos estudiosos da tpica seria desprovida de sentido.
(MS 137).

No caso da abordagem matemtica da continuidade, Peirce pode ser

considerado como um precursor da posio de Ren Thom (entre outros) que, a fim de
compreender o continuum matematicamente, postulam que a abordagem qualitativa da
topologia se mostra melhor do que a matemtica quantitativa. (Havenel, 2008). A
concepo proposta por Peirce de que o estrato topolgico a se considerar de uma
entidade mais fundamental do que um possvel estrato mtrico, sendo este decorrente
da constituio topolgica e, no caso do tempo, sequer dizendo respeito sua essncia.
(Silveira, 2008b)
Peirce, no texto The Law of Mind (EP 1.320), objeta a definio de Cantor,
que gira em torno de consideraes mtricas, afirmando que a distino entre uma srie
contnua e uma descontnua manifestamente no-mtrica . Essa a agitao inicial de
um impulso que se torna cada vez mais dominante: explicar a continuidade em termos
puramente geomtricos. Isso culmina em um grupo de textos muito exploratrios entre
1905-1908 (MS 203-204, 300), no qual Peirce se esfora para fundamentar a sua
definio inteiramente na topologia, que ele considerava como a nica matemtica do
espao puro que possvel (MS 137). (Cf. Moore, 2009).
O que podemos notar no caso da cor branca da luz, mas tambm em qualquer
qualidade complexa no analisada como tal, que em certas condies qualidades
podem se fundir, gerando uma coleo ou classe que no pode ser individualizada em
um conjunto e isso uma operao topolgica. Segundo Hudry (2004), Peirce props
sua topologia como uma forma de conciliar a continuidade aritmtica com a idia
geomtrica de suavidade. Assim, um continuum topolgico definido como uma
coleo de pontos possveis, de tal forma que na vizinhana topolgica nenhum valor
algbrico pode fazer sentido. Em outras palavras, nmeros reais, correspondentes aos
pontos atuais (existentes), apenas aproximam vizinhanas. Isto significa que a
continuidade topolgica capta a verdadeira essncia da continuidade, identificando-o
com a idia intuitiva de suavidade. Isto significa que a continuidade topolgica capta a
verdadeira essncia da continuidade, identificando-o com a idia intuitiva de suavidade.
Portanto, Peirce relaciona topologia ausncia de mtrica, o que lhe permite defender
um princpio geomtrico de suavidade subsumindo a natureza no discreta da
aritmtica. Ns, ento, podemos perceber que o conceito de potencialidade que faz dos
pontos indistintos est matematicamente traduzido para o conceito topolgico de
vizinhana.

Mas, o que Peirce quer dizer com fuso de pontos? Na terminologia moderna
podemos supor que dois pontos se fundem, se eles no podem ser distinguidos por seus
vizinhos. Pode-se supor que o que Peirce quer dizer com uma coleo supernumerosa
(supermultitudinous) uma coleo to grande que deixa de ser capaz de ser um
elemento em uma outra coleo, mas, sim, de uma coleo do tipo que os tericos de
conjuntos chamam de classe. Na teoria de Peirce no seria possvel formar um conjunto,
ao contrrio de uma classe, de todos os pontos na linha. Uma vez que para Peirce no
existem pontos, podemos assumir que a sua supermultitude uma coleo de partes de
um Continuum. Mas, j que pontos s existem em virtude das conexes, que tipo de
conexes poderiam localizar posies sobre essa continuidade? Por uma questo de
argumentao, vamos supor que as posies podem ser localizados por um sistema de
vizinhana, ou por filtros de um certo tipo - assim como na topologia sem pontos.
Podemos Imaginar que o nmero de sistemas de vizinhana ou filtros (aceitveis no
contexto peirceano como a definio de um ponto) excederia o nmero de partes no
continuum, pois eles so subcolees de partes do continuum. Mas isso impossvel, j
que o continuum supernumeroso, que ultrapassa qualquer multido possvel. Assim
chegamos concluso de Peirce que os pontos, como diz Peirce, fundem-se. A melhor
razo para aceitar a afirmao de Peirce de que um continuum supernumeroso que
um tal continuum consegue atingir a generalidade mxima possvel. No que diz respeito
cor, por exemplo, o contnuo de cor de Peirce permite o maior nmero de solues
para x em tripla relao em que a e b so as cores e x uma possvel cor entre a e b. (cf.
Johanson, 2001).
O contnuo de Peirce, todavia, tem algumas propriedades que so
inconvenientes. Por exemplo, a sua continuidade no um espao de Hausdorff,8 e,
portanto, no tem as propriedades de separao agradveis que tornam a vida mais fcil
em anlise. Como fsico isso deve ter causado em Peirce alguma preocupao. Por outro
lado, a falta de propriedades de separao no contnuo de Peirce torna possvel fundir ou
dividir pontos - em particular, pode-se ver que alguns pontos so a juno de outros.
Alm disso, no h razo para no se estar aberto afirmao de que os pontos se
fundem em uma coleo de supernumerosa, especialmente porque eles j se fundem em
situaes mais mundanas. Esta situao pode ser iluminada, em certa medida pelo uso
de concepes a partir do estudo de topologia sem pontos. Embora muitas das idias de

8
Um espao topolgico X ser um Espao de Hausdorff se, e somente se, para cada par de pontos
distintos x, y X h uma vizinhana disjunta U e V tal que x U e y V .

Peirce sobre o contnuo estejam em conflito com topologia moderna (baseada em

conjunto de pontos), elas esto substancialmente de acordo com muitas das concepes
da topologia sem pontos.9 (Cf. Johanson, 2001).
Em seu sistema tridico das categorias, se os pontos potencias so qualidades
de natureza relacionada Primeiridade, a continuidade pode ser descrita como uma
forma de Terceiridade, uma sntese de diferentes qualidades que assume um carter
geral. Por outro lado, as singularidades que surgem em relaes discretas podem ser
relacionadas Segundidade. A descontinuidade um ingrediente do universo
topolgico (NEM 3.112).
Para Christiansen (1990), essas relaes correspondem classificao
semitica dos signos, os quais apontam para relaes com os seus objetos como
potenciais, cones, como distintos, ndices, enquanto propriedades numricas contnuas
so descritas como smbolos, cujo significado s definido no contexto de incertezas
estatsticas decorrentes da situao experimental. Na mecnica quntica encontramos
um exemplo claro do uso dessas trs categorias de signos. Assim, a noo bsica de
uma partcula um cone, o seu vetor de estado sem levar em conta qualquer
representao um ndice, e as suas propriedades numericamente mensurveis, dadas
pelos elementos da matriz de determinados operadores em uma representao
determinada pelo contexto experimental, pode ser classificada como smbolos. A
definio de um interpretante uma transformao topolgica discreta da relao do
signo, e, portanto, singularidade algo inerente ao formalismo quntico. O salto
quntico descrito como "colapso da funo de onda" pode ser considerado como uma
transio discreta de um propriedade simblica potencial para um atual (existencial), e
este tipo de salto discreto , por conseguinte, de natureza topolgica com ligao com a
prpria natureza da relao signica.
Nas Conferncias de Cambridge, Peirce passa grande parte do tempo (como ele
faz em outros escritos nesse perodo) catalogando os diferentes tipos de singularidades
que um contnuo pode apresentar, e o jargo "tpico" de "singularidades" e "pontos

9

Topologia sem pontos uma teoria topolgica em que pontos como partes finais do continuum no
existem. Assim, na Topologia sem pontos, a conectividade deve ter uma definio diferente do que na
Topologia baseada em pontos (set-point). Dentro da teoria matemtica das categorias, a Anlise
Infenitesimal Suave (Smooth Infinitesimal Analysis SIA) uma aproximao promissora. No entanto,
devemos ter o cuidado com as tentativas de relacionar o pensamento peirceano com as teorias
contemporneas, a fim de no cairmos em erros conceituais. Recentemente, por exemplo, comentaristas
peirceanos, tais como Robinson e Conway, tentaram apresentar analogias entre o continuum de Peirce e
vrias verses da Anlise No Standard (Non Standard Analysis - NSA). O que nos parece ser
inadequado pois a NSA uma extenso do contnuo cantoriano. (Havenel, 2008).

10

excepcionais" perfeitamente adaptado para fazer cumprir a prioridade do contnuo ao

discreto que sua teoria exige. Uma singularidade, um ponto excepcional, no algo
presente por padro no meio contnuo. Ele realmente no existe a menos que alguma
coisa esteja l para marc-lo, que, se houver, interrompe a continuidade. A
singularidade , portanto, apenas o tipo de coisa que um discretum em um reflexivo,
transinfinito contnuo deveria ser. (Moore, 2007).
Com seu Census Teoroma (o que corresponde aproximadamente
caracterstica de Euler-Poincar) e sua noo de forma de classe (shape-class), Peirce
tenta estabelecer uma classificao de vrios tipos de continuum, de acordo com suas
vrias dimenses e singularidades topolgicas. (Havenel, 2008).
As propriedades topolgicos so descritas por Peirce com quatro nmeros
inteiros, os chamados nmeros de Listing: chorisis, cyclosis, perifraxis e Apeiry que
caracterizam cada objeto tridimensional. Chorisis o nmero de partes separadas que
constituem o objecto. Cyclosis o nmero de orifcios de atravessamento ou
singularidades com simetria axial (como vrtices). Periphraxis o nmero de orifcios
tridimensionais internos e Apeiry um nmero que s diferente de zero para um corpo
ilimitado.
Cada lugar tem um Valor de Census (VC) que consiste do valor numrico de
seus pontos menos o do valor numrico de suas linhas mais o do valor numrico de suas
superfcies menos o do valor numrico de seus slidos. O VC de qualquer espao
homognio igual a sua Chorisy menos sua Cyclosy mais sua Periphraxy menos sua
Apeiry. (NEM 3.487). Assim, as propriedades topolgicas so descritas por esses quatro
nmeros inteiros, chamados nmeros de Listing.
O nmero de Listing mais baixo, o nmero de partes separadas, no pode ser
zero; para tal hiptese todo o continuum seria anulado. Nem pode o maior nmero
Listing ser zero, a menos que o continuum tenha singularidades. Mas os nmeros de
Listing intermedirios podem ser zero ou quase todos os nmeros. Se desejamos uma
metafsica que seja realmente uma cincia definida a primeira questo sobre qualquer
geral deve ser, em primeiro lugar, qual a sua dimensionalidade e, em segundo lugar, o
quais so os nmeros de Listing intermedirios. Qualquer que seja a a resposta, isso
geralmente te assegurar a verdadeira teoria que aquelas questes difceis, mas
definidas, as quais ns estamos acostumados a pensar nas cincias indutivas, iro se
desenvolver. Esse um dos grandes mritos do mtodo de pensamento, que a lgica dos
relativos sugere, que leva a tais questes definidas. (CP 6.211).

11

De acordo com Cristiansem (2013), ao olharmos para o universo como um

todo, ele ter chorisis e Apeiry igual a um, enquanto a sua cyclosis e periphraxis so
incgnitas refletindo singularidades na mtrica do espao. As equaes de campo da
Relatividade Geral, que combinam as propriedades mtricas com o campo da gravitao
mostram que existem possveis singularidades correspondentes aos dois tipos: Cordas
Csmicas Cyclosis e os Buracos Negros Periphraxis. No se conhece quanto de tais
objetos haveriam no universo visvel, mas observaes indicam que eles existem.
Dentro das escalas normalmente acessveis de comprimento e energia, o vcuo fsico
parece no ter estrutura. Porm, ele possui propriedades que se escondem sob trs
constantes fundamentais da natureza, a saber:
1. c=3108 m/s; a velocidade da luz no vacuum,
2. = h/2=10-34 Js; quantum de ao de Dirac, (h a constante de Planck);
3. G=6.6710-13 Nm2/kg2; constante de gravitao de Newton.
Cristiansen continua sua argumentao dizendo que, se os valores das
constantes forem expressos em unidades do Sistema Internacional de Unidades (sigla
SI, do francs Systme international d'units), como nas equaes apresentadas, os
valores numricos dessas constantes so ou muito grandes ou muito pequenos. Porm,
isso s significa que as unidades SI (comprimento em metros (m), o tempo em segundos
(s), e em massa quilogramas (k)), so "medidas humanas", longe do mundo das
partculas elementares. No entanto, possvel escolher as unidades de comprimento,
tempo, massa, de tal modo que as trs constantes da natureza, acima mencionadas,
obtenham o valor de numrico nas unidades de Planck:

o comprimento de Planck:
o tempo de Planck:
e a massa de Planck:

Lp= !G/c 3 =410-36 m;

tp = Lp/c = 10-44 s;
Mp = !c / G = 510-7 kg.

Um ponto de partida natural para imagens de partculas elementares , ento, uma esfera
com raio de um Planck e massa de um Planck. Em comparao com as partculas
elementares comuns (como eltrons) a partcula-Planck de pequena extenso, mas
muito pesada (cerca de 0,5 mg).

12

A fora da gravidade sobre a superfcie de tal partcula ser to forte, que a

partcula "colapsa" e torna-se um mini buraco negro. Isto nunca foi observedo e
provavelmente nunca ser, uma vez que a energia de Planck Mpc2 = 1018 GeV est
muito alm do alcance at mesmo dos maiores aceleradores de partculas. Talvez tenha
havido muitos deles quando o Universo tinha apenas um Planck de idade, mas como
mini buracos negros evaporam rapidamente por um processo chamado de radiaoHawking, todos eles desapareceram h muito tempo. Se pudssemos ver o vcuo fsico
atravs de um microscpio com uma resoluo de um Planck de comprimento, ns
provavelmente veramos que o espao nessa escala possui estrutura, tendo tanto cyclosis
(a partir de de supercordas) e periphraxis (a partir de mini-buracos negros).
(Christiansen, 2013).
Devemos lembrar que entre os anos 1884-1893, Peirce desenvolveu uma
metafsica evolutiva que tentava explicar a origem do universo fsico e as leis da fsica
como uma transformao que muda a modalidade ontolgica e a dimensionalidade de
um estado de indeterminao irrestrita. Quando, em 1898, em notas para uma srie de
palestras intitulado "The Logic of Events" ele aplicou estrutura topolgica de Listing
"lgica objetiva" do desenvolvimento cosmolgico, Peirce assume que h uma
semelhana estrutural entre o estado topolgico de uma hiptese, desde que ela seja
considerada como uma inferncia abdutiva, e de cada estado mais determinado que
resulta do estado zero antes da origem do universe fsico. Antes de tudo, ambas a
hiptese abdutiva e o estado do universo mais determinado so transies de fase a
partir de estados onde a transformao muda a modalidade ontolgica e a
dimensionalidade 0 para uma dimensionalidade 1. (Dimitrov, 2007).
Uma interessante idia contempornea que o universo poderia ter sido
espontaneamente criado a partir do nada, aqui interpretado como algo anterior
existncia, o potencial. Mas no havia nenhum tipo de embasamento matemtico
rigoroso que sustentasse isso. No entanto, um trabalho publicado por He, Gao, Cai
(2014), apresenta uma teoria embasada na soluo analtica da equao de WheelerDeWitt (WDWE). Solues da WDWE mostram que, uma vez que uma pequena bolha
de vcuo verdadeiro criada por flutuaes qunticas do metaestvel vcuo falso, ela
pode se expandir de forma exponencial, no importa se a bolha est fechada, achatada
ou aberta. A expanso exponencial vai acabar quando a bolha se torna grande e o
universo primitivo aparece. Com a teoria quntica de trajetria Broglie-Bohm, os
autores mostram explicitamente que o potencial quntico que faz o papel da constante

13

cosmolgica e fornece a energia para a expanso exponencial da verdadeira bolha de

vcuo. Isso mostra que o incio do universo dependeria da natureza quntica da teoria.
Ou seja, h uma transformao de dimensionalidade, nos termos de Peirce.
Como Pape (1999) prope, as transformaes conduzem o universo a partir do
potencial para o atual. Para descrever essa transformao numa lgica de eventos
cosmolgicos a lgica tradicional monotnica, inferncias dedutivas necessrias no
seriam possveis nem adequadas, porque isso exigiria dar a possibilidade de uma
conexo lgica entre o estado de indeterminao irrestrito e qualquer estado mais
determinado. Podemos perceber que, para Peirce, no apenas o desenvolvimento
cosmolgico pode ser visto como uma transformao topolgica, cuja forma a de uma
inferncia hipottica, como evidenciada em CP 6.220, mas que o ponto de vista
topolgico aplicado direta e explicitamente na abduo. De acordo com o mesmo
autor, o "papel lgico de abduo em Peirce depende da propriedade topolgica da
hiptese como singularidade no espao de relaes lgicas."
Para Dimitrov (2007), Peirce desenvolveu em seus escritos ps 1894 um modo
topolgico de ver as relaes lgicas entre as representaes com status lgico
categoricamente diferentes: a conectividade topolgica forneceu para ele um modelo
abrangente do espao em que as seqncias lgicas individuais, por exemplo aquelas
iniciadas por uma abduo, podem ser incorporadas.
Por volta de 1895, ele desenvolveu uma lgica grfica, chamada Grafos
Existenciais. GEs so um sistema lgico altamente elegante dividido em trs partes
chamadas Alfa, Beta e Gama. As trs partes so construidas umas sobre as outras, a
Beta baseia-se na Alfa e a Gama baseia-se em ambas Alfa e Beta. Como sistema
matemtico, os grafos (GEs) so extremamente poderosos: a parte Alfa dos grafos
uma completa lgica do clculo proposicional; a parte Beta uma completa lgica de
predicados com identidade; e o mais notvel trabalho de Peirce est na parte Gama,
sendo que nela que esto contidas as lgicas modal e multimodal quantificada, a
lgica de ordem superior, grafos metalgicos e a lgica de asseres no-declarativas.
Em contraste com o Alfa e Beta, Gama nunca foi terminado por Peirce, e at agora,
apenas fragmentos dessa parte (principalmente no que se refere lgica modal) foram
elaborados. (Cf. Dau, Eklund 2008, Pietarinen, 2008).
Regras diagramticas - manobras topolgicas que so permitidas aos grafos fornecem a eles diversas combinaes entre conjuno, negao e existncia,
oferecendo o caminho para a construo de um incrvel sistema lgico, em que as

14

permisses topolgicas correspondem a dedues lgicas. (Zalamea, 2003). Em 1905,

ele usa a classificao e transformao de formas topolgicas baseadas em Linting para
provar a completude das partes alfa e beta dos Grafos (Dimitrov, 2007).
Para Hookway (1992, cf. tambm Pires, 2011), se eles tivessem sido
finalizados, mostrariam que todo o raciocnio matemtico pode ser interpretado como
experimentaes sobre diagramas, inclusive podendo ser uma fonte de teste para o
prprio pragmatismo. De fato, Peirce afirma que, por vezes, trabalhar com matemtica
abstrata fornece a maneira mais clara de se verificar se uma tese est correta.
REFERNCIAS
BURCH, R. W. Valental aspects of Peircean algebraic logic. Computers &
Mathematics with Applications, v. 23, n. 6-9, p. 665677, 1992.
CHRISTIANSEN, P. V. Peircean local realism does not imply Bells inequalities. 1990.
In: Symposium on the Foundations of Modern Physics, , (august). Disponvel na
internet via URL: <http://mmf.ruc.dk/~PVC/joensuu.htm>. Acesso em: 05-2013.
________. The Semiotic Flora of Elementary Particles. Disponvel na internet via
URL: <http://www.library.utoronto.ca/see/SEED/Vol3-2/Christiansen_3-2.htm>.
Acesso em: 05-2013
DAU, F., EKLUND, P. A diagrammatic reasoning system for the description logic
ALC. Journal of Visual Languages and Computing, v. 19, pp. 539573, 2008.
DE TIENNE, A. Peirces semiotic monism. In Signs of Humanity/L'homme et ses
signes. In: Proceedings of the IVth International Congress/Actes du IVe Congrs
Mondial. DELEDALLE, G., BALAT, M. and RHODES, J.D. (eds.), pp. 1291-1303.
Berlin: Mouton de Gruyter, 1992.
DIMITROV, B. The Topological approach of Charles Sanders Peirces qualitative-ness.
Borislav, v. 4, n. 4, 15, 2007.
HAVENEL, J. Peirces Clarifications of Continuity. Transactions of the Charles S.
Peirce Society, v. 44, n.1, p. 86133, 2008.
HAUSMAN, C. R. Charles S. Peirces Evolutionary Philosophy. Cambridge:
Cambridge University Press, 1993. (paperback ed., 1997).
HE, D., GAO, D., CAI, Q. Spontaneous creation of the universe from nothing. Physical
Review D, n. 2, p. 15, 2014.
HOOKWAY, C. PEIRCE. New York: Routledge, 1992.
HUDRY, J.-L. Peires Potential Continuity and Pure Geometry. Transactions of the
Charles S. Peirce Society, v. XL, n. 2, p. 229243, 2004.
JOHANSON, A. Modern Topology And Peirces Theory Of The Continuum.
Transactions Of The Charles S. Peirce Society, v. 37, 1, p. 112, 2001.
JOHNSON, G.M., Et Al. Derivation Of A Color Space For Image Color Difference
Measurement. Color Research And Application, V. 00, N. 0, 2010.
MISAK, C. C. S. Peirce Sobre Assuntos Vitais. COGNITIO: Revista de Filosofia, 3,
2002. Traduo oficial disponvel no site da revista via URL:
<http://www.pucsp.br/pragmatismo/cognitio/n_publicados_volumes/cognitio_3_sumari
o.html>. Consulta em Fevereiro de 2006.

15

LEMON, M. Charles S. Peirce and the Philosophy of Science: Papers from the
Harvard Sesquicentennial Congress. MOORE, E. C. (ed.) Tuscaloosa: University of
Alabama Press, pp. 289-299, 2007.
MOORE, M. Peirce on Perfect Sets, Revised. Transactions of the Charles S. Peirce
Society, v. 45, n. 4, p. 649-667, 2009.
PAPE, H. Abducton and the topology of human cognition. Transactions of the
Charles S. Peirce Society, v. 35, n. 2, pp. 248-269, 1999.
PEIRCE, C.S. The Collected Papers of Charles Sanders Peirce. HARTSHORNE,
C., WEISS, P. e BURKS, A. (org.) Cambridge, Massachusetts: Harvard University
Press, 1931-35 e 1958; 8 vols.
________. The New Elements of Mathematics by Charles S. Peirce. EISELE, C.
(ed.). The hauge, Mouton Publishers, 1976. 5 vols.
________. Contributions to the Nation. KETNER, K. L. (Ed.). Vols. 14. Lubbock:
Texas Tech University Press, 197587.
________. The Essential Peirce. KLOESEL C.J.W., Houser N. (ed.), vol. 1.
Bloomington: Indiana University Press, 1992; Peirce Edition Project (ed.), vol. 2.
Bloomington: Indiana University Press, 1998.
PIETARINEN, A. V. Existential Graphs: What a Diagrammatic Logic of Cognition
Might Look Like. Proceedings of the 9th International conference on logic and
cognition. November 2008, Sun-yat Sen University. Disponvel na internet via URL:
http://www.helsinki.fi/~pietarin/publications/diagram-cognition-Pietarinen.pdf.
Consulta em junho de 2010.
PIRES, J. B. Raciocnio diagramtico como base para o desenvolvimento de
conceitos. Tese (doutorado) UFRJ/ COPPE/ Programa de Engenharia Civil, 2011.
Rio de Janeiro: UFRJ/COPPE, 2011.
ROBIN, R.S. Annotated Catalogue of the Papers of Charles S. Peirce. Worcester:
Massachussets: The University of Massachusetts Press, 1967.
SANTAELLA, L. Sinequismo e onipresena da semiose, Cognitio, v. 8, n. 1, 2007.
SILVEIRA, L. F. B. Curso de Semitica Geral. So Paulo: Quartier Latin, 2007.
________. Informao e verdade na filosofia de Peirce. Cognitio, v. 9, pp. 281-324,
2008a.
________. O desenvolvimento do conceito de tempo na filosofia de Charles Sanders
Peirce. In: BRESCIANI FILHO, E., DOTTAVIANO, I. M. L., GONZALES, M. E. Q.,
SOUZA, G. M. (orgs.). Auto-organizao: estudos interdisciplinares. Coleo CLE,
v.5, pp. 109-175, 2008b.
ZALAMEA, F. Peirce's logic of continuity: Existential Graphs and non-cantorian
continuum. The Review of modern logic, v. 9, n. 29, pp. 115-162, 2003.

16