Beruflich Dokumente
Kultur Dokumente
READS
100
1 author:
Joao Queiroz
Federal University of Juiz de Fora
153 PUBLICATIONS 436 CITATIONS
SEE PROFILE
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:41
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:41
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Juiz de Fora
2013
27/01/2014 10:38:41
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
UNIVERSIDADE FEDERAL DE JUIZ DE FORA
Reitor
FICHA CATALOGRFICA
Elaborado pela Biblioteca Central da UFJF
27/01/2014 10:38:41
SUMRIO
07
INTRODUO
Lafayette de Moraes & Joo Queiroz
13
1. O PENSAMENTO ICNICO E
DIAGRAMTICO NA OBRA DE PEIRCE
Rossella Fabbrichesi
45
2. DIAGRAMAS: FOCO PARA
UMA EPISTEMOLOGIA PEIRCEANA
Frederik Stjernfelt
79
3. GRAFOS, JOGOS E A PROVA DO PRAGMATICISMO
Ahti-Veikko Pietarinen
101
4. COGNIAO E PENSAMENTO DIAGRAMTICO
Michael H.G. Hoffmann
135
5. UMA INTRODUAO AOS SISTEMAS ALFA E
GAMA DOS GRAFOS EXISTENCIAIS DE C.S.PEIRCE
Risto Hilpinen & Joo Queiroz
171
6. A = B: UMA VISO PEIRCEANA
Michael Friedrich Otte & Luiz Gonzaga Xavier de Barros
27/01/2014 10:38:42
27/01/2014 10:38:42
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
INTRODUO
C.S.Peirce, o fundador do pragmatismo, foi um cientista com contribuies em diversas reas: metrologia, psicologia experimental, geodsia, fotometria
estelar, economia matemtica, filosofia da matemtica, teoria da gravitao, lingustica, histria e filosofia da cincia, histria e filosofia da lgica (Fisch, 1986).
Mas muitos veem o conjunto de sua obra como o trabalho de um lgico (Houser, 1997, p. 1), que era como ele prprio se considerava. Entretanto, at ao menos o incio da segunda metade do sculo XX, estudantes de lgica dificilmente
conheciam em detalhes a obra de Peirce. Esta omisso surpreendente. Ele
considerado, com Frege, Russell, Hilbert, um dos fundadores da lgica moderna (Lukasiewicz, 1970, Barwise & Etchemendy, 1995, Quine, 1995, Hintikka &
Hilpinen, 1997). Peirce desenvolveu, com O.H.Mitchell, independentemente de
Frege, as noes de quantificao e quantificador lgicos (ver Putnam, 1982), foi
autor do termo lgica de primeira ordem (Putnam, 1988), alm de ter antecipado, em mais de trinta anos, a introduo do operador de Sheffer (Sheffer stroke)
(W 4:218-221, Quine, 1995).
Mas se h uma surpreendente omisso sobre suas descobertas em aspectos algbricos da lgica, o que no dizer sobre seus sistemas de grafos lgicos
7
27/01/2014 10:38:42
(os Grafos Existenciais, ou GE). Os GE so uma notao lgica de carter diagramtico. Segundo Gardner (1958/1982), trata-se do mais ambicioso sistema
diagramtico j construdo e, para Faris (1981), o sistema de lgica-geomtrica
mais compreensvel e verstil j feito. Desenvolvido em diferentes fases, a partir
de 1882 (Roberts, 1973), eles recentemente influenciaram pesquisas em reas to
diversas quanto redes semnticas, lingustica computacional e knowledge representation (Sowa, 1984).
Segundo Peirce, trata-se de um sistema de diagramas lgicos atravs do
qual qualquer desenvolvimento do pensamento pode ser representado com preciso (CP 4.530). Para Zeman (1964, p.1),
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:42
O material que constitui este livro est distribudo entre tpicos considerados filosoficamente importantes, sobre aspectos tericos e conceituais dos GE, e
introdutrios sobre seus aspectos formais e implicaes cognitivas.
Para Rossella Fabbrichesi, os GE constituem a chave do pensamento peirceano e fornecem uma excelente introduo aos principais conceitos de sua filosofia. Fabbrichesi esclarece que, para Peirce, os GE no representam apenas a
inveno de uma notao lgica, diagramtica, mas de uma ideografia lgica. O
sistema, e esta tambm a posio de Pietarinen, pareceu, para Peirce, fundamental para o desenvolvimento de seu projeto pragmaticista (a certa altura os GE
so chamados por Peirce de Guide to Pragmaticism, CP 4.7).
No se trata apenas de um modelo, uma linguagem para matemticos
(CP 4.424), ou dispositivo de ilustrao visual do clculo lgico. Os GE esto
relacionados verdade do pragmatismo e ao sinequismo. Constituem, portanto,
uma pea fundamental nas investigaes de sua filosofia, em vrios domnios (fenomenologia, semitica, lgica, metafsica). Rosella Fabbrichesi tambm discute
em detalhes, baseada em uma cuidadosa seleo de diversos trechos da obra de
Peirce, um tpico recentemente valorizado em Cincia Cognitiva (e mais precisamente em Situated Cognitive Science) a natureza dos processos cognitivos e sua
dependncia do material semitico externo, material e sensvel, de que ele feito
(Este tambm tema do captulo de Michael Hoffmann.
Para Frederik Stjernfelt, as propriedades mais relevantes dos cones
no receberam um tratamento meta-terico apropriado, embora haja diversos
esboos de Peirce para o desenvolvimento de uma teoria geral dos diagramas.
Os sistemas de diagramas lgicos (alfa, beta e gama) receberam destacada
ateno em anos recentes, porque, em certa medida, eles so heuristicamente
superiores aos sistemas lgicos simblicos. Mas o conceito geral de diagrama
de Peirce passou desapercebido. Isto se deve inclusive a razes editoriais os
argumentos centrais de Peirce a respeito da categoria geral do diagrama no
so encontrados nos Collected Papers. Mas inconteste que o conceito de diagrama exerce um papel decisivo na semitica madura de Peirce. Stjernfelt explora o papel epistemolgico dos diagramas, na diviso tripartite dos cones
(imagens, diagramas, metforas), e descreve suas propriedades operacionais,
uma elaborao do conceito de similaridade. Seu captulo detalha a natureza
semitica dos diagramas, e sua determinao dupla icnica e simblica,
perceptual e geral.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:42
Que condies devem ser satisfeitas para se aprender algo novo por
meio de diagramas? Qual o papel das representaes externas nos processos
cognitivos? O captulo de Michael Hoffmann est interessado nas interaes
entre os diagramas e o pensamento que favorece a criatividade. Seu interesse principal consiste na anlise de processos cognitivos que esto envolvidos
quando o pensamento diagramtico resolve problemas complexos, quando
aprende algo novo, quando decide ou quando resolve conflitos.
O pragmaticismo uma posio filosfica que, para Peirce, poderia ser
conclusivamente provada. Em torno de 1905, ele conduziu, atravs dos GE,
uma prova baseada em rascunhos de uma semntica que, segundo Ahti-Veikko
Pietarinen, pode ser modernizada em termos de uma semntica da teoria dos
jogos. Pietarinen reconstri a prova de 1905, relacionando-a com a concepo de
significado verificacionalmente interpretado. Ele tambm explora o carter exosomtico do pensamento (embodied) em signos os GE proveem algo como um
modelo cintico exato do pensamento, so cones do pensamento interpretados
como aes da teoria dos jogos. Pietarinen aborda muitas das questes pragmaticistas de Peirce luz da moderna teoria dos jogos (e.g., os hbitos so, em teoria
dos jogos, estratgias de realizao).
O captulo de Risto Hilpinen e Joo Queiroz inicia com consideraes
sobre signo, cone, smbolo e suas subdivises (smbolos remtico e dicente). O
captulo uma introduo aos GE nos nveis alfa e beta. So apresentados os
vocabulrios grficos dos sistemas alfa e beta e suas regras sintticas de transformao. Embora seja um trabalho de carter introdutrio, com exemplos
intuitivos e dispostos em nvel de dificuldade crescente, sua leitura supe um
leitor com familiaridade nas operaes do clculo sentencial clssico e com os
quantificadores da lgica de primeira ordem.
Michael Otte e Luiz Gonzaga Xavier de Barros abordam tpicos altamente controversos na histria da lgica. Como afirmam inicialmente, a igualdade
ocupa uma posio polmica na histria da cincia, desde seu aparecimento sob
forma simblica, em 1557. So famosos os problemas elaborados por Frege sobre
o sentido e a referncia os conhecidos paradoxos da estrela matutina e da estrela
vespertina e a famosa polmica Barcan-Quine sobre a igualdade, particularmente
no mbito da lgica modal. Os autores abordam tpicos relacionadosaaspectos
intensionais e extensionais da linguagem matemtica concluindo que ela no
nem completamente intensional nem meramente extensional. Em seguida, eles
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
10
27/01/2014 10:38:42
analisam o papel dos cones e dos ndices, na viso de Peirce, bem como de Frege.
Tambm so consideradas as posies de Wittgenstein e de Russell, sobre sistemas
formais. Sumariamente, o captulo de Otte & Barros aborda temas altamente relevantes para as filosofias da lgica, da matemtica, e semitica.
Este livro, portanto, fornece contribuies em diversos domnios em
filosofia da lgica e da matemtica, em filosofia da mente, teoria dos jogos,
pragmatismo e pragmaticismo, cincia cognitiva e semitica. Esto entre os
principais tpicos encontrados: a natureza epistemolgica, e semitica, dos
diagramas, em geral, e dos GE, em particular; o desenvolvimento de meta-modelos apropriados para a descrio de diagramas; as implicaes cognitivas, em
operaes diagramticas, de tarefas ligadas a aprendizagem e ao pensamento
criativo, ou a inferncia abdutiva; as relaes entre os GE e a prova do pragmaticismo, atravs de uma verso recente, em teoria dos jogos; a forma como
o pensamento diagramtico, e exosomtico, facilita a soluo de problemas em
situaes demasiadamente complexas para serem abordadas por outros meios;
uma introduo notao grfica e sintaxe de transformao dos sistemas alfa
e beta; uma discusso sobre a natureza icnica e diagramtica do raciocnio
matemtico.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Referncias
27/01/2014 10:38:42
Hammer, E. (1995). Logic and Visual Information. Stanford, CA: CSLI Publications.
Hintikka, J. & Hilpinen, R. (1997). Preface. In N. Houser, D. Roberts, J. van Evra
(Eds.), Studies in the Logic of Charles S. Peirce (pp. ix-x). Bloomington, IN:
Indiana University Press.
Houser, N., Roberts, D., & Evra, J., van. (Eds.). (1997). Studies in the Logic of Charles S. Peirce. Bloomington, IN: Indiana University Press.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Lukasiewicz, J. (1970). Selected Works. L. Borkowski (Ed.). Amsterdam: NorthHolland. (Original work published 1961)
Peirce, C. S. (1977). Writings of Charles S. Peirce a cronological edition (Peirce Edition
Project, Ed., Vols. 1-6). Bloomington, IN: Indiana University. Peirce, C. S.
(1994). The Collected Papers of Charles S. Peirce. Vols. I-VI [C. Hartshorne,
P. Weiss (Eds.). Cambridge, MA: Harvard University, 1931-1935], Vols.
VII-VIII [A. W. Burks (Ed.). Cambridge, MA: Harvard University, 1958].
Charlottesville, VA: Intelex Corporation
27/01/2014 10:38:42
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
1
O PENSAMENTO ICNICO
E DIAGRAMTICO NA OBRA DE PEIRCE1
Vou concentrar minha ateno nas ideias de signo e de cone, para Peirce, e
em uma de suas manifestaes, a expresso diagramtica. Tentarei argumentar que
tais ideias, e o Sistema dos Grafos Existenciais, ou GE, elaborado como um simbolismo para qualquer processo de raciocnio, constituem a chave de seu pensamento
e fornecem uma excelente introduo aos principais conceitos de sua filosofia.
A ideia de signo aparece muito cedo na histria da filosofia no ocidente.
Aristteles a menciona frequentemente e os Estoicos transformaram-na em
um tema importante, com nfase na noo de lektn. Depois a encontramos
em muitos escritores medievais, e como semitica, na obra de Locke. Mas Peirce o primeiro a transformar esta ideia no ncleo de uma complexa filosofia,
no somente em uma investigao emprica de classes e classificaes de signos. Vejamos sua definio de signo:
1 Outra verso deste trabalho foi apresentada na Ecole Normale Suprieure em Paris, durante trs sesses
organizadas pelo Laboratoire disciplinaire Pense des Sciences, coordenada pelo Prof. Charles Alunni. Gostaria de expressar aqui minha gratido ao Prof. Alunni, e a seus colegas, tanto pelo generoso convite quanto
pelos enriquecedores debates decorrentes dessas palestras.
13
27/01/2014 10:38:42
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Symbol
Interpretant
Referent
Representamen
Object
A razo pela qual Peirce nunca representou sua ideia de signo por meio do
esquema acima deve-se ao fato de que o fechamento, e a rigidez, do tringulo no
correspondem de forma alguma sua ideia de referncia semitica. Examinemos
a definio: ela diz que o representamen cria um novo signo, que outra relao
sgnica, que o interpreta. Consequentemente, o tringulo se abre onde est o
interpretante, produzindo uma relao interpretativa ulterior. Do lado em que o
objeto se encontra, o ngulo fechado deve se abrir porque a relao signo-objeto
no unvoca e fixa. Ao contrrio, ela definida atravs de um certo aspecto
representativo, uma perspectiva, ou, mais precisamente, o fundamento. (Wittgens14
27/01/2014 10:38:42
tein, 1956, falou de Hintergrund como forma de vida.) O signo no pode existir
a menos que comece a partir de um contexto interpretativo, a menos que esteja
dentro de uma certa forma de vida, onde encontramos signos relacionados a
objetos. A descoberta das limitaes da forma triangular claramente apontada
por Peirce em suas definies subsequentes de signo.
Peirce no est interessado em explicar como um signo feito e, consequentemente, em estudar a relao bilateral significante-significado, conforme
a abordagem adotada por Saussure. A inteno de Peirce entender o que um
signo faz, que relaes ele produz em sua funo ontolgica bsica, que a de
se referir a alguma outra coisa, de estar para algo que ele no , de ser a presena
de uma ausncia constitutiva a que chamamos de realidade. Por este motivo, ele
prefere falar de relao sgnica, ou mediao sgnica, uma relao cujo ato de
conectar tambm assume os polos da prpria relao. Estes continuamente referem-se uns aos outros sem qualquer possibilidade de se estabelecer um comeo
ou um fim ao processo da semiose. O signo
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
[q]ualquer coisa que determine alguma outra coisa (seu interpretante) a se referir a um objeto a que ele mesmo se
refere (seu objeto) da mesma forma, o interpretante tornando-se por sua vez um signo, e assim por diante ad infinitum.... Se a srie de sucessivos interpretantes alcana um
fim, o signo, desse modo, torna-se imperfeito. (CP 2.303)
Deixe-me tentar estabelecer as ltimas definies, em uma forma diagramtica. possvel observar que o que temos no um tringulo, mas um po15
27/01/2014 10:38:42
liedro de lados infinitos, em que o signo e o interpretante referem-se incessantemente um ao outro, assim como apontam em direo ao objeto (Figura 2). O
objeto a inteno das referncias, feita pelo signo, e est situado de acordo com
pontos de vista interpretativos.
S
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
I
Dito isso, tentarei sintetizar a teoria do signo de Peirce. A semitica peirceana baseia-se, acima de tudo, na ideia de interpretante. Isto porque sem a mediao do interpretante (que no uma mente subjetiva) no h ativao significativa da relao sgnica. exatamente esta referncia ao interpretante que
mantm a relao sgnica em movimento, fazendo dela uma funo de referncia
relacional, e a cadeia dinmica de Interpretantes produz a semiose ou a ao
tridica do signo (CP 5.472).
Por semiose [diz Peirce] quero dizer uma ao, ou influncia, que , ou envolve, uma cooperao de trs sujeitos, tais
como um signo, um objeto e seu interpretante, sendo esta
influncia tri-relativa impossvel de ser resolvida em aes
entre pares. (CP 5.484)
27/01/2014 10:38:42
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
17
27/01/2014 10:38:42
gem Grega da ideia, nos faz entender quo equivocada a identificao usual de
cone com imagem (mental ou visual). Desde cedo criticada por ele, essa identificao tem uma origem precisa entre os sculos XVI e XVII. De fato, Peirce faz a
seguinte afirmao sobre o status do cone, em um trecho infelizmente ignorado
pela maioria dos estudiosos:
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Um cone um Representamen cuja Qualidade Representativa uma Primeiridade dele como um Primeiro. Ou seja,
uma qualidade que tem algo qua coisa que presta-se como
sendo um representamen. Portanto, qualquer coisa est
pronta para ser um Substituto de qualquer coisa com a qual
se parea.... Um signo de Primeiridade uma imagem de
seu objeto e, estritamente falando, pode apenas ser uma
ideia.... Entretanto, falando ainda mais precisamente, mesmo uma ideia, exceto no sentido de uma possibilidade, ou
Primeiridade, pode no ser um cone. Uma possibilidade
sozinha um cone puramente em virtude de sua qualidade, e seu objeto s pode ser uma Primeiridade. Mas um
signo pode ser icnico, ou seja, pode representar seu objeto
principalmente por sua similaridade, no importando o seu
modo de ser. Se um substantivo for requerido, um representamen icnico pode ser definido como hipocone. Qualquer imagem material, como uma pintura, amplamente
convencional em seu modo de representao; mas ela mesma, sem legendas ou padronizaes, pode ser chamada de
hipocone. (CP 2.276)
Este trecho contm toda a teoria peirceana do cone. Ser necessrio sumarizar muitas referncias da teoria, mas parece-me muito claro que a iconicidade
manifesta-se em trs nveis: 1) o cone existe como pura primeiridade relacional,
pura possibilidade, pura ocorrncia como categoria; 2) como ideia ou objeto da
viso (no sentido exato Grego de eidos); 3) somente na anlise final como hipocone, quando um signo icnico convencionalmente representativo. Entre estes
ltimos, Peirce inclui diagramas, e posteriormente imagens e metforas.
Entretanto, no existem cones puros, mas signos que representam atravs
da similaridade: a iconicidade uma caracterstica categrica, no ntica. No
mencionei, at o momento, a teoria peirceana das categorias. Embora de fundamental importncia, posso apenas me referir a ela para explicar a primeira e mais
18
27/01/2014 10:38:42
essencial definio de cone. De acordo com este filsofo, todo evento existe
como pura Primeiridade, quer dizer puramente em si mesmo, sem referncia a
qualquer outra coisa. Ele pode existir em uma relao (ou reao) com alguma
outra coisa (Secundidade), o nvel da existncia bruta, do encontro com a realidade. Depois, ele pode existir como mediao entre um primeiro e um segundo
(Terceiridade). A esta ltima categoria pertencem todos os smbolos, todos os
conceitos, todo hbito de resposta, todo significado, e toda representao. No
assim, entretanto, com o cone em sua forma pura: em seu sentido categrico
que, para Peirce, forma a raz da semitica e da lgica, o cone simplesmente denota a pura possibilidade de relao com o objeto. um espao de distintividade e
indistintividade e, ao mesmo tempo, onde h mera comunidade de uma qualidade.
Similar uma rea de vaguidez, onde as coisas relacionadas existem dentro do
espao de um possvel acordo, mas um mero desacordo (no reconhecido) no
constitui uma relao (W 2:55). Ao traar essa fenomenologia ideal da semelhana, Peirce nos diz que no existe o similar e aquilo a que ele se assemelha. Existe
apenas uma abertura, um espao de possibilidade delimitando o lugar onde duas
coisas relacionadas, que no so distinguidas, se renem e encontram a identificao de assimilao (Qualquer Coisa ideal para ser um Substituto).
Em segundo lugar, uma comparao feita por meio da qual a primeira
coisa contraposta segunda. E essa categoria de relao s se faz possvel por
um ato de interpretao ou representao, a saber, atravs da referncia a um
Interpretante que estabelece que as duas coisas relacionadas so uma como a
outra. Por estar na origem de todo o processo das categorias, levando a uma
interpretao simblico-conceitual, a relao de similaridade delimita uma pura
relao interna (W 2:55) ou, como ele afirma, um tipo de relao no-relativa de
identidade na qual o similar e o objeto a que se assemelha, a coisa e sua representao, possam aparecer (por exemplo, a relao dos tons de azul que conectam
diferentes eventos, que somente posso vagamente mencionar).
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:42
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
. . . que pertence a ele, em si mesmo, como um objeto sensvel, e que ele possuiria de qualquer forma, havendo ou no
um objeto na natureza a que ele se assemelhe, e ainda que
jamais tenha sido interpretado como um signo. (CP 4.447)
Assim, o objeto do cone definido como alguma coisa, uma fico, algo
inteiramente indefinido, puramente imaginrio: uma pura Primeiridade, conforme acima mencionado. No algo para ser representado exatamente, mas como
uma possibilidade categrica que definida na relao sgnica ativada em um
nvel icnico.
Contudo, h um outro elemento na definio que deve ser cuidadosamente percebido, e que fundamental na proposio dos diagramas. Com relao aos
20
27/01/2014 10:38:42
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:43
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
2 Ademais, Aristteles j havia contemplado forma como ambos morph e eidos, como um carter sensato,
externo e superficial, ou como uma estrutura formal, implicando referncia a um modelo abstrato. Nesta
pespectiva de Goethe, desenvolvida especialmente em Gluckliches Ereignis e Die Metamorphose der Pflanzen
(cf. Giacomoni, 1993).
22
27/01/2014 10:38:43
O raciocnio dos matemticos encontrar-se-, principalmente, no uso da semelhana, em que esto as muitas
dobradias dos portes de sua cincia. A utilidade da semelhana para os matemticos consiste nas sugestes, de
maneira muito precisa, de novos aspectos de um suposto
estado das coisas. (CP 2.281)
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Ento, a imaginao e a habilidade para inventar aparentam ser as caractersticas dominantes do raciocnio matemtico. Seguindo Leibniz, Peirce poderia
ter dito que a matemtica universal tal qual a lgica da imaginao, uma imaginao que sonha com esquemas e diagramas, explicaes e leis (CP 1.48). O
diagrama, ento, deve evidentemente ser algo que possamos ver e contemplar
(CP 4.430). A capacidade para revelar verdades inesperadas, que Peirce chama
de abduo, ou hiptese, associando-a com a deduo e com a induo, , dessa forma, especialmente ativada pelos cones. E so precisamente estes que so
essenciais matemtica, que lida exclusivamente com o estado hipottico das
coisas, e no assegura verdade alguma (CP 4.232).
Consequentemente, o primeiro passo para o conhecimento baseia-se no
pensamento icnico, que , portanto, abdutivo, o pensamento inventivo. Esta ,
em suma, a razo pela qual Peirce acredita que o raciocnio por meio de diagramas dever eventualmente substituir todas as outras formas de raciocnio abstrato. Em relao a Peirce, poderamos usar uma expresso cunhada por Giacomoni
(1993) para descrever o modelo particular de conhecimento apresentado por Goethe: estilo visual. Conforme o autor alemo, Peirce, sem dvida, adota um estilo
visual, no retrico e no conceitual, para explicar o conhecimento A nica
maneira de comunicar uma ideia diretamente por intermdio de um cone; e
todo meio indireto de comunicar uma ideia deve depender do seu estabelecimento, sob o uso de um cone (CP 2.278). O que nos impressiona que Peirce parece
avanar o uso do mtodo morfolgico de Goethe de interpretar a natureza, no
no campo da cincia natural, mas no campo da lgica e da semitica. Ver e mostrar formas em transio como Peirce parece estar afirmando pode ser feito
23
27/01/2014 10:38:43
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
todo raciocnio dedutivo, at mesmo um simples silogismo, envolve um elemento de observao. A saber, a deduo consiste na construo de um cone ou diagrama cujas
relaes entre as partes devero apresentar uma analogia
completa com aquelas do objeto do raciocnio, da experimentao sobre esta imagem na imaginao, e atravs
da observao do resultado, a fim de descobrir relaes
desapercebidas entre as partes. (CP 3.363)
Fica claro, nesta citao, que, para Peirce, o conhecimento deve proceder
atravs de estgios: construo de um cone ou diagrama que apresenta uma
analogia formal com o objeto do raciocnio, observao e experimentao com
o diagrama na imaginao, e observao profunda dos novos aspectos revelados
por meio da experimentao. Essa a razo pela qual podemos dizer que a pesquisa baseia-se em dois princpios essenciais: Por enquanto, podemos denomin-las de raciocnio Imaginativo e Experimental; ou raciocnio por diagramas e
raciocnio por experimentao (CP 4.74). E estes so, com efeito, a mesma coisa.
Apesar destas consideraes serem estimuladas atravs de seu trabalho em lgica
e matemtica, Peirce acredita que este tipo de procedimento seja vlido para todo
raciocnio abstrato. Todo pensamento tem uma raiz icnica, e todo cone toma a
forma de um diagrama com caractersticas concretas suscetveis experimentao, a operao do pensar in actu literalmente visvel diante dos olhos. (CP 4.6)
Para concluir, a totalidade do processo de deduo (matemtico ou inferencial) baseada na observao, que est na atividade sensorial-perceptiva
(como vimos, a abstrao tem razes deste tipo). A observao reduz fatos a
cones (como Wittgenstein diria na sua Abbildungstheorie). Ao invs de serem imagens mentais da memria emprica, estes cones so signos externos, em outras
palavras, escrituras, grafos, diagramas que, conforme Peirce afirma em outros
24
27/01/2014 10:38:43
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
A palavra ou o signo que o homem usa o prprio homem, ele prprio. Assim como todo pensamento um signo, tomado em conjunto com o fato de que a vida uma
sequncia de pensamentos, isso prova que o homem um
signo; que todo pensamento um signo externo prova que
o homem um signo externo. Por assim dizer, o homem
e o signo externo so idnticos, da mesma forma que as
palavras homo e homem so idnticas. Assim, minha linguagem a soma total de mim mesmo; porque o homem o
pensamento. (CP 5.314)
Devemos lembrar que Wittgenstein chega mesma concluso, notavelmente expressa em uma linguagem similar: Os limites da minha linguagem significam os limites do meu mundo, escreveu no Tractatus ( 5.6). Assim, Peirce afirma, como dizemos que um corpo est em movimento, e no que um movimento
est no corpo, temos que dizer que ns estamos no pensamento, e no que os
pensamentos esto em ns (CP 5.289). Notem que o pensamento sempre um
signo-pensamento, no curso da semiose, e que est manifesto no trabalho das
abelhas, dos cristais e atravs de todo o mundo fsico (CP 4.551). O signo tem
de se libertar de suas ligaes com a mente, Peirce argumenta. Mas com o que
deve estar conectado? Se estamos em uma sequncia de pensamentos, que uma
sequncia de signos, e se esses signos so cones, exibidos observao, ento
25
27/01/2014 10:38:43
devemos aceitar a concluso de Peirce: nossa mente trabalha todo o tempo com
diagramas; todo o raciocnio necessrio, sem exceo, diagramtico. Ou seja,
construmos um cone do nosso hipottico estado das coisas e continuamos a
observ-lo (CP 5.162). Ele afirma: Lembre-se de que somente a partir dos
cones que realmente raciocinamos, e afirmaes abstratas no tm valor exceto
pelo fato de ajudarem na construo de diagramas (CP 4.127).
Como j mostrei (Fabbrichesi, 2000), Peirce , a este respeito, seguidor de
Leibniz e participa de uma tradio que enfatiza a qualidade material e a prioridade dos signos escritos. Essa tradio vai de Lull a Leibniz e de Peirce a Wittgenstein. Skagestad (1998) afirma: Peirce enfatizou a dependncia dos pensamentos
em relao aos signos, e aos veculos sgnicos externos, veculos duros tais como
livros, papel e tinta, e brandos como alfabetos, notaes matemticas e lgicas,
bem como ferramentas externas para a produo de signos, como cita em seu
famoso trecho de 1905:
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:43
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27
27/01/2014 10:38:43
Sobretudo, ele nunca considerou seu projeto como mero clculo lgico,
apesar de sempre recorrer a ele para expressar as inovaes alcanadas por ele
mesmo, no campo da lgica. Peirce tinha um objetivo ainda mais ambicioso para
seu projeto produzir um filme do pensamento em ao (CP 4.11) e, considerado verdadeiramente icnico, mostrar que ele assume uma configurao naturalmente anloga coisa representada (CP 4.368). Dessa forma, Peirce pode ser
visto como o ltimo grande representante desta tradio, que figura do sculo
XIII ao sculo XVII e que procura uma linguagem universal (ver Yates, Rossi,
1983, Eco, 1996). Ela baseia-se em smbolos unvocos que se harmonizavam,
conforme Comenius escreveu em Janua Linguarum, em 1631, no paralelismo entre coisas e conceitos das coisas, e entre as imagens dos conceitos e as palavras3.
Esta tradio visa construo de um vocabulrio perfeito em que o signo
imediatamente se identifica com sua ideia correspondente e, atravs dela, com
todo estado do mundo. A hiptese da construo de uma linguagem universal
traduzida em simbolismos formais bem famosa, e Leibniz considerado seu
precursor. Mas a esperana de descobrir uma enciclopdia de noes primrias
foi completamente abandonada. Estes simbolismos limitaram-se funo de
uma simbologia totalmente formal. neste ponto que Peirce desponta, frente
do modelo de seu tempo, mais prximo da tradio lulliana-leibniziana. Em uma
das pginas manuscritas dedicadas a este tema, ele escreve:
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
28
27/01/2014 10:38:43
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
29
27/01/2014 10:38:43
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
30
27/01/2014 10:38:43
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:43
MAN
ANIMAL
ANIMAL
MORTAL
MAN
ANIMAL
ANIMAL
ANIMAL
MORTAL
MORTAL
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
MAN
MAN
ANIMAL
ANIMAL
ANIMAL
ANIMAL
MORTAL
MORTAL
MAN
MAN
ANIMAL
ANIMAL
ANIMAL
MORTAL
MORTAL
MAN
ANIMAL
MAN
MORTAL
MORTAL
27/01/2014 10:38:43
H diversos elementos que podem oferecer uma ideia mais clara sobre
o sistema: ele composto por vrios smbolos grficos permitindo a expresso
de muitas relaes lgicas. Ao seguir as convenes operacionais, atravs destes
smbolos, possvel executar algumas transformaes (apagamento, insero, iterao, deiterao). O sistema dividido nas partes alfa, beta e gama.
Os grafos so inscritos sobre uma superfcie, denominada Folha de Assero (posteriormente Folha phemica), que representa o universo do discurso ou
tudo o que se presume como verdade, entre o grafista e o intrprete. A prpria
folha , portanto, um grafo, mesmo que no haja inscries nela. Inscrever um
grafo significa afirm-lo; inscrever dois grafos, na mesma folha, significa afirmar
ambos. Dessa forma, a folha de assero pode tomar a forma de um velho folio,
sem bordas ou limites fixos; idealmente, a folha coincide com toda a enciclopdia
do conhecimento e com o prprio universo.
Peirce parece brincar com as relaes materiais e espaciais das superfcies
nas quais faz inscries: clareamentos no nvel espacial so geralmente equivalentes s mudanas no nvel conceitual e vice-versa. A parte gama parece ser topolgica. No incio de 1900, Peirce j no fala mais, por exemplo, em uma nica folha
de assero, mas em um volume de folhas separadas e recomenda que a folha
seja inscrita em ambos os lados, frente e verso, para que expresse com sucesso a
relao entre possibilidade e atualidade. Finalmente, em Apology ele projeta um
sistema plstico derivado da herldica, que deve refletir, em termos visuais, os
trs universos da experincia.
No devemos, assim, deixar de notar a correspondncia estabelecida por
Peirce entre conceitos lgicos e grficos: inscrever significa afirmar que algo
verdade, estabelece sua existncia; a continuidade espacial est relacionada ao
conceito de identidade; o corte, rompimento da ideia, a negao; a copresena
espacial pode significar coexistncia; a incluso, implicao; pontos marcados
denotam existncia individual. Seguindo este percurso, no posso me furtar
questo: so as ideias grficas que traam as ideias lgicas, ou ao contrrio, a
lgica baseada em grafos preliminares e constitutivos? Dos projetos algbricos
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
33
27/01/2014 10:38:43
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:43
receptculo; ou . . . que se uma coisa est dentro, cessa de estar fora (W 2:471).
Como insistiu Wittgenstein, se existisse tal processo mental, que no pudesse
ser simbolizado em uma lousa, ele no teria utilidade alguma para ns, pois o
pensamento necessita de recursos visuais, observacionais e materiais. Peirce
explica bem essa propriedade (embora parea banal, num primeiro momento,
sua explicao). Espero poder explicar adequadamente este tpico para fazer
perceber a lacuna que separa este filsofo de qualquer lgico formalista de seu,
e de nosso, tempo.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Deixe-nos tentar apreender o esprito e a caracterstica deste sistema de grafos, e estimar seu valor. Sua beleza, uma
palavra violenta e inapropriada, ainda que aparentemente
a melhor que exista para expressar satisfatoriamente, sob
mera contemplao, seus outros mritos, que devem ser
considerados com ateno, de procedncia verdadeiramente icnica, naturalmente anloga coisa representada,
e no uma criao da conveno. Ele representa a lgica
porque regido pelas mesmas leis. Ele trabalha o silogismo
da forma como o planeta integra a equao de Laplace, ou
como o movimento do ar sobre um pndulo soluciona um
problema matemtico em hidrodinmica ideal. (CP 4.368)
Este tipo de afirmao tem levado muitos lgicos a examinar com desconfiana o sistema de grafos de Peirce. Sua posio parece ser ingenuamente naturalista, quase sujeita a uma lgica especular do conhecimento. Proponho uma
leitura atenta ao que ele diz: ele afirma que os grafos so naturalmente anlogos
coisa representada, mas acrescenta que eles permitem que o silogismo funcione
como funcionam os planetas que integram a equao de Laplace. Seria a equao
de Laplace uma analogia natural do movimento dos planetas? Em que sentido
uma equao matemtica icnica? Tentemos entender assim: no existe uma
relao de adaptao entre duas entidades existindo independentemente os
grafos aqui e as coisas ali, as equaes aqui e o movimento dos planetas l. Mas
na forma da escritura, na forma do cone, que encontramos a realidade. A realidade simplesmente no existe (com um significado dado) fora dessas formas.
Se verdadeiros, uma sequncia silogstica ou um grafo lgico funcionam, e tornam-se fisicamente eficientes, como a equao de Laplace que uma descrio
do movimento dos planetas. Esta ltima proposio deve manter-nos atentos: a
35
27/01/2014 10:38:43
realidade das rbitas dos planetas vista assim, na equao de Laplace, no porque identica a ela, mas porque na equao que os planetas tornam-se coisas
efetivas, reais. Os diagramas so cones das coisas que representam, pois estas
ltimas tornam-se compreensveis e singularmente reais no espao das notaes
ideogramticas. Como os planetas, ou o movimento do ar, os grafos so a matria
com a qual praticamos, e devido qual uma certa construo terica torna-se
verdadeira. Assim como a hidrodinmica no existiria sem o ar (e vice-versa),
sem os traos escriturais no existiria pensamento algum, para no mencionar o
pensamento lgico ou matemtico. Peirce escreve a frmula (Figura 5):
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Figura 5: Frmula.
36
27/01/2014 10:38:44
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:44
Por consequncia, so primeiramente os grafos, os atos grficos e diagramticos que acompanham em qualquer cultura o nascimento das formas. Os
signos da escrita criam a distncia, a fratura, como o exemplo da lousa mostra
muito bem: eles existem, ou seja, se destacam, se sobressaem de uma experincia homognea, e formam uma resposta interpretativa. Onde a escrita incide ,
ento, onde originalmente decidem as divises estabelecendo o espao de ser e
no-ser, de dentro e fora, daquelas dualidades (Secundidade) que, em uma palavra, Peirce define como emparelhamento.
No manuscrito de 1898 que acabei de citar, Peirce afirma que qualquer
marca s pode ser acidental e a realidade de um evento, sua consistncia, sua
essncia como hbito, adquirida quando a marca permanecer mais um pouco,
tornando-se uma tendncia generalizada. Em suma, quando uma inscrio for
reconhecida como tal e repetida. Isso nos leva a concluir que, alm de um trao
puro, a existncia pura do evento grfico (sua Secundidade), devemos considerar
tambm a realidade pragmtica do trabalho por meio de grafos (sua Terceiridade). Ele tambm escreve: aquilo que existente conhecido por seus efeitos
(CP 6.318). Mas, no nosso caso, esses efeitos so grficos. Em um sentido mais
amplo, todo ato pragmtico pode ser visto como um grafo, um ato de inscrever
sobre aquela folha que o mundo.
Ao seguir este caminho, torna-se evidente que a referncia ao pragmatismo muito mais do que uma exemplificao, tanto quanto os grafos em
questo. Ademais, em Apology, Peirce refere-se a eles como um guia ao pragmaticismo, aps ter dedicado dois estudos anteriores na The Monist reviso
de seu primeiro sistema. O elo entre a proposta pragmatista e o projeto grfico
muito grande, e no devemos desconsiderar esta inspirao. Entretanto, uma
vez que Peirce no explica isso exaustivamente, tentarei definir esta questo
nos seguintes termos. Vamos examinar a mxima pragmtica de Peirce conforme estabelecida em How to make our ideas clear, de 1878 (W 3:257-76;
EP 1:124): Considere quais efeitos, que possam concebivelmente ter propsitos prticos, e concebemos assim o objeto de nossa concepo. Ento, nossa
concepo desses efeitos o todo de nossa concepo do objeto (W 3:266).
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
38
27/01/2014 10:38:44
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
39
27/01/2014 10:38:44
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Figura 6: Arranjo de objetos.
Nestes teoreas, ou pelo menos na maioria deles, um diferente tipo de raciocnio requerido. Aqui, no poder-se-
fixar termos gerais. necessrio que se estabelea, ou se
imagine, algum tipo de esquema individual e definido, um
diagrama em geometria, uma figura composta de linhas
com letras fixadas, em lgebra, uma sucesso de letras que
algumas vezes so repetidas. Este esquema construdo
para se adaptar a uma hiptese apresentada em termos gerais na tese do teorema.... Pensar em termos gerais no o
suficiente. necessrio algo CONCRETO. Em geometria,
linhas subsidirias so desenhadas. Na lgebra, transformaes permitidas so realizadas. Portanto, a faculdade da
observao requerida.... O raciocnio teoremtico invariavelmente depende da experimentao sobre esquemas
individuais. (CP 4.233)
40
27/01/2014 10:38:44
Conforme Marietti (2001, p. 74) escreveu: O momento teoremtico autntico de demonstrao, que acontece quando a construo modificada por
experimentos estratgicos visando preencher a lacuna das premissas, s pode
acontecer na nica, individual e efetivamente presente representao diagramtica. A experincia requer material de apoio. O valor da experimentao nos
diagramas crucial para Peirce, ele estabelece seu ncleo pragmtico. Mas no
somente, como disse anteriormente, por acreditar que isso tambm constitui a
prova to esperada do pragmaticismo, a hiptese que me parece ter sido apoiada pela seguinte declarao concernente aos grafos existenciais: As definies
devem ser apresentadas de forma estritamente pragmtica; ou seja, na forma de
preceitos de conduta, mais especificamente, como permisses para fazer certas
coisas sob circunstncias gerais expressas. (MS 280)
Em um trecho totalmente dedicado filosofia da notao, anteriormente
mencionado, Peirce enfatiza o fato de que todo raciocnio dedutivo baseado
na observao e na construo de figuras esquemticas. Os termos esquema,
experimentao e manipulao so consequentemente cruciais para delinear
as modalidades de um pensamento autenticamente diagramtico. esse o caso
no campo hipottico-abstrato da cincia matemtica, pois para intervir em um
teorema, o matemtico deve agir sobre diagramas, deve mudar o hbito de
resposta de acordo com a figura. O diagrama ento apresentado no somente
como uma figura nica (e assim conectado secundidade), com referncias
existencialidade, reatividade pura e a objetividade que isso implica (este especfico diagrama), mas tambm uma figura exemplar com todas as conotaes
contidas na noo de exemplo.
No simples diagrama
Todo M P
SM
SP
o fato do meio termo ocorrer nas duas premissas , na verdade, exibido, e isso deve ser feito, do contrrio a notao no ter valor. Quanto
lgebra, a ideia exata de sua arte que ela apresenta frmulas que podem ser
manipuladas, e que, por observao dos efeitos de tal manipulao, encontramos propriedades que no so discernidas... e nenhuma aplicao poderia
ser feita de tal declarao abstrata sem traduzi-la em uma imagem sensvel.
(CP 3.363)
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
41
27/01/2014 10:38:44
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
No simplesmente por uma visualizao mental, ou esforo da viso mental. atravs da manipulao no papel,
ou na fantasia, frmulas ou outros diagramas - experimentando neles, experimentando a coisa. Essa experincia sozinha
j suficiente para desvendar a razo escondida em ns,
to profundamente quanto ouro enterrado sob nossos ps.
(CP 4.86)
42
27/01/2014 10:38:44
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Referncias
Eco, U. (1996). La ricerca della lingua perfetta nella cultura europea. Bari, Italia: Laterza.
Fabbrichesi, R. L. (2000). I corpi del significato, Lngua, scrittura e conoscenza in Leibniz
e Wittgenstein. Milano: Jaca Book.
Giacomoni, P. (1993). Le forme e il vivente. Napoli, Italia: Guida.
Havelock, E. (1976). Origins of Western Literacy. Toronto, Canada: OISE Press.
Marietti, S. (2001). Icona e diagramma. Il segno matematico. In C.S. Peirce, LED, (Edizioni Universitarie di Lettere Economia Diritto Milano Milano LED.
Ong, W. (1982). Orality e Literatura. London: Methuen.
Richards, I. A., & Ogden, R. G. (1923). The meaning of meaning. London: Routledge.
Rossi, P. (1983). Clavis universalis. Arti mnemoniche e logoca combinatoria da Lullo a
Leibniz. Bologna, Italia: Il Mulino.
43
27/01/2014 10:38:44
Sini, C. (1997). Teoria e pratica del foglio-mondo. La scrittura filosofica. Roma: Laterza.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
44
27/01/2014 10:38:44
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
2
nhado novos desenvolvimentos de conceitos como esquema, estrutura e gestalt. H um renascimento sobre as descries nos processos de significao. A
atual tradio em semntica cognitiva (Lakoff, Johnson, Turner, Fauconnier, etc)
destaca o papel central da esquematizao e dos mapeamentos entre espaos
conceituais. H tambm um interesse renovado pelo clculo diagramtico, em
cincia da computao e inteligncia artificial, documentado, por exemplo, no influente livro Diagrammatic Reasoning Cognitive and Computational Perspectives (Glasgow, Narayanan & Chandrasekaran, 1995), onde o diagrama frequentemente
definido em oposio ao smbolo. Pouco esforo, entretanto, despendido para
determinar a natureza do diagrama.
O retorno iconicidade foi um importante acontecimento na semitica,
em dcadas recentes, mas at o momento ele ainda no recebeu um tratamento
metaterico apropriado. um fato estranho. Encontramos, em Peirce, rascunhos
para o desenvolvimento de uma teoria baseada em observaes gerais sobre o
conceito de diagrama. Enquanto os sistemas de diagramas lgicos (grafos alfa,
45
27/01/2014 10:38:44
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
O diagrama como cone
4 Ver: Roberts (1973). Para uma abordagem mais recente, ver: Barwise & Etchemendy (1995), Shin
(2002), Queiroz & Stjernfelt (2011).
5 cones puros so apenas uma categoria limite; signos existentes so compostos (composite). Hipocones
so signos sobre os quais os modos de referncia so, primariamente, icnicos.
46
27/01/2014 10:38:44
cone pode se referir a qualquer objeto que possua certas qualidades em questo. Uma forte tradio na filosofia do sculo XX atacou tal definio por ser
to vaga quanto sem sentido. Os perigos relacionados noo de similaridade
so muitos: sua trivilializao como identidade, sua psicologizao como referindo-se a sentimentos subjetivos de semelhana, a fraqueza de critrios para
julgar dois fenmenos similares. Mas as tradicionais desvantagens so superadas pela destrivializao de Peirce, sua contribuio operacional. No Syllabus,
o cone definido assim: Uma importante propriedade distintiva do cone
que, por observao direta dele, outras verdades relativas a seu objeto podem
ser descobertas, alm daquelas suficientes na determinao de sua construo
(CP 2.279). Esta propriedade, epistemologicamente crucial, nada mais do que
uma elaborao operacional do conceito de similaridade. O cone no somente o nico tipo de signo envolvendo uma apresentao direta de qualidades que
pertencem a seu objeto; ele tambm e isto equivale ao mesmo o nico
signo que, por sua contemplao, se pode aprender mais do que se enganar, em
sua construo. Esta definio distingue o cone de qualquer psicologismo: no
importa se signo e objeto, primeira (ou segunda) vista, paream similares; o
teste decisivo de sua iconicidade est na possibilidade de manipul-lo, de modo
que uma nova informao sobre seu objeto aparea.
Esta definio no trivial, porque evita a ameaa de circularidade da maioria das definies de similaridade. Ao mesmo tempo, ela conecta o conceito de
cone ao de deduo. Isto porque, para descobrir estas partes inicialmente desconhecidas de informao sobre o objeto escondido no cone, algum experimento
dedutivo com ele deve ser realizado. A deduo do cone prototpico a manipulao da figura geomtrica para observao de um teorema. Mas a ideia bastante
geral: um cone caracterizado por conter informao implcita que, para aparecer,
deve tornar-se explcita por algum procedimento acompanhado por observao. J
em 1880, Peirce escreve em The Algebra of Logic, sobre o silogismo, com implicaes evidentes para a categoria do cone como um todo, que
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:44
Esta propriedade claramente distingue o cone dos ndices e smbolos puros: se imaginarmos um ndice sem um cone (possvel somente como um caso
limite), ento ele teria um carter completamente destitudo de qualidade, um
puro aqui-agora, sobre o qual nunca poderamos aprender coisa alguma, exceto
por algum tipo de cone relacionado. E se imaginarmos um signo puramente
simblico (tambm um caso limite), por exemplo, o x varivel, no poderamos
aprender qualquer coisa dele exceto ao coloc-lo em algum contexto, sintaxe, ou
sistema, ou seja, ao coloc-lo em algum tipo de relao icnica. A partir desta
definio operacional dos cones, muitas conexes so armadas entre diversos
temas peirceanos: a hiptese abdutiva como sugesto de um cone; os cones
como predicativos, descritivos, em qualquer processo significativo; a definio
condicional da mxima pragmtica de conceitos descritos um cone mostrando
operaes que poderamos concebivelmente realizar com um objeto; a semiose
ilimitada das comunidades cientficas convergindo para a verdade. Adiante falaremos mais sobre estes assuntos, e do tipo de cone que torna tudo isso possvel:
o diagrama.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
48
27/01/2014 10:38:44
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Isto implica, por sua vez, que na definio operacional de cone encontramos um critrio para definir uma formalizao frtil: a boa formalizao
aquela que permite que a manipulao revele novas verdades sobre seu objeto. As
formalizaes que permitem isto em pequena extenso, ou que no permitem,
devem ser descartadas.8
O status do diagrama
Atravs do critrio operacional do cone, somos capazes de apreciar o papel central dos diagramas. To logo um cone seja contemplado como um todo
consistindo de partes inter-relacionadas, e uma vez que estas relaes estejam
sujeitas a uma mudana experimental, estamos operando com um diagrama. Assim, a lgebra, e a sintaxe, tm lugar entre os cones graas s suas propriedades
7 Em adio a este critrio bsico de cone operacional, contudo, Peirce tambm tem uma ideia (contnua)
de medir diferentes graus de iconicidade das representaes. Assim, ele v seus prprios grafos lgicos
como muito mais icnicos que simblicos, porque uma varivel apresentada por uma linha contnua
de existncia contra a repetida ocorrncia de um certo nmero de xs. Enquanto a anterior preserva a
unidade da varivel, a ltima a representa de forma quebrada, falsa unidade de referncia da varivel.
8 No suficiente, por exemplo, rebatizar objetos a, b, c, para empreender uma formalizao, se
estiver faltando uma sintaxe de transformao. Por este critrio, consequentemente, a infertilidade
de algumas tentativas de formalizao clssicas em semitica torna-se compreensvel; por exemplo, a
ambiciosa lgebra glossemtica de Hjelmslev, que no permitiu possibilidades transformacionais de
grande interesse.
49
27/01/2014 10:38:44
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
vagando na paisagem, voc est manipulando o cone. Apenas diagramaticamente possvel fazer isto. Voc no tem conscincia explcita9 das regras que lhe
permitem seguir o caminho imaginrio (por exemplo, as leis da perspectiva permitindo que voc construa a cena, a gravidade mantendo voc no cho). Ainda
assim, elas esto pressupostas devido organizao de seu aparato perceptivo10
e de seu conhecimento tcito. Os princpios podem se tornar explcitos, e isto
o que conta.
proto-diagramticos com ele, para revelar-lhes algumas de suas verdades inerentes. Desta forma, o uso de um signo como uma imagem pura um caso limite,
como quando voc tem uma impresso global, ou Stimmung, de uma pintura sem
chegar a qualquer detalhe dela. De outro lado, a apreciao de uma metfora
pode parecer automtica. Mas pesquisas recentes sobre as metforas apoiam o
que est implcito no pensamento de Peirce: uma anlise diagramtica, consciente
ou no, precede qualquer metfora, consistindo no reconhecimento de esquemas
diagramticos em um fenmeno que pode ser usado para entender outro. A metfora de uma rvore ancestral, assim, pressupe que o diagrama ramificado seja
mapeado partindo de uma rvore para uma estrutura familiar. Parece razovel
assumir que o mapeamento da estrutura diagramtica entre espaos conceituais
9 Prefiro considerar tal uso do signo como diagramtico, apesar de algumas definies de Peirce,
exigindo a presena de diagramas intencionais explcitos. Esta definio conflitua com outras descries
do uso do diagrama, por exemplo, sua caracterizao de experimentos imaginrios como diagramticos
ou suas ideias de gramtica como um tipo de diagrama, e se aproxima de seu in actu pragmtico. Sigo
a ltima tendncia, ao chamar a experimentao com cones, envolvendo a manipulao de regras, de
diagramtica.
10 Isto aponta para o fato de que a organizao da percepo inclui capacidades diagramticas altamente
elaboradas, sem representao consciente explcita.
50
27/01/2014 10:38:44
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
11 A teoria da metfora de Lakoff e Johnson (2002), assim, supe que a estrutura mapeada de um
domnio em outro; a teoria da combinao generalizada de Fauconnier e Turner (2002) (inclusos
tambm mapeamentos no-orientados) supe um espao esquemtico, chamado genrico, que
garante a coerncia do resultado combinado.
51
27/01/2014 10:38:45
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
12 Nota dos organizadores: O interpretante dinmico, tambm chamado mdio (NEM 4:318), o
efeito real do signo (CP 4.536). Ele deve seu carter categoria da ao (CP 8.315) O interpretante
dinmico um singular, um evento real (LW 111).
52
27/01/2014 10:38:45
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Este captulo segue as implicaes desta passagem, em termos de sua relao com o pensamento de Peirce, e em termos da atualidade de seu contedo.
O diagrama como um cone de objetos racionalmente
relacionados
O diagrama um esquema de tipo-esqueleto de seu objeto em termos das
relaes entre suas partes, mas o que o torna apto ao raciocnio e experimentao o fato de que ele construdo atravs de relaes racionais. Assim, Peirce
explicitamente segue as exigncias de Kant para as fundaes da cincia: o esquematismo. Em Kant, a finitude humana implica que no temos acesso intuio
intelectual, que no podemos intuir o objeto em si-mesmo. Podemos apenas
abordar o objeto em um movimento de pina de dois lados: conceitos e intuies. Conceitos sem intuies so vazios; intuies sem conceitos so cegas, conforme a doutrina kantiana. Os dois devem se encontrar somente em esquemas,
a priori e a posteriori, e o antecedente constitui condio de possibilidade para os
famosos julgamentos sintticos a priori. Os exemplos mais importantes de Kant
so matemticos: a aritmtica o esquema que traduz o conceito de quantidade
53
27/01/2014 10:38:45
intuitiva, enquanto o esquema do tringulo permite uma srie ilimitada de tringulos empricos, subordinados ao conceito de tringulo. A afirmao de Peirce
de que as relaes do diagrama so racionais herdada da noo de julgamento
sinttico a priori, assim como sua ideia de que a racionalidade est amarrada a uma
noo de sujeito generalizado: relaes racionais so conhecidas por qualquer
um que raciocine. Fica evidente como o sujeito transcendental de Kant pragmatizado nesta noo de Peirce, transcendendo qualquer delimitao de razo
mente humana: o qualquer um operacional e refere-se a qualquer coisa que
capaz de ocupar-se de procedimentos formais de raciocnio. Da mesma forma, a
noo a priori sinttica de Kant pragmatizada na contribuio de Peirce:
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:45
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Peirce, ao pragmatizar Kant, escapa de um subjetivismo ameaador: as relaes racionais so inerentes ao universo e no nossas invenes, mas para pensar devemos conhec-las (algumas delas). A relao assassino-assassinado no
, contudo, dada ao nosso conhecimento, mesmo que possamos mais tarde nos
tornar capazes de produzir um diagrama racional de alguns aspectos dela. Tal relao , como Peirce afirma, um mero fato. De outro lado, relaes racionais no
so somente fatos, mesmo que inerentes ao universo. Suas extenses so, antes,
aquelas da matemtica como tal. As relaes racionais so o que torna o raciocnio necessrio em diagramas, com o adendo de Peirce de que estas concluses
so sempre hipotticas. Isto se conforma ideia de Kant de que o resultado de
julgamentos a priori sintticos compreende a matemtica, assim como as cincias
construdas pela matemtica aplicada.13 Assim, ao construir diagramas, temos
todas as relaes possveis na matemtica, nossa disposio. Alm disso, a ideia
de que podemos mais tarde aprender sobre as relaes racionais envolvidas no
assassnio, leva a uma interpretao histrica, da noo a priori. Ao contrrio, em
Kant, o a priori ento removido de uma conexo privilegiada com o sujeito e
suas faculdades transcendentais. Peirce antecipa uma noo falibilista do a priori.
Na verso alternativa do PAP, Peirce afirma: De qualquer modo, um diagrama
claramente, em todo o caso, um signo de uma Coleo, ou Plural, ordenado, ou,
mais exatamente, da Pluraridade ou Multitude ordenada. (NEM 4:316n.)
Para resumir, podemos dizer que o diagrama a reconstruo de um cone
em termos de relaes a priori entre suas partes. Em contraste com o uso mais
13 Devemos acrescentar, no obstante, que a atitude de Peirce com relao famosa distino de Kant
no unnime. Inicialmente, Peirce simplesmente v a analiticidade como sendo idntica necessidade
dedutiva, enquanto a sinteticidade se identifica na probalidade indutiva e abdutiva (por exemplo, a
discusso de Peirce com o Dr. Carus em 6.595 [1893]). Consequentemente, a matemtica vista como
analtica, em contraste, obviamente, com Kant. Mais tarde, este tema tornou-se mais confuso, inclusive
porque Peirce em raras ocasies voltou a se referir ao conceito analtico/sinttico explicitamente.
Assim, o raciocnio teoremtico, correspondendo atitude experimental de manipulao do diagrama,
geralmente visto como sinttico.
55
27/01/2014 10:38:45
amplo da noo de cone, definido por suas relaes com o objeto, a subcategoria
do diagrama ento definida atravs de sua racionalidade:
O Diagrama representa uma forma definida de Relao.
Esta Relao frequentemente uma relao que de fato
existe, como em um mapa, ou est destinada a existir, como
em um Plano. Mas est to longe de ser essencial ao Diagrama como tal, que se detalhes fossem acrescentados para
representar peculiaridades existenciais ou experienciais,
tais adies seriam, distintamente, de uma natureza nodiagramtica. O Diagrama puro destinado a representar
e interpretar o inteligvel, a Forma da Relao meramente.14(NEM 4:316n.)
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Tomado separadamente de sua significao e referncia, um diagrama , ele mesmo, um tipo. Feito de relaes racionais, no nos admira que
o diagrama como tal seja uma entidade ideal que , por sua vez, comunicada atravs de tokens de diagramas particulares. Os diagramas no so as
figuras na folha diante de ns, como cremos. O cone-diagrama no deveria
ser percebido como uma figura particular: j antes de atribuir ao diagrama
qualquer contedo ou referncia, existe um processo crucial de abstrao
(na terminologia de Peirce, presciso) no lugar, permitindo ao sinsigno particular16 ser interpretado como a instanciao de um tipo, ao colocar entre
14 Correo na citao feita por Robin (1967, p. 293); NEM 4 tem existncia representada ou
peculiaridades experienciais.
15 A distino entre diagramas puros e aplicados corresponde aproximadamente distino kantiana
entre esquema a priori e a posteriori.
16 Nota dos organizadores: O sinsigno uma ocorrncia, um fato, ou um evento particular que , ou
funciona, como um signo (CP 2.245, ver Queiroz, 2007).
56
27/01/2014 10:38:45
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:45
parte do processo de inferncia. Para este fim, ele precisa ser dotado de uma
significao simblica, ele deve envolver um smbolo do qual um interpretante. claro, s foi possvel construir o tipo, em primeiro lugar, em funo
de tal smbolo (as regras somente se referem a algo). O diagrama, construdo
como um tipo devido a este smbolo, pode agora agir como o interpretante de
outro smbolo. O smbolo em questo refere-se a um objeto geral enquanto o
diagrama em questo, sendo um legisigno icnico, um tipo, , ele mesmo, um
geral.17 Um requisito para esta conexo a generalidade de ambos os termos; o
diagrama sendo um tipo e o smbolo, referindo-se a ele, como um geral de seu
objeto. Esta conexo forma a ligao semitica definidora do diagrama. Assim
como o smbolo se refere a um objeto geral, o legisigno icnico, o diagramatipo, , ele mesmo, um objeto, e a possibilidade do diagrama est em deixar o
ltimo constituir a significao do primeiro e consequentemente se referir ao
mesmo objeto. Claro, isto no uma conexo arbitrria. O que Peirce no enfatiza explicitamente neste contexto (mas o faz em outros lugares) o fato de
que qualquer smbolo, que no seja uma conveno completamente vazia, deve
referir-se a algum cone (ou ao menos deve tornar possvel um processo de
inferncia que conduza a um cone), este cone sendo seu interpretante inicial,
antes que o smbolo seja mais profundamente elaborado em um diagrama. A
construo do diagrama, ento, resulta da substituio do interpretante inicial
do smbolo, um cone mais preciso e racionalmente elaborado.
Este um ponto crucial para entender a determinao dupla do diagrama icnica e simblica, perceptual e geral. O diagrama um cone, mas um
cone especial, uma vez que governado por um smbolo e, em muitos casos,
duplamente governado pelas relaes racionais usadas e pelo fenmeno real
a que se refere. Mas em que implica ele ser governado por um smbolo? Um
smbolo assim definido por denotar um tipo de coisa, isto , uma ideia, no
uma coisa particular (CP 2.300). Ele conecta um conjunto de ndices (possveis)
a um cone (CP 2.295). Ele uma lei, ou regularidade do futuro indefinido (CP
2.293), e isto implica que ele uma regra que determinar seu interpretante (CP
2.292). Ele um signo que torna explcito seu interpretante, sua significao (em
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
17 Nota dos organizadores: Um legisigno icnico, ou conforme a nomenclatura adotada por Peirce a
partir de 1903, um legisigno simblico remtico, uma lei que est para um objeto da mesma natureza
(lei) atravs de uma possibilidade qualitativa um substantivo comum (CP 2.261, ver Queiroz, 2007).
58
27/01/2014 10:38:45
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Um Smbolo um signo que se refere ao Objeto que ele denota em virtude de uma lei, usualmente uma associao de
ideias gerais, que opera de modo a causar o Smbolo, para
que ele seja interpretado como referindo-se quele Objeto.
(CP 2.249)
59
27/01/2014 10:38:45
(correto) corresponde a uma possibilidade.18 Por exemplo, o smbolo gramaticalmente correto quadrado redondo, que implica uma regra conectando duas
qualidades icnicas quadrado e redondo, se revela inconsistente precisamente
quando tentamos construir um diagrama para expressar estas propriedades em
uma, e mesma, figura.19 O mesmo acontece com casos mais complicados e menos intuitivos, por exemplo, a raz quadrada racional de 2, em que um diagrama
mais complicado necessrio para compreender a inconsistncia do smbolo.
Como um cone, o diagrama no pode ser inconsistente. Ele pode exibir entidades no-existentes, mas no entidades logicamente inconsistentes. Seu objeto
necessariamente possvel20 em contraste com o objeto de uma mera expresso
simblica. Isto constitui uma base para o raciocnio diagramtico: poder tornar
explcita (partes da) a significao de um smbolo.
Similarmente, nenhuma distino entre smbolos mais ou menos empricos impede uma explicao por meio de diagramas: ambos podem produzir explicaes diagramticas. Existem, claro, casos prototpicos de diagramas puros
e empricos, como um diagrama representando vrias partes de uma populao
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
18 Barwise & Etchemendy (1995, p. 215) ilustram esta importante caracterstica da modelagem
diagramtica: 5. Todas as possibilidades (envolvendo objetos representados, propriedades e relaes)
so representveis. Isto , no existem situaes possveis que so representadas como impossveis. 6.
Toda representao indica uma possibilidade genuna.
19 Mas este exemplo no se ope observao de Peirce de que a gramtica da linguagem natural
diagramtica? No, porque os significados das palavras redondo e quadrado no so definidos
pela gramtica. A diagramaticidade da (ou de partes da) sintaxe das lnguas naturais repousa em
uma instanciao de alguma lgica bsica em categorias ontolgicas (estrutura dos argumentos,
estrutura sujeito/predicado etc). importante lembrar que signos concretos podem possuir aspectos
diagramticos e no-diagramticos, da mesma forma que podem ser compostos de diagramas definidos
diferentemente. A relao entre eles no precisa ser diagramtica. Algumas das foras das linguagens
naturais residem precisamente nisso: elas unem livremente diagramas em diferentes nveis (expresso,
gramtica, semntica lexical de diferentes classes de palavras), a relativa independncia da qual constitui a
plasticidade da linguagem e sua habilidade para falar sobre muitas coisas, incluindo objetos impossveis.
20 Isto supe a consistncia do diagrama. A sintaxe do diagrama fora-o a ser consistente: impossvel
desenhar um crculo quadrado. Isto no implica, contudo, que no possa ser, em muitos casos, muito
ou extremamente difcil determinar se um certo diagrama , de fato, consistente. Por exemplo, uma
equao uma sub-espcie de diagramas algbricos pode esconder uma inconsistncia muito difcil
de ser determinada num primeiro olhar, mas que requer muito trabalho para determinar: se voc puder
derivar uma contradio a partir dele, por reductio ad absurdum, ento ele falso (se no admitirmos a
lgica intuicionista etc.). A diferena que voc no pode derivar da gramtica da expresso simblica
um crculo quadrado uma contradio anloga: para faz-lo, voc tem que tentar fazer um diagrama de
seu contedo.
60
27/01/2014 10:38:45
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Aqui, atingimos o ponto essencial da diagramatologia de Peirce: o diagrama como veculo para experimento e manipulao mentais. A definio
operacional do cone est intimamente ligada com a experimentao diagramtica. Vamos olhar mais de perto estas conexes. A fase central do processo de
raciocnio diagramtico, motivando a construo do diagrama, a deduo: a
demonstrao de que uma certa verso do diagrama necessariamente se segue
21 Esta distino , em muitos casos, impossvel de ser desenhada previamente. Por exemplo, o fato
de que certa quantidade de dados empricos mostrada para obedecer uma distribuio gaussiana.
primeira vista, este resultado pode ser concebido como uma lei emprica, mas pode esconder uma lei
mais profunda, ainda descoberta, que poderia melhor fazer a distribuio de um resultado lgico de
princpios matemticos gerais.
22 Nota dos organizadores: Um dicisigno, ou um legisigno simblico dicente, uma lei, interpretada
como estando para um objeto da mesma natureza atravs de uma conexo de fato uma proposio
ordinria (CP 2.262; ver Stjernfelt, 2011, Queiroz, 2007).
23 Esta distino cone-ndice se refere ao argumento de Kant de que a existncia (haecceity, referida por
um ndice) no provida de predicao (uma qualidade, referida por um cone). Mais adiante vai se referir
aos designadores rgidos da Teoria da Referncia de Kripke (como certa classe de ndices).
61
27/01/2014 10:38:45
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
62
27/01/2014 10:38:45
Um mapa permite que voc encontre uma rota entre duas localidades (no
existe uma nica soluo, mas qualquer linha conectando as duas uma soluo).
Um grfico de crescimento econmico em uma loja de negcios permite que
voc determine uma tendncia. Estes experimentos so muito simples, certamente, mas existe um continuum entre eles e problemas muito complicados, ainda
no solucionados, em matemtica.25 Uma observao crucial aqui que diagramas empricos continuamente se ocultam em cones ordinrios. Tome a fotografia de uma rvore. um cone, visto que as informaes explcitas prvias no
so obtidas dela e.g., o fato de que a copa da rvore chega a dois teros de sua
altura total. Este fato no foi mencionado anteriormente, nem pelo fotgrafo,
nem pelo revelador. Ao notar isso, voc realizou um pequeno experimento de
natureza diagramtica: voc pegou o tronco da rvore e moveu para cima, em
sua observao interna, para ver se cobria a altura da copa, fazendo um pouco de
geometria mtrica espontnea, e completou a operao com o uso implcito de
axiomas como a invarincia de traduo. claro que este um cone ordinrio,
uma vez que ningum o construiu com uma inteno diagramtica. Entretanto,
voc o usou, in actu, desta forma. Este continuum entre propriedades de diagramas
(puros ou empricos) e o uso diagramtico de cones ordinrios mostra a centralidade do diagrama para a categoria do cone como tal.
com meios diagramticos que o uso operacional do cone procede. Uma
distino deve ser mantida sobre a propriedade dos diagramas de diagramas
construdos com inteno explcita de experimentao e dotados de uma sintaxe
explcita, ou precisa, de transformao, de um lado, e de outro, a classe mais compreensiva de desdobramentos diagramticos a partir de cones mais inocentes.
Em todo caso, esta caracterstica definidora do diagrama, com regras seguras para
revelar nova informao, o que o torna a base dos experimentos mentais, variando do dia-a-dia rotineiro inveno cientfica. No importa que encontremos
na descoberta do qumico alemo Kekul do arranjo estereoqumico do Benzeno
(C6H6), no anel do Benzeno, em 1858, um exemplo primordial do raciocnio
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
25 Peirce faz uma distino, que torna isto compreensvel, entre corolrios e teoremas. Os primeiros so
proposies lidas diretamente de um diagrama, os ltimos so proposies somente encontradas aps
algum experimento mais ou menos complicado. A distino vlida, mas no pode ser definitiva: existe
um continuum entre medir uma distncia em um mapa, medir a mesma distncia com correes de acordo
com a projeo do mapa usado, construir tal projeo, provar que a geometria da superfcie de uma esfera
isomorfa a uma geometria no-euclidiana. Ns retornaremos a esta distino.
63
27/01/2014 10:38:45
diagramtico. Como qualquer historiador da cincia sabe, o cientista sentou devaneando diante do fogo, exausto pela especulao. Ele ento viu uma das chamas
assumir a figura de uma cobra que virou e mordeu seu rabo. Kekul compreendeu
que a corrente de carbono, normalmente linear no caso do Benzeno, arranjou-se
ao contrrio para formar um crculo.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
O processo do raciocnio diagramtico
64
27/01/2014 10:38:45
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
65
27/01/2014 10:38:45
Mas h diversos pr-requisitos a serem acrescentados a esta transformao do diagrama de tipo-ideal. Primeiro, o smbolo inicial j tem seu interpretante
parcialmente consistindo de material icnico (em nosso exemplo, os dados sobre
a ponte). Assim, pode-se dizer que o diagrama uma anlise racional das partes
deste cone pr-diagramtico. Mas isto implica na possibilidade de falcias, se um
diagrama que no se conforma ao intepretante inicial escolhido. Ento, um experimento nesta fase pode, em alguns casos, ser esperado; em casos menos simples,
ou menos conhecidos, do que a construo de uma ponte, deveramos recorrer
a um processo de tentativa e erro, experimentando diversos formalismos. Neste
caso, a transformao do diagrama dedutivo torna-se uma fase, na heurstica de
Peirce. Uma abduo26 inicial faz uma conjectura sobre como formalizar um certo
fenmeno, que segue a fase diagramtica dedutiva j descrita; e, finalmente, uma
investigao indutiva conclui a figura, em que o resultado diagramtico comparado aos dados empricos: a transformao do diagrama, de fato, corresponde, em
algum sentido, a uma evoluo do fenmeno mapeado no diagrama?
Podemos resumir os estgios do processo assim:
a. Smbolo (1);
b. ...tendo um interpretante icnico imediato, pr-diagramtico, inicial, de
uma regra;
c. o interpretante inicial (a+c) constituindo o diagrama transformante inicial, o esquema cone-diagrama;
d. o interpretante mdio: o cone-diagrama governado por um smbolo e
equipado com as possibilidades de transformao (com duas fontes, a
assim como c);
e. o diagrama transformado. O interpretante racional, eventual;
f. o smbolo (2) (concluso);
g. ...tendo um interpretante ps-diagramtico diferindo de b. Este interpretante sendo tambm um interpretante de a, o raciocnio diagramtico enriqueceu o interpretante total do conceito a.
Assim, o processo comea com alguma induo anterior produzindo
um interpretante pr-diagramtico do smbolo inicial, uma generalizao indutiva, sedimentada como o significado do smbolo. Este significado deve estar,
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
26 Nota dos organizadores: Abduo o tipo de inferncia responsvel pela gerao de novas hipteses
(ver Queiroz & Merrell, 2005).
66
27/01/2014 10:38:45
em certa medida, j estruturado, e algumas de suas relaes formalizveis racionalmente so agora abdutivamente selecionadas, permitindo uma conjectura
de quais propriedades invariantes devem ser suficientes para contribuir para
outras propriedades centrais do objeto geral em questo. Ento, no processo
de construo do diagrama inicial, um constante feedback deve acontecer entre
o objeto geral, como ele preliminarmente e indutivamente compreendido, de
um lado, e, do outro, as conjecturas abdutivas tentando estabelecer contra sua
experincia (background) um diagrama mais formalizado. Em muitos casos isto
deve ocorrer quase automaticamente devido existncia de diagramas bem
estabelecidos. Isto assim, sem mencionar que a fertilidade do diagrama especfico escolhido pode apenas ser totalmente medida com respeito experimentao dedutiva que ocorre depois, no processo do raciocnio diagramtico que,
consequentemente, tambm tem um papel neste constante processo de feedback
de tentativa e erro. Mas a figura geral da fase inicial da construo do diagrama
, ento, o conhecimento geral contido iconicamente no smbolo, sem se preocupar se um smbolo emprico ou matemtico, e interpretado em termos
relacionais para dar (parte do) significado geral consistente a uma ilustrao
icnica capaz de ser manipulada, uma ilustrao que , por sua vez, tambm
geral. Depois de poucas, ou de muitas, transformaes repetidas (sujeitas s
trs diferentes sintaxes de transformao, cf. mencionado acima), um diagrama
obtido. Sua finalidade medida em relao ao acordo que se estabelece com
a inteno inicial. A avaliao de um interpretante, de candidato ao status de
diagrama final, , em si mesma, uma abduo propondo uma leitura simblica
daquele diagrama. Isto pode, por sua vez, ser indutivamente comparado com a
informao emprica presente no interpretante inicial.
Resumindo: a figura total do processo de raciocnio diagramtico forma
um ncleo de raciocnio dedutivo formal, incorporado nos testes indutivos e nos
ensaios abdutivos de tentativa e erro.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:45
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27 Outro exemplo so mapas com alta sensibilidade direcional, mas no mtrica, por exemplo, mapas
do cu estrelado como visto da Terra; as distncias destes mapas medidas em minutos e segundos do
arco no se referem a distncias reais entre as estrelas no universo, enquanto que a direo se refere a
orientaes reais no espao.
68
27/01/2014 10:38:45
transformao sero as rotas possveis entre dois trechos, como linhas contnuas,
e a concluso estar em afirmaes simblicas do tipo Tomaremos o trem B em
Picadilly, Trocar em Vitria parece ser a distncia mais curta (mais curta aqui
se referindo ao tempo de deslocamento medido por meio do nmero de estaes, e no por qualquer propriedade mtrica do diagrama).
Mesmo em diagramas to simples como mapas rodovirios, podemos
apreciar a distino entre duas classes de experimentos. Uma delas refere-se ao
simples uso do diagrama, seguindo as regras de transformao fornecidas mais
ou menos explicitamente. A outra experimental, no sentido forte da palavra,
de experimento com o prprio diagrama: a possibilidade de construir uma nova
linha de metr para resolver os problemas de trnsito de Londres. Este experimento, mais ambicioso, pode envolver duas dimenses. Na primeira, a informao mais profunda com respeito ao objeto (ou nossas ideias sobre ele) almeja a
extenso das possibilidades do diagrama. A segunda envolve a mudana no aparato formal do diagrama, como por exemplo o desenvolvimento do diagrama de
Venn, em desacordo com os diagramas de Euler, pela adio de uma regra (e.g.,
o sombreado de uma rea referindo-se a um conjunto vazio), ou a reinterpretao dos axiomas de Eucldes para construo de geometrias no-euclidianas. O
primeiro tipo de experimento ilimitado, to logo o diagrama em questo seja
contnuo (como muitos mapas), mas em diagramas suficientemente complicados
devemos esperar que no somos capazes de contribuir para possibilidades de
experimentos interessantes de antemo (conforme a inexauribilidade das matemticas, de Godel). Em nveis diferentes, estas propriedades constituem a famosa
profundidade dos cones e diagramas. Essa inexauribilidade sublinhada por
Peirce quando ele fala epigramaticamente sobre o contedo de um diagrama
tudo est envolvido tal que pode ser evoludo (CP 4.86).
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Tipos de diagrama
Como em qualquer ramo de pesquisa, a possibilidade de estabelecer um
inventrio de sub-tipos constitui um enorme progresso. Infelizmente, nenhuma
taxonomia de diagramas encontra-se disponvel, ao menos no sem referncia
aos diagramas puros, pela simples razo de que esta categoria (diagramas puros)
coextensiva matemtica. Isto indica que a questo das taxonomias do diagrama
puro esto, inevitavelmente, enredadas nas questes da fundao da matemtica.
69
27/01/2014 10:38:46
Outras taxonomias podem se referir a diferentes intenes do diagrama, diferentes assuntos do diagrama etc., mas uma reviso compreensiva de taxonomias
do diagrama, feita por Blackwell e Engelhardt (1998), revela pouca concordncia
entre os acadmicos.
Peirce, um tipologista de signos, nunca tentou desenvolver uma taxonomia
do diagrama. O mais prximo que ele chegou a fazer est em uma referncia rpida sobre a experimentao do diagrama, em On Quantity (1895, NEM 4:275):
um diagrama, ou imagem visual, sendo composto de linhas, como uma figura
geomtrica, ou um arranjo de signos, como uma frmula algbrica, ou de uma
natureza mixta, como um grfico, tal que poderamos imaginar ainda outra
tricotomia compreendendo mapas, lgebra e grafos; diagramas simples, preceitos
de construo, e diagramas equipados com preceitos de construo, respectivamente. A construo de uma taxonomia racional de diagramas ser a mais
importante tarefa no futuro para a semitica peirceana (e no somente para ela).28
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
cones so to completamente substitudos por seus objetos que difcilmente podemos distingui-los. Assim so os
diagramas da geometria. Um diagrama, to logo tenha uma
significao geral, no um cone puro; mas, a meio caminho em nossos raciocnios, esquecemos aquela abstrao
em grande medida, e o diagrama torna-se, para ns, a coisa
verdadeira. Assim, ao contemplarmos uma pintura, h um
momento em que perdemos a conscincia de que ela no
a coisa, a distino entre a verdade e a cpia desaparece e
torna-se, no momento, um puro sonho no tem qualquer
existncia particular, e, ainda, no geral. Naquele momento, estamos contemplando um cone. (CP 3.362)
28 Observaes preliminares em: May & Stjernfelt (1996).
70
27/01/2014 10:38:46
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
29 O matemtico Moritz Pasch props uma geometria pura em termos de manipulao puramente formal
dos smbolos sem o reconhecimento de suas significaes intuitivas, uma ideia que foi completamente
desenvolvida pelo famoso formalismo de seu pupilo David Hilbert.
71
27/01/2014 10:38:46
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
30 Nota dos organizadores: O legisigno um signo que uma lei. O legisigno icnico tem um cone
como objeto (CP 2.258).
31 O conceito de smbolo tem uma histria to confusa que talvez devesse ser completamente descartado.
Em todo caso, qualquer uso do conceito deveria ser explcito sobre o preciso significado suposto. No
formalismo, smbolos so arbitrrios, signos simples para serem manipulados sintaticamente; em Peirce,
eles no so necessariamente simples e dependem do significado icnico e da referncia indexical. Sobre o
conceito de smbolo na tradio kantiana, veja meu Die Vermittlung zwischen Anschauung und Denken (2000).
72
27/01/2014 10:38:46
heurstico, nem sempre foi unnime em Hilbert, como discutido no belo livro de
Greaves (2002) sobre o triste destino dos diagramas na lgica e na geometria do
sculo XX. A famosa ideia de Hilbert, expressa no incio, afirma: Um teorema
somente provado quando a prova completada independentemente do diagrama (Hilbert, 1894). Tal afirmao s vezes cede a ideias como esta: Signos
aritmticos so diagramas escritos, e diagramas geomtricos so frmulas desenhadas (Hilbert, 1900, p. 74). Aqui, de fato, Hilbert expressa uma ideia completamente peirceana de equivalncia entre expresses simblicas e diagramticas.
A leitura formalista de Hilbert e o momento imaginrio de Peirce, podem
ser vistos como ideias paralelas de controle de uma fase do raciocnio. O isolamento do que puramente diagramtico no processo poderia ser equivalente
ideia de manter um raciocnio matemtico puro margem de sua iconicidade
incontrolvel. Hilbert percebeu que um certo e inevitvel Anschauung permanece
indispensvel, mesmo no clculo simblico, isto , na habilidade bsica para identificar, contar e permutar smbolos em uma sequncia. Em ambos os casos, ento, a oposio crucial cessa de estar entre o simblico e o icnico e torna-se mais
uma oposio entre intuio racional, controlvel e intuio pr-formal, selvagem. A diferena crucial , uma vez que o ponto de vista peirceano ver o domnio controlado da intuio racional como um campo definitivamente icnico, o
hilbertiano o ver frequentemente como puramente simblico, inevitavelmente
exposto a diversas intuies restritas, correspondendo mais simples aritmtica,
capaz de infalivelmente contar traos em uma fileira (supondo a ideia anterior
de que um alfabeto de smbolos finitos poderia ser traduzido em um sistema
com tais traos). Obviamente, o prprio Hilbert no era hilbertiano e percebeu o
remanescente inevitvel de Anschauung neste formale Redeweise (cf. Kreisel, 1982).32
Aqui, a pesquisa de Peirce sobre diagramas lgicos icnicos mostra, como mencionamos, que a tarefa levada a cabo pelo clculo simblico pode ser igualmente rea-
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
32 Greaves encontrou at mesmo uma citao interessante de Paul Bernays, colaborador prximo de
Hilbert, em uma palestra de 1921, onde a habilidade do clculo expressa diretamente em termos da
iconicidade bsica, sugerindo, como diz Greaves (2002), uma clara explicao peirceana: o filsofo
est inclinado a falar desta representao [entre signo e nmero] como uma relao de significado.
Contudo, algum poderia notar que, em contraste com a relao usual entre palavra e significado, existe
[neste exemplo], a diferena essencial de que o objeto que leva representao contm as propriedades
essenciais do objeto a ser representado. Assim, as relaes que devem ser investigadas entre os objetos
representados devem ser encontradas nos objetos que levam representao, e, assim, podem ser
estabelecidos atravs desta considerao (p. 190-191).
73
27/01/2014 10:38:46
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
74
27/01/2014 10:38:46
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
75
27/01/2014 10:38:46
Referncias
Barwise, J., & Etchemendy, J. (1995). Heterogeneous Logic. In J. Glasgow, N. H.
Narayanan, B. Chandrasekaran (Eds.), Diagrammatic Reasoning Cognitive
and Computational Perspectives. Menlo Park, CA: The AAAI Press.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Fauconnier, G., & Turner, M. (2002). The Way We Think. Conceptual Blending and the
Minds Hidden Complexities. New York: Basic Books
Glasgow, J., Narayanan, N. H., Chandrasekaran, B. (Eds.). (1995). Diagrammatic Reasoning. Cognitive and Computational Perspectives. Menlo Park, CA: AAAI Press.
Greaves, M. (2002). The Philosophical Status of Diagrams. Stanford, CA: CSLI Publications.
Hayes, P. (1995). Section Introduction. In J. Glasgow, N. H. Narayanan, B. Chandrasekaran (Eds.), Diagrammatic Reasoning Cognitive and Computational Perspectives. Menlo Park, CA: The AAAI Press.
Hilbert, D. (1893-1894). Die Grundlagen der Geometrie, SUB Gttingen (Cod Ms.
D. Hilbert 541).
Hintikka, J. (1997). The Place of C.S. Peirce in the History of Logical Theory. In
J. Brunning, & P. Forster (Eds.), The Rule of Reason (pp. 13-33). Toronto:
University of Toronto Press.
Kreisel, G. (1982). Hilberts Programme. In P. Benacerraf, & H. Putnam (Eds.),
Philosophy of Mathematics.Cambridge University Press.
Lakoff, G., & Johnson, M. (1999). Philosophy in the Flesh. Chicago: University of
Chicago Press.
May, M., & & Stjernfelt, F. (1996). Maling, diagram, kunst/Measurement, Diagram, Art, Danish/English version. In A. I. Michelsen, & F. Stjernfelt
(Eds.), Billeder fra det fjerne videnskabelig visualisering. En antologi (pp. 63-76;
191-204).Copenhagen: Akademisk Forlag.
Pietarinen, A.-V. (2006). Signs of Logic: Peircean Themes on the Philosophy of Language,
Games, and Communication (Synthese Library). Dordrecht, The Netherlands:
Springer.
76
27/01/2014 10:38:46
Queiroz, J., & Merrell, F. (2005). Abduction - between subjectivity and objectivity. Semiotica 153(1/4), 1-466.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
77
27/01/2014 10:38:46
27/01/2014 10:38:46
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
3
Ahti-Veikko Pietarinen
Para Peirce, o pragmaticismo era uma posio filosfica que poderia ser
conclusivamente provada. A partir de 1903, ele elaborou diversas tentativas em
torno de uma prova, terminando com uma prova semitica completada em
1908. Por volta de 1905, ele passou a crer que uma exposio da prova seria mais
bem conduzida atravs dos Grafos Existenciais (GE), que tornaram-se seu mtodo favorito para fazer vrios tipos de anlise lgica. Ele tambm fez rascunhos
de uma semntica para os grafos, que podemos modernizar em termos de uma
semntica da teoria dos jogos.
Defendo que um argumento para a verdade do pragmaticismo pode ser
elaborado atravs da aplicao da semntica de teoria dos jogos, reconstruindo
34 Esta pesquisa foi apoiada pela Academy of Finland (1103130, Logic and Game Theory), pela University
of Helsinki Excellence in Research Funds (Peirces Pragmatistic Philosophy and Its Applications) e pela Fulbright
Bilateral Commission (Peirces Logic and Manuscripts). Verses distintas e anteriores deste trabalho foram
apresentados no Peirce Edition Project, em Indianpolis, Universit du Qubec Montral (UQAM), na
University of Miami, e no Doctors Logic Forum na Chinese Academy of the Social Sciences (CASS),
em Pequim. Meus agradecimentos aos organizadores e ao pblico, nestas ocasies, mais especificamente
para Risto Hilpinen, Nathan Houser, Xinwen Liu, Mathieu Marion, Andr De Tienne e Cornelis De
Waal, pelos comentrios. Um agradecimento especial para Lauri Snellman, da University of Helsinki.
79
27/01/2014 10:38:46
a prova de 1905 e relacionando-a com a concepo de significado verificacionalmente interpretado. A prova um argumento para o significado de nossos signos intelectuais como uma estrutura relacional que veio tona devido s nossas
prticas e aes interpretativas e estratgicas (habituais). Sua reconstruo ilustra
a centralidade de alguns aspectos chaves dos GE para a filosofia pragmaticista.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Introduo
Em 1907, Peirce anunciou que havia obtido um amplo acervo de argumentos persuasivos e interessantes para o pragmatismo e duas ou trs provas
cientficas de sua verdade (CP 5.468, A Survey of Pragmaticism). Entretanto,
ele pensou que tal prova seria inexoravelmente difcil de produzir:
E se eu pudesse confiar em minha lgica, a prova em que
tenho trabalhado e que tenho aperfeioado. O que
isso, ento? Produza-o. Infelizmente, como muitas outras
intrincadas provas, esta apenas se torna evidente sob longo,
severo, e cerradoestudo. (MS 322, 1907, Pragmatism)
80
27/01/2014 10:38:46
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
36 Estudos anteriores relacionados prova de Peirce do pragmaticismo incluem Esposito (1980), Fisch
(1986), Hookway (2004), McCarthy (1990), Roberts (1981) e Robin (1988, 1997).
81
27/01/2014 10:38:46
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
82
27/01/2014 10:38:46
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:46
Em nossa imaginao, duas partes so construdas para serem afetadas em todas as inscries dos grafos aquele
chamado de Grafista, e o outro o intrprete. Apesar da folha
utilizada ser pequena, acreditamos que ela apenas uma
regio ou rea particular de uma imensa superfcie, ou seja,
o campo de viso distinta do intrprete. apenas o Grafista
tem o poder de traar um grafo, e os grafos que ele traa
so verdadeiros, porque a verdade consiste em ser satisfeita por ele. O intrprete, por sua parte, tem o poder, com
maior ou menor esforo, de mover as instncias-grafos sobre a folha, fora de seu campo de viso distinta, ou para
dentro dele se estiverem fora de seu campo. (MS 280:29-30)
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
1. Regra de Justaposio:
(a) A justaposio de grafos em uma rea positiva: o Grafeu escolhe
um subgrafo em j. G (j, M) concorda com aquela escolha.
(b) A justaposio de grafos em uma rea negativa: o Grafista escolhe
um subgrafo em j. G (j, M) segue de acordo com aquela escolha. As
convenes do ganhador iro mudar.
38 Grafeu o termo alternativo de Peirce, comum para nomear o oponente do Grafista.
84
27/01/2014 10:38:46
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:46
A prova do pragmaticismo
O pragmaticismo, em seu ncleo, pode ser entendido como uma teoria
do significado. Uma mera classificao de signos no fornece um insight explanatrio suficientemente profundo sobre os detalhes da teoria. O que Peirce
tem para dizer sobre vrios tipos de signos pode ser atraente, em seu prprio
domnio, mas os esquemas classificatrios que so produzidos no melhoram
nosso entendimento de sua filosofia lgica, especialmente no caso das relaes
destes esquemas com noes contemporneas da lgica (Hilpinen 2004, Houser et al. 1997, Pietarinen 2006a). Para Peirce, o pragmaticismo uma semitica
lgica, e a lgica uma semitica. A semitica o estudo da realizao da anlise lgica de signos intelectuais de todos os tipos.
Hilpinen (1982) mostrou que, em sua teoria do significado, Peirce antecipou a semntica da teoria dos jogos (ver tambm Hintikka 1996, Pietarinen
2006a). Esta sugesto pode agora avanar, luz de algumas passagens de manuscritos inditos. Em alguns deles, aquelas antecipaes so surpreendentemente notveis, fazendo de seus estudos uma teoria madura de lgica semntica contempornea. Iniciaremos com uma passagem do MS 280:
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:46
controle, j que supomos que a [mente-Grafeu] sob a liderana da [mente-Grafista] discute a prpria racionalidade da
lgica. (MS 280:30-32, 1905, The Basis of Pragmaticism)
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
87
27/01/2014 10:38:46
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Os signos, eles prprios, no mapeiam situaes em aes. Mas eles proveem os guias pelos quais buscamos informao, e atravs dos quais podemos
encontrar os objetos dos signos em todas as situaes consistentes com as evidncias que possumos.
To logo os objetos dos signos sejam encontrados, o intrprete pode
proceder para alm da interpretao dos signos. A maioria das interpretaes
lgica e repousa em processos autocontrolados. O pragmaticismo refere-se ao
estabelecimento de hbitos como interpretantes lgicos que emergem em aes
autocontroladas:
Sob certas condies, o intrprete ter formado o hbito de
agir de um certo modo sempre que desejar um certo tipo
de resultado. A concluso lgica real e viva aquele hbito;
a formulao verbal meramente o expressa.... Mas a ao
88
27/01/2014 10:38:47
no pode ser um interpretante lgico, porque falta generalidade.... Consequentemente, o mais perfeito julgamento de um
conceito que palavras podem transmitir consistir em uma
descrio do hbito que aquele conceito pensado produzir.
Mas como, por outro lado, pode um hbito ser descrito por
uma descrio do tipo de ao que ele produz, com a especificao
das condies e do motivo? (CP 5.491, A Survey of Pragmaticism, MS 318;Pragmatism, EP 2:418, 1907)
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Novamente chegamos concluso que expressa a Mxima do Pragmaticismo. A relao entre hbitos e a mxima que os hbitos so as crenas dos
agentes e referem-se quelas circunstncias, reais e possveis, sobre as quais os
agentes esto preparados para agir, em qualquer ocasio. Assim como cenrios
possveis ou fices de mundos representam aqueles estados de ocorrncias para
os quais devemos estar preparados, assim tambm so os hbitos, amadurecidos
e descobertos na medida em que exploramos as contingncias, destacando os
estados de ocorrncias hipotticos que constituem comportamentos prticos ou
efeitos concebveis de conceitos que ns, intrpretes, nos esforamos para entender e avaliar.
Hbitos envolvem comportamento estratgico e ao, e a partir desta
articulao que o pragmaticismo se funde satisfatoriamente com uma constituio de significado da teoria dos jogos. Note o impacto do seguinte fragmento
da passagem anterior:
27/01/2014 10:38:47
dutores, nos termos dos quais os equilbrios so computados atravs de conceitos de soluo. Indutores so dispositivos tcnicos perfeitos para reconhecer o
que Peirce descreveu como interpretantes lgicos primeiros, e por meio dos
quais continuamos a traar as linhas alternativas de conduta que as conjecturas
poderiam deixar abertas para ns (MS 318:45). Nenhum conjunto individual de
aes, no importa seu tamanho, , em si mesmo, suficientemente representativo
daquilo que os futuros cursos de aes podem ser, em qualquer circunstncia
concebvel. Apenas uma estratgia completamente geral, ou seja, uma funo de
situaes para aes pode revelar tais recomendaes.
Aquilo que Peirce entende por hbitos, que o mesmo que em teoria dos
jogos chamamos de estratgias de realizao, quase conclusivamente mostrado
pelo fato de que, de acordo com ele, as aes precisam ser definidas no apenas
em vista de situaes provveis, mas tambm em vista daquelas que ficam em
caminhos fora-do-equilbrio:
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
90
27/01/2014 10:38:47
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
A ideia de um interpretante lgico vivendo no futuro reiterada: O Objeto a causa, e o Interpretante o efeito do signo. Como o efeito se estende no
futuro, o interpretante lgico, portanto, deve estar em algum sentido no tempo
futuro (1907, MS 318:45).
Constantes lgicas contribuem para os hbitos por tornarem possveis as
selees de asseres individuais. Isto , a especificao de condies por trs da
descrio das aes, que sucessivamente descreve os hbitos (CP 5.491; EP 2:418).
A especificao do motivo est ligada a asseres nas atividades de verificao e
falsificao do Grafeu e do Grafista. Por outro lado, constantes no lgicas contribuem para hbitos por proverem os pontos nos quais a interpretao acaba.
Finalmente, a experincia testa o resultado de nossos hbitos:
Outra coisa: na representao, ao supor o pragmaticista
fazendo um significado racional consistir em um experimento (sobre o qual se fala como um evento no passado),
voc falha em captar sua atitude mental. Certamente no
um experimento, mas um fenmeno experimental, em que
consiste o significado racional.... O fenmeno consiste no
fato de que quando um experimentalista vier a agir de acor91
27/01/2014 10:38:47
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
1. Um grafo j verdade em M se e somente se existir uma estratgia vencedora para o Grafista em um jogo semntico G (j, M).
2. O Grafista tem uma estratgia vencedora em G (j, M) se e somente se
existir um hbito de ao associado com j pelo qual podemos escolher cursos sutis de aes, procurar e achar elementos sutis de nossos
universos de discurso.
3. Justaposio, polaridades de reas e contnuas conexes entre subespaos contribuem para o hbito dando forma a ele.
4. Pontos/locais (spots) contribuem para o hbito dando a ele pontos
de terminao.
5. j verdadeiro em M se e somente se existir um hbito de ao associado com j pelo qual podemos escolher cursos sutis de aes, procurar e encontrar elementos sutis de nossos universos de discurso, e
os constituintes de j contribuem para o hbito dando a ele forma ou
pontos de terminao.
6. Os constituintes de j contribuem para as condies de verdade de j
ao atriburem forma ou pontos de terminao a alguns hbitos associados a j pelos quais podemos escolher cursos sutis de ao, procurar e encontrar elementos sutis de nossos universos de discurso, e j
tem condies de verdade apenas se houver um hbito para j pelo
qual podemos escolher cursos sutis de aes e procurar e encontrar
elementos sutis de nossos universos do discurso.
92
27/01/2014 10:38:47
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
93
27/01/2014 10:38:47
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
43 Retrospectivamente, Peirce forneceu um relatrio da histria das sries do The Monist estabelecendo
que no planejou dar qualquer descrio completa dos Grafos Existenciais mas decidiu inserir um artigo
sobre os Grafos Existenciais, que era Prolegomena to an Apology for Pragmaticism, para medir o que
pode ser chamado de filosofia de um sistema e para conduzir uma apreenso muito mais completa e mais
convincente da natureza da minha prova (MS 300: 14-16). Anterior ao Prolegomena, as sries no publicadas
de The Basis of Pragmaticism (MS 279-284) comeam com ainda um relatrio mais completo, mas de
algum modo menos sistemtico, de grafos e seu significado, do que a verso publicada do Prolegomena,
enquanto Prolegomena adiciona a parte modal (os grafos tingidos). Peirce defendeu o Prolegomena como
um rascunho da prova escrita para prevenir um desenvolvimento de pensamento no provvel para ser
independentemente reproduzido em um sculo de passagem para um completo esquecimento (MS 300:14).
94
27/01/2014 10:38:47
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
44 Em (Pietarinen 2012) argumento que os pontos (spots) so o que Peirce chamou de imagens nos
GE: aqueles pontos terminais de interpretao que contribuem para a forma dos hbitos, mas no
so eles mesmos interpretados como hbitos j que dependem de processos psicolgicos, singulares e
fisionmicos que caleidoscopizam a superfcie do fneron.
95
27/01/2014 10:38:47
modo como os objetos reais podem estar ligados com os objetos possveis (Pietarinen 2005a, 2005b). A abordagem de Peirce para este problema foi desenhar
ligaduras conectando reas e pontos inscritos na folha de representao da realidade com reas e pontos inscritos na folha de representao de vrios tipos de
modalidades.45 A reformulao da Mxima do Pragmaticismo nestes termos foi
sugerida logo aps Peirce tomar seriamente a assero de que os GE so nossas
imagens em movimento do pensamento.
(6) Deste modo, uma conexo contnua entre o real e o possvel vlida do
mesmo modo que vlida uma conexo contnua entre vrias partes da realidade. Peirce argumenta: Identidade significa uma continuidade que admite uma
variedade de apresentao ou representao (MS 300:44-45). Identidade, dada
pelas conexes entre diferentes reas de diferentes tipos de folhas, composta
de pontos de possibilidades (CP 4.640, 1908, The Amazing Mazes), enquanto
pontos reais habitam as extremidades de linhas de identidade. Seu exemplo que
ilustra o tipo de identidade entre mundos envolve no apenas modalidade, mas
tambm abstrao de alta ordem de propriedades modais:
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
96
27/01/2014 10:38:47
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Referncias
Esposito, J. L. (1980). Evolutionary metaphysics: the development of Peirces theory of
categories. Athens, OH: Ohio University Press.
Fisch, M. (1986). The proof of pragmatism. In M. H. Fisch, Peirce, Semeiotic,
and Pragmatism: Essays (p. 362-375). Bloomington, IN: Indiana University
Press.
46 O manuscrito 330 de Peirce (The argument for Pragmatism anachazomenally or recessively stated,
c.1906, datado por Andr DeTienne) avana no delineamento da prova semitica em uma ordem reversa
A nica essncia do conceito seu interpretante lgico o hbito generalizado de conduta (p. 2).
Ns no realizamos uma anlise deste rascunho aqui e deixamos apenas uma nota: este rascunho pode
ser aquele onde se encontra a prova que ele anteriormente trabalhou e aperfeioou (MS 322: 13)?
97
27/01/2014 10:38:47
Hilpinen, R. (1982). On C. S. Peirces theory of the proposition: Peirce as a precursor of game-theoretical semantics. The Monist, 65, 182-188.
Hilpinen, R. (2004). Peirces logic. In D. M. Gabbay, & J. Woods (Eds.), Handbook
of the History and Philosophy of Logic 3 (pp. 611-658). Amsterdam: Elsevier.
Hintikka, J. (1973). Language-games for quantifiers. In J. Hintikka, Logic, Language-Games and Information (53-83). Oxford: Oxford University Press.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Kilpinen, E. (2009). The habitual conception of action and social theory. Semiotica, 173, 99-128.
McCarthy, J. (1990). An account of Peirces proof of pragmatism. Transactions of
the Charles S. Peirce Society, 63-113.
Peirce, C. S. (1931-1958). Collected Papers of Charles Sanders Peirce [CP] (8 vols., C.
Hartshorne, P. Weiss, & A. W. Burks, Eds.). Cambridge, MA: Harvard
University Press.
Peirce, C. S. (1967). Manuscripts in the Houghton Library of Harvard University (MS). In R. Robin, Annotated Catalogue of the Papers of Charles S. Peirce.
Amherst: University of Massachusetts Press, and in The Peirce Papers: A
supplementary catalogue. Transactions of the C. S. Peirce Society, 7(1971), 37-57.
27/01/2014 10:38:47
Peirce, C. S. (1998). The Essential Peirce: selected philosophical writings (Vols. 1-2. Peirce
Edition Project, Ed.). Bloomington, IN: Indiana University.
Pietarinen, A.-V. (2005a). The composition of concepts and Peirces pragmatic
logic. In E. Machery, M. Werning, & G. Schurtz (Eds.), The Compositionality
of Concepts and Meanings: Foundational Issues (pp. 247-270). Frankfurt: Ontos-Verlag.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Pietarinen, A.-V. (2005b). Compositionality, relevance and Peirces logic of existential graphs. Axiomathes, 15, 513-540.
Pietarinen, A.-V. (2006a). Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication (Synthese Library 329). Dordrecht, The
Netherlands: Springer.
Pietarinen, A.-V. (2006b). Peirces contributions to possible-worlds semantics.
Studia Logica, 82, 345-369.
Pietarinen, A.-V. (2012). Peirce and the logic of image. Semiotica. 192, 251261.
Pietarinen, A.-V. (2007b). To Peirce Hintikkas thoughts, The Epistemology and
Methodology of Jaakko Hintikka, November 2007, Copenhagen: The Carlsberg Academy.
27/01/2014 10:38:47
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
100
27/01/2014 10:38:47
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
4
27/01/2014 10:38:47
tar as relaes lgicas. Peirce continuou o trabalho de Venn atravs dos Grafos
Existenciais (GE) (Roberts, 1973, Shin, 2002). Os GE, ele afirma, facilitam in-
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
gramtico com o pensamento por meio dos GE. Para ele, o pensamento
diagramtico qualquer forma de pensamento necessrio vlido (CP 1.54,
5.162). As operaes lgicas que so possveis por meio dos GE so somente
uma forma de pensamento diagramtico. Mesmo formas algbricas podem ser
diagramas (cf. CP 2.778, EP 2:13), incluindo sentenas como Ezekiel loveth
Huldah (EP 2:17). De acordo com a semitica de Peirce, onde estes termos
so precisamente definidos, os diagramas formam um subgrupo dos cones.
A ideia bsica de cone no a de uma forma grfica ou pictrica, como tambm no a de que so similares aos objetos que representam apesar destes
serem diversos casos, como fotografias, ou pegadas mas de signos que representam relaes:
27/01/2014 10:38:47
Um diagrama um representamen que predominantemente um cone de relaes auxiliado por convenes. ndices tambm so mais ou menos usados. Ele deveria ser
elaborado sobre um sistema de representao perfeitamente consistente, fundado sobre uma ideia bsica simples e
facilmente inteligvel. (CP 4.418)
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Uma sequncia de palavras como Ezekiel Huldah loveth poderia ser interpretada como um cone, se a percebemos como representao de uma certa
relao. Se lemos Ezekiel Huldah loveth como um signo que representa uma
relao que realizada de acordo com regras da gramtica da lngua inglesa, temos um diagrama.
O fato de que, de acordo com Peirce, diagramas devem ser construdos
por meio de um certo sistema representacional essencial para uma compreenso adequada de sua noo de pensamento diagramtico. Seus GE so um
sistema de representao perfeitamente consistente, e suas consistncia e completude tm sido provadas (Zeman, 1964, Roberts, 1973). Entretanto, sistemas
axiomticos em matemtica tambm so sistemas consistentes de representao,
e nossas linguagens dirias so tambm sistemas representacionais, apesar de no
serem necessariamente consistentes. Peirce afirma que desenvolveu o conceito
de pensamento diagramtico para descrever a natureza especfica do pensamento matemtico. Em seu Carnegie Application, ele descreve assim a relevncia
de sua descoberta:
As primeiras coisas que descobri foram que todo o pensamento matemtico diagramtico e todo pensamento
necessrio um pensamento matemtico, no importa
quo simples ele possa ser. Por pensamento diagramtico,
quero dizer um pensamento que constri um diagrama de
acordo com um preceito expresso em termos gerais, realiza
experimentos sobre este diagrama, anota seus resultados,
assegura-se de que experimentos similares realizados sobre
qualquer diagrama construdo de acordo com os mesmos
preceitos devem ter os mesmos resultados, e expressa isto
em termos gerais. Esta no foi uma descoberta de pequena
importncia, mostrando, como ela o faz, que todo o pensamento sem exceo vem da observao. (NEM 4:47-48)
103
27/01/2014 10:38:47
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
104
27/01/2014 10:38:47
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
A descrio de Peirce da matria dos matemticos: ajudar um engenheiro, uma empresa, ou um fsico, a determinar quais as consequncias necessrias que possveis fatos podem ter em uma situao onde
os fatos so to complicados que estas pessoas no podem lidar com
eles de modo usual (CP 3.559 f.).
Quando ferramentas de Visualizao de Argumentos Baseada em Computadores (VABC) so usadas como ferramentas de desambiguizao
para ajudar na compreenso de problemas de uma comunidade (multi-stakeholders), mal estruturados(Kirschner, Buckingham, Simon, &
Carr, 2003).
Quando negociadores tentam resolver um conflito atravs do Mapeamento do Argumento Lgico (MAL), uma ferramenta que deveria mudar
as mentalidades dos interessados pela visualizao de premissas e esteretipos (Hoffmann, 2005b).
105
27/01/2014 10:38:48
Uma descrio geral de aplicaes possveis do pensamento diagramtico est implicada no que considero a funo principal desse tipo de pensamento: facilitar processos de pensamento individuais ou sociais em situaes
que so complexas demais para serem conduzidas exclusivamente por meios
cognitivos internos. Tal facilitao dos processos deveria ser possvel com
base em uma variedade de caractersticas do pensamento diagramtico. Ter
algo frente aos olhos permite:
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:48
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
de pensamento diagramtico, restrinjo o uso do termo a processos em que representaes externas so uma parte irredutvel. Peirce, ao contrrio, algumas
vezes assume que o pensamento diagramtico pode ser tambm realizado
27/01/2014 10:38:48
Diagrammatic
reasoning
defined
by
3 steps
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
first
construntiong
depends
on
what
an analysis of
the problem,
or knowledge
determinies
the choice of
a diagram
(defined as a
representation
of relations)
third
second
by
means
of
experimenting
with this diagram
its outcome is
determined by
the rules of
a consistent
representation
system
of
defined
by
a knowledge
area, or a
problem
an ontology (elements
and relations) and rules
of operation
the results
of
the necessity of
the results of
it possibilities are
constrained by the
means available in
observing
and
analyzing
the constraints
and possibilities
e.g.
an axiomatic system,
a theory, or a language
(syntax, semantics)
27/01/2014 10:38:48
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Diagramas como elementos da cognio distribuda
Peirce era bastante otimista sobre a possibilidade de explicar a aprendizagem e as descobertas cientficas ao menos matemticas atravs do pensamento diagramtico:
27/01/2014 10:38:48
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
certos diagramas que so informacionalmente equivalentes a representaes sentenciais podem, entretanto, ser computacionalmente
mais eficientes para pesquisar a informao de que precisamos para
tentar resolver um problema, equalizar/igualar a informao ao conhecimento na memria de longo prazo, e dar suporte a inferncias
perceptuais que so extremamente fceis para os humanos (Larkin &
Simon, 1987, critical Scaife & Rogers, 1996, p. 195, ver Healey, MacCabe, Katagiri (2000) sobre o uso da mdia grfica em comunicao
sincrnica. Em seu estudo, participantes desenvolveram o uso de grficos, produzindo progressivamente mais representaes grficas abstratas na medida em que sua experincia aumentava).
27/01/2014 10:38:48
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
O comportamento observvel como tem sido mostrado com sujeitos jogando Tic-Tac-Toe determinado por informao diretamente disponvel em representaes externas e internas em termos
perceptuais e cognitivos de modo que Zhang (1997) sugere a ideia
de determinismo representacional: a forma de uma representao
determina que informao pode ser percebida, quais processos podem ser ativados e quais estruturas podem ser descobertas de uma
representao especfica.
mais fcil trabalhar com sistemas representacionais j convencionalizados do que ser forado a aprender simultaneamente um domnio
de conhecimento e um novo sistema representacional (Scaife & Rogers, 1996, p. 206, Brna, Cox, & Good, 2001).
Sujeitos realizaram melhor certas tarefas quando construram diagramas em uma tarefa precedente, que eram estruturalmente anlogas ao
problema alvo, ou quando simularam uma situao com blocos de madeira enquanto estudavam um problema anlogo (Craig et al., 2002).
27/01/2014 10:38:48
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Similarmente, Merrill & Reiser (1993) mostram que um custo adicional de trabalho de memria imposto aos estudantes se a estrutura de
um certo sistema representacional no se encaixa bem com a estrutura que os estudantes haviam planejado (cf. tambm Hegarty (2000)).
Existem limitaes no uso do pensamento diagramtico. O pensamento diagramtico deve ser substitudo e complementado por pensamento verbal-conceitual (Drfler 2005, p. 66), apesar de haver conceitos cuja falta intrnseca de diagramas relacionados introduz o que
pode ser chamado de obstculo epistemolgico para aprender aquela
noo (Drfler, 2005, p. 66).
27/01/2014 10:38:48
samento cognitivo adequado (1996, p. 199). Scaife & Rogers criticam, em particular, as diversas abordagens compromissadas com o que chamam de falcia
da semelhana: eles no podem encontrar qualquer indicao de que o papel
que o pensamento diagramtico assume em processos cognitivos baseado em
uma semelhana de representaes externas e internas, ou que formas grficas
encorajam estudantes a criar imagens mentais que, sucessivamente, tornam mais
fcil para eles aprender certos tpicos (1996, pp. 199-201).
Especialmente se uma equivalncia estrutural assumida entre um diagrama externo e um modelo mental interno, o problema cognitivo colocado
por Scaife & Rogers (1996) no resolvido, mas duplicado. Todo diagrama
uma entidade finita e distinta formada por um conjunto de elementos e relaes enumerveis e definidas; um complexo mais ou menos composto de
smbolos, ndices e cones. A ideia de equivalncia estrutural poderia implicar
que o modelo mental correspondente seja qual for sua manifestao neurobiolgica ou simblica deve ser representvel exatamente como o mesmo
signo finito e distinto. Nenhum signo, entretanto, pode em si mesmo determinar a que se refere. O significado depende necessariamente da interpretao.
Ou seja, qualquer representao seja um diagrama externo ou um modelo
mental interno uma representao apenas se est representando algo para
algum (CP 2.228). Tomemos como exemplo o mapa de uma cidade. Para usar
o mapa, voc precisa saber onde est no mapa, e deve relacionar os pontos do
mapa com os pontos da cidade. O prprio mapa no pode estabelecer qualquer
relao com aquilo que ele representa. Sem esta atividade e habilidade cognitiva
de um usurio que externo ao prprio mapa, o mapa no tem qualquer uso. O
mesmo verdadeiro para qualquer diagrama ou modelo que deve representar
algo. At mesmo se ele contm ndices, cuja funo direcionar a ateno para
elementos externos, preciso interpret-los como ndices. Se ele contm smbolos, voc deve conhecer os significados convencionalizados destes smbolos.
Como Peirce mostrou, sem interpretao que pode falhar, obviamente, ou
ser insuficiente um signo no significa nada. como uma prova matemtica.
Uma prova uma prova somente se for aceita ao menos por algumas pessoas
de que uma prova. (Isto muito claro com provas bastante complicadas,
como a prova de Andrew Wiles do ltimo Teorema de Fermat, ou no debate
sobre a aceitabilidade das provas computacionais.) Signos so signos apenas em
circunstncias nas quais podem ser interpretados por meio de um conhecimen-
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
113
27/01/2014 10:38:48
to dado (CP 8.183; 8.178f), que pode ser tambm adquirido ou desenvolvido.
Se tudo isto verdadeiro, no posso ver como tambm no seria verdadeiro
para modelos mentais, j que eles so concebidos como estruturalmente equivalentes a diagramas externos.
No posso negar a possibilidade dos modelos ou imagens mentais. Mas
o ponto que tal assero, sozinha, no pode explicar como interagimos com
diagramas. Ainda precisamos do que tem sido chamado em filosofia de sujeito
(epistmico) (cf. Hutchins, 1995, cap. 9, e a crtica da codificao na cincia cognitiva, cf. formulada por Bickhard, 1992). Precisamos de algo como um sujeito
ou self, como aquela entidade em um modelo de cognio que responsvel por
interpretar representaes internas baseadas em interesses, propsitos, crenas,
valores, emoes e fatores como seu mundo prprio, ambiente e estado neurofisiolgico at mesmo se provado ao final que temos de conceitualizar este
sujeito de um modo completamente novo, mais interativo, social e dinmico (cf.
Bickhard, 2004, Maturana & Varela, 1987, Mead, 1913, Valsiner, 2005).
Para preparar alguns passos necessrios, com respeito s condies cognitivas do pensamento diagramtico, seguirei aqui um caminho que tem sido
primeiramente desenvolvido como um mtodo filosfico, por Immanuel Kant.
Como bem conhecido, Kant substituiu, em sua revoluo Copernicana, a velha ideia de justificar o conhecimento pela observao que foi provada por
Hume como sendo futilmente baseada no problema da induo pela ideia de
que a objetividade do conhecimento pode ser apenas garantida por meio de princpios que devem ser assumidos como a priori, ou seja, como principio dado
antes de qualquer experincia ou observao. Certamente no h quase nenhum
filsofo que possa aceitar aquelas premissas metafsicas a priori, mas a estratgia
desenvolvida por Kant que ele chamou de mtodo transcendental (Kant CPR
B 81) ainda bastante produtiva. De um modo geral, esta estratgia comea
com premissas de que ningum poderia duvidar. Ningum poderia duvidar, por
exemplo, que h causalidade em nosso mundo fsico. Entretanto, como mostrou
Hume, a causalidade nunca pode ser observada na medida em que nunca podemos saber se dois eventos as nicas coisas que so observveis esto conectados por causalidade ou simplesmente por coincidncia. Neste ponto, diz Kant, a
nica coisa que podemos fazer tomar a premissa, como a realidade da causao,
como o ponto de partida e perguntar quais condies devem ser satisfeitas para
explicar a possibilidade daquelas realidades.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
114
27/01/2014 10:38:48
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
115
27/01/2014 10:38:48
sobre o desenho. O lado AB deste quadrado deve ser de dois ps, e o jovem
sabia que o tamanho do quadrado era, portanto, de quatro ps quadrados, e que
um quadrado com o tamanho duplicado de ABCD seria de oito ps quadrados
(82c,d). Depois de um acordo feito sobre esses itens, Scrates perguntou ao jovem qual deveria ser o tamanho do lado de um quadrado de oito ps quadrados.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
E
27/01/2014 10:38:48
trivial de um ponto de vista da educao, crucial notar aqui que o estalo perceptivo do jovem sobre seu fracasso possvel apenas se ele satisfizer as seguintes
condies cognitivas. Primeiro, ele deve aceitar o fato de que a duplicao do
lado de ABCD leva necessariamente a AGFE; segundo, que h uma contradio entre este resultado e a expectativa dele; terceiro, que contradies no so
aceitveis, elas devem ser resolvidas. (Como Lewis Carroll (1895) nos ensinou,
em sua hilria histria What the Tortoise Said to Achilles, possvel que algum
no aceite a necessidade lgica, ainda que seja difcil qualquer dilogo com ela.)
A primeira destas condies depende obviamente do que essencial para
o pensamento diagramtico: a consistncia e a racionalidade do sistema de representao que escolhemos para construir um diagrama. Como notado em minha
definio de pensamento diagramtico acima (Figura 2), o resultado de qualquer
experimento que realizamos com um diagrama determinado pelas regras e convenes do respectivo sistema representacional. Observando o experimento com
o quadrado original, pode-se afirmar que ningum duvidaria que a duplicao do
tamanho do lado de ABCD levaria a AGFE, mas esta verdade evidente baseada
em duas coisas: de um lado, na verdade objetiva de que um sistema representacional consistente como a geometria euclidiana determina necessariamente o resultado da operao observvel no diagrama. De outro lado, na precondio de que
somos capazes de aceitar esta verdade objetiva. (Ao contrrio das consideraes
epistemolgicas usuais, a prpria noo de objetividade no um problema
neste caso.) essencial que, de um lado, os sistemas de representao que escolhemos para construir diagramas funcionem como ferramentas culturais cuja
validade, ou usabilidade, seja socialmente estabelecida de modo que indivduos
no possam mud-la atravs de escolha pessoal e, de outro lado, que o resultado
de qualquer experimento com o diagrama seja necessrio e verdadeiro para ns.
Baseado nisto, podemos dizer que o primeiro passo da aprendizagem do
jovem por meio do pensamento diagramtico depende das seguintes condies
cognitivas. Ele tem que
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:48
Se no aceitarmos estes quatro pontos como precondies, no poderemos explicar a percepo do jovem de seu fracasso, e sua motivao para melhorar. Mas esta afirmao nos leva a alguns problemas srios e interessantes. At
aqui, seguimos uma estratgia transcendental, ou seja, comeamos a partir do
fato de que o jovem percebe seu fracasso e procuramos pelas condies que devem ter sido satisfeitas para assegurar isto. At este ponto, um transcendentalismo kantiano poderia argumentar que algo como o princpio da no-contradio
parte de nosso conhecimento a priori, ou seja, que devemos pressupor este
princpio como dado antes de qualquer experincia. Entretanto, sabemos que
crianas no tm problemas para aceitar contradies elas simplesmente no
se importam. E as regras e convenes da geometria euclidiana, como diz seu
nome, foram formuladas por Euclides. Elas no existiam antes de Euclides, nem
so necessrias quilo que conhecemos como geometria no-euclidiana. Portanto, parece ser apropriado substituir qualquer afirmao a priori, neste ponto, pela
ideia de que qualquer pressuposio que devamos fazer, como as precondies
cognitivas do jovem, seja resultado de desenvolvimento e aprendizagem.
Esta considerao, entretanto, leva ao primeiro dos problemas que j mencionei. Se assumimos que as condies cognitivas que so necessrias para o
pensamento diagramtico devem ser desenvolvidas por elas mesmas, como as
desenvolvemos? Embora a atuao do jovem, no exemplo de Plato, parea satisfazer todas estas condies, no difcil imaginar o que poderia acontecer se
ele falhasse em faz-lo. Obviamente, Scrates ensinaria o que ele precisa saber
para realizar o processo de pensamento diagramtico. Isto poderia ser fcil neste
caso, com respeito s regras do sistema representacional usado, e no seria muito
difcil para o princpio da no contradio. Entretanto, devemos ter em mente
dois pontos importantes: de um lado, que os quatro pontos listados anteriormente so habilidades cognitivas bsicas e, de outro, que eles tm de ser aceitos sem
qualquer exceo. Estas so regras gerais da geometria euclidiana e so princpios
gerais da lgica. No temos permisso para mudar as regras e as convenes de
um sistema de representao durante o pensamento diagramtico, nem oscilar
entre aceitar ou rejeitar o princpio da no contradio. Se fssemos cometer
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
118
27/01/2014 10:38:48
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
119
27/01/2014 10:38:48
Sua resposta questo de Scrates, onde ele sugere que um quadrado com
o dobro do lado deveria ter um lado duas vezes distncia do quadrado original,
assume que ele apenas confundiu as ideias sobre as relaes entre tamanhos de
reas e distncias. Nesta situao, o papel central do pensamento diagramtico se
torna evidente. No haveria necessidade alguma de construir um diagrama se o
jovem estivesse realmente apto a dar a resposta correta. A funo do pensamento
diagramtico facilitar processos de pensamento em situaes complexas para
serem gerenciadas exclusivamente por meios cognitivos internos. Para o jovem, o
problema de determinar o comprimento do lado de um quadrado duplicado em
tamanho muito complicado. Ele precisa observar a manipulao de Scrates do
diagrama para ver o que acontece se ele dobra o comprimento do lado. O processo de diagramatizao permite a ele esclarecer suas ideias vagas e coordenar o
que ele j sabe de modo que fique claro que sua primeira resposta estava errada.
(O fato de que ele apenas confundiu ideias, do meu ponto de vista, exclui qualquer controvrsia sobre modelo mental, neste caso.)
Esta funo do pensamento diagramtico no processo de aprendizagem
do jovem pode ser descrita pela metfora do andaime (scaffolding), introduzida
em psicologia por Wood, Bruner & Ross (1976), em uma discusso sobre as
ideias de Vygotsky e sobre zona de desenvolvimento proximal (cf. Rogoff &
Wertsch, 1984). Eles usaram o termo para caracterizar o papel de uma predisposio para a aprendizagem individual do aluno um tutor que prov conhecimento mais avanado e que trabalha como um modelo temporrio usado na
construo de obras. Mais recentemente o termo andaime foi disseminado (cf.
Sherin, Reiser & Edelson, 2004, Renninger & Granott, 2005). Ele inclui qualquer
tipo de suporte externo que faz um processo particular de aprendizagem possvel e que pode ser descartado depois que a aprendizagem tem lugar (Van Geert
& Steenbeek, 2005, p. 116). Entretanto, quanto mais se torna claro que andaime
um conceito til para descrever a aprendizagem, mais difcil se torna entender
este processo (cf. Sherin et al., 2004). Adicionalmente, enquanto andaime
uma boa e intuitiva descrio do processo que pode ocorrer durante uma interao, detalhes sobre como e porque eles funcionam como funcionam ainda esto
sendo compilados (Renninger & Granott, 2005,p. 111).
Nesta situao, poderia ser mais adequado continuar a anlise de nosso
exemplo para obter um melhor entendimento do que andaime poderia significar
neste caso concreto. O primeiro ponto que eu enfatizaria que, na interao de
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
120
27/01/2014 10:38:48
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
121
27/01/2014 10:38:49
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
SCRATES: Muito bem, quantas vezes a figura toda maior do que esta?
Quatro vezes.
SCRATES: Mas ns deveramos ter obtido uma que seria duas vezes, ou
voc no se lembra?
Eu certamente me lembro.
SCRATES: Esta linha de um canto ao outro no corta cada uma destas
figuras em dois? [Ele sugere sobre BD, DH, HI e IB na Figura 3]
Sim.
SCRATES: Ento estas so quatro linhas iguais que envolvem esta figura? [BDHI]
So.
SCRATES: Considere agora: qual o tamanho desta figura?
Eu no entendo.
122
27/01/2014 10:38:49
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:49
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
124
27/01/2014 10:38:49
mentais como precondio do pensamento diagramtico. Mas eles no so rplicas internas de diagramas externos que construmos no pensamento, mas certas
unidades de experincia estruturada que podemos usar para desenvolver certas
perspectivas sobre aqueles diagramas. Assim, um modelo mental seria um meio
cognitivo para emoldurar a percepo de um diagrama ou de um problema. Jogar com estas perspectivas pode ser a condio cognitiva central do pensamento
diagramtico bem sucedido.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Concluso
125
27/01/2014 10:38:49
o, a habilidade de ouvir, e entender, os especialistas, o conhecimento da geometria euclidiana, a experincia com o papel das diagonais em quadrados, e assim
por diante (cf. Hoffmann & Roth, 2004). Segundo, que o papel do pensamento diagramtico pode apenas ser entendido adequadamente se o concebermos
como parte dos processos cognitivos cujas caractersticas centrais so o esclarecimento, a desambiguao e a coordenao de ideias vagas e confusas. Deste
modo, o pensamento diagramtico adequado quelas formas de cognio cuja
essncia pode ser capturada pela noo de cognio distribuda.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Referncias
Ainsworth, S., & Loizou, A. T. (2003). The effects of self-explaining when learning with text or diagrams. Cognitive Science, 27(4), 669-681.
Allwein, G., & Barwise, J. (Eds.). (1996). Logical reasoning with diagrams. New York:
Oxford University Press.
Anderson, M., Cheng, P., & Haarslev, V. (Eds.). (2000). Theory and application
of diagrams. Lecture notes in computer science 1889. Edinburgh, Scotland:
Springer.
Anderson, M., Meyer, B., & Olivier, P. (Eds.). (2002). Diagrammatic representation and reasoning. London:Springer.
Baker, M., Hansen, T., Joiner, R., & Traum, D. (1999). The role of grounding
in collaborative learning tasks. In P. Dillenbourg (Ed.), Collaborative learning: cognitive and computational approaches (pp. 31-63). Amsterdam: Pergamon
Press.
Barker-plummer, D., Cox, R., & Swoboda, N. (Eds.). (2006, June). Diagrammatic
representation and inference: 4th international conference. Diagrams 2006,
28-30.
Barwise, J., & Etchemendy, J. (1994). Hyperproof. Stanford, CA: Center for the
Study of Language and Information.
Bauer, M. I., & Johnson-Laird, P. N. (1993). How Diagrams Can Improve Reasoning. Psychological Science, 4(6), 372-378.
Bickhard, M. H. (1992). How Does the Environment Affect the Person? In L.
T. Winegar & J. Valsiner (Eds.), Childrens development within social contexts:
metatheory and theory (pp. 63-92). Local: Psychology Press.
126
27/01/2014 10:38:49
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Blackwell, A., Marriott, K., & Shimojima, A. (Eds.). (2004). Diagrammatic representation and inference: third international conference, Diagrams 2004. Cambridge,
UK: Springer.
Brna, P., Cox, R., & Good, J. (2001). Learning to think and communicate with
diagrams: 14 questions to consider. Artificial Intelligence Review, 15(1), 115-134.
Campbell, D. T. (1974). Evolutionary epistemology. In P. A. Schilpp (Ed.), The
Philosophy of Karl R. Popper (vol. 1, pp. 412-463). LaSalle, IL: Open Court.
Carroll, L. (1895). What the Tortoise Said to Achilles. Mind, 4(n.s.), 278-280.
Clark, A. (1998). Embodied, Situated, and Distributed Cognition. In W. Bechtel,
& G. Graham (Eds.), A Companion to Cognitive Science (pp. 506-517). Oxford, United Kingdom: Blackwell.
Clark, A., & Chalmers, D. (1998). The extended mind. Analysis, 58(1), 7-19.
Colapietro, V. M. (1989). Peirces Approach to the Self. A Semiotic Perspective
on Human Subjectivity (= SUNY Series in Philosophy). Albany, NY: State
Univ. of New York Press.
Craig, D. L., Nersessian, N. J., & Catrambone, R. (2002). Perceptual Simulation
in Analogical Problem Solving. In L. Magnani, & N. J. Nersessian (Eds.),
Model-Based Reasoning: Science, Technology, Values (pp. 167-190).New York:
Kluwer Academic / Plenum Publisher.
Drfler, W. (2004). Diagrams as Means and Objects of Mathematical Reasoning.
In H.-G. Weigand (Ed.), Developments in Mathematics Education in German
Speaking Countries (pp. 39-49). Selected Papers form the Annual Conference
on Didactics of Mathematics 2001. Hildesheim, German: Franzbecker.
Drfler, W. (2005). Diagrammatic thinking: affordances and constraints. In M.
H.G. Hoffmann, J. Lenhard, & F. Seeger (Eds.), Activity and Sign Grounding Mathematics Education (pp. 57-66). Local: Springer.
127
27/01/2014 10:38:49
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Glasgow, J., Narayanan, N. H., & Chandrasekaran, B. (Eds.). (1995). Diagrammatic reasoning: cognitive and computational perspectives. Menlo Park, CA:
AAAI Press.
Granott, N. (2005). Scaffolding dynamically toward change: previous and new
perspectives. New Ideas in Psychology, 23(3), 140-151.
Hammer, E. M. (1995). Logic and visual information. Stanford, CA: CSLI Publ.
Healey, P. G. T., McCabe, R., & Katagiri, Y. (2000). A Comparison of Graphics
and Speech in a Task-Oriented Interaction. In M. Anderson, P. Cheng, &
V. Haarslev (Eds.), Lecture notes in computer science 1889: Theory and application of diagrams (pp. 245-256). Edinburgh: Springer.
Hegarty, M., Meyer, B., & Narayanan, N. H. (Eds.). (2002). Diagrammatic representation and inference. Second international conference, Diagrams 2002,
Callaway Gardens, GA: Springer.
Hintikka, J. (1983 [1980]). C. S. Peirces First Real Discovery and its Contemporary Relevance. In E. Freeman (Ed.), The Relevance of Charles Peirce (pp.
107-118). La Salle, Ill.: Hegeler Institut.
Hoffmann, M. H. G. (2003). Peirces Diagrammatic Reasoning as a Solution
of the Learning Paradox. In G. Debrock (Ed.), Process Pragmatism: Essays
on a Quiet Philosophical Revolution (pp. 121-143). Local: Rodopi.
Hoffmann, M. H. G. (2004). How to Get It. Diagrammatic Reasoning as a Tool
of Knowledge Development and its Pragmatic Dimension. Foundations
of Science, 9(3), 285-305.
Hoffmann, M. H. G. (2005a). Erkenntnisentwicklung. Ein semiotisch-pragmatischer Ansatz (= Philosophische Abhandlungen 90). Frankfurt: Klostermann.
128
27/01/2014 10:38:49
Hoffmann, M. H. G. (2005b). Logical argument mapping: A method for overcoming cognitive problems of conflict management. International Journal of
Conflict Management, 16(4), 304-334.
Hoffmann, M. H. G. (2005c). Signs as means for discoveries. Peirce and his concepts of Diagrammatic Reasoning, Theorematic Deduction, Hypostatic Abstraction, and Theoric Transformation. In M. H. G. Hoffmann, J.
Lenhard, & F. Seeger (Eds.), Activity and Sign - Grounding Mathematics Education (pp 45-56). Local: Springer.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:49
Kirschner, P. A., Buckingham, S., Simon, J., & Carr, C. S. (Eds.). (2003). Visualizing Argumentation: Software Tools for Collaborative and Educational Sense
-making. Local: Springer.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Mascolo, M. F. (2005). Change processes in development: the concept of coactive scaffolding. New Ideas in Psychology, 23(3), 185-196.
Maturana, H. R., & Varela, F. J. (1987). The tree of knowledge. The biological roots of
human understanding. Boston: Shambhala.
Mead, G. H. (1913). The social self. The Journal of Phyilosophy, 10, 374-380.
Merrill, D., & Reiser, B. J. (1993). Scaffolding the acquisition of complex skills
with reasoning-congruent learning environments. AI-ED93 Workshop on
Graphical Representations, Reasoning, and Communication. Edinburgh, Scotland:
The University of Edinburgh.
Molina, F. (2001). Reasoning with Extended Venn-Peirce Diagrammatic Systems. Local:
University of Brighton Press.
Nersessian, N. J. (2002). The cognitive basis of model-based reasoning in science. In P. Carruthers, S. Stich, & M. Siegal (Eds.), The Cognitive Basis of Science
(pp. 133-153). Local: Cambridge University Press.
130
27/01/2014 10:38:49
Peirce, C. S. (1976). New Elements of Mathematics by Charles S. Peirce (C. Eisele, Ed.).
The Hague, The Netherlands: Mouton.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Peirce, C. S. Semiotics and Significs: the correspondence between Charles S. Peirce and Victoria Lady Welby. C. S. Hardwick (Ed.). Bloomington, IN: Indiana University
Press.
Peirce, C. S. (1977). Writings of Charles S. Peirce a cronological edition (Vols. 1-6,
Peirce Edition Project, Ed.). Bloomington, IN: Indiana University Press.
Peirce, C. S. (1994). The Collected Papers of Charles S. Peirce. Vols. I-VI [C. Hartshorne, & P. Weiss, Eds. Cambridge, MA: Harvard University Press, 19311935], Vols. VII-VIII [A. W. Burks, Ed. Cambridge, MA: Harvard University, 1958].
Peirce, C. S. (1998). The Essential Peirce: selected philosophical writings (Vols. 1-2, Peirce
Edition Project, Ed.). Bloomington, IN: Indiana University.
Piaget, J. (1970). Genetic epistemology (Eleanor Duckworth trans.). New York:
Columbia University Press.
Plato, (Men.). (1997). Meno, G.M.A (Grube, trans.). In J. M. Cooper, & D. S.
Hutchinson (Eds.), Complete Works (pp. 870-897) [quoted according to the
standard Stephanus-pagination]. Indianapolis, IN; Cambridge, MA: Hackett Publishing Company.
Renninger, K. A., & Granott, N. (2005). The process of scaffolding in learning
and development. New Ideas in Psychology, 23(3), 111-114.
Roberts, D. D. (1973). The existential graphs of Charles S. Peirce (= Approaches to
Semiotics, 27). The Hague, The Netherlands: Mouton.
Rogoff, B., Wertsch, J. V. (Eds.). (1984). Childrens learning in the zone of proximal
development. San Francisco: Jossey-Bass.
Roth, W.-M. (2004). Tappen Im Dunkeln. Der Umgang mit Unsicherheiten und
Unwgbarkeiten whrend des Forschungsprozesses. Zeitschrift fur Qualitative Bildungs-, Beratungs-, und Sozialforschung, 5(2), 155-178.
131
27/01/2014 10:38:49
Scaife, M., & Rogers, Y. (1996). External cognition: how do graphical representations work? Journal of Human-Computer Studies, 45(2), 185-213.
Selvin, A. M. (2003). Fostering collective intelligence: helping groups use visualized argumentation. In P. A. Kirschner, S. J. B. S., & C. S. Carr (Eds.),
Visualizing Argumentation: Software Tools for Collaborative and Educational Sensemaking (pp. 137-163). London: Springer.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Sherin, B., Reiser, B. J., & Edelson, D. (2004). Scaffolding analysis: Extending the
scaffolding metaphor to learning artifacts. Journal of the Learning Sciences,
13(3), 387-421.
Shin, S.-J. (1994). The Logical Status of Diagrams. New York: Cambridge University
Press.
Shin, S.-J. (2002). The Iconic Logic of Peirces Graphs. Cambridge, MA: MIT Bradford
Books.
Shin, S.-J., & Lemon, O. (2003). Diagrams. In E. N. Zalta (Ed.), The Stanford Encyclopedia of Philosophy (Summer 2006 Edition). Retrieved from http://plato.
stanford.edu/archives/sum2006/entries/diagrams/
Stjernfelt, F. (2000). Diagrams as centerpiece of a peircean epistemology. Transactions of the Charles S. Peirce Society, 36, 357-384.
27/01/2014 10:38:49
Venn, J. (1880). On the diagrammatic and mechanical representations of propositions and reasoning. The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science, 9, 1-18.
Wood, D., Bruner, J. S., & Ross, G. (1976). Role of tutoring in Problem-Solving.
Journal of Child Psychology and Psychiatry and Allied Disciplines, 17(2), 89-100.
Zeman, J. (1964). The Graphical Logic of C.S.Peirce. Ph.D. thesis, University of
Chicago.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
133
27/01/2014 10:38:49
27/01/2014 10:38:49
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
5
I Introduo
27/01/2014 10:38:49
duz diversas classificaes tricotmicas (ver Queiroz, 2004, 2007). Com respeito
sua prpria constituio, um signo pode ser uma qualidade (qualisigno), um
existente (sinsigno), ou uma lei (legisigno). A segunda tricotomia no sofre modificao importante, e descreve a relao do signo com seu objeto (cone, ndice,
smbolo). Uma terceira tricotomia descreve a capacidade do signo para gerar um
interpretante, e se divide em Rema, Dicente e Argumento (CP 2.250). O rema
um signo que, para seu interpretante, um signo de Primeiridade. Ele interpretado como um signo de possibilidade um signo de possibilidade qualitativa,
ou seja, entendido como representando esta e aquela espcie de objeto possvel
(CP 2.250). O dicente um signo que, para seu interpretante, um signo de existncia real, um evento ou uma ocorrncia portanto, ele no pode ser um cone,
que no fornece base para interpret-lo como sendo algo que se refere a uma
existncia real (CP 2.251). O argumento um signo que interpretado como
um signo de lei. Peirce distingue trs classes de smbolos: o legisigno simblico
remtico uma lei que est para um objeto da mesma natureza atravs de uma
possibilidade um substantivo comum (CP 2.261); o legisigno simblico
dicente uma lei interpretada como estando para um objeto da mesma natureza
atravs de uma conexo de fato uma proposio ordinria (CP 2.262); o
legisigno argumental simblico uma lei que representa um objeto da mesma
natureza como uma lei um argumento (CP 2.263). A importncia destas divises est relacionada preciso com que so descritas a natureza composta,
icnica-simblica, do diagrama, ou simblica-indexical dos quantificadores (EP
2:296, CP 2.264).
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:49
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
47 A distino de Peirce de um sistema de lgica como uma teoria analtica e como um clculo no
deve ser confundida com a distino de Jean van Heijenoort (1967) e Jaakko Hintikka (1988, 1997)
entre a concepo universalista e modelo-terica (ou calculus) da lgica e da linguagem. O trabalho de
Peirce em lgica e filosofia da lgica pertence tradio modelo-terica (ver Hintikka, 1997, pp. 13-16,
Hilpinen, 2004, pp. 611-612).
137
27/01/2014 10:38:49
Podemos dizer que o cone exibe seu significado atravs de suas formas e materiais (ver Fabbrichesi, Captulo 1 deste volume). Em outras palavras, aspectos do
prprio signo determinam sua interpretao de tal forma que qualquer objeto
que tem certas caractersticas, ou se ajusta a elas, pode ser considerado seu objeto.
IV Smbolos dicentes e remticos
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:49
chamou ateno para o fato de que o prprio Peirce indicou que sistemas de signos verbais, sonoros, podem produzir representaes diagramticas da realidade.
De acordo com Arnold (2011, p. 17),
tanto a distncia temporal entre palavras individuais na linguagem falada, cujas relaes so definidas por preposies
e verbos, como tambm a distncia espacial entre as palavras escritas na pgina refletem relaes entre objetos de
um modo diagramtico. Neste sentido, a linguagem cotidiana similar s equaes algbricas (cf. CP 2.279).
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
48 Para os conceitos de significao, conotao e denotao na semntica tradicional, ver Jong (1982,
pp. 73-74).
139
27/01/2014 10:38:50
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
V Proposio, ou smbolo dicente
27/01/2014 10:38:50
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Este mtodo pode ser chamado o mtodo da lente lgica focal ou o mtodo dos exemplos ideais (Hilpinen, 1995, p. 273-274). Como observado acima,
a mesma proposio pode ser usada em diferentes tipos de atos da fala, com
diferentes propsitos, mas para Peirce a lgica est interessada principalmente no uso assertivo de proposies, ou proposies como asseres potenciais:
entre todos os pensamentos em que a linguagem pode ser usada para expressar,
tais como emoes, comandos etc., a lgica limita seu escopo s asseres, aos
signos da verdade das asseres, e a outros signos envolvidos nestas (MS 12: 9;
ver NEM 4:248).
VI Grafos do sistema Alfa
Os GE representam proposies sobre um universo postulado de discurso que pode ser um universo de indivduos verdadeiramente existentes ou um
universo fictcio. Peirce observa que o propsito da lgica estudar raciocnios
49 Frege caracterizou um ato de assero de modo similar: o emissor de uma assero considerado o
responsvel ou o que pode responder por sua verdade (Frege 1903/1967, p. 269).
141
27/01/2014 10:38:50
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
142
27/01/2014 10:38:50
completos de regras somente para as partes Alfa e Beta. Seu trabalho com os
grafos Gama contm insights bastantes interessantes em semntica de lgica modal como, por exemplo, a ideia de que um tratamento satisfatrio de modalidades
requer diversas folhas de assero, correspondendo a diferentes mundos possveis. Mas ele no pde desenvolver uma teoria satisfatria de grafos modais, e o
sistema permaneceu apenas esboado. Neste captulo, consideramos somente os
grafos Alfa e Beta. Juntos, eles possuem o poder expressivo da lgica de primeira-ordem com identidade.
Os grafos do sistema Alfa so construdos atravs de grafos atmicos,
expressos aqui pelas letras sentenciais P, Q, R,..., ao (i) escrever ou desenhar
um nmero de grafos na folha de assero, ou (ii) desenhar ao redor do grafo
uma linha fechada chamada corte. Alm disso, uma folha de assero em branco,
ou qualquer parte da folha em branco, um grafo. Desenhar um grafo na
folha de assero interpretado como a assero do grafista, ou a suposio
de que o grafo (ou a proposio expressa pelo grafo) verdadeiro; desenhar
dois ou mais grafos na folha resulta em afirmar que todos so verdadeiros.
Assim, a justaposio de proposies na folha expressa suas conjunes. O
corte funciona como signo de negao: ao fechar um grafo, o grafista nega
o grafo inteiro no interior do corte. A figura 1 mostra um grafo para a forma
proposicional P &Q.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Peirce chama a rea em que o corte desenhado de lugar do corte, e o espao fechado pelo corte de rea ou fechamento do corte (CP 4.399-400, 4.437). Os
cortes no podem se interseccionar, uns com os outros, mas a rea (superfcie)
no interior de um corte pode conter outro corte. Assim, um grafo complexo
um ordenamento, ou uma ordenao, tipo-rvore, de cortes. Uma rea fechada
por um corte na folha de assero no uma parte da folha: o corte separa tudo
que circunda da folha de assero, na qual ele se encontra, ou de qualquer outra
rea em que esteja (CP 4.399). Os grafos escritos ou traados (CP 4.397) em tais
reas no representam asseres (ou conjecturas) feitas pelo grafista. Qualquer
143
27/01/2014 10:38:50
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
P
G2.1
G2.2
144
27/01/2014 10:38:50
(corte) representada pelo fechamento em uma frmula de colchetes, e a justaposio de duas frmulas representa sua conjuno (ver CP 4.378-383). Os
grafos nas figuras 1-2 so equivalentes s seguintes frmulas:
(1) P[Q]
P &Q
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
(2) [P[Q]]
PQ
(3) [[P][Q]]
PVQ
Como nas representaes bidimensionais, o arranjo das frmulas justapostas irrelevante; assim (1) equivalente [Q]P, (2) equivalente [[Q]
P], e (3) equivalente [[Q][P]]. Esta linguagem formal muito simples; por
exemplo, no existe a necessidade de marcas de pontuao separadas. Contudo, frmulas complexas so frequentemente mais difceis de ler do que representaes bidimensionais (CP 4.384). Na discusso abaixo, devemos algumas
vezes representar os GE na notao colchete linear, por sua convenincia
tipogrfica.
As letras sentenciais (grafos atmicos) do sistema Alfa representam proposies completas. O poder expressivo da lgica de predicado pode ser obtido
ao acrescentar aos signos primitivos do sistema Alfa:
(i) expresses para predicados de n-rios (n = 1, 2, ...), e
(ii) signos que se referem a indivduos no universo do discurso representado pela folha de assero.
Uma expresso predicativa obtida ao se apagar um ou mais termos individuais de uma sentena completa. Por exemplo, a excluso do nome prprio
Oscar de uma sentena indicativa:
(4) Oscar um gato.
produz a expresso predicativa, ou, na terminologia de Peirce, um
rema (CP 4.438),
145
27/01/2014 10:38:50
(5) __ um gato.
onde a linha _ indica o local vazio que pode ser preenchido por um
nome prprio, ou outro signo indexical para transformar (5) em uma
proposio. Da mesma forma, a excluso do termo-sujeito da sentena:
(6) Algum ama Oscar.
produz os signos remticos (predicados)
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
(7) __ ama Oscar.
146
27/01/2014 10:38:50
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Figura 4 - Um grafo para $xWx$x$y(Px & Cy & Lxy).
Ao conectar as linhas de identidade acopladas a W e P, obtemos a proposio Alguma mulher uma filsofa que ama um gato (Alguma mulher uma
filsofa que ama gatos).
27/01/2014 10:38:50
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Se os pontos fortes nos pontos finais de uma linha de identidade so considerados ndices, uma linha conectando-os serve como um signo icnico de sua
correferncia, e pode ser considerada como afirmando precisamente a identidade dos indivduos denotados por suas extremidades (CP 4.406). No formalismo
padro da teoria da quantificao, tal assero tem a forma:
(10) $x$y(x = y)
onde as variveis x e y correspondem aos pontos finais de uma linha de identidade. Na teoria da quantificao ordinria, a frmula aberta:
(11) $y(x = y)
pode ser considerada como um predicado de existncia. Assim (10) uma boa
formalizao da afirmao de que algo existe. De acordo com esta interpretao de
linhas de identidade, os grafos na figura 3 expressam a assero:
(12) Algum indivduo, x, idntico a algum indivduo, y,
e y um filsofo,
148
27/01/2014 10:38:50
isto ,
(13) $x$y(x = y & Py)
que equivalente
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
(14) $xPx
A equivalncia de (13) e (14) nos permite ler uma linha de identidade associada a um ponto como um quantificador existencial.
De modo mais geral, Peirce considera uma linha forte no fechada desenhada na folha de assero como um signo de correferncia de todos os seus
pontos: Uma linha forte entendida como afirmando, quando no fechada, que
todos os seus pontos denotam o mesmo indivduo, assim sendo, qualquer poro
dela deve ser considerada um ponto (CP 4.474).
Os pontos representam signos predicativos. Assim, qualquer parte de
uma linha de identidade serve como um predicado de identidade. Neste sistema, o conceito de identidade no requer um ponto determinado ou predicado
de identidade. Uma linha de identidade tambm pode ser pensada como consistindo de um nmero de segmentos arbitrrios, e assim como qualquer outra
rea em branco da folha de assero pode ser considerada como vazia, ou uma
assero tautolgica, qualquer segmento de uma linha de identidade pode ser
considerado um signo indexical de um indivduo no especificado. A continuidade da linha serve como um signo icnico da correferncia de suas partes.
Esta interpretao da linha de identidade concorda com a concepo de Peirce
de individualidade. Segundo Peirce, se existisse qualquer caracterstica que um
termo singular no conotativo, tal como um nome prprio, pudesse essencialmente significar, seria a continuidade da histria de seu objeto (MS 283:144-45).
Assim, qualquer frmula:
27/01/2014 10:38:50
De acordo com Peirce, a proposio de que algo existe tambm pode ser
expressa ao traar na folha de assero um ponto forte no associado expresso
predicativa: um ponto afirma meramente que algum objeto individual existe (CP
4.567). Neste caso, o ponto considerado um signo icnico de existncia e sua
localizao na folha um indcio do universo de discurso. Assim, a ocorrncia
do ponto na folha informa ao intrprete que algo existe no universo de discurso
da mesma forma que, por exemplo, a palavra vidro em uma caixa significa que
a caixa contm vidro (ver CP 4.56).
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
IX Linha de identidade
Se uma linha de identidade considerada um signo icnico da correferncia de seus segmentos, fcil ver como se pode interpretar uma linha que cruza
um corte. Para Peirce, os grafos deveriam ser interpretados endoporeuticamente, de
fora para dentro, o que significa que a aplicao [interpretao] de um Grafo na
rea de um Corte depender da predeterminao da aplicao daquilo que est
no Lugar do Corte (CP 4.561). Se uma linha de identidade cruza um corte, sua
interpretao determinada por sua parte externa (cf. MS 650:18-19, MS 669:5,
Roberts, 1973, p. 39). Considere o grafo na figura 7:
27/01/2014 10:38:50
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
(18) $x(Sx &Px)
Em outras palavras, o grafo na figura 7 diz simplesmente que algum estudante no um filsofo (CP 4.407).
A negao de (18) a generalizao universal
(19) x(Sx Px)
Considere agora um grafo em que uma linha de identidade funciona, entretanto, como um corte, como o grafo na figura 9.
27/01/2014 10:38:50
duos representados pelos dois segmentos exteriores so tais que nenhum terceiro
elemento, representado pelo segmento interno, idntico a nenhum deles. Isto
expresso pela frmula:
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Assim, G9 (Figura 9) afirma que pelo menos dois indivduos existem. (21)
a traduo mais simples de G9 para o formalismo padro da teoria da quantificao; assim, ela pode ser considerada como a traduo padro de G9. A interpretao do grafo G9 no baseada em uma estipulao especial (Shin, 2002,
p. 114), mas segue atravs da regra geral que uma linha de identidade afirma a
correferncia de seus segmentos arbitrrios.
27/01/2014 10:38:50
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
153
27/01/2014 10:38:50
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Figura 10 - Uma prova de P R de P Q R.
segue:
(2) [[[P]][R]]
(3) [P[Q]]
A premissa [Q] ocorre no interior de um duplo corte e, portanto, em contexto positivo e pode ento ser apagada.
(IN) permite ao grafista adicionar conjunctos ao antecedente e disjunctos ao
consequente de um condicional e tambm torna possvel a introduo de hiptese em uma prova. Aqui est um exemplo muito simples, uma prova de P P
na notao de colchetes:
(2) [[]]
(3) [P[]]
(4) [P[P]]
27/01/2014 10:38:50
(3) [[Q]]
(4) Q
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Notem que cada linha, nesta formulao, de uma prova, representa a folha
de assero inteira em considerao. Assim, todas as premissas devem ser escritas
na mesma linha (primeira). O primeiro estgio em (24) justificado por (DI), a
Regra de Deiterao: [P] pode ser apagada do contexto negativo em (24.1) porque poderia ter sido introduzida por (IT). (Em [24.1], o local do corte em cujo
interior se encontra [P] contm outra ocorrncia desta.)
(23) mostra como uma prova de um grafo G, a partir do grafo F, pode ser
convertida em uma prova do condicional F G. As primeiras passagens da prova de F G so anlogas s trs primeiras passagens da prova em (23), e ento
a prova de G a partir de F reproduzida dentro do corte duplo. Desta forma,
temos a prova de F G atravs de um grafo vazio. Assim, um condicional pode
ser provado uma vez obtido o consequente a partir do antecedente.
27/01/2014 10:38:50
desta adio. (ii) Qualquer terminal livre de uma ligadura pode ser
estendida internamente atravs de cortes. (iii) Qualquer ligadura assim estendida pode ser conectada ligadura correspondente de uma
instncia iterada de um grafo. (iv) Um ciclo pode ser formado ao
se juntar, por extenses internas, os dois terminais livres que so as
partes mais interiores de uma ligadura.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
A prova mostrada na figura 12 a prova do princpio de que tudo autoidntico (i.e., no o caso de que algo no seja autoidntico). Os primeiros dois passos so
justificados pela Regra de Insero e a clusula (ii) da Regra de Iterao (cf. Robert,
1973, p. 62).
156
27/01/2014 10:38:51
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
(BC.b) Regra de Duplo Corte. Um duplo corte pode ser inserido em torno
(ou ser removido) de qualquer grafo. A aplicao da regra no
afetada pela existncia de linhas de identidade que atravessam o
duplo corte do exterior do corte externo para o interior do corte
interno, desde que nenhum grafo ocorra entre os cortes.
157
27/01/2014 10:38:51
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:51
Os grafos Beta tambm podem ser escritos em forma linear, ao usar variveis
individuais ou seletivos (CP 4.408, 4.460-461) para indicar como as linhas de
identidade so associadas a vrios pontos (expresses predicativas) de um grafo.
A interpretao de uma linha de identidade ou uma ligadura depende de sua parte
externa (menos fechada): se a parte externa de uma linha est em um contexto
positivo, ela um quantificador existencial (um signo de indefinio), e se a parte
externa est em um contexto negativo, ela funciona como um signo de generalidade, e pode ser considerada um quantificador universal. Assim, a interpretao
de uma linha de identidade determinada por (i) a localizao de sua parte externa, (ii) terminais a que est associada. Estes aspectos podem ser representados
por meio de uma varivel individual associada a smbolos de predicados, juntamente com a ocorrncia adicional de uma varivel que indica a localizao da
parte externa da linha. Peirce chama este signo de seletivo(CP 4.408):
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Por exemplo, considere os grafos na figura 16, para Algum nem um filsofo,
27/01/2014 10:38:51
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
(29) $x(Px &Sx)
De acordo com as regras (DI) e (ER), (32) pode ser reduzido ao absurdo
(o pseudografo):
(33) [ ],
160
27/01/2014 10:38:51
isto , uma contradio. Tal prova frequentemente mais simples e mais fcil de
construir do que a transformao de um grafo representando as premissas em
um grafo para a concluso. Por exemplo, se queremos provar Q a partir de PvQ e
P (ver figura 14 acima), escrever apenas as premissas e a negao de Q na folha
de assero constitui a prova por que o grafo resultante tem a forma desejada
H[H], como mostrado em (34):
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
(34) [[P][Q]] [P] [Q]
27/01/2014 10:38:51
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
O carter tipo-linguagem dos grafos pode ser examinado pelo fato de serem intensionalmente isomorfos s frmulas da lgica de primeira-ordem. Como
observado anteriormente, os GE tm a mesma estrutura intensional da frmula
linear, em que o corte representado por colchetes e as linhas de identidade por
seletivos,54 e tais frmulas so intensionalmente isomorfas s frmulas da notao padro da lgica de primeira-ordem, em que a negao, conjuno e quantificador existencial so usados como conectivos primitivos.
XIV Como os GE exibem seus significados?
A iconicidade do signo indica que ele mostra o que significa. Como os
GE mostram seus significados? A iconicidade de um grafo depende de certas
53 Peirce chamou estes diagramas de diagramas melhorados de Euler (ver CP 4.363). Ele usa x ao invs
de 1 para mostrar que uma certa rea do diagrama no vazia.
54 Para o conceito de isomorfismo intensional e estrutura intensional, ver Carnap (1956, pp. 56-59).
162
27/01/2014 10:38:51
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
163
27/01/2014 10:38:51
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
podem alcanar, tem uma atitude relativamente hostil, e procura por uma interpretao menos defensvel (MS 9:3-4).
55 Sobre a semntica da teoria dos jogos, ver: Hintikka & Sandu (1997).
164
27/01/2014 10:38:51
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
(36) yWy[xMx[Lxy]]
No jogo com esta proposio, o emissor (o grafista) pode escolher uma
mulher para a linha de identidade externa, indicada pelo seletivo y. No prximo
passo, a vez do intrprete escolher um homem que no ama a mulher escolhida
pelo emissor. O emissor tem uma estratgia para ganhar (a proposio verdadeira) se ele puder achar uma mulher para quem o intrprete no possa achar um
homem que no a ame. Em cada contexto, o jogador (o emissor ou o intrprete)
que est exercendo o papel de advogado pode escolher um indivduo para uma
linha de identidade, cuja parte externa aparea neste contexto. Um GE um sm165
27/01/2014 10:38:51
XV Comentrio final
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Peirce reinventou diagramaticamente a teoria da quantificao ao express-la atravs de cones visuais. Os diagramas so a principal, seno a nica, forma
de adquirirmos novo conhecimento sobre relaes (Johansen, 1993, p. 99). Uma
notao que permite exibio icnica dos processos dedutivos deve ser, para
propsitos analticos, mais poderosa que notaes algbricas. Este argumento
tem sido, convincentemente, defendido por muitos autores. Neste captulo, ns
introduzimos as noes de cone, smbolo, e suas subdivises em smbolos dicentes e remticos. Em seguida, abordamos a estrutura semitica da proposio
lgica, e introduzimos os sistemas Alfa e Beta, suas estruturas grficas e sintaxe
de transformaes.
Referncias
Arnold, M. (2011). Images, diagrams, and narratives: Charles S. Peirces epistemological theory of mental diagrams. Semiotica, 186(1/4), 5-20.
Atkin, A. (2006). Peirces Theory of Signs. In E. Zalta (Ed.), The Stanford Encyclopedia of Philosophy(Winter 2003 Edition). Retrieved from http://plato.
stanford.edu/entries/peirce-semiotics
Burch, R. W. (2011). The fine structure of Peircean ligatures and lines of identity.
Semiotica, 186(1/4), 21-68.
Burks, A. (1949). Icon, Index, and Symbol. Philosophy and Phenomenological Research,
9, 673-689.
Carnap, R. (1956). Meaning and Necessity (Enlarged Edition). Chicago: University
of Chicago Press.
Freadman, A. (2004). The Machinery of Talk. Charles Peirce and the Sign Hypothesis.
Stanford, CA: Stanford University Press.
56 Para rvores de jogos (jogos na forma extensiva), ver Luce & Raiffa (1957, pp. 39-49).
166
27/01/2014 10:38:51
Frege, G. (1967). Uber die Grundlagen der Geometrie II. In I. Angelelli (Ed.),
G. Frege, Kleine Schriften (pp. 267-272). Darmstadt, Germany: Wissenschaftliche Buchgesellschaft. (Original work published (1903). Jahresbericht der
Deutschen Mathematiker-Vereinung, 12, 368-375)
Heijenoort, J., Van. (1967). Logic as Calculus and Logic as Language. Synthese, 17,
324-330.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Hausman, C. (1993). Charles Sanders Peirces Evolutionary Philosophy. Cambridge, England: Cambridge University Press.
27/01/2014 10:38:51
Luce, R. D., & Raiffa, H. (1957). Games and Decisions: Introduction and Critical Survey.
New York: John Wiley and Sons.
Peirce, C. S. (1885). On the Algebra of Logic: A Contribution to the Philosophy
of Notation. The American Journal of Mathematics, 7, 180-202. (Reprinted in
CP 3.359-403 and in W 5, 162-190).
Peirce, C. S. (1997). Pragmatism as a Principle and Method of Right Thinking: The 1903
Harvard Lectures on Pragmatism (P. A. Turrisi, Ed. ). New York, State University of New York Press. Original work published 1903.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Pharies, D. (1985). Charles S. Peirce and the Linguistic Sign. Amsterdam: John Benjamins Publishing.
Pietarinen, A.-V. (2005). Signs of Logic. Peircean Themes in the Philosophy of Language,
Games, and Communication. Dusseldorf, Germany: Springer Verlag.
Queiroz, J. (2004). Semiose Segundo Peirce. So Paulo: Educ.
Queiroz, J. (2007). Classificaes de signos de C. S. Peirce: de On the Logic of
Science ao Syllabus of Certain Topics of Logic. Trans/Form/Ao, 30,
179-195.
Roberts, D. D. (1973). The Existential Graphs of Charles S. Peirce. The Hague, Paris:
Mouton.
Roberts, D. D. (1992). The Existential Graphs. Computer and Mathematics Applications, 23, 639-663.
Savan, D. (1987). An introduction to C. S. Peirces full system of semeiotic. Monograph
Series of the Toronto Semiotic Circle vol. 1. Toronto, Canada: Toronto Semiotic
Circle.
168
27/01/2014 10:38:51
Shin, S.-J. (1994). The Logical Status of Diagrams. Cambridge, England: Cambridge
University Press.
Shin, S.-J. (1999). Reconstituting Beta Graphs into an Efficacious System. Journal
of Logic, Language and Information,8, 273-295.
Shin, S.-J. (2002). The Iconic Logic of Peirces Graphs. MIT Press.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
169
27/01/2014 10:38:51
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:51
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
6
A=B
UMA VISO PEIRCEANA
I Introduo
Desde que Robert Recorde introduziu o smbolo A = B, em 1557 (Recorde, The Whetstone of Witte, London, 1557), afirmando que no existem duas
coisas mais semelhantes do que dois segmentos paralelos, a igualdade tem criado
diversos enigmas e produzido questes bastante desafiadoras. Ela sempre foi
uma fonte de perplexidades filosficas.
O smbolo A = B contm o smbolo A = A, e ao mesmo tempo difere
dele, pois conforme o lado a que damos prioridade, uma equao desse tipo pode
ser vista de maneiras diferentes. Pode-se comear com duas coisas diferentes e
descobrir algo que elas tm em comum e o que as torna iguais. Ou pode-se comear com uma coisa e depois descobrir que ela tem caractersticas ou propriedades
diferentes. Ou seja, em um caso comeamos com o que igual, e no outro com
o que diferente.
Na geometria, antes de 1800, dois tringulos A e B eram considerados
iguais, A = B, quando eram congruentes, ou seja, quando eram considerados
como manifestaes de uma forma comum, no sentido platnico. A partir do sculo XIX, os matemticos comearam com a distino, considerando dois trin171
27/01/2014 10:38:51
gulos como iguais somente quando eles so idnticos, ou seja, quando so compostos dos mesmos pontos (axioma da extensionalidade de Cantor). Percebe-se
que no assunto da igualdade que se encontra a gnesis histrica da matemtica
moderna e a sua transformao de uma cincia de conceitos em uma cincia de
objetos (conjuntos).
Whitehead (1898) chamou o comum na equao A = B de trusmo e chamou a diferena de seu paradoxo. Dentro de um clculo, ele escreve, o trusmo
passado com a mnima ateno, enquanto a nfase colocada no paradoxo. Os
smbolos so meros ndices no clculo. O trusmo torna-se relevante no estabelecimento ou na aplicao do clculo.
Consideremos o axioma da comutatividade: a . b = b . a.
Nos raciocnios formais, usamos esta lei puramente formal para sermos
capazes de descobrir novas verdades, deixando para trs toda a intuio e trabalho mental que tinham sido necessrios para estabelecer este axioma. Isto parece
um paradoxo, porque assume que o conhecimento matemtico deriva da atividade semitica, ao invs de derivar de alguma reflexo mental. E, alm disso, cada
atividade est sujeita a leis que no so totalmente conhecidas.
Dessa forma, vamos supor que, para o nosso discurso neste captulo, a atividade semitica oferece uma perspectiva adequada. Algumas pessoas imaginam
que seus pensamentos sejam resultado da vontade livre, e consideram a simbolizao uma roupa escolhida depois, de acordo com a sua vontade, e que poderia
ser de alguma utilidade para comunicar seus conhecimentos para outras pessoas,
mas que no tem papel no desenvolvimento do conhecimento. No entanto, ns
construmos sistemas de signos para desenvolver nosso pensamento e para aumentar nosso conhecimento.
Assim, na semitica existem dois pontos de vista extremos. Um deles
considera o signo como um dispositivo arbitrrio do sujeito, ou seja, uma mera
inveno. O outro os coloca em proximidade com as leis naturais, considerando-os em primeiro lugar como determinados por seus objetos. Por exemplo, o
movimento do girassol reflete ou representa o movimento do sol durante o dia.
A comunicao humana certamente no uma conexo entre sistemas reativos,
como no caso do girassol. A comunicao sempre depende da metacomunicao ou do contexto. Isto se mostra mais claramente no caso das metforas.
Agora, voltemos ao problema da dialtica entre o diferente e o igual na
equao A = B. Podemos comear com o diferente e depois reificar a relao,
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
172
27/01/2014 10:38:51
chegando a outro caso. o que acontece na situao 1 terno = 2 pares de sapatos, onde o terno e os dois pares de sapato tm somente valor de troca em
comum, e depois destilamos o valor econmico, representado pelo dinheiro,
como uma nova coisa e expressamos o valor de terno e sapatos em termos
dessa nova coisa.
Temos aqui que reformular nossa equao da seguinte maneira: 1 terno
tem o mesmo valor que 2 pares de sapatos; A tem o mesmo V que B, em que a
letra V substituvel por uma ideia, um conceito ou um termo categorial. Terno
e sapatos, como mercadorias, nada mais so do que aspectos ou manifestaes
do valor econmico, e no so considerados neste contexto como objetos empricos. Ou seja, no mercado, a igualdade (a categoria) se mostra primeiro e as
formas concretas (terno e sapatos, por exemplo) so formas concretas ou manifestaes ou perspectivas diferentes sobre certo objeto. Para os comerciantes,
ternos ou sapatos no tm interesse algum. O que conta o lucro que eles podem
obter com tais coisas. No cotidiano, a situao oposta, pois terno e sapatos so
coisas bem diferentes em termos de uso. A energia fornece outro exemplo, considerando o calor e o movimento como diferentes representaes dela.
No Fdon (74abc) de Plato, ns lemos:
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:51
Nossa perspectiva semitica nos leva a assumir que esta distino entre o
particular e o universal (entre objeto e smbolo, por exemplo), sobre a qual Plato
est se referindo, se repete em vrios patamares. Por exemplo, na matemtica
encontramos funes, e funes de funes, e funes de funes de.... etc. (veja
parte VI). Uma vez que as entidades abstratas foram admitidas, nossas possibilidades de conceitualizao vo gerar naturalmente uma interminvel hierarquia
de novas abstraes. E, alm disso, existe uma simetria entre funes e seus argumentos, ou entre conceitos e objetos, pois sempre temos que assumir conceitos
como objetos de outros conceitos (veja parte III). sempre necessrio encarar o
prprio instrumento do conhecimento cientfico como objeto de investigaes, e
reciprocamente. Conceitos e objetos devem ser diferenciados em cada momento
da atividade cientfica, mas eles desempenham um papel totalmente simtrico na
evoluo da cincia (Otte, 1991, cap. 10, pp. 219ff).
Para Plato isto seria inimaginvel. Os universais so simplesmente distintos e eles organizam o mundo das coisas, e so reciprocamente conectados. Ns
assumimos, assim como Peirce, que o pensamento uma atividade semitica, da
a diferena quanto ontologia de Plato.
Se verdade que a inteligncia humana um produto da metfora e da
matemtica combinatria (Pinker, 2008, p. 280), ento metaforicamente comeamos com a ideia que rene A e B no diagrama A = B, e nos clculos comeamos com a diferena entre os objetos (sinais). Mas sempre h transformaes
de um lado a outro. Metforas se transformam em significados literais, relaes
entre objetos diferentes so idealizadas e deixam as coisas no papel de manifestaes diferentes de alguma significao geral.
O signo da igualdade pode ser usado tambm em tradues de sentenas
mais complexas para notao formal. Por exemplo, Bert (B) no ama (L) algum
alm de Alice (A) traduz-se assim: BLA e para todo X, se BLX ento X = A.
No outro extremo, encontramos equaes em que no bvio que igualdade est
sendo examinada (como no caso de metforas, smiles e analogias). A metfora
deveria ser derivada a partir do que relacionado, mas no to obviamente, diz
Aristteles (Rhet. 3, 11, 5). Metforas tm uma estrutura intensional, e este
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
174
27/01/2014 10:38:52
um dos marcos desta estrutura, que cria resistncia a substituies gerais para
expresses equivalentes.
Isto significa que a metfora depende do contexto, ou do uso lingustico.
Como nossa lngua natural , em primeiro lugar, empregada para fazer poltica,
ou seja, para assegurar nossa posio no contexto social, os elementos da retrica
dominam. Mas na linguagem matemtica, na lgebra, por exemplo, a funo da
representao mais importante. Assim, Aristteles diz, igualmente tolo aceitar o raciocnio provvel de um matemtico quanto exigir provas demonstrativas
de um retrico (Nicomachean Ethics, 1094b12-27). Mas encontramos metforas em ambas, exatamente porque o metafrico s se mostra na interpretao.
Este contexto de que estamos falando, s vezes, objetivo em relao
ao nosso pensamento como, por exemplo, no caso da equao econmica de
duas mercadorias: 1 terno = 2 pares de sapatos, onde o terno e os dois pares
de sapato tm somente valor de troca em comum, e nada mais, no podendo ser
equacionados em outros contextos. E mais, metforas so equaes no universo
das possibilidades, e no no mundo emprico real. Metforas aparecem em abundncia na matemtica pura. Teorias so esboos que representam coisas possveis
ou concebveis, no so espelhos da realidade emprica.
Deve-se notar ainda que A = B , como no exemplo do valor econmico,
mais frequentemente construdo ou postulado do que abstrado. Isto , embora
possa parecer que certas caractersticas formais de vrios comparata tornem
possvel alguma comparao, deveramos dizer tambm que a comparao torna
possvel construir aquelas caractersticas formais. De maior interesse so aqueles
casos onde a atividade (terica, prtica, lingustica) produz relaes, em vez de
simplesmente depender de relaes j produzidas.
A semitica faz parte de uma teoria geral de sistemas. Os sistemas, isto ,
as organizaes complexas constitudas a partir de outros organismos complexos, so eles prprios dependentes do seu ambiente. Da o paradoxo:
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:52
Este paradoxo s se resolve de um ponto de vista evolucionista ou gentico. Da nossa primeira concluso, que nos coloca em certa oposio aos lgicos
em nossas anlises e consideraes, temos que adotar uma perspectiva gentica.
O paradoxo do pensamento em sistemas talvez possa ser ilustrado de uma
forma simples. Atualmente, as equipes europeias de futebol tm adotado cada
vez mais o estilo sistemtico da escola holandesa. claro que voc deve ter os
jogadores adequados para desempenhar este estilo altamente atraente. Mas veja
bem: jogadores adequados no significa apenas jogadores fsica e tecnicamente
versteis, cujas capacidades se encaixam. Isso significa, como as pessoas comeam a perceber mais e mais, jogadores que possuem um esprito mais desenvolvido, maduro e autodeterminado, ou seja, jogadores que representam sistemas
complexos para comear. Por outro lado, estas personalidades s podem se desenvolver e amadurecer na prtica da equipe.
Sinais so ferramentas e o significado de uma ferramenta, ou de uma
mquina, est em suas funes. dito, desde o sculo XIX, que as mquinas
cumprem determinadas funes mas no explicam nada. Esta viso est profundamente errada. No se pode ter certeza das funes que uma mquina cumpre
ou pode cumprir. Mesmo instrumentos simples podem ser colocados em uma
variedade de propsitos. Tomemos o exemplo de um tronco de madeira. Ele
pode ser utilizado como uma alavanca, como um peso para equilibrar algo, como
um pndulo, como um prumo, como uma fonte de energia, para substituir uma
roda quebrada, etc. Por outro lado, nunca se pode ter certeza se uma determinada mquina complexa pode funcionar corretamente em todas as circunstncias.
Uma mquina tem sua prpria resistncia ou objetividade que nunca podemos
conhecer totalmente. Os matemticos tm construdo poderosos sistemas formais e perderam o controle deles, como os paradoxos lgicos mostram.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
II Frege
Seguindo Frege, A = B, hoje, correntemente interpretado ao dizer que
A e B so diferentes intenses da mesma extenso. Ambos os termos, A e B,
tm a mesma referncia, mas sentidos (ou modos de apresentao) diferentes.
Frege perguntava: Como pode uma afirmao de identidade de dois smbolos
ou nomes A e B ser informativa, se estes smbolos s significam os seus referentes? Frege acreditava que uma diferena entre A = A e A = B s poderia
acontecer quando a diferena dos caracteres correspondesse a uma diferena no
176
27/01/2014 10:38:52
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Sejam a, b, c as linhas que conectam os vrtices de um tringulo com os pontos medianos dos lados opostos. O ponto
de interseco de a e b o mesmo que o ponto de interseco de b e c. Portanto, temos designaes diferentes para
o mesmo ponto, e estes nomes (ponto de interseco de
a e b; ponto de interseco de b e c), da mesma forma,
indicam o modo de apresentao, e consequentemente a
declarao contm conhecimento efetivo. Sugere-se conectar a um smbolo, alm do referente, que chamamos o significado do smbolo, uma outra coisa, que chamo o sentido
do signo e que contm a maneira como o referente dado.
Os significados das frases o ponto da interseco de a e b
e o ponto de interseco de b e c so o mesmo, mas no
os seus sentidos. (Frege, 1892/1969, p. 40)
27/01/2014 10:38:52
isto porque em casos mais complicados no sabemos como as vrias representaes sero relacionadas, umas com as outras. Alm disso, essa extenso, sobre
a qual fala Frege, e que faz A = B verdadeira, como no exemplo dos ternos e
sapatos e seus valores econmicos, ou como no caso das entidades matemticas,
ou de termos tericos como energia, de que calor e movimento so diferentes
representaes, ou do campo eletromagntico, ou do tringulo geral, nestes casos
a extenso no necessariamente dada, como tal, como um objeto emprico, mas
preferencialmente como um objeto universal ou uma relao invariante.
A famosa equao de Frege, a estrela da noite = a estrela da manh (Vspero Fsforo), entendida, principalmente na filosofia analtica, como a equao de duas descries do planeta Vnus. Frege entende a equao como uma relao entre nomes diferentes do mesmo objeto. No entanto, podemos perguntar:
como sabemos que A = B verdadeira e como justificamos tal afirmao? Por
exemplo, os antigos astrnomos, que chamavam a estrela da manh de Fsforo
e a estrela da tarde de Vspero, ignorando que ambos os corpos celestes so o
planeta Vnus, no acreditariam que Vspero Fsforo, e, caso viessem a saber
que assim, teriam tido conhecimento dessa identidade apenas a posteriori.
Se algum diz a estrela da noite = estrela da manh, ento no se trata
de uma relao entre duas expresses lingusticas, como Frege afirma, mas uma
alegao emprica dizendo que o corpo luminoso celestial em um determinado
ponto no cu noite o mesmo que est na parte da manh no mesmo local.
Vspero e Fsforo no podem ser entendidas como descries, mas como ndices ou nomes, como indicadores de um lugar. Frege poderia, no entanto, permanecer em sua sala de estar e dizer Vspero ou estrela da noite, para mim, uma
descrio da estrela mais brilhante no cu da noite, e a estrela da manh corresponde estrela mais brilhante no cu da manh; assim eu compartilho com
voc a afirmao a estrela da noite = a estrela da manh (Vspero Fsforo).
Dependeria, ento, de como pode fazer essa descrio. Ns, em ltima instncia,
precisamos olhar novamente para o cu e fazer comparaes.
Isso implica que A = B, na verdade, no representa uma proposio analtica e no simplesmente uma relao entre descries. Por isso, Frege assumiu
que descries tm valor denotativo. Por outro lado, Frege acreditava que a um
nome est tambm associado um sentido, e isto implica que Frege no distinguiu
rigorosamente entre descries definidas e nomes. Russell era crtico sobre isso,
com razo, como veremos na prxima seo.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
178
27/01/2014 10:38:52
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Mais alguns comentrios devem ser feitos aqui. Com respeito ao desenvolvimento da questo e contrrio afirmao de Frege, parece bastante relevante saber qual a definio escolhida, que perspectiva assumida, ou como uma
situao-problema representada. certamente importante como um matemtico define algo, uma seo cnica, por exemplo, ao tomar o exemplo de Frege.
Dois conceitos A e B no so os mesmos, ainda que contingentemente ou necessariamente todos As sejam Bs, e vice versa. Conceitos diferentes ajudam a estabelecer tipos diferentes de relaes e, portanto, influenciam o desenvolvimento
cognitivo de maneiras diferentes. Dois conceitos poderiam ser extensionalmente
equivalentes e ainda assim poderiam ser diferentes, e provavelmente funcionariam diferentemente em certo contexto cognitivo. A = B poderia ser talvez mais
convenientemente interpretado como uma transformao, ou como uma relao
de referncia. Teorias, em um mundo em desenvolvimento, no podem nunca ser
exclusivamente teorias extensionais, pois nosso conhecimento nunca completo
e a teoria nunca coincide com a realidade.
Por um lado, o conhecimento est inevitavelmente ligado s representaes simblicas, e os sistemas de signos ou de smbolos aparecem como indicadores visveis dos tipos ou aspectos do conhecimento. Cada texto um signo!
Em particular, qualquer pessoa pode distinguir, pelas frmulas espalhadas pelas
pginas, que um texto matemtico no , digamos, um romance. Nesse sentido,
inapropriado que professores ridicularizem a confuso dos estudantes que pen-
179
27/01/2014 10:38:52
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
. . . matematicamente cada uma das trs formulaes diferentes, a lei de Newton, o mtodo de campo local e o
princpio mnimo, produzem exatamente as mesmas consequncias. Ento o que podemos fazer? Voc ler, em todos
os livros, que ns no podemos decidir cientificamente entre uma ou outra. Isso verdade. Elas so cientificamente
equivalentes. impossvel tomar uma deciso, porque no
existe nenhum caminho emprico para distinguir entre elas
se todas as consequncias forem as mesmas. Mas psicologicamente elas so muito diferentes de dois modos. Primeiro,
filosoficamente, voc gosta ou no gosta delas. Segundo,
psicologicamente, elas so diferentes porque so completamente incompatveis quando voc est tentando adivinhar
novas leis. Uma vez que a fsica incompleta, e ns estamos
tentando compreender outras leis, ento as formulaes
de diferentes possibilidades podem dar pistas sobre o que
poderia acontecer em outras circunstncias. Neste caso,
elas no so mais equivalentes psicologicamente, sugerindo suposies sobre novas leis numa situao mais ampla.
(Feynman, 1967, pp. 50-55)
27/01/2014 10:38:52
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
percebeu, muito mais claramente do que qualquer antecessor, toda a importncia filosfica desta distino. Isso foi
o que o emancipou do leibnizianismo, e ao mesmo tempo
colocou-o em oposio ao sensacionalismo. Foi tambm o
que lhe permitiu ver que nenhuma descrio geral da existncia possvel, que talvez a mais valiosa proposio que
a Crtica da Razo Pura contm..... Mas ele fez uma distino forte demais entre as operaes de observao e de
raciocnio. Ele se permitiu pensar que este ltimo somente
comea aps a primeiro se completar; e falhou completamente em ver que mesmo a mais simples concluso silogstica s pode ser feita observando as relaes dos termos
nas premissas e na concluso. (CP 1.35)
Deveramos indicar algumas consequncias da famosa Teoria das Descries de Russell que, acreditamos, foi antecipada por Peirce. Isto no surpreendente se levarmos em conta que Russell e Peirce, independentemente das
enormes diferenas de seus sistemas filosficos, so netos de Berkeley em certo
sentido, tendo ambos comeado a partir da abordagem fenomenolgica deste.
Peirce sempre enfatizou a filosofia de Berkeley, que destacava a importncia dos signos. O prprio Peirce considerava a lgica como parte da semitica.
Referimo-nos a Russell porque a proximidade com a linguagem natural constitui
um dos pontos fortes de sua lgica, e pode ajudar a entender melhor alguns tpicos essenciais. Alm disso, temos de nos lembrar que Frege considerado um
dos fundadores e um dos mais fundamentais autores da filosofia da linguagem
contempornea.
181
27/01/2014 10:38:52
Mesmo assim, no vamos esquecer que h diferenas enormes nas filosofias de Frege e Russell, em comparao com Peirce. Por exemplo, Frege e Russell
no se importaram com o desenvolvimento do conhecimento, mas sim com seus
fundamentos e, com relao matemtica, consideravam mais importantes o
conceito de nmero e os fundamentos da aritmtica. Peirce, em contraste, adotava um realismo evolucionista e, neste contexto, considerava, seguindo Aristteles, o contnuo (geomtrico) mais importante. Peirce definiu a matemtica atravs
do raciocnio diagramtico, e considerava os diagramas como essencialmente
cones (de estruturas). Aqui se expressa o fato de que os cones so o nico tipo
de signo capaz de trazer novas perspectivas, insights e verdades (CP 2.279).
Vamos considerar, como um exemplo elementar, a equao 2 + 2 = 4.
De acordo com Frege, 2 + 2 e 4 tm o mesmo significado, mas so distintos,
em sentido. Esta representao pressupe a existncia de nmeros, como objetos, em um sentido platnico. Tais posies encontram fortes objees entre
matemticos construtivistas ou formalistas, para quem a alegao da existncia
matemtica faz sentido apenas relativamente a uma linguagem, ou um sistema
axiomtico. Para eles, a estrutura axiomtica da aritmtica tem importncia to
grande que alguns sustentam que a matemtica no passa de um jogo formal efetuado com smbolos destitudos de significados. Para estes matemticos, a igualdade significa substitutibilidade em contextos formais. Ou seja, nestes contextos
formais, o sentido de um termo ou de um axioma simplesmente o conjunto de
implicaes. Por exemplo, o sentido de um sistema de axiomas a teoria formalmente elaborada. Mas esta teoria no possui, necessariamente, uma extenso no
vazia em um mundo emprico. Existncia significa simplesmente coerncia ou
consistncia. Este o ponto de vista dos formalistas.
Ns, ao contrrio, entendemos uma teoria como um par composto de
uma estrutura sinttica representada por um sistema de axiomas e um conjunto
de aplicaes ou modelos. Este conjunto de aplicaes ou modelos, substituindo um verdadeiro polo referencial, serve para fins heursticos na elaborao
dos conceitos tericos. A complementaridade de sentido dos conceitos matemticos - as consequncias lgicas dos axiomas - e de suas referncias, ou seja,
a complementaridade de intenso e extenso, sobre a qual ns falamos, um
pouco diferente nas teorias matemticas, pois as referncias, ou objetos, no
so fixadas de forma definitiva. Estamos com isso nos antecipando um pouco
(veja a prxima seo).
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
182
27/01/2014 10:38:52
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
183
27/01/2014 10:38:52
descrio. Sentenas expressam juzos que podem ser verdadeiros ou falsos. Sentenas so, portanto, sinais de fatos ou circunstncias, no de objetos ou coisas
porque, como Russell afirma, o mundo no descrito, se apenas todos os objetos dele so nomeados. E de objetos podemos falar s em relao a uma caracterstica ou a um fato (veja a introduo de Russell do Tractatus de Wittgenstein).
E quando Russell fala de um fato, ele no entende um objeto, mas sim o fato de
que um objeto tem uma certa caracterstica ou que existe uma certa relao entre
dois ou mais objetos.
A existncia tratada ento, consequentemente, como uma propriedade
de conceitos ou predicados e no de coisas A existncia essencialmente uma
propriedade de uma funo proposicional. Isto significa que a funo proposicional verdade em pelo menos uma instncia (Russell, 1998, p. 233). McGinn
(2000, p. 18) descreve assim este conceito: Quando voc pensa que tigres existem, voc no pensa em certos objetos felinos e que cada um tem a propriedade
da existncia. Ao invs disso, voc pensa na propriedade da tigresa, que tem
instncias. As afirmaes de existncia dizem, de acordo com Russell (1998, p.
231), nada sobre indivduos ou objetos, mas apenas sobre classes ou funes.
Pois dizemos que existem homens ou que existe um homem se a funo proposicional x humano for verdadeira s vezes (Russell, 2007, p. 205). Ou dizer
que tigres existem dizer que aquele x um tigre algumas vezes verdadeira
(Russell 1998: 164).
Termos descritivos nunca tm, diz Russell, uma referncia definitivas e
para que as sentenas tenham significado, precisam ser analisadas com a ajuda de
funes proposicionais e ndices e, assim, deveriam ser transformadas em afirmaes de existncia (Russell, 1976, p. 33). Pois na funo proposicional temos,
como em qualquer funo matemtica, uma varivel x, e aplicar afirmaes sobre
casos particulares consistir em substituir a letra x por um nome, ou seja, x serve
como um ndice.
Frege interpretara A = B em termos de descries diferentes do mesmo
objeto e no havia distinguido entre nomes e descries definidas. Mas nomes
ou ndices indicam algo sem que necessariamente alguma coisa sobre o indicado
tenha sido revelada. Vista em perspectiva epistemolgica ou gentica, a relao
entre A e B pode, inicialmente, parecer bastante contingente e sem explicao.
Nem sabemos se um objeto (ideal ou real) existe. Por exemplo, a equivalncia
entre o terno e os sapatos apareceu no mercado inteiramente de forma contingencial, e sem controle, antes que uma teoria econmica de valor do tempo de
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
184
27/01/2014 10:38:52
trabalho tivesse sido elaborada por Karl Marx. Pensemos na lei de conservao
de energia. Robert Mayer e James Joule estabeleceram a equao movimento =
calor por medies empricas, e s depois provaram que a energia cintica pode
ser totalmente convertida em calor. Finalmente, foi formulado o teorema da conservao de energia em 1847, por Hermann von Helmholtz, baseado no conceito
geral de energia. S ento a equao movimento = calor pode ser interpretada
no sentido de Frege.
A noo de Russell de funo proposicional, e seu entendimento da igualdade, levaram-no a criticar e a refinar a interpretao de Frege de A = B, em particular de A = A, pela introduo de uma distino entre designao e referncia,
ou entre nomes e descries. Frege tratou a diferena entre essas duas formas
atravs de sua prpria distino entre sentido e significado, concluindo que descries definidas funcionam como designaes, como se costuma entend-las,
referencialmente. Russell considerou isto um erro porque no podemos obter
conhecimento simplesmente dando nomes novos s coisas. Enquanto estivermos usando nomes como nomes, A = B a mesma proposio trivial que A =
A (Russell, 2007, p. 209). Isto j tinha motivado Frege a associar conotaes com
os nomes e a interpretar certos nomes como descries definidas, mais ou menos
como a noo de conceito completo de uma substncia individual, de Leibniz.
Russell tentou descrever as consequncias lgicas destes problemas.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Uma proposio que contm uma descrio no idntica ao que essa proposio se torna quando um nome
substitudo, mesmo que o nome nomeie o mesmo objeto
que a descrio descreve. Scott o autor de Waverley
obviamente uma proposio diferente de Scott Scott.
(Russell, 2007, p. 208)
Do mesmo modo,
se x for um nome, x = x no ser a mesma proposio
que o autor de Waverley o autor de Waverley. (Russell,
2007, p. 210)
Podemos dizer que a primeira uma frase com sujeito Scott e predicado
o autor de Waverley, enquanto a segunda uma relao de igualdade entre
dois signos ou objetos, e elas so diferentes pelo fato de que a primeira implica
185
27/01/2014 10:38:52
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:52
Quando substitumos um nome por uma descrio, funes proposicionais verdadeiras podem se tornar falsas se a descrio no descrever coisa alguma.
O que pensam os matemticos sobre assuntos como estes, sobre existncia e verdade? Esta pergunta nos conduz a uma nova objeo quanto s vises
de Frege e Russell. O matemtico usa existe como um predicado, mas o faz em
relao a um determinado universo de discurso. Por exemplo, antes que Argand,
Grassmann ou Gauss tivessem desenvolvido o modelo geomtrico do plano
complexo, a proposio existe um nmero x com: x2 +1 = 0 sempre foi considerada falsa. Depois disso, ela se tornou verdadeira desde que x seja um nmero
complexo. Existncia, ento, se refere a um modelo ou universo de discurso.
A matemtica no nem completamente intensional nem meramente extensional. Ambas as vises no representam alternativas. Emprestando as noes de funo e argumento para reformular as noes lgicas tradicionais de
predicado e sujeito, isso se torna bvio. Em uma teoria intensional, objetos so
identificados pelas suas propriedades.
Vejamos o seguinte exemplo: x = y se, e somente se, f(x) = f(y); para
toda funo f . Isto nada mais do que uma verso de Leibniz do Princpio
da Identidade dos Indiscernveis (PI), que consiste na tese de que no existem
duas substncias que se assemelhem uma outra inteiramente, diferindo apenas
numericamente uma da outra. Vemos que o princpio de Leibniz no nada mais
do que o dual do Axioma da Extensionalidade, pelo qual conceitos ou funes
so identificados:
f = g se, e somente se, f(x) = g(x); para todo argumento x.
A verdade parece depender da consistncia. Mas a consistncia relativa
a um modelo ou a um mundo possvel. Segundo Hintikka (1997: 29), o desenvolvimento da noo de modelo e o surgimento da ideia de verdade estiveram de
mos dadas em grande parte de nosso sculo. Nem a existncia nem a identidade
podem ser definidas, mas devem ser declaradas ou afirmadas, e isto pode ser feito
somente relativamente a algum universo de discurso ou a alguma representao.
Uma vez mais chegamos concluso de que a complementaridade do uso intensional e referencial de conceitos fornece uma orientao essencial, bem como um
problema fundamental.
Peirce teria capturado a diferena que Russell desejava fazer pela distino
entre os cones, que corresponde s descries de Russell, e os ndices. Mas o
ponto essencial que ndices, assim como cones (predicados ou descries),
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
187
27/01/2014 10:38:52
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:52
sido encontrada na sua forma final e seu progresso no vai mudar seus pontos
de vista bsicos. A partir desta segunda tese, segue-se que existe um acordo entre
a cincia e a realidade implicando que o progresso da pesquisa pode acrescentar
novos fatos ao conhecimento existente, mas no vai mudar seus fundamentos ou
categorias bsicas.
No caso da equao A = B, o ponto de vista gentico se distingue do
positivista pelo fato de que Peirce baseia sua interpretao e classificao da
igualdade primeiramente na natureza das relaes e no dos relata. A filosofia
analtica, desde Frege e Russell, pensa diferentemente e sugere que A = B
uma relao entre certos dados. Por exemplo, na nossa observao e experincia, A e B poderiam ocorrer sempre numa relao constante sem que ns necessariamente conheamos a causa, assim como quando se relaciona a febre de
um paciente a uma inflamao no corpo dele, ou quando, em 1854 no contexto
da grande epidemia de clera em Londres, o mdico John Snow observou que
as pessoas sempre sofriam ao colher gua de um determinado poo. Mais tarde,
depois que a bacteriologia foi desenvolvida, surgiu uma nova explicao causal.
Peirce descreve esse processo como abstrao hiposttica. Na cincia, temos
de lidar constantemente com o problema da generalizao e da formao de
novos conceitos, se no quisermos apoiar as supersties positivistas, segundo
as quais as cincias esto prontas e determinadas em seus fundamentos e convices bsicas, significando que a pesquisa vai apenas preencher os detalhes.
O positivismo lgico determinado em sua perspectiva da cincia pelas
duas teses que Quine descreveu da seguinte maneira:
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:52
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
190
27/01/2014 10:38:52
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
191
27/01/2014 10:38:52
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Assim, a distino entre o analtico e o sinttico tambm relativa e depende do progresso do conhecimento. Relaes que tinham sido inicialmente
consideradas como meramente contingentes podero, no futuro quem sabe, encontrar uma explicao.
V Uso atributivoversus uso referencial das palavras
Peirce teria capturado a diferena, que Russell desejava fazer, entre nomes
e descries, pela distino entre os cones, que correspondem s descries de
Russell, e os ndices, que so os nomes. Mas o ponto aqui que ndices, assim
como cones (predicados ou descries), so ambos essenciais, e no podemos
separ-los completamente. Assim, usamos nossos termos lingusticos tanto referencialmente quanto atributivamente. Esta distino entre nomear e descrever
permanece sendo uma distino relativa, porque mesmo um nome, um smbolo,
no somente um termo, tem um significado, embora estejamos vagamente cientes deste significado por experincia contextual.
Para ilustrar a interao do uso atributivo e do uso referencial da linguagem, vamos discutir o seguinte exemplo. Vamos assumir que um turista ingls de
visita Amaznia veja um grande animal perto das margens de um rio e pergunte
pelo tipo de animal que v. Ele recebe, como resposta, que uma capivara. Como
o turista no sabe falar portugus, esta somente uma designao indexical ou
referencial, que o deixa sem qualquer representao. Se lhe oferecem, para aliviar
suas sobrancelhas franzidas, um termo anglicizado como porco da gua (water
hog), seu rosto se ilumina e ele diz Ah!, acreditando ter entendido o que . O
fato que ele capaz de ligar, significativamente, as palavras porco e gua. Este
o caso de um tipo de designao descritiva, que tem a desvantagem, contudo,
de criar noes falsas. Porque a capivara no realmente um porco, mas um roedor comedor de grama. Tivesse ele entendido os nomes como nomes, levando
em conta sua falta de conhecimento sobre o animal estranho, e ele no teria ob-
192
27/01/2014 10:38:52
tido coisa alguma. A sentena uma capivara um porco da gua seria to vazia
de informao quanto a sentena uma capivara uma capivara. Um nativo, ao
contrrio, est em uma situao oposta, j que para ele o nome indgena capivara
significa comedor de grama, e a designao porco da gua (water hog) no lhe
diz absolutamente nada.
Tal uso referencial algumas vezes serve como ponto de partida para observaes ulteriores, pela fixao da referncia. Depois de algum tempo, o turista
pode observar algumas caractersticas e hbitos da capivara, e ento ser capaz
de dizer capivaras so boas nadadoras e mergulhadoras, ou a capivara vive em
grupos familiares etc. Gradualmente o uso do termo muda e transformado em
uma descrio.
A interdependncia de uso de termos atributivos versus termos referenciais
muito mais proeminente em relao aos conceitos matemticos do que aos conceitos empricos porque, em primeiro lugar, os objetos matemticos no existem
independentemente de qualquer representao e, em segundo lugar, porque seu
carter instrumental muito mais pronunciado. Na teoria abstrata dos nmeros,
e na aritmtica, os nmeros so os objetos de estudo. Na maioria das proposies
da teoria dos nmeros ocorrem estes nomes, enquanto na matemtica aplicada os
termos numricos so usados predicativamente. Os nmeros vieram para funcionar como adjetivos. Frege tambm considerou a estratgia adjetiva como a mais
natural (Frege, 1988, 46ff). Existem trs mas, por exemplo. Tudo pode ser
trs, disse a criana na sala de matemtica. Frege, ele mesmo, chamou ateno
para a necessidade de usar palavras-nmero como nomes, ou considerando os
nmeros tambm como objetos porque a igualdade A = B entre nmeros deve
ser estabelecida pela correspondncia de conjuntos de igual cardinalidade (Frege,
1988, 62ff). Mas ento seu sistema, por causa da concepo estritamente realista
e universal da lgica, foi derrubado pelo paradoxo de Russell.
Para explorar esse assunto mais cuidadosamente, deveramos voltar caracterizao da distino de Peirce entre cones e ndices. Peirce afirmou que
existem
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
trs tipos de signos que so indispensveis em todo raciocnio; o primeiro o signo diagramtico, ou cone, que exibe
uma similaridade ou analogia com o tema do discurso; o
segundo o ndice, que, como um pronome demonstra193
27/01/2014 10:38:53
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
se so interpretados como fazendo isso ou no. A dificuldade que semelhanas e correlaes naturais so ubquas. Quaisquer duas entidades suportam algumas semelhanas, e alguma correspondncia de fato.... Alguma coisa
um cone, ou um ndice, apenas se funcionar como tal.
Mas, ao ser tomado para significar, pede um interpretante. Ento cones e ndices, como signos convencionais, so
smbolos. cone, ndice e smbolo ameaam desabar em
um amontoado indiferenciado. (Elgin, 1997, p. 143)
27/01/2014 10:38:53
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:53
o raciocnio matemtico consiste na construo de um diagrama de acordo com um preceito geral, e na observao
de certas relaes entre as partes do diagrama no explicitamente exigidas pelo preceito, mostrando que estas relaes devem sustentar todos os diagramas, e formulando
esta concluso em termos gerais. Todo raciocnio necessrio vlido de fato, portanto, diagramtico. (CP 1.54; ver
tambm CP 2.216, 5.148, 5.162; NEM 4:49)
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
VI Peirce e o raciocnio matemtico
Vamos olhar mais de perto um exemplo elementar do raciocnio matemtico. O pensamento matemtico, como Aristteles afirma, comea com os
pitagricos, com o theoremata: O produto de dois nmeros mpares mpar.
Ou: Se um nmero mpar divide um nmero par sem resto, ele tambm divide
metade deste nmero sem resto. Estes so teoremas que, como algum diria,
vo alm do que pode ser experimentado concretamente, porque afirmam algo
sobre infinitos objetos. Na verdade, eles no afirmam nada sobre os objetos (e.g.
sobre nmeros), mas so sentenas analticas, que revelam o significado de certos
conceitos ou abstraes hipostticas. Este tipo de inferncia conceitual acha sua
mais enftica expresso na axiomtica moderna, e em um mtodo que no est
confinado matemtica e lgica.
Quo precisamente podemos provar, contudo, aquelas proposies aparentemente analticas, como a citada o produto de dois nmeros mpares mpar? Representamos intuitivamente certas atividades. Diremos, por exemplo, se
um nmero mpar dividido por dois, restar, por definio, um como resto. O
significado do conceito representado como uma afirmao hipottico-dedutiva ou operao. Disto inferimos que, para cada nmero mpar a, existe outro
nmero n tal que a = 2n + 1 vlido. Se agora temos dois nmeros mpares
representados desse modo diante de ns, e se os multiplicarmos, o teorema mencionado produzir seu resultado quase automaticamente ao aplicar as leis distributivas e comutativas. A matemtica procede tipicamente pela construo de
diagramas (algbricos ou geomtricos), observando e analisando os efeitos que
certas atividades tm sobre eles. Os julgamentos matemticos, portanto, tornamse apodticos e intuitivos e a diagramatizao serve ao propsito de exibir isto,
como Kant j afirmara to enfaticamente.
196
27/01/2014 10:38:53
Entendemos um diagrama matemtico no sentido da famosa teoria pictorial da linguagem de Wittgenstein o diagrama ou figura representa a realidade exibindo a possibilidade da existncia ou no existncia de uma relao
(Wittgenstein, Tractatus 2.201), que tem uma forma lgica que como o que
representado (Wittgenstein, Tractatus 2.2). Observe que o diagrama no assevera
a existncia absoluta com respeito a questes definidas de fatos, ou coisas factuais. Os ndices empregados servem para fixar a referncia em primeiro lugar.
Peirce chama tal tipo de ndice de ndices degenerados; pois embora eles possam,
acidental e indiretamente, se referir a coisas existentes, eles diretamente se referem, e precisam se referir, s imagens na mente que palavras prvias criaram (CP
2.305). Hoje diramos, estes ndices referem-se a um modelo, como no exemplo
do plano complexo de Gauss.
Observe tambm o carter essencialmente icnico do diagrama. O raciocnio matemtico e lgico diagramtico, de acordo com Peirce, e a iconicidade
prevalece no diagrama. Uma boa propriedade de distino do cone, aquela que,
pela observao dele, outras verdades concernentes a seu objeto podem ser descobertas, alm daquelas capazes de determinar sua construo (CP 1.179). O
que devemos notar neste ponto que, mais uma vez, a referncia criatividade
da atividade matemtica vai alm do que explicitamente apresentado mente.
Peirce, convencido de que o significado e o pensamento no podem ser
reduzidos nem qualidade ou ao sentimento, de um lado, nem mera reao, de
outro, mas que predominantemente necessitam da mediao entre a arbitrariedade do associacionismo intuitivo e o absoluto determinismo da compulso externa, indica trs tipos de conscincia: conscincia passiva de qualidade,... segundo,
conscincia de uma interrupo no campo da conscincia, senso de resistncia,
de um fato externo,... e terceiro, conscincia sinttica (CP 1.377).
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:53
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:53
es parecem ser dominantes na matemtica. A distino entre objetos e relaes, portanto, torna-se relativa. A distino entre objetos e relaes, no entanto,
torna-se extremamente relativa. Na matemtica, no existe um nvel ontolgico
fundamental. A matemtica no uma cincia analtica de conceitos, mas tem
sempre de empregar instncias particulares destes. A matemtica tambm no ,
puramente, conhecimento descritivo baseado na observao abstrativa de objetos dados.
A prpria matemtica se autodistingue das outras cincias pelo fato de
que o processo de abstrao continuado indefinida e recursivamente, e o nmero de nveis semnticos parece ter aumentado consideravelmente nas cincias
da computao em comparao matemtica tradicional. O exemplo aritmtico
mostrou isso claramente, e no curso do argumento da prova geomtrica, por
exemplo, usamos repetidas vezes frases como o tringulo A congruente ao
tringulo B, ou a linha reta C paralela linha D, ou o ponto X coincide com
o ponto Y etc., e todas so instncias de igualdades.
O topologista Salomon Bochner corretamente considerou a iterao da
abstrao como o aspecto distintivo da matemtica na Revoluo Cientfica do
sculo XVII. Ele escreveu:
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Na matemtica grega, seja qual for sua originalidade e reputao, a simbolizao no avanou alm de um primeiro
estgio, a saber, alm do processo de idealizao, que um
processo de abstrao da atualizao direta.... Contudo a
simbolizao completa muito mais do que mera idealizao. Ela envolve escalas sem limites de abstrao, ou seja, a
abstrao da abstrao, a abstrao da abstrao da abstrao, e assim por diante. E os objetos gerais abstratos ento
emergentes, se observados como instncias de smbolos,
devem ser selecionveis para o exerccio de certas manipulaes e operaes produtivas, se forem matematicamente
significativos. (Bochner, 1966, p. 18)
27/01/2014 10:38:53
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
200
27/01/2014 10:38:53
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
O que eu chamo de raciocnio formal da matemtica consiste em introduzir uma ideia estranha, usando-a, e deduzindo uma concluso da qual ela eliminada.... O principal
resultado de meus minuciosos estudos sobre o tema tem
sido o papel que uma operao desempenha nele, que na
poca moderna tem sido visto com desconfiana. a operao da abstrao, no sentido prprio do termo, que, por
exemplo, converte a proposio O opium coloca as pessoas para dormir em O opium tem uma virtude sonfera....
Sou capaz de provar que os resultados mais importantes da
matemtica no poderiam, de nenhuma forma, ser obtidos
sem esta operao de abstrao. (NEM 4:42-49)
27/01/2014 10:38:53
fonte de toda nossa informao. Eles produzem no conhecimento uma parte que iconizada por aquela produzida
na evoluo, de acordo com a teoria de Darwin, pelas variaes fortuitas na reproduo. (MS 694)
Os cones so de mxima importncia. A analogia, ou a similaridade estrutural, por exemplo, tem um papel fundamental na matemtica. Para melhor entender
esta propriedade distintiva do cone, ela deveria ser comparada com uma definio
que est sempre restrita exibio de algumas propriedades selecionadas da coisa
definida. Os conceitos cercam uma situao real de uma maneira seletiva. Vem da
a ideia de Frege e Russell, de que o raciocnio lgico e a prova matemtica devem
ser puramente conceituais. A matemtica tem sido chamada de a cincia do possvel, ou do logicamente possvel. Para verificar, contudo, se alguma combinao de
afirmaes consistente ou logicamente possvel ela deve ser visualizada, porque
a principal dificuldade est na interao entre as vrias afirmaes, e no nos significados particulares propriamente ditos.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
VII Concluso
A filosofia analtica, rejeitando justamente a coisa incognoscvel, em si mesma, baseia a distino no princpio da identidade dos indiscernveis de Leibniz. Mas
por que considerar as coisas como incognoscveis mais do que como desconhecidas? A confuso origina-se da suposio de que o pensamento est meramente na
cabea (no na atividade semitica, por exemplo). Como Peirce diz:
O argumento idealista admite a hiptese de que certas coisas esto absolutamente presentes, isto , o que ns temos
em mente em um dado momento e que nada alm disso
imediato, exceto o que conhecido inferencialmente. Uma
vez assumido isto, o idealista no tem dificuldade em mostrar que aquela existncia externa que ns no podemos
saber imediatamente, ns realmente no podemos saber.
(CP 1.37)
27/01/2014 10:38:53
ro (Sebeok, 1995, p. 223). Sebeok continua: Peirce viu como ningum antes dele
o fez, que a indicao (apontar, ostentar, deixis) um modo de significao to
indispensvel quanto irredutvel.
Mas os ndices no fornecem qualquer informao sobre a coisa indicada,
portanto os cones tambm so necessrios. Algumas das caractersticas essenciais da epistemologia da matemtica de Peirce consiste na unidade inseparvel
entre o indexical e o icnico. Peirce afirma que a
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Referncias
Blauberg, I. V.; Sadovsky, V. & Yudin, E. (1977). Systems Theory. Moscow: Progress Publ.
Bochner, S. (1966). The Role of Mathematics in the Rise of Science. Princeton, NJ:
Princeton University Press.
Brunschvicg, L. (1972). Les tapes de la philosophie mathmatique. Paris: Blanchard.
Original work published 1912.
Da Costa, N. (2008). Introduo aos Fundamentos da Matemtica. So Paulo: HUCITEC.
Dummett, M. (1991). Frege. Cambridge, MA: Harvard University Press.
Elgin, C. (1997). Between the Absolute and the Arbitrary. Cornell, UP: Ithaca.
Feynman, R. (1967). The Character of Physical Laws. Cambridge, MA: The MIT Press.
Frege, G. (1966). Logische Untersuchungen. Gttingen, Germany: Vandenhoeck &
Ruprecht.
203
27/01/2014 10:38:53
Frege, G. (1988). Die Grundlagen der Arithmetik. Hamburg, Germany: Meiner Verlag.
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Frege, G. (1892/1969). Uber Sinn und Bedeutung, [Sobre o Sentido e a Referncia]; In G. Frege. Funktion, Begriff, Bedeutung. Gettingen, Germany:
Vandenhoeck+Ruprecht.
Hintikka, J. (1997). Lingua Universalis vs. Calculus Ratiocinator, Selected papers 2. Dordrecht, The Netherlands: Kluwer.
Kant, I. (1787). Kritik der Reinen Vernunft. Amazon Digital Services, Inc.
Katz, J. J. (2004). Sense, Reference, and Philosophy. New York: Oxford University
Press.
McGinn, C. (2000). Logical Properties. Oxford: Claredon Press.
Peirce, C. S. (1977). Semiotics and Significs: the correspondence between Charles S. Peirce
and Victoria Lady Welby (C. S. Hardwick, Ed.). Bloomington, IN: Indiana
University Press.
Peirce, C. S. (1977). Writings of Charles S. Peirce a cronological edition (Vols. 1-6.,
Peirce Edition Project, Ed.). Bloomington, IN: Indiana University Press.
Peirce, C. S. (1994). The Collected Papers of Charles S. Peirce. Vols. I-VI [C. Hartshorne, & P. Weiss, Eds. Cambridge, MA: Harvard University Press, 19311935], Vols. VII-VIII [A. W. Burks, Ed. Cambridge, MA: Harvard University, 1958].
Peirce, C. S. (1998). The Essential Peirce: selected philosophical writings (Vols. 1-2, Peirce
Edition Project, Ed.). Bloomington, IN: Indiana University Press.
Pinker, S. (2008). Do que feito nosso pensamento. So Paulo: Companhia das Letras.
Quine, W.V.O. (2010). De um ponto de vista lgico. So Paulo: Ed. Unesp.
Quine, W.V.O. (1969). Ontological Relativity and Other Essays. New York: Columbia
University Press.
204
27/01/2014 10:38:53
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Whitehead, A. N. (1898). A Treatise on Universal Algebra. Cambridge, United Kingdom: Cambridge University Press.
Wittgenstein, L. (1989). Tractatus logico-philosophicus. Frankfurt, Germany:
Suhrkamp.
205
27/01/2014 10:38:53
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:53
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
SOBRE OS AUTORES
27/01/2014 10:38:53
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
27/01/2014 10:38:53
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
209
27/01/2014 10:38:53
27/01/2014 10:38:53
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
NDICE REMISSIVO
Clculo lgico 9, 28
Cognio 52, 95, 110, 114, 119
distribuda 101, 109, 115, 126
externa 105, 112
Conceito 17, 39, 59, 61, 66, 74, 89, 93, 97,
109, 173, 179, 181, 184, 185
conceito de similaridade 9, 47
conceito de identidade 33, 149
conceito de diagrama 45, 46
conceito de cone 47
conceito de signo 48
conceito de quantidade 53
conceito analtico/sinttico 55
conceito de deduo 62
conceito de smbolo 72
conceito de dilogo 87
Conjectura 66, 67, 88, 90
Continuidade 33, 37, 96, 201
Conveno 17, 194, 195
Crena 39, 89, 90, 91, 92, 114
27/01/2014 10:38:53
Funo 187
matemtica 184
proposicional 183, 184, 185
Fundamento 14, 20, 195
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Folha 32
de assero 28, 29, 33, 85, 142, 143,
165
dos grafos 28
fmica 33, 75, 142
Frege, Gottlob 7, 8, 10, 136, 137, 141,
176, 177, 178, 179, 181, 182, 183, 184,
185, 187, 189, 193, 202
Hbito 10, 22, 38, 39, 40, 51, 59, 86, 87,
88, 89, 90, 91, 92, 93, 95, 97, 188
Hipocone 18, 27, 46
Hiptese 23, 48, 66, 88, 154
cone 17, 18, 19, 20, 21, 22, 23, 24, 25, 26,
30, 31, 36, 43, 46, 47, 48, 49, 50, 51, 52,
53, 54, 55, 57, 58, 59, 60, 61, 63, 66, 68,
212
27/01/2014 10:38:53
69, 70, 71, 72, 82, 94, 95, 102, 103, 113,
135, 136, 137, 138, 139, 140, 163, 166,
182, 187, 188, 192, 193, 194, 195, 197,
200, 201, 202, 203
Iconicidade 18, 21, 27, 45, 47, 48, 49, 57,
73, 74, 137, 162, 163, 197
Icnico 18, 20, 21, 23, 28, 29, 30, 34, 36,
42, 46, 48, 49, 52, 58, 59, 66, 72, 73, 74,
95, 96, 135, 138, 139, 140, 148, 149, 150,
163, 166, 188, 197, 203
iconismo 17, 27, 31
cones da lgebra 31, 163
cone(s) puro(s) 18, 19, 46, 70
qualidade representativa do cone 20
objeto do cone 20, 51
cone-diagrama 52, 56, 66, 72
cone pr-diagramtico 66
cones ordinrios 52, 63, 72
cone racional 72
cones selvagens 72
cones mveis 83
cones do pensamento 83
cone de relaes 32, 103
cones visuais 48, 166
Ideia 14, 18, 21, 22, 23, 25, 39, 42, 58, 59,
188, 191, 194, 195, 201
ideias lgicas 33
ideias grficas 33
Identidade 19, 47, 96, 148, 176, 178, 183,
187
conceito de identidade 33, 149
linha(s) de identidade 95, 146, 147,
148, 149, 150, 151, 152, 155, 156, 157,
158, 159, 160, 162, 165
predicado de identidade 149
frases de identidade 177
Princpio da Identidade dos
Indiscernveis 187, 202
identidade lgica 191
Ideogramtica(s) 34
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
213
27/01/2014 10:38:53
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
V
J
214
27/01/2014 10:38:54
lgica intuicionista 60
semntica lgica 84, 86, 97
filosofia (da) lgica 86, 137
semitica lgica 86
constantes lgicas 90, 91, 96, 163, 164
constantes no-lgicas 91, 96
operaes lgicas 102
lgica computacional 104
proposio lgica 135, 166
lgica proposicional 136, 142, 144,
153, 163
lgica de segunda ordem 136
sistema de lgica 8, 27, 137
investigao lgica 137
lgica dos grafos 142
contradio lgica 144
lgica de predicado 145
verdade lgica 152, 158
identidade lgica 191
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
Notaes 30
notaes diagramticas 8
notaes hbridas 8
notaes matemticas e lgicas 26, 27
notaes ideogramticas 36
notaes algbricas 104, 166
Objeto 14, 15, 16, 17, 18, 19, 20, 24, 31,
38, 39, 43, 46, 47, 48, 49, 51, 52, 53, 56,
57, 58, 59, 60, 64, 65, 69, 70, 71, 72, 73,
74, 91, 94, 96, 135, 136, 138, 139, 140,
149, 173, 174, 177, 178, 184, 185, 186,
188, 194, 195, 197, 201
objeto sensvel 20, 21
objeto do raciocnio 24
objeto geral 58, 67
objeto existente 59
objeto do smbolo 65
objeto possvel 136
objeto complexo 140
objeto da proposio 140
objeto individual 150, 200
objeto emprico 178
objeto particular 194
Observao colateral 93
Ontologia 61, 108, 174,
215
27/01/2014 10:38:54
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
216
27/01/2014 10:38:54
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
217
27/01/2014 10:38:54
ao tridica do signo 16
signo de primeiridade 18, 136
signo icnico 18, 29, 42, 138, 139, 148,
150
signo-pensamento 24
grafo-signo 39
signo grfico 40
signo convencional 49, 138, 201
signo diagramtico 65, 193
efeito do signo 91
signo intelectual 97
signo de possibilidade 136
signo proposicional 138, 142
signo simblico 140
signo de negao 143, 164
signo indexical 146, 149
signo de correferncia 149
signo de indefinio 159
signo de generalidade 159
signo da igualdade 174
signo(s) algbrico(s) 21, 102
signos predicativos 146, 149
Silogismo 24, 35, 47
Smbolo 10, 17, 45, 51, 52, 57, 58, 59, 60,
61, 64, 65, 66, 67, 68, 72, 74, 135, 136,
138, 139, 140, 148, 160, 166, 171, 174,
177, 188, 192, 194, 199, 200
Similaridade 9, 17, 18, 19, 20, 24, 42, 46,
47, 135, 193, 202
Sinal (sinais) 22, 174, 176, 184, 188
Sinequismo 9, 29, 30, 97
Sinsigno 17, 56, 57, 136
Sintaxe 48, 49, 60, 186, 194
sintaxe de transformaes 11, 49, 62,
63, 64, 72, 135, 166
Subgrafos 95
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
218
27/01/2014 10:38:54
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
219
27/01/2014 10:38:54
A
V
O
R
P JF
A
F
A
U
R A
A
P
R
O
O
DIT
S
E
ER
CP: Peirce, C. S. (1994). The Collected Papers of Charles S. Peirce. Vols. I-VI [C.
Hartshorne, P. Weiss (Eds.). Cambridge, MA: Harvard University, 1931-1935],
Vols. VII-VIII [A. W. Burks (Ed.). Cambridge, MA: Harvard University, 1958].
[Obra citada como CP, seguido pelo nmero do volume e nmero do pargrafo]
EP: Peirce, C. S. (1998). The Essential Peirce: selected philosophical writings (Peirce
Edition Project (Ed.), Vols. 1-2). Bloomington, In: Indiana University. (Original
work published 1893-1913). [Obra citada como EP, seguido pelo nmero do
volume e nmero da pgina]
NEM: Peirce, C. S. (1976). New Elements of Mathematics by Charles S. Peirce (C.
Eisele, Ed.). The Hague, The Netherlands: Mouton. [Obra citada como NEM,
seguido pelo nmero do volume e nmero da pgina]
SS: Peirce, C. S. (1977). Semiotics and Significs: the correspondence between Charles S.
Peirce and Victoria Lady Welby (C. S. Hardwick, Ed.). Bloomington, IN: Indiana
University. [Obra citada como SS, seguido pelo nmero da pgina]
MS e L: Robin, Richard S. (1967) (editor)Annotated catalogue of the papers of Charles
S. Peirce. Amherst: University of Massachusetts. [Referncias aos manuscritos e
cartas de C.S. Peirce, citados respectivamente como MS e L e seguidos pelos
nmeros de pgina, seguem este catlogo]
SEM: Peirce, C. S. (2000). In C. Kloesel, & H. Pape (Eds, trans.), Semiotische
Schriften (Vols. I-III).German: a.M. Suhrkamp. [Obra citada como SEM, seguido
pelo nmero da pgina]
220
27/01/2014 10:38:54
27/01/2014 10:38:54
27/01/2014 10:38:54
27/01/2014 10:38:54
Informaes Grficas
Formato: 16 cm x 23 cm
Mancha grfica: 12 cm x 18,5 cm
Tipografia: Garamond
Papel: Offset 90 g/m2 (miolo) e Supremo 250 g/m2 (capa)
Tiragem: 500 exemplares
Impresso e acabamento: Grfica e Editora Brasil LTDA.
27/01/2014 10:38:54