Professional Documents
Culture Documents
Cognitio10n2.pmd
175
21/10/2009, 17:43
Cognitio10n2.pmd
176
21/10/2009, 17:43
C O G N I T I O
REVISTA DE FILOSOFIA
Volume 10 - Nmero 2
Julho - Dezembro 2009
Cognitio10n2.pmd
177
21/10/2009, 17:43
Indexao: The Philosophers Index; Citas Latinoamericanas en Ciencias Sociales y Humanidades (CLASE); International Philosophical Bibliography (Rpertoire Bibliographique de
la Philosophie Bibliografish Repertorium van de Wijsbegeerte)
Correspondncia editorial/Assinatura:
Cognitio Revista de Filosofia
Centro de Estudos do Pragmatismo/PUC-SP
Rua Ministro de Godoy, 969/4. andar/sala 4E16
CEP 05015-901 So Paulo SP Brasil
E-mail: revcognitio@uol.com.br
http://www.pucsp.br/pos/filosofia/Pragmatismo/index.html
Cognitio10n2.pmd
178
21/10/2009, 17:43
Cognitio10n2.pmd
179
21/10/2009, 17:43
Traduo / Translation
The Elimination of Metaphysics Through Logical Analysis of Language
A superao da metafsica pela anlise lgica da linguagem
Rudolf Carnap .................................................................................................... 293
Errata / Errata
Cognitio v. 10, n.1 ....................................................................................................... 310
Permutas, Doaes e Pedidos
Journals Exchange, Donations, and Orders. ............................................................ 311
Normas para Publicao
Publishing Guidelines. ................................................................................................ 313
Cognitio10n2.pmd
180
21/10/2009, 17:43
Projeto Editorial
Editada pelo Centro de Estudos do Pragmatismo (CEP) do Programa de Estudos PsGraduados em Filosofia, da Pontifcia Universidade Catlica de So Paulo (PUC-SP), a
Cognitio uma revista de filosofia com foco em temas relacionados principalmente ao
Pragmatismo clssico.
A Cognitio prope-se a publicar artigos, ensaios e comunicaes de pesquisadores brasileiros e estrangeiros, funcionando assim como espao para um frtil dilogo e
debate de ideias entre a comunidade filosfica nacional e internacional. Est, portanto,
aberta a contribuies e abordagens diversas, mas que de alguma forma tangenciem o
universo terico do Pragmatismo, afeito teoria do conhecimento, semitica e lgica, filosofia da linguagem, tica e metafsica.
Ainda no mbito deste projeto, a Cognitio prope-se a publicar tambm entrevistas, resenhas, tradues e notcias, entre outras contribuies. E, alm disso, a estabelecer um intercmbio com revistas estrangeiras, por meio de um sistema de permutas.
A Cognitio disponibiliza, tambm, um banco de tradues, contendo verses dos
ensaios e artigos publicados na revista para o portugus, dos escritos em lngua
estrangeira, e para o ingls, dos escritos em portugus , facultando, assim, aos leitores
brasileiros e estrangeiros sua dimenso bilngue pelo acesso on-line a esse material por
meio de seu site <http://www.pucsp.br/pos/filosofia/Pragmatismo/index.html>, ou pelo
e-mail: revcognitio@uol.com.br.
Cognitio10n2.pmd
181
181
21/10/2009, 17:43
Editorial Project
Published by the Center for Studies on Pragmatism (CEP) of the Program of Graduate
Studies in Philosophy of the Pontifical Catholic University of So Paulo (PUC-SP),
Cognitio is a philosophy journal centered on themes primarily akin to classical
Pragmatism.
Cognitio proposes to publish articles, essays and papers by Brazilian and foreign
researchers, thus providing a space for fertile dialogue and discussion of ideas between
national and international philosophical communities. It is therefore open to a wide
range of contributions and approaches, which in some way touch on the theoretical
universe of Pragmatism as it relates to the theory of knowledge, semiotics, logic, the
philosophy of language, ethics, and metaphysics.
Still in the realm of this project, Cognitio also intends to publish interviews,
reviews, translations, and news, among other contributions. And, further, to establish
a link with foreign journals, through an interchange system.
Cognitio also provides a translation-base with essays and articles published in
the journals in Portuguese, for papers in foreign languages, and in English, for
papers in Portuguese thus making its bilingual facilities available on-line to its
Brazilian and foreign readers, through its website <http://www.pucsp.br/pos/filosofia/
Pragmatismo/index.html>, or by e-mail: revcognitio@uol.com.br.
182
Cognitio10n2.pmd
182
21/10/2009, 17:43
Editorial
O presente volume de Cognitio inteiramente dedicado ao professor Lafayette de
Moraes, por ocasio de seu aniversrio de 80 anos.
Aqui nosso leitor encontrar textos escritos por colaboradores, amigos, alunos e
ex-alunos do professor Lafayette que, de uma forma ou de outra, puderam desfrutar de
sua companhia e sabedoria. So textos de lgica e filosofia da cincia que retratam
alguns dos temas que ocuparam a mente do professor Lafayette ao longo de toda sua
carreira acadmica.
De minha parte, tive o privilgio de dividir com o professor Lafayette as cadeiras
de lgica, teoria do conhecimento e filosofia da cincia que so ministradas tanto no
curso de graduao quanto no de ps-graduao da Pontifcia Universidade Catlica de
So Paulo. Foram muitos anos de convivncia com um professor que nunca mediu
esforos para o cumprimento de suas tarefas no ambiente de nossa universidade.
Atualmente, continuo podendo desfrutar a companhia do professor Lafayette no
seminrio de teoria de categorias, que organizado por mim e por outros colaboradores,
na PUC-SP.
Espero que o leitor possa compartilhar conosco dessa pequena homenagem que
o Centro de Estudos de Pragmatismo presta ao professor Lafayette de Moraes por todos
esses anos de uma feliz e profcua convivncia.
Edelcio Gonalves de Souza
Editor Adjunto
Cognitio10n2.pmd
183
183
21/10/2009, 17:43
Editorial
The present volume of Cognitio is entirely dedicated to professor Lafayette de Moraes,
on his 80th birthday anniversary.
Herein our reader will find articles written by collaborators, friends, students
and former students of Professor Lafayette who, one way or the other, were able to
enjoy his company and wisdom. They are texts on logic and the philosophy of science
that depict some of the themes that have occupied the mind of professor Lafayette
during his academic career.
As for me, I have had the privilege of sharing with professor Lafayette the courses
of logic, the theory of knowledge and the philosophy of science which are given both in
the undergraduation and graduation courses at the Pontifical Catholic University of
So Paulo. It was a period during which professor Lafayette relentlessly carried out his
tasks in our university milieu.
Currently I am able to enjoy the company of Professor Lafayette at the seminary
of the theory of categories, which is organized by me and other collaborators, at PUCSP.
I hope the reader can share with us this small homage the Center for Pragmatism
Studies pays to professor Lafayette de Moraes for all these years of happy and useful
partaking.
184
Cognitio10n2.pmd
184
21/10/2009, 17:43
Cognitio10n2.pmd
185
185
21/10/2009, 17:43
entre ns, culminando com a publicao em portugus de seu livro O sentido da nova
lgica, em 1944.
Com o passar dos anos, esse interesse vai aumentando, cabendo papel importante, na divulgao daquela cincia, a diversas pessoas. Podemos citar, dentre outros, o
Prof. Mrio Tourasse, de Rio Claro, So Paulo, o Prof. Lenidas Hegenberg, do Instituto
de Tecnologia da Aeronutica, de So Jos dos Campos e o Prof. Jorge Barbosa, da
Universidade Federal Fluminense.
Entretanto, em Curitiba que vai surgir, finalmente, a pesquisa em Lgica no
Brasil, com os trabalhos do Prof. Newton C. A. da Costa. Ali, sob a orientao desse
professor, eram realizados seminrios de Lgica desde 1957. Tais seminrios atraram o
interesse de vrias pessoas, comeando a formar-se um pequeno grupo de estudiosos.
Provavelmente, isso deve ter propiciado o surgimento da pesquisa, o que pode ser
datado de 1963, quando, pela primeira vez, um trabalho de pesquisa em lgica, feita no
Brasil, publicado numa importante revista internacional especializada. Trata-se da nota
de Newton C. A. da Costa, intitulada Calculs propositionnels pour les systemes formels
incconsistents, publicada nos Comptes Rendus da Academia de Cincias da Frana.
Mais tarde, o Prof. Da Costa, procura de melhores condies de trabalho, transfere-se para So Paulo (1968). Forma, ainda, um ncleo de interessados, na Universidade Estadual de Campinas, tendo orientado, a partir dessa poca, numerosos trabalhos de
pesquisa. Citaremos aqui alguns de seus orientandos e colaboradores: Andra Loparic,
Ayda I. Arruda, Antonio Mario Sette, Elias H. Alves, tala Maria DOttaviano, Lafayette de
Moraes, Luiz Paulo de Alcntara, Luis Henrique Lopes dos Santos, Roberto Cignolli e
Edelcio Gonalves.
Dentre esses colaboradores, gostaramos de salientar o nome de Lafayette de
Moraes, a quem, com toda justia, foi dedicado o presente volume da revista COGNITIO,
na comemorao de seus oitenta anos, pela Pontifcia Universidade Catlica de So
Paulo.
Em nome do Centro de Lgica Jurdica e Teorias da Argumentao da Faculdade
de So Bento, de So Paulo, gostaramos de nos associar s homenagens da PUC-SP,
ressaltando, neste trabalho, algumas das importantes contribuies do Prof. Lafayette de
Moraes, muitas delas produzidas em colaborao com o Prof Da Costa e que foram
importantes para o desenvolvimento da Lgica em nosso pas.
O Professor Lafayette de Moraes nasceu em Rio Branco, capital do Acre, em 1929.
Nesta ocasio, seu pai trabalhava na Misso Rondon. Era telegrafista e foi instalar naquela
cidade, em 1929, a primeira estao telegrfica da regio. Na realidade o Professor
Lafayette s permaneceu em Rio Branco por dois meses e nunca mais voltou para l.
Foi, em seguida, com seus pais, para Manaus, onde ficou at os dez anos de idade,
quando concluiu o curso primrio. Com onze anos, veio para o Rio de Janeiro com toda
famlia, tendo mais tarde, aps concluir o ensino mdio, entrado no curso de matemtica
da Faculdade Nacional de Filosofia da Universidade do Brasil, hoje denominada Universidade Federal do Rio de Janeiro. Seus estudos na UFRJ deram-se de 1949 a 1953. Em
seguida, ele veio para So Paulo, concorrendo a um cargo na disciplina de matemtica
no Magistrio Oficial do Estado de So Paulo. Foi aprovado e ali trabalhou por cerca de
trinta anos, aposentando-se deste cargo em 1984. Durante esse tempo, fez ainda a
graduao de fsica da Universidade de So Paulo, tendo concludo esse curso em 1963.
Comeou, nesse perodo, a trabalhar no Departamento de Fsica da Universidade de So
186
Cognitio10n2.pmd
186
21/10/2009, 17:43
Paulo, em 1963. Naquele tempo, no havia ps-graduao oficial no Brasil. Trabalhavase com um catedrtico da rea. No caso de Lafayette de Moraes, tratava-se de fsica
terica e relatividade, rea em que havia professores de renome internacional, como,
por exemplo, Mario Shenberg, Leite Lopes, entre outros. importante dizer que todo
professor que no pertencia ao quadro oficial, como era o caso do Prof. Lafayette, recebia uma verba advinda de uma instituio internacional qual pertencia o Prof. Mario
Shenberg. A partir de 1964, com a instaurao do regime militar, o Brasil passa por uma
poca conturbada. Entre outros problemas podemos citar a cassao do Prof. Shenberg,
com a consequente suspenso da verba para os professores no oficiais. Tal situao
trouxe inmeras dificuldades financeiras para Lafayette de Moraes, que havia deixado
todas as outras atividades para trabalhar apenas no Departamento de Fsica da Universidade de So Paulo.
Contudo, em So Paulo, existiam institutos isolados, tendo um deles, situado em
So Jos do Rio Preto, aberto concurso no Departamento de Matemtica, para a cadeira
de Clculo Diferencial e Integral e Geometria Analtica. Lafayette de Moraes prestou o
concurso e foi aprovado.
Em 1965, houve um congresso de matemtica no Instituto Tecnolgico de Aeronutica (ITA), coordenado pelo professor Lenidas Hegenberg. O referido professor
apresentou Lafayette a N.C.A. da Costa, o qual lhe comunicou a inteno de vir para So
Paulo disputar uma cadeira na Universidade de So Paulo. Pretendia coordenar um grupo de Lgica, Teoria de Conjuntos e Fundamentos da Matemtica. De fato, havia sido
criada uma cadeira no Departamento de Lgica e Fundamentos da Matemtica da Universidade de So Paulo. Enquanto isso no se efetivava, devido ocupao da USP pelo
regime militar, o Prof. Da Costa iniciou um seminrio informal ministrado na casa do Prof.
Leon Kosovich, atualmente professor do Departamento de Filosofia da Universidade de
So Paulo e professor convidado da Faculdade de So Bento. Lafayette de Moraes passou a frequentar o seminrio de Da Costa, mesmo mantendo suas atividades em So
Jos do Rio Preto. Isso durou at 1968, quando foi criada a Universidade Estadual de
Campinas, que convidou o Prof. Da Costa para trabalhar no Instituto de Matemtica,
Estatstica e Cincias da Computao (IMECC). O Prof. Da Costa levou, para trabalhar
com ele, os professores Ayda Arruda e Lafayette de Moraes, entre outros.
O Prof. Lafayette continua na UNICAMP at que, em 1973, foi convidado pelo
Prof. Lenidas Hegenberg para trabalhar no setor de ps-graduao do Departamento
de Filosofia e no Departamento de Matemtica da Pontifcia Universidade Catlica de
So Paulo. Com isso, Lafayette deixa a UNICAMP. Durante esse tempo, trabalha tambm, como comissionado, no Instituto Brasileiro de Educao, Cincia e Cultura (IBECC),
com o objetivo de introduzir, no Brasil, o que se chamava de Matemtica Moderna. Para
isso, tinha ido para os Estados Unidos com uma bolsa de estudos para trabalhar com o
grupo denominado School Matematics Study Group (SMSG), sediado na Fordham
University, na Cidade de Nova York. Um de seus trabalhos consistiu na traduo de
cerca de treze volumes em Matemtica Moderna, produzidos pelo grupo.
Enquanto isso, na UNICAMP (1968), foi criada a Faculdade de Educao, e como
trabalhava com textos de educao matemtica, foi chamado para lecionar nessa Faculdade, ali permanecendo de 1968 a 1988, quando se aposentou definitivamente daquela
universidade. Volta, agora em tempo integral, para a PUC-SP, onde permanece at 2007,
aposentando-se, ento, por esta instituio.
Cognitio10n2.pmd
187
187
21/10/2009, 17:43
188
Cognitio10n2.pmd
188
21/10/2009, 17:43
Bibliografia
ALVES, Elias H. Aspectos da lgica matemtica no Brasil. In: FERRI, M. G.;
MOTOYAMA, S. (Coords.). Histria das cincias no Brasil, v. 3, 1979-1981.
AMOROSO COSTA, M. As ideias fundamentais da matemtica. Pimenta de Mello, 1929.
ARRUDA, Ayda I. Historical Development of Paraconsistent Logic. Mathematical
Logic in Latin Amrica. North-Holland, Amsterdam, 1980.
Da COSTA, Newton C. A.; DUBIKAJTIS, Lech. On Jaskowskis discursive logic. In: Non
Classical Logics, Model Theory and Computability. North Holland, Amsterdam, 1977.
Da COSTA, Newton C. A. Calculs propositionnels pour les systemes formels
incconsistents. C. R. Acad. Sc. Paris, 257, 1963.
DUBIKAJTIS, Lech; MORAES, Lafayette de. On Single operator for Lewwis S5 Modal
Logic. Reports on Mathematical Logic, 1981.
MORAES, Lafayette de. Lgica de Jaskowski e modelos de Kripke. Tese (Doutorado
em Filosofia) Pontifcia Universidade Catlica de So Paulo, 1973.
MORAES, Lafayette de. Sobre a lgica discursiva de Jaskowski. Dissertao (Mestrado
em Filosofia) Universidade de So Paulo, 1970.
MORAES, Lafayette de; ABE, Jair M. Some Results on Jaskowskis Discursive Logic.
Logic and Logical Philosophy, v. 7, 1999.
QUINE, W. O. O sentido da nova lgica. So Paulo: Martins Fontes, 1944.
Cognitio10n2.pmd
189
189
21/10/2009, 17:43
Endereos / Addresses
Elias Humberto Alves
Centro de Lgica Jurdica e Teorias da Argumentao
Faculdade de So Bento SP
Largo de So Bento s/n
So Paulo SP
CEP: 01029-010
Antonio Eduardo Consalvo
Centro de Lgica Jurdica e Teorias da Argumentao
Faculdade de So Bento SP
Largo de So Bento s/n
So Paulo SP
CEP: 01029-010
Data de recebimento: 15/6/2009
Data de aprovao: 30/7/2009
190
Cognitio10n2.pmd
190
21/10/2009, 17:43
* Bolsista Capes.
** Parcialmente financiado pelo CNPq (processo 304540/2006-4).
Cognitio, So Paulo, v. 10, n. 2, p. 191-207, jul./dez. 2009
Cognitio10n2.pmd
191
191
21/10/2009, 17:43
1. Motivao
Em seu livro Ensaio sobre os fundamentos da lgica, Newton da Costa (Da COSTA,
1980, p.117 ss.) apresentou um sistema de lgica de primeira ordem que batizou de
Lgica de Schrdinger. O objetivo que tinha em mente ao apresentar esta lgica era
mostrar que o princpio de identidade, conforme formalizado na lgica clssica de primeira ordem pela frmula x (x = x), pode no valer em geral, ou seja, que se pode
conceber um sistema de lgica, a lgica de Schrdinger, no qual nem identidade nem
diferena se apliquem a todas as entidades das quais se pretende tratar.1
Ainda, como motivao fundamental para propor-se um sistema de lgica desse
tipo, Da Costa visava, com a lgica de Schrdinger, captar certas intuies de E. Schrdinger
que, falando sobre partculas elementares da fsica quntica, insistia em que a questo
sobre sua identidade ou diferena, em certos contextos qunticos, no faz sentido: Est
fora de dvida que a questo da igualdade, da identidade, real e verdadeiramente no
tem sentido (SCHRDINGER, 1952, p. 18). Assim, a lgica de Schrdinger, baseada
em concepes como a de Schrdinger sobre a natureza das partculas da fsica quntica,
visava ser um exemplo de sistema de lgica no qual podemos mostrar que a lei da
identidade, formulada conforme mencionamos acima, no vale irrestritamente, no valendo em particular para alguns objetos do modelo pretendido.
A formulao de um sistema de lgica que satisfaa essas condies, ou seja, um
sistema no qual no seja possvel falar de identidade e diferena para certas entidades,
foi obtida utilizando-se dois recursos: (i) uma linguagem bissortida, ou seja, uma linguagem com duas espcies de termos individuais, e (ii) uma mudana conveniente na
definio de frmula. Com relao aos termos individuais, temos que os termos da
primeira espcie tero como interpretao pretendida objetos macroscpicos, para os
quais a identidade (em seu sentido usual descrito pela lgica elementar clssica) supostamente faz sentido, e a outra espcie, a segunda, possui como interpretao pretendi-
Esse tipo de lgica, que viola de alguma forma o princpio de identidade, chamado de
lgica no-reflexiva, ou ento de pararreflexiva. Outros sistemas de lgicas desse tipo, ou
sugestes sobre seu desenvolvimento, podem ser vistos tambm em Da COSTA, KRAUSE,
1994; Da COSTA, KRAUSE, 1997; FRENCH, KRAUSE, 2006, cap. 8; Da COSTA, BUENO,
2009.
Cognitio, So Paulo, v. 10, n. 2, p. 191-207, jul./dez. 2009
192
Cognitio10n2.pmd
192
21/10/2009, 17:43
da as entidades microscpicas, que, seguindo a interpretao de Schrdinger que motivou a construo desse sistema, no podem figurar com sentido na relao de identidade. O segundo ponto mencionado acima, a restrio na definio de frmulas, foi utilizado para garantir-se que esse aspecto especial do sistema seja capturado pelo formalismo,
ou seja, para que a identidade no se aplique a objetos denotados pelos termos de
segunda espcie. A restrio que deve ser feita na definio de frmula a de impedir
que o smbolo identidade origine uma frmula quando ladeado por pelo menos um
termo de segunda espcie. Os axiomas da lgica clssica, respeitadas as diferenas de
termos que impem pequenas restries em sua formulao nos axiomas da igualdade,
completam a apresentao.
Dadas essas motivaes, a interpretao pretendida para a lgica de Schrdinger
deveria ser feita de modo que essas intuies bsicas fossem preservadas. As variveis
de primeira espcie percorreriam um conjunto no sentido usual, e as constantes de
primeira espcie nomeariam elementos deste conjunto. Por outro lado, caso queiramos
que nossa semntica seja consistente com as nossas motivaes, as variveis de segunda
espcie deveriam percorrer um conjunto cujos elementos sejam tais que a identidade
ou diferena no fizesse sentido para eles, e as constantes de segunda espcie deveriam, de algum modo, denotar tais elementos.
Esse procedimento, quando realizado da maneira usual, ou seja, tendo uma teoria
de conjuntos informal como metalinguagem, conduz a vrios problemas filosficos, pois,
em particular, como foi apontado por Da Costa (Da COSTA, 1980; ver tambm Da
COSTA; KRAUSE, 1994) o conjunto no qual se interpretam os termos de segunda espcie no pode ser um conjunto na acepo usual, caso queiramos de fato preservar as
intuies que deram origem s lgicas de Schrdinger. Isso ocorre porque, nas teorias de
conjuntos usuais, a identidade sempre faz sentido para todos os elementos de qualquer
conjunto (outros problemas relacionando semnticas para linguagens de primeira ordem com as teorias usuais de conjuntos, quando se tem em mente tratar com partculas
qunticas, podem ser vistos em FRENCH; KRAUSE, 2006, cap. 6). Assim, conforme Da
Costa,
... ao tratarmos de partculas elementares, tudo indica que devamos procurar
semnticas fora das teorias clssicas de conjuntos. A lgica no reflexiva, v.g.,
surgiu dessa circunstncia; como j observamos, a igualdade parece carecer de
sentido no tocante s partculas atmicas ou subatmicas, de modo que no se
pode aplicar diretamente as noes da teoria usual de conjuntos a colees de
partculas elementares. Por conseguinte, a semntica de certas linguagens da
fsica no suscetvel de assentar-se, pura e simplesmente, em qualquer das
teorias clssicas de conjunto. (Da COSTA, 1999, p.124)
A soluo que se buscou para o problema mencionado acima foi a construo de uma
teoria de quase-conjuntos, soluo que havia sido sugerida por Da Costa ao detectar o
problema. A teoria de quase-conjuntos, conforme elaborada por Krause (ver KRAUSE,
1990, 1992), permite que se trate de colees de objetos indistinguveis mas no idnticos. Abaixo faremos uma breve apresentao dessa teoria (um desenvolvimento detalhado pode ser visto em FRENCH; KRAUSE, 2006, cap. 7). Vale mencionar tambm que
as Lgicas de Schrdinger no ficam restritas a linguagens de primeira ordem, mas podem ser formuladas, com adaptaes convenientes, como sistemas de ordem superior,
apresentando, no entanto, os mesmo problemas que o sistema de primeira ordem no
Cognitio, So Paulo, v. 10, n. 2, p. 191-207, jul./dez. 2009
Cognitio10n2.pmd
193
193
21/10/2009, 17:43
que diz respeito semntica feita tendo-se teorias de conjuntos clssicas como
metalinguagem (para essas extenses, ver KRAUSE, 1990; Da COSTA, KRAUSE, 1994;
Da COSTA, KRAUSE, 1997; FRENCH, KRAUSE, 2006).
Uma sugesto que se apresenta muito naturalmente nesse contexto a de se
generalizar a sugesto da semntica acima, e utilizar a teoria de quase-conjuntos como
metalinguagem para fundamentar semnticas no apenas para a lgica de Schrdinger,
mas tambm para qualquer linguagem de primeira ordem, sendo a semntica para a
lgica de Schrdinger apenas um caso particular. Essa sugesto nos parece natural pelos
seguintes motivos: conforme notamos acima, o que garantir que no podemos falar
sobre a identidade ou diferena das entidades denotadas pelos termos de segunda espcie da lgica de Schrdinger uma caracterstica prpria da metalinguagem. Assim,
no a linguagem ou mesmo a lgica que se utiliza o que faz com que as entidades com
as quais estamos tratando sejam ou no objetos desse tipo peculiar, mas sim a
metalinguagem, que fornece em particular o domnio de interpretao.
Considerando com um pouco mais de detalhe a afirmao anterior de que a validade ou no de relao de identidade para as entidades com as quais queremos tratar
depende em grande parte do domnio de interpretao, que por sua vez depende da
metalinguagem, temos a possibilidade de relativizar as entidades que podem existir nos
domnios de interpretao teoria de conjunto utilizada. Assim, se levarmos a srio o
critrio de compromisso ontolgico de Quine (QUINE, 1948), segundo o qual as entidades com as quais est comprometida uma teoria so aquelas entidades que devem existir
para que as sentenas da teoria quantificadas existencialmente sejam verdadeiras quando
formuladas em uma linguagem regimentada, se considerarmos teorias de conjuntos alternativas, teremos que diferentes tipos de entidades podem pertencer ao domnio de
interpretao dessas teorias, e assim, de algum modo, a ontologia com a qual a teoria nos
compromete fica tambm relativizada metalinguagem que estamos utilizando.
Nosso objetivo, nas prximas sees, mostrar como uma semntica de estilo
tarskiano pode ser feita utilizando-se a teoria de quase-conjuntos como metalinguagem.
Buscaremos, alm de enfatizar como algumas caractersticas da semntica mudam quando se utilizar essa teoria de conjuntos, apresentar alguns resultados particulares que se
originam essencialmente do fato de estarmos utilizando uma metalinguagem particular
e, ento, discutir a tese quiniana do comprometimento ontolgico, tendo em vista a
possibilidade de erigirmos diferentes teorias de conjuntos, no equivalentes entre si, nas
quais podemos formular uma semntica para linguagens de primeira ordem. Passamos
agora a apresentar um esboo da teoria de quase-conjuntos.
2. A teoria de quase-conjuntos
Nesta seo, apresentaremos em linhas gerais as noes bsicas da teoria de quaseconjuntos que sero utilizadas nas discusses a seguir. Os detalhes podem ser encontrados em French e Krause (2006, cap. 7). Nossa exposio no ser detalhada; no apresentaremos todos os postulados e definies utilizados no desenvolvimento da teoria,
restringindo-nos a dar uma ideia bsica de como a teoria pode ser entendida informalmente. A teoria de quase-conjuntos desenvolvida aqui denominada de Q.
As principais motivaes para desenvolver-se uma teoria de quase-conjuntos, alm
da proposta original de que serviriam para fundamentar-se mais adequadamente uma
Cognitio, So Paulo, v. 10, n. 2, p. 191-207, jul./dez. 2009
194
Cognitio10n2.pmd
194
21/10/2009, 17:43
Esse conceito entendido em seu sentido usual. Isso corresponde a dizer que um
conjunto (um objeto que satisfaa o predicado Z) descrito pela parte clssica da
teoria Q.
Cognitio10n2.pmd
195
195
21/10/2009, 17:43
196
Cognitio10n2.pmd
196
21/10/2009, 17:43
tomos, sem que sejam indiscernveis entre si. No entanto, isto no implica que sero
diferentes, j que a identidade no est definida para este tipo de objetos, mas apenas
que sero distinguveis.
Para esclarecer como q-sets esto relacionados pela relao de indistinguibilidade,
adotamos na teoria um axioma da extensionalidade fraca. Informalmente, o que este
axioma nos garante que q-sets x e y sero indistinguveis quando possurem exatamente a mesma quantidade de elementos do mesmo tipo (indistinguveis entre si). A
noo de a mesma quantidade, aqui, expressa em termos do quase-cardinal. A ideia
que podemos quocientar (passar o quociente) os q-sets em questo pela relao de
indistinguibilidade e, dada qualquer classe de equivalncia em um deles, teremos uma
classe de equivalncia correspondente no outro com o mesmo quase-cardinal e tal que
os elementos dessas duas classes so indistinguveis entre si. Esse um aspecto importante da teoria que usaremos na seo seguinte.
Este axioma da extensionalidade fraca nos permite derivar em Q uma verso
quase-conjuntista do postulado da no-observabilidade das permutaes na mecnica
quntica no-relativista. Nas teorias de conjuntos usuais, se w x, ento
(x - {w}) {z} = x z = w,
Cognitio10n2.pmd
197
197
21/10/2009, 17:43
gem L de primeira ordem (e mesmo de ordens superiores, como feito para certas
Lgicas de Schrdinger intensionais em Da COSTA; KRAUSE, 1997), da qual a semntica
que consideramos adequada para a lgica de Schrdinger seja um caso especial. Isso
far com que qualquer linguagem de primeira ordem possa falar de objetos
indistinguveis, mesmo aquelas que no apresentam as restries na sintaxe como o
caso das lgicas de Schrdinger e esta, como veremos, apenas uma das caractersticas
de nossa semntica, que influenciada pelo fato de que, agora, nossa metalinguagem
uma teoria de quase-conjuntos. (Enfatizando que, apesar de que aqui nos restringiremos
a linguagens de primeira ordem, os resultados podem ser generalizados).
A partir de agora apresentaremos em linhas gerais uma semntica no estilo de
Tarski, construda na teoria de quase-conjuntos que servir para linguagens de primeira
ordem em geral. Como veremos, ela suficientemente geral para conter como casos
particulares a semntica usual para uma linguagem de primeira ordem, conforme aquelas feitas em ZF, quando se trata apenas com objetos clssicos no domnio de interpretao e tambm, no extremo oposto, uma semntica para linguagens que trataro apenas de objetos indistinguveis em seu domnio. Um meio termo ser o caso de interpretaes em domnios que so o que chamamos acima de q-sets usuais, como o caso
pretendido para a Lgica de Schrdinger, que contm no domnio tanto m-tomos
indistinguveis quanto elementos clssicos.
Queremos, portanto, apresentar uma maneira de interpretar uma linguagem L de
primeira ordem que pode conter os seguintes smbolos lgicos e no-lgicos como
primitivos:
i) Os conectivos (implicao) e (negao);
ii) O quantificador universal (para todo);
iii) Uma coleo enumervel de variveis individuais x1, x2, ..., xn, ...;
iv) Uma coleo qualquer de constantes a1, a2, ..., an, ...;
v) Para cada n natural, uma coleo de smbolos de predicados de peso n;
vi) O smbolo = para a identidade;
vii) Smbolos para pontuao, parnteses e vrgulas.
Como usual, tomamos a identidade como um smbolo lgico, mas sua interpretao, como veremos, ser diferente da diagonal do domnio. Alm disso, os smbolos
no lgicos variam de acordo com a particular teoria que se deseja. Os termos individuais sero as constantes individuais e as variveis individuais. Para simplificar a exposio,
optamos por no utilizar smbolos para funes. Os conectivos restantes, que no foram
escolhidos em nossa linguagem como primitivos, podem ser definidos da maneira usual
em termos dos conectivos escolhidos, assim como o quantificador existencial. Em geral,
valem de modo idntico ao clssico as definies de termos, frmulas, ocorrncia livre
ou ligada de uma varivel, entre outras. (As definies podem ser vistas, por exemplo,
em MENDELSON, 1987, cap. 2).
Suporemos que as noes sintticas usuais, como, por exemplo, as de demonstrao e teorema, so definidas como na lgica clssica. Tambm suporemos que quando
falarmos em uma teoria tendo por base esta lgica, estaremos nos referindo, de modo
Cognitio, So Paulo, v. 10, n. 2, p. 191-207, jul./dez. 2009
198
Cognitio10n2.pmd
198
21/10/2009, 17:43
semelhante ao que faz Mendelson (1987), ao conjunto de postulados lgicos apresentados na obra citada e aos postulados no lgicos, que variam de acordo com cada teoria
particular.
A interpretao ser dada por uma estrutura da forma E =E <A, I>. Vale lembrar que
estamos utilizando a teoria de quase-conjuntos como metalinguagem, e todos os conceitos que utilizarmos aqui, como os recm-mencionados de par ordenado e igualdade
extensional, so os conceitos conforme definidos nesta teoria. Ademais, supomos, como
usual, que nossa metalinguagem contm nomes para os smbolos e expresses da linguagem L. Temos ento que:
i) A um quase-conjunto no vazio, chamado domnio da interpretao;
ii) I uma quase-funo denotao, que atribui aos smbolos no-lgicos da linguagem
elementos de A e subquase-conjuntos de A conforme especificado abaixo;
iii) I(ai) A, ou seja, s constantes individuais so atribudos elementos de A;
iv) I(Pn) An, ou seja, aos smbolos de predicado de peso n atribumos colees de nuplas ordenadas do domnio;
v) I(=) =E [< x, y >: x A y A x y]
Por estarmos trabalhando na teoria de quase-conjuntos, devemos levar em conta
algumas particularidades dessas clusulas, como as seguintes.
Com relao ao domnio A: como se trata de q-set, pode ser de qualquer dos tipos
apresentados na segunda seo anterior, ou seja, podemos escolher como domnio um
q-set puro, contendo apenas m-tomos, ou um q-set que chamamos de conjunto, ou
seja, uma cpia de um conjunto de ZFU contendo apenas objetos clssicos, ou ento
um q-set que contenha ambos os tipos de elementos.
importante perceber que quando se tratar de q-sets clssicos teremos algo equivalente semntica usual se aplicando linguagem, inclusive com o smbolo de identidade valendo da maneira usual. A q-funo denotao, por estarmos tratando neste caso
apenas com q-sets clssicos, passa a funcionar como uma funo de uma teoria de
conjuntos clssica, atribuindo valores de modo unvoco aos smbolos da linguagem. Nesse caso, como usual, cada constante individual denota um nico elemento do domnio,
e cada smbolo de predicados denota um subconjunto bem determinado do domnio.
O smbolo de identidade, vale a pena enfatizar, no caso de o domnio ser um q-set
clssico (um conjunto no sentido usual do termo), passa a ser interpretado como identidade usual. Isso decorre da definio de igualdade extensional na teoria de quase-conjuntos, conforme a apresentamos acima, e do fato mencionado de que para os objetos
clssicos da teoria a relao de indistinguibilidade equivalente identidade extensional.
Como M-tomos e q-sets clssicos so os nicos elementos do domnio neste caso,
devido a este resultado, recuperamos, na interpretao do smbolo de identidade, a
diagonal usual, dado que na teoria de quase-conjuntos utilizada a igualdade extensional
possui as propriedades da igualdade clssica.
Quando, por outro lado, o q-set domnio for um quase-conjunto puro, contendo
apenas m-tomos como elementos, e se, alm disso, esses forem ainda indiscernveis,
temos algumas mudanas interessantes. A nossa quase-funo denotao atribuir nomes aos elementos de A de maneira ambgua, pois, dadas as caractersticas de uma qCognitio, So Paulo, v. 10, n. 2, p. 191-207, jul./dez. 2009
Cognitio10n2.pmd
199
199
21/10/2009, 17:43
funo, ainda que aqui no comentado em detalhes, notamos que ser impossvel determinar unicamente o elemento nomeado. (Uma q-funo mapeia entidades indiscernveis
em entidades indiscernveis, e coincide com a noo de funo em seu sentido usual se
h somente elementos clssicos envolvidos). Ou seja, um nome no mais denota de
maneira inequvoca um s elemento do domnio, mas como que separa o domnio em
classes de elementos indistinguveis passando-se o quociente pela relao de
indistinguibilidade, ao se nomear um elemento de certo tipo, no mais possvel determinar qual, dentre os elementos de A daquele tipo, aquele particular que estamos
nomeando. Assim, os nomes sero aqui nomes-tipo, no sentido de que nomeiam elementos de certo tipo no domnio apenas, mas no indivduos especficos. Ademais, se
dois nomes distintos forem atribudos a elementos que no so indistinguveis, ento
eles determinam, seguindo nossa analogia, classes disjuntas de elementos de A, como
no caso clssico.
Ainda no caso em que o domnio de interpretao um q-set puro cujos elementos so indiscernveis, com relao extenso dos predicados, deve-se notar nova peculiaridade desta semntica. Esto associados a cada smbolo de predicado de peso n da
linguagem subconjuntos de n-uplas do domnio. No entanto, podem existir outros subqsets
de A indistinguveis deste particular q-set denotado (seus elementos seriam indiscernveis
daqueles, e eles tendo o mesmo quase-cardinal). O mais interessante que qualquer
desses q-sets indiscernveis pode servir como denotao do predicado (h aqui uma
inverso com o que acontece com a semntica usual, na qual uma dada extenso pode
ter vrias intenses; aqui uma dada intenso um dado smbolo de predicados da
linguagem pode ter associados a si vrios q-sets com o suas extenses). Para captarmos nossas intuies sobre a relao entre os smbolos de predicados e suas possveis
interpretaes como extenses na MQ, teremos que garantir que, dado qualquer dos qsets indistinguveis da extenso associada a um smbolo de predicado n-rio Pn, este qset poderia tambm fazer o papel de extenso de Pn. A ideia bsica que, se aceitarmos que em contextos envolvendo objetos indistinguveis as permutaes de objetos
indistinguveis no so observveis, teremos que, permutando elementos da extenso
de um predicado, nada altera o valor de verdade da sentena em questo. Esse tipo de
resultado depende fortemente de caractersticas de nossa metalinguagem, em particular, do Axioma de Extensionalidade Fraca, que apresentamos acima. Em breve, quando
definirmos a relao de satisfao de uma frmula por uma seqencia de objetos do
domnio, voltaremos a discutir este ponto.
Com relao ao smbolo de identidade, ele passa, neste caso particular em que o
domnio um q-set puro, a representar no mais a identidade usual, mas a relao de
indistinguibilidade. Como vimos, a relao representada pelo smbolo = se manter entre elementos indistinguveis do domnio, que no precisam ser numericamente idnticos (se que faz algum sentido falar em objetos idnticos neste caso). H ainda um
paralelo interessante com a interpretao clssica do smbolo =, relacionado com o que
explicamos acima sobre a extenso de smbolos de predicados, de que permutaes de
objetos indistinguveis na extenso no devem alterar o valor de verdade da sentena.
Explicaremos apenas intuitivamente, mas isso pode ser mostrado com rigor quando a
definio de satisfazibilidade for introduzida. No caso clssico, se ai = aj for verdadeira
em uma interpretao E, ento, dado um smbolo de propriedade unria P, por exemplo, teremos que P(ai) verdadeira se e somente se P(aj) verdadeira, j que os dois
nomes so nomes da mesma entidade por hiptese. No nosso caso, quando tratamos de
Cognitio, So Paulo, v. 10, n. 2, p. 191-207, jul./dez. 2009
200
Cognitio10n2.pmd
200
21/10/2009, 17:43
Cognitio10n2.pmd
201
201
21/10/2009, 17:43
As seguintes clusulas definem quando uma frmula F satisfeita por uma qfuno interpretao s*:
i) Se F da forma ti = tj, para termos individuais ti e tj, s* satisfaz F se e somente se s*(ti)
s*(tj);
ii) Se F da forma Pn(t1, ..., tn), onde Pn smbolo de predicado n-rio e os ti so termos
individuais, ento s* satisfaz F se e somente se existe um subqset de An indistinguvel de
I(Pn) tal que < s*(t1), ..., s*(tn) > pertence a este q-set;
iii) Se F da forma B, ento s* satisfaz F se e somente se s* no satisfaz B;
iv) Se F da forma B C, ento s* satisfaz F se e somente se s* no satisfaz B ou s*
satisfaz C;
v) Se F da forma xiB(xi), ento s* satisfaz F se e somente se toda s* que difere de s*
no mximo em xi tal que s* satisfaz B.
A clusula 2 merece alguns comentrios, pois desempenha papel fundamental na
formalizao das intuies que comeamos a comentar na interpretao do smbolo de
predicados. Como dissemos anteriormente, em contextos envolvendo partculas
indistinguveis, a relao entre o smbolo de predicado e a sua extenso diferente do
caso clssico. Aqui, dado um predicado de peso n, ao qual atribumos um subqset de An
como extenso, teremos que, para qualquer permutao dos elementos dessa extenso
por uma n-upla indistinguvel, o valor de verdade da sentena sendo avaliada no dever ser alterado. Como se pode perceber, caso a extenso do smbolo de predicado em
questo seja um q-set clssico, ento sempre vamos recair no caso usual, pois neste caso
a indistinguibilidade equivalente identidade, e teremos que h um nico subqset de
An que a extenso do smbolo de predicados em questo.
Dada a definio de satisfazibilidade, podemos definir a noo de verdade em
uma estrutura E. Uma frmula F ser verdadeira na estrutura E =E < A, I > se e somente
se toda q-funo interpretao s* satisfaz F. Usaremos a notao E |= F para indicar que
F verdadeira em E.
Convencionamos tambm que uma frmula aberta verdadeira se e somente se
seu fecho o for, utilizando fecho no sentido usual da palavra. A partir daqui pode-se
definir da maneira usual outros conceitos semnticos, como modelo de um conjunto de
sentenas, consequncia semntica, frmula vlida, entre outros.
importante notar que facilmente se prova que algum conjunto de axiomas usualmente propostos para a lgica da qual estamos tratando composto de frmulas vlidas,
e que as regras de inferncia, quando aplicadas a frmulas vlidas, geram novas frmulas
vlidas. Da se segue imediatamente, e de modo muito similar ao usual, o seguinte
[Teorema da Correo] Se F teorema, ento F vlida com relao semntica proposta acima.
Outro ponto a ser observado que a semntica clssica um caso particular da
semntica que propomos. Assim, a demonstrao do Teorema de Completude pode ser
realizada exatamente como se faz usualmente por meio do Teorema de Henkin, segundo o qual toda teoria consistente possui modelo.
Um corolrio que podemos derivar das observaes acima que, na construo
Cognitio, So Paulo, v. 10, n. 2, p. 191-207, jul./dez. 2009
202
Cognitio10n2.pmd
202
21/10/2009, 17:43
Cognitio10n2.pmd
203
203
21/10/2009, 17:43
204
Cognitio10n2.pmd
204
21/10/2009, 17:43
5. Concluso
Conforme discutimos neste artigo, podemos flexibilizar o critrio de comprometimento
ontolgico proposto por Quine de modo que permitisse que entidades sem identidade
sejam elementos do domnio de quantificao. Com isso, podemos comprometer-nos
ontologicamente com esse tipo de entidades. No entanto, a razoabilidade de adotar-se
uma ontologia de indivduos ou de no indivduos vai depender de argumentos metafsicos,
pois, como bastante discutido na literatura sobre filosofia da fsica, a prpria mecnica
quntica no relativista no nos impe nenhuma das duas ontologias, e esse fato
refletido na nossa semntica, ao mostrarmos que sempre podemos fornecer uma interpretao na qual a teoria trata apenas com objetos clssicos. A possibilidade de
comprometermo-nos ontologicamente com no indivduos, no entanto, mais um ponto a favor dessa opo, que parece ser, para muitos estudiosos, a mais natural quando se
deseja compreender o que a teoria nos diz sobre o mundo.
Cognitio10n2.pmd
205
205
21/10/2009, 17:43
6. Bibliografia
CHATEAUBRIAND, O. (2003) Quine on ontology. Principia, v. 7, n. 1-2, p. 41-74.
Da COSTA, N. C. A. (1980) Ensaio sobre os fundamentos da lgica. So Paulo,
Hucitec/EdUSP [2. ed., 1994].
Da COSTA, N. C. A. (1999) O conhecimento cientfico. So Paulo, Discurso Editorial.
Da COSTA, N. C. A.; KRAUSE, D. (1994) Schrdinger logics. Studia Logica, v. 53, n. 4,
p. 533-550.
Da COSTA, N. C. A.; KRAUSE, D. (1997) An Intensional Schrdinger Logic. Notre
Dame Journal of Formal Logic, v. 38, n. 2, p. 179-194.
Da COSTA, N. C. A.; BUENO, O. (2009) Lgicas no-reflexivas. Revista Brasileira de
Filosofia, v. 58, n. 232, p. 181-196.
ENDERTON, H. B. (1977) Elements of Set Theory. New York; San Francisco; London:
Academic Press.
FRENCH, S. (1998) On the Withering Away of Physical Objects. In: E. Castellani (ed.).
Interpreting Bodies: Classical and Quantum Objects in Modern Physics. Princeton,
New Jersey, NJ: Princeton University Press. p. 93-113.
FRENCH, S.; KRAUSE, D. (2006) Identity in Physics: A Historical, Philosophical, and
Formal Analysis. Oxford: Oxford University Press.
KRAUSE, D. (1990) No-reflexividade, indistinguibilidade e agregados de Weyl. Tese
(Doutorado em filosofia), Faculdade de Filosofia, Cincias e Letras da Universidade de
So Paulo.
KRAUSE, D. (1992) On a Quasi-set Theory. Notre Dame Journal of Formal Logic, v.
33, n. 3, p. 402-411.
KRAUSE, D. (2008) Nota sobre o comprometimento ontolgico com no-indivduos.
In: MARTINS, R. A. et al. (eds.). Filosofia e histria da cincia do Cone Sul Seleo
de Trabalhos do 5. Encontro. Campinas: AFHIC (Associao de Filosofia e Histria da
Cincia do Cone Sul). p. 125-132.
MENDELSON, E. (1987) Introduction to Mathematical Logic. 3. ed. Wadsworth &
Brooks.
QUINE, W. v. O. (1948) On What There Is. Review of Metaphysics, v. 2, p. 21-38.
SCHRDINGER, E. (1952) Science and Humanism. Cambridge: Cambridge
University Press.
206
Cognitio10n2.pmd
206
21/10/2009, 17:43
Endereos / Addresses
Jonas R. Becker Arenhart
Universidade Federal de Santa Catarina
Departamento de Filosofia
Florianpolis SC
C. Postal: 476
CEP: 88040-900
Dcio Krause
Universidade Federal de Santa Catarina
Departamento de Filosofia
Florianpolis SC
C. Postal: 476
CEP: 88040-900
Data de recebimento: 10/6/2009
Data de aprovao: 15/9/2009
Cognitio10n2.pmd
207
207
21/10/2009, 17:43
Cognitio10n2.pmd
208
21/10/2009, 17:43
1. Introduo
sabido que, no ltimo sculo, o conhecimento cientfico tornou-se bastante
compartimentado e, por isso, fragmentado e especializado. Apresentar um sistema unificado capaz de mostrar as estruturas fundamentais da realidade ento tarefa que no
pertence mais a nenhum ramo do saber cientfico2. fcil constatar que muitos dos
maiores filsofos da tradio apresentaram sistemas filosficos e, assim sendo, bastan-
1
2
Cognitio10n2.pmd
209
209
21/10/2009, 17:43
3
4
5
Vale aqui lembrar que a lgica modal uma das grandes paixes do Prof. Lafayette de
Moraes.
J mostrei em outra ocasio (COSTA-LEITE, 2007) como interagir sistemas ontolgicos e
epistmicos. Aqui a ideia l desenvolvida generalizada para os sistemas filosficos.
Para discusses acerca do conceito de sistema filosfico, ver Puntel (2008, p. 44-46) e
Markovic (1975, p.270).
Cognitio, So Paulo, v. 10, n. 2, p. 209-220, jul./dez. 2009
210
Cognitio10n2.pmd
210
21/10/2009, 17:43
Isso nos permite concluir que sistemas ontolgicos, lgicos, epistemolgicos ou ticos
isolados no se constituem enquanto sistemas filosficos com ao global, mas apenas
enquanto sistemas filosficos com ao local. Um sistema filosfico com ao global
constitudo pela combinao de sistemas com ao local. Elementos locais de um sistema
filosfico so exatamente os ingredientes bsicos do discurso filosfico apontados acima.
Um sistema de filosofia deve comear a partir de uma caracterizao bsica dos
elementos mnimos que compem a sua estrutura complexa. Assim, objetos e suas
Cognitio, So Paulo, v. 10, n. 2, p. 209-220, jul./dez. 2009
Cognitio10n2.pmd
211
211
21/10/2009, 17:43
propriedades devem ser especificados, bem como os limites atuais e possveis daquilo
que existe. Ou seja, tudo deve comear a partir de uma ontologia, pois a ontologia
que nos d a matria-prima mnima do sistema. Uma teoria ontolgica isolada apenas
um sistema de filosofia com ao local. Existem vrias maneiras de dar origem s
ontologias.
Os objetos, as propriedades e os fatos que caracterizam a contraparte ontolgica
de qualquer sistema filosfico devem ser e so regidos por um sistema de regras que
nos ensinam como tais fatos se comportam em relao aos outros fatos. Ou seja, a
determinao ontolgica regida por uma determinao lgica: os aspectos lgicos
devem ser estabelecidos com o objetivo de caracterizar o funcionamento das estruturas
ontolgicas, considerando a variedade de sistemas lgicos disponveis. Da pluralidade
de lgicas existentes, preciso saber selecionar aquela que mais se adapta s vrias
situaes ontolgicas. Com isso, depois de estabelecida uma ontologia, preciso estabelecer uma lgica, pois esta que vai nos dizer como trabalhar com a matria-prima.
Qualquer proposta de uma filosofia sistemtica que ignore a pluralidade de lgicas existentes na literatura est condenada parcialidade.
A ontologia determina a lgica e esta mostra como a ontologia se comporta. Das
vrias ontologias e lgicas disponveis, devemos escolher as mais razoveis, aquelas que
mais se apresentam como adequadas para os objetivos almejados. Dadas uma ontologia
e uma lgica, os agentes epistmicos constituem uma relao com tais estruturas. As
interaes dos agentes com a ontologia e com a lgica, como tais conexes se estipulam e se caracterizam, formam e determinam o aspecto epistemolgico de um sistema
de filosofia. Depois de construdas uma ontologia e uma lgica, deve-se mostrar como
agentes conhecem e/ou acreditam, como os instrumentos epistmicos geram estados
mentais formados a partir do estabelecimento onto-lgico. preciso propor, portanto,
uma epistemologia.
O caminho do discurso filosfico se d pela ontologia, em seguida pela lgica e,
por fim, pela epistemologia: as partes fundamentais da filosofia. Tais complexos substanciais da caracterizao filosfica no so suficientes para estipular um sistema de
filosofia, pois no nos diz como os agentes epistmicos devem se comportar num determinado ordenamento filosfico. Portanto, faz-se necessrio mostrar como entidades
pensantes devem se comportar em tal configurao e como os entes que o habitam
devem agir em tal armao. Por conseguinte, qualquer sistema filosfico deve ser capaz
de implicar um sistema de regras denticas para regulamentar o comportamento das
entidades que nele persistem. Assim, faz-se necessrio gerar uma tica. A tica o
ponto final de qualquer sistema filosfico.
Um sistema filosfico deve descrever, pois, como se do as configuraes objetais
no mundo, quais so as suas leis, como se d o seu conhecimento e como so as aes
no mbito de tais configuraes. Isso vai garantir que o sistema contenha proposies
fundamentais acerca da estrutura da realidade.
E as outras partes da filosofia, tais como a esttica, a filosofia poltica, a filosofia da
linguagem, a filosofia da mente etc.? Trata-se de estruturas perifricas, satlites ao redor
das quatro estrelas principais. impossvel falar de um sistema de filosofia sem tais
estrelas. As outras partes so apenas detalhes do sistema, adornos que podem ser evitados numa formulao inicial, mas que posteriormente devem ser tambm trabalhados
para aumentar a abrangncia do sistema.
212
Cognitio10n2.pmd
212
21/10/2009, 17:43
Essas grandes partes da filosofia ontologia, lgica, epistemologia e tica caracterizam um sistema filosfico mnimo, dado que constituem o eixo fundamental por
excelncia, uma vez que capturam diferentes aspectos da realidade e unificam o discurso filosfico. Qualquer filsofo interessado em propor sistema, deve passar por essas
configuraes. Propor um sistema filosfico com ao global a maior conquista que
qualquer filsofo pode fazer.
Cognitio10n2.pmd
213
213
21/10/2009, 17:43
interaes conceituais de noes diversas. Isso s pode ser obtido com a ajuda de
proposies interativas, contendo conceitos de partes distintas. ento a tarefa do filsofo buscar tais conexes. Somente com interaes conceituais o sistema se constitui
enquanto tal, pois, sem elas, as teorias seriam apenas referentes a uma estrutura especfica e, portanto, sistemas de filosofia com ao local. Para deixar esse ponto mais claro,
vou usar agora um pouco de teoria da combinao de lgicas desenvolvida recentemente por vrios pesquisadores. Uma lgica L comumente vista como um par < ,|- >
no qual um conjunto de proposies (tambm chamado de teoria) e |- uma relao
de consequncia lgica definida no produto dos subconjuntos de com seus elementos, respeitando ou no as propriedades ditas tarskianas. Defendo aqui a tese de que
podemos associar uma estrutura lgica a cada parte de um sistema filosfico. Assim, por
exemplo, os enunciados ontolgicos que contm conceitos ontolgicos formam teorias
ontolgicas. Dependendo das propriedades da estrutura lgica subjacente, podemos
extrair uma relao de consequncia ontolgica. Ou seja, dado um conjunto ont (uma
teoria ontolgica) e uma relao de consequncia |- ont, podemos definir um sistema
ontolgico como um par <ont,|-ont>. Do mesmo modo podemos proceder para os sistemas lgicos, epistemolgicos e ticos. curioso notar que definimos abstratamente um
sistema filosfico com ao global como uma estrutura da forma:
<ont, log, epist, etic, |-ont, |-log, |-epist, |-etic>
Ou seja, um sistema filosfico a fuso de sistemas ontolgicos, lgicos, epistemolgicos
e ticos. Mas do mesmo modo que acontece na fuso de lgicas modais, a fuso em si,
raramente, gera automaticamente axiomas de interao entre as teorias7. Aqui, ento,
com a finalidade de buscar a unidade do sistema, devemos procurar por leis capazes de
conectar as diferentes teorias, por exemplo, conectar uma teoria ontolgica com uma
teoria tica. Aqui entra o papel da combinao de lgicas. Devemos estender a fuso
com leis de interao conceitual da forma: x y, onde x e y so partes de sistemas de
filosofia com ao local. Leis de interao conectam conceitos de estruturas distintas e,
por conseguinte, conectam tambm enunciados e teorias de famlias distintas. Para
exemplificar, suponha que tenhamos, por um lado, o conceito eminentemente ontolgico
de possibilidade e, por outro lado, o conceito epistmico de crena, e pretendemos
defender uma posio que contenha uma interao conceitual envolvendo um conceito
ontolgico e um conceito epistmico. Ora, trata-se de uma lei de interao que liga
partes de sistemas filosficos com ao local; no caso, um sistema ontolgico e um
sistema epistmico. Para formular tal tese que conecta partes do sistema, precisamos
verificar at que ponto a interao plausvel.
Um sistema filosfico pode ento ser visto como uma estrutura formada por teorias ontolgicas, lgicas, epistemolgicas e ticas, munida de relaes de consequncia
definidas nessas teorias. Ainda, para no ser apenas a fuso de sistemas locais, o sistema
deve se expressar enquanto sistema de ao global e, por isso, ele precisa de leis de
interao ligando e traando um fio condutor entre as diversas teorias. Por exemplo, o
filsofo necessita saber inferir uma tica a partir de uma ontologia e, para isso, precisa
Ver em especial Costa-Leite (2007), para mltiplos exemplos de como efetuar interaes
de conceitos metafsicos e epistmicos usando a teoria da combinao de lgicas.
Cognitio, So Paulo, v. 10, n. 2, p. 209-220, jul./dez. 2009
214
Cognitio10n2.pmd
214
21/10/2009, 17:43
LGICA
EPISTEMOLOGIA
TICA
A ordem de construo de tais passos obrigatria, mas ainda assim algum poderia
afirmar que a epistemologia antecede a lgica e, portanto, uma nova ordem se apresentaria. Contudo, as partes fundamentais de um sistema de filosofia possuem uma hierarquia crucial. A ontologia a base suprema de qualquer sistema filosfico. Mesmo um
sistema que assuma o vazio como ontologia, ainda assim obrigado a se determinar
ontologicamente. A ordem das partes do sistema filosfico deve ser fundamentada na
Cognitio10n2.pmd
215
215
21/10/2009, 17:43
relao de ordem estipulada dando primazia aos aspectos ontolgicos, ao seu comportamento lgico, ao seu aparato epistemolgico e, por fim, maneira de agir em tal
complexo conceitual. fcil ver que qualquer tentativa de alterar a ordem suprema de
um sistema filosfico pode gerar uma anomalia, um sistema filosfico deformado. Por
isso, no aconselhvel mudar a ordem fundamental dos conceitos na formao de um
sistema filosfico. Pode-se comparar a ordem interna de um sistema filosfico com um
jogo qualquer. Para obtermos um jogo, preciso primeiro especificar uma ontologia, ou
seja, estipular quais so os objetos, as propriedades e os fatos do jogo. Em seguida,
preciso construir um sistema de regras que permitam manipular tais objetos para, s
ento, determinar possveis estratgias de vitria dos envolvidos no jogo, ou seja, caracterizar uma epistemologia. A tica aparece nas posturas dos jogadores, como por exemplo, seguir uma determinada regra, no violar outra etc. A analogia entre um sistema
filosfico e os jogos mostra claramente a primazia da ontologia, seguida pela lgica,
epistemologia e, por fim, uma tica. Sem objetos, no existiria lgica dos objetos, no
existiria conhecimento dos objetos e nem uma maneira de agir num mundo repleto de
objetos. Dado o exposto, nota-se que a fora sistmica da ontologia maior que a fora
sistmica da tica, tal como apresentado pelo princpio 1. A complexidade da fora de
um sistema jamais pode ser quebrada sob pena de demolio de sua estrutura geral.
Seria, por exemplo, insano propor um sistema filosfico que comeasse a partir de uma
tica e terminasse numa ontologia, pois qualquer tentativa de estabelecer uma tica
pressupe uma ontologia e suas sequncias.
O princpio da fora sistmica, unido com leis de interao, garante a unificao
do sistema. O perigo de fragmentao est em todos os locais e, com o avano das
cincias, cada vez mais improvvel que um sistema unificado de filosofia seja definido.
Propor, ento, um guia para se localizar no terreno fragmentado do conhecimento um
dos objetivos maiores de um sistema de filosofia9.
A prxima mxima na construo de sistemas filosficos o:
PRINCPIO 2 (No pretenso de verdade): Um sistema filosfico no deve ter
pretenso de descrever a realidade e nem a pretenso de enunciar proposies
verdadeiras no sentido de correspondncia com a realidade.
Nenhum sistema filosfico deve ter a pretenso de dizer algo acerca de estados particulares do mundo, uma vez que tal tarefa pertence s cincias. Deve, contudo, ser capaz
de explicar, de maneira coerente, as estruturas bsicas que possibilitam tais estados
determinados. A coerncia no significa a ausncia de contradies, mas o respeito pela
lgica subjacente ao sistema. Produzir um sistema filosfico com o objetivo de alcanar
verdades acerca do mundo , de fato, impossvel, embora produzir um sistema filosfico
com o objetivo de criar interaes conceituais e verdades gerais acerca da estrutura da
realidade possvel, dada a natureza interna dos conceitos filosficos10. Cada sistema
filosfico deve estipular a sua prpria teoria da verdade e ser fiel a ela, desde que essa
teoria no implique correspondncia com a realidade, pois o filsofo est impossibilitado de descrever o real.
9
10
216
Cognitio10n2.pmd
216
21/10/2009, 17:43
Os sistemas filosficos no so absolutos no sentido de que eles no eliminam a possibilidade de outros sistemas. De fato, o que existe uma pluralidade de sistemas filosficos, cada um responsvel por uma coerncia particular de um dado complexo conceitual.
Esse princpio nos parece compatvel com a tese defendida por Puntel de que existe
uma pluralidade de quadros tericos (p. 11).
O pior crime que pode ser cometido por um construtor de sistemas filosficos
enunciar que o seu sistema o ltimo, absoluto e verdadeiro, de tal modo que a presena e a existncia de outros sistemas sejam a priori impossveis. Aquele que no satisfaz
os princpios 2 e 3, culmina na elaborao daquilo que chamo das trs cargas negativas
dos sistemas: totalitrias, dogmticas e ditatoriais. Tais sistemas geram, do ponto de vista
da tica, tragdias humanas. Um sistema filosfico totalitrio quando no permite que
outros sistemas filosficos co-existam com ele. Um sistema filosfico dogmtico quando assume que apresenta uma descrio correta da realidade com pretenso de verdade. E um sistema filosfico ditatorial quando totalitrio e dogmtico.
11
Sobre a impossibilidade de conhecer proposies contingentes, remeto o leitor ao trabalho Costa-Leite (2007).
Cognitio10n2.pmd
217
217
21/10/2009, 17:43
O construtor de sistemas tem ao seu lado vrias ferramentas tericas que podem
ser utilizadas na elaborao do sistema. Pode fazer uso da matemtica ou das cincias,
mas tambm pode utilizar a msica, a poesia ou as artes12. Trata-se de uma opo
terica, que pode ou no ser acatada pelo filsofo. Ao passo que a busca da descrio
ltima da realidade inatingvel, no o a busca da descrio da estrutura geral da
realidade.
Os princpios gerais que regulam a formao e desenvolvimento dos sistemas
filosficos funcionam como mximas estruturais, ou seja, sugestes para a elaborao de
complexos conceituais. Os princpios acima no so, de modo algum, princpios obrigatrios, mas sim, pelo contrrio, sugestes tericas para todos aqueles que pretendem
confeccionar sistemas conceituais que se justificam antes pela sua beleza do que pela
verdade ou pela busca de verdade que estabelecem. Portanto, tudo que dito aqui se
apresenta apenas como uma diretriz, jamais como fundamento ltimo ou norma inviolvel.
O risco de violar os princpios para a construo de sistemas filosficos pode transformar
uma atividade filosfica em uma atividade de ao meramente local ou numa atividade
dominada pelas trs cargas negativas que afetam os sistemas. Qualquer sistema filosfico deve ser constitudo a partir de princpios que estabelecem diretrizes universais de
operao conceitual.
Desenvolver o contedo mesmo do sistema de filosofia que defendo, seguindo as
sugestes apresentadas nesse texto, tarefa que realizarei em outra ocasio.
7. Concluso
A contribuio principal deste texto mostrar como as leis de interao originrias da
lgica modal permitem aos sistemas filosficos restaurar sua unidade e fio condutor.
por via da combinao de conceitos que os sistemas filosficos ganham uma estrutura
unificada. Este texto, de certo modo, tentou explicar a grande questo: o que a filosofia? A filosofia, na sua manifestao mais plena, a atividade de construo de sistemas
filosficos com ao global.
Vimos os princpios fundamentais que podem servir de guia ao filsofo interessado em criar um sistema filosfico. Tais princpios so apenas sugestes de como proceder e no normas de como proceder. A essncia de um sistema filosfico est exatamente em especificar, seguindo a fora sistmica, os vrios nveis da filosofia. Mltiplos
sistemas filosficos, inclusive incompatveis, podem surgir a partir dos mesmos princpios gerais.
Espero que este texto tenha mostrado que apesar da especificao dos saberes,
ainda assim possvel pensar de maneira unificada, considerando a antiga noo de
sistema filosfico com uso de leis de interao. Assim, a filosofia pode novamente propor sistemas e, ao mesmo tempo, dedicar-se ao estudo especfico nas suas mltiplas
manifestaes. Penso que o trabalho de Puntel tambm foi nesse sentido e conseguiu,
12
Aqui parece existir uma diferena crucial entre minha abordagem e a de Puntel, pois ao
passo que penso que a linguagem e a lgica no tm um papel central para a filosofia,
Puntel defende a centralidade de tais objetos para a tarefa filosfica.
Cognitio, So Paulo, v. 10, n. 2, p. 209-220, jul./dez. 2009
218
Cognitio10n2.pmd
218
21/10/2009, 17:43
por isso, mostrar as condies mnimas para uma filosofia sistemtica. Ambos concordamos que o contedo mesmo do sistema filosfico s pode ser alcanado numa longa
jornada. At agora estamos somente no nvel de traar, como diz Puntel, um quadro de
referncia. Para concluir, importante enunciar que o filsofo precisa ainda hoje pensar
os problemas centrais da filosofia.
Agradecimentos
Agradeo ao Prof. Lorenz Puntel pelos comentrios a este texto.
Referncias
ARISTOTLE. (a.C. [1984]). The Complete works of Aristotle. Ed. Jonathan Barnes. New
Jersey: Princeton University Press.
BADIOU, A. (2006). Logiques des mondes. Paris: Editions du Seuil.
BEZIAU, J-Y. (1994). Universal Logic. In: CHILDERS, T.; MAJER, O. (Eds.). Logica 94:
The Logica Yearbook. Prague: 1994. p. 73-93.
COSTA-LEITE, A. (2007). Interactions of metaphysical and epistemic concepts. Tese
(Doutorado em Filosofia), Universit de Neuchtel, Sua.
GDEL, K. (1931). On formally undecidable propositions of Principia Mathematica
and related systems I. In: Collected Works: Publications 1929-1936. Ed., trad.: Solomon
Feferman et al. Oxford University Press.
KANT, I. (1781). Critique of Pure Reason. Trad. Normam Kemp Smith. Palgrave
Macmillan. Verso on-line em: http://humanum.arts.cuhk.edu.hk/Philosophy/Kant/cpr.
MARKOVIC, M. (1975). Is systematic philosophy possible today? In: RYLE, G. (Ed.).
Contemporary Aspects of Philosophy. Oriel Press.
PUNTEL, L. (2008). Estrutura e ser: um quadro referencial terico para uma filosofia sistemtica. Trad. Nlio Schneider. So Leopoldo: Unisinos. [Original em alemo:
2006]
WITTGENSTEIN, L. (1921). Tractatus Logico-Philosophicus. Trad. Luiz Henrique
Lopes dos Santos. So Paulo: EDUSP.
Cognitio10n2.pmd
219
219
21/10/2009, 17:43
Endereo / Address
Alexandre Costa-Leite
Universidade Estadual de Campinas UNICAMP
Centro de Lgica, Epistemologia e Histria da Cincia CLE
Cidade Universitria Zeferino Vaz
Rua Srgio Buarque de Holanda, 251
Baro Geraldo Campinas SP
Caixa Postal 6133
CEP 13083-970
Data de recebimento: 12/6/2009
Data de aprovao: 22/8/2009
220
Cognitio10n2.pmd
220
21/10/2009, 17:43
Cognitio10n2.pmd
221
221
21/10/2009, 17:43
Incompleteness Theorem and we will show here why and how this Theorem
implies the impossibility of such a modelling.
Keywords: Formal systems. Algorithms. Gdels theorems.
1. Introduo
Conhece-te a ti mesmo!
Podemos expressar por teorias formais, ou modelar por algoritmos, de forma completa,
a capacidade humana de identificar verdades aritmticas? Alguns autores, como Lucas
(1961) e Penrose (1989; 1995), insistem em que a resposta a essa questo negativa.
Penrose (1989; 1995) busca argumentar a favor da no mecanicidade do pensar humano, a partir de uma extensa anlise do Problema da Parada. Lucas (1961) busca mostrar
a impossibilidade de simular-se a capacidade humana de reconhecimento de verdades
aritmticas, no de forma direta, mas a partir de um esquema de refutao: dado um
programa computacional qualquer que avalie verdades da aritmtica tal como os seres
humanos conseguiriam fazer, Lucas mostra como se pode utilizar o Primeiro Teorema de
Gdel para exibir-se uma frmula que deveria ser reconhecida como verdadeira, mas
no estaria dentro desse modelo. Porm, ser que podemos apresentar, de forma mais
resumida que a de Penrose (1989; 1995) e de uma forma mais direta que a de Lucas
(1961), uma resposta questo inicial? o que buscamos desenvolver no presente
trabalho.
A perspectiva aqui adotada a de um terico que visa descrever por algoritmos
ou teorias formais a capacidade cognitiva humana, a quem a questo inicial necessariamente se coloca. Trata-se, assim, da anlise de algumas das formas em que se apresenta
a capacidade humana de verificao de frmulas da aritmtica de primeira ordem2, a
partir de uma anlise epistemolgica e metamatemtica, e de saber se essa forma pode
ser expressa por uma teoria formalizada ou modelada por um algoritmo.
A primeira dificuldade para responder questo proposta a de definir o que seja
a capacidade humana de verificao de uma frmula da aritmtica de primeira ordem.
Podemos, de incio, admitir que a questo surge no mbito da Lgica Matemtica, ou
mais exatamente, da Metamatemtica, j que nesse contexto em que so definidas as
teorias aritmticas de primeira ordem. Nesse caso, temos uma definio precisa do que
seja a veracidade de uma frmula, introduzida rigorosamente por Tarski (em 1936-7, cf.
traduo em 1983) e utilizada comumente nos livros introdutrios de Lgica Matemtica. Entretanto, no temos, primeira vista, uma definio do que seja a capacidade
humana de reconhecimento da veracidade, segundo a definio tarskiana, de uma frmula da aritmtica de primeira ordem.
Entendemos, neste trabalho, que uma frmula da aritmtica de primeira ordem uma
frmula da linguagem da aritmtica de primeira ordem cujos smbolos no lgicos so:
a constante 0 (que representa o zero); o smbolo de funo unrio S (que representa a
funo sucessor); os smbolos de funo binrios + e . (representando as operaes
soma e multiplicao); e os predicados binrios < e = (representando a relao menor
que e a igualdade). Para detalhes, cf. TASSINARI, 2003, p.36-37.
Cognitio, So Paulo, v. 10, n. 2, p. 221-230, jul./dez. 2009
222
Cognitio10n2.pmd
222
21/10/2009, 17:43
Por outro lado, para o terico que se coloca a questo do que seja o reconhecimento da veracidade de uma frmula da aritmtica de primeira ordem, a questo pode
ser analisada a partir de casos em que se consegue, em princpio, determinar o valor de
verdade das frmulas. Por exemplo, em princpio, o terico sabe que se poderia determinar a veracidade de qualquer frmula fechada livre de quantificadores: basta fazer o
clculo estabelecido pelas funes sucessor, adio e multiplicao sobre os termos aos
quais elas se aplicam, caso as funes apaream na frmula dada, e verificar a igualdade
do resultado desses clculos.
Notemos que a considerao da capacidade humana de verificao de frmulas
da aritmtica de primeira ordem, tomada em princpio, exclui as limitaes de memria
e de tempo para realizar-se a verificao, pois, como se est buscando expressar essa
capacidade por teorias formais ou por algoritmos computacionais, podemos supor haver
tanto espao e tempo quanto o necessrio, como se supe ocorrer na execuo ideal de
um programa ou na deduo ideal de teoremas de teorias. A posio aqui clara: como
se trata de averiguar se, em princpio, possvel uma modelagem da capacidade humana de verificao de frmulas, como, em princpio, no existe um limite mximo de
passos para todas as demonstraes em uma teoria e como, tambm, em princpio,
uma mquina de Turing ideal pode executar um algoritmo tendo tanta memria e
tempo quanto precisar (cf. TURING, 1965), ento assumiremos que, em princpio,
dispomos de tanta memria e tempo quanto precisarmos para averiguar a veracidade
de uma frmula.
Assim, o contexto em que se coloca a reflexo sobre a capacidade humana de
estabelecer verdades da aritmtica de primeira ordem e de sua comparao com as
possibilidades de deduo em um sistema formal ou com as possibilidades permitidas
por algoritmos o contexto metamatemtico, no qual o Primeiro Teorema da
Incompletude de Gdel constitui um dos resultados mais importantes. De uma forma
geral, trata-se do como se faz Matemtica, ou melhor, uma pequena parte dela, a que se
expressa na linguagem da aritmtica de primeira ordem. , portanto, a partir de anlises
epistemolgicas e metamatemticas sobre as implicaes do Primeiro Teorema de Gdel
para o fazer Matemtica, que os argumentos gdelianos, aqui apresentados, so utilizados para buscar mostrar que mquinas de Turing no podem fazer Matemtica como
(pelo menos alguns) seres humanos o fazem, ou, ainda, que existe algo no fazer Matemtica que no mecnico no sentido de Turing.
Cognitio10n2.pmd
223
223
21/10/2009, 17:43
224
Cognitio10n2.pmd
224
21/10/2009, 17:43
Interpretando a frmula de Gdel v[~B(v, S(w, w))], temos que v[~B(v, S(w, w))]
ocorre se, e somente se, no existe um nmero de Gdel k tal que kB(p, p), o que
equivale a afirmar que no existe demonstrao, no sistema formal considerado, da
frmula de nmero de Gdel p. Ora, essa a prpria frmula de Gdel v[~B(v, S(w,
w))], assim, se o sistema for consistente, sua veracidade equivale sua indemonstrabilidade
no sistema. Logo, se o sistema consistente, a frmula de Gdel verdadeira e
indemonstrvel no sistema.
De nossa compreenso dessa demonstrao do Primeiro Teorema de Gdel, podemos dizer que, em princpio, se conseguimos reconhecer que uma teoria T consistente, ento conseguimos reconhecer que a frmula de Gdel GT verdadeira.
Por outro lado, por um resultado simples da Teoria de Modelos, temos que se uma
teoria T tem modelo, i.e., se seus axiomas so verdadeiros em uma estrutura para a
linguagem de T, ento T consistente. Ora, por esse resultado, temos que, se reconhecemos que os axiomas de uma teoria aritmtica T so verdadeiros no Modelo Padro dos
Nmeros Naturais, ento reconhecemos que T consistente. Assim, combinando esse
resultado com a anlise da demonstrao do Primeiro Teorema de Gdel feita acima,
temos que, se reconhecemos que todo axioma A de uma teoria aritmtica T verdadeiro no Modelo Padro dos Nmeros Naturais, i.e., (A), ento reconhecemos que T
consistente e, da, reconhecemos que GT verdadeira no Modelo Padro dos Nmeros
Naturais, i.e. (GT).
Podemos ento admitir que, em relao ao problema principal desta seo, que
consiste em exibir uma teoria axiomtica T cujos teoremas so todas as frmulas que
reconhecemos como verdadeiras, a capacidade humana de reconhecer verdades aritmticas, representadada pelo predicado , segue o seguinte princpio:
Cognitio10n2.pmd
225
225
21/10/2009, 17:43
Definimos agora a noo, j discutida, de uma funo efetivamente calculvel de inteiros positivos, identificando-a com a noo de funo recursiva de inteiros positivos (ou
de funo l-definvel de inteiros positivos). Essa definio pensada para ser justificada
pelas consideraes que seguem, tanto quanto justificaes positivas podem ser obtidas
pela seleo de uma definio formal para corresponder a uma noo intuitiva.
Cognitio, So Paulo, v. 10, n. 2, p. 221-230, jul./dez. 2009
226
Cognitio10n2.pmd
226
21/10/2009, 17:43
Primeiramente, lembremos que existe uma mquina de Turing que calcula o resultado da aplicao de um predicado se, e somente se, o predicado recursivo, como
podemos demonstrar a partir de Turing (1936-7, Apndice, cf. reimpresso de 1965) e
de Church (1936, Teoremas XVI-XVII, cf. reimpresso de 1965); e que, analogamente,
existe uma mquina de Turing que calcula um predicado parcial P (claro que somente
para os casos em que P est definido) se, e somente se, o predicado P recursivo
parcial.
Consideremos, ento, as seguintes definies e o resultado obtido por Kleene
(1965, p. 271).
Seja P(x1, ..., xn) um predicado que pode no estar definido para todas as nuplas de nmeros naturais, no seu argumento. Pelo completamento de P entendemos um predicado Q, tal que, se P(x1, ..., xn) est definido, ento Q(x1, ..., xn)
est definido e tem o mesmo valor, e se P(x1, ..., xn) no definido, ento Q(x1,
..., xn) est definido. Em particular, ao completamento P +(x1, ..., xn) que falso
quando P(x1, ..., xn) indefinido, e ao completamento P-(x1, ..., xn) que
verdadeiro quando P(x1, ..., xn) indefinido, chamamos, respectivamente, de
completamento positivo e completamento negativo de P(x1, ..., xn). (Em P e P +, a
parte positiva coincide; em P e P -, a parte negativa coincide.)
Teorema Vi. O completamento positivo P +(x1, ..., xn) de um predicado recursivo
parcial P(x1, ..., xn) expressvel na forma (Ey)R(x1, ..., xn, y), na qual R uma
relao recursiva primitiva; e, conversamente, qualquer predicado expressvel
na forma (Ey)R(x1, ..., xn, y), na qual R recursiva geral o completamento
positivo P +(x1, ..., xn) de um predicado recursivo parcial P(x1, ..., xn).
Cognitio10n2.pmd
227
227
21/10/2009, 17:43
seja, (A); portanto, temos que, se A teorema de T, ento (A). Conclumos, ento,
que se recursivo parcial, ento existe uma teoria T axiomtica de primeira ordem
sobre os nmeros naturais tal que: (A) se, e somente se, A teorema de T.
Da assero acima e da Consequncia 1, temos imediatamente que:
Consequncia 2 do Princpio de Gdel-Autossuperao. no recursivo
parcial e, portanto, no existe algoritmo executvel por uma mquina de Turing que
simule completamente a capacidade humana de reconhecimento da veracidade de
frmulas aritmticas de primeira ordem.
Assim, certamente, pelo que foi exposto acima, as mquinas de Turing no podem satisfazer o Princpio de Gdel-Autossuperao. esse princpio que, se atribudo
aos seres humanos, e parece poder necessariamente ser atribudo j que foram os seres
humanos que o descobriram pela anlise do prprio pensar, leva a considerar que mentes no so apenas e to somente mquinas de Turing.
4. Concluso
minds cannot be explained as machines.
John R. Lucas (1961, p.1)7
Os resultados obtidos nas sees anteriores mostram ento que, devido ao Princpio de
Gdel-Autossuperao, que foi estabelecido em relao capacidade humana de identificao da verdade de frmulas da aritmtica de primeira ordem, a partir de uma
anlise epistemolgica e metamatemtica do Primeiro Teorema da Incompletude de
Gdel, pudemos mostrar que no existe uma teoria de primeira ordem sobre nmeros
naturais que seja completa em relao referida capacidade e que no existe algoritmo
ou mquina de Turing que simule completamente tal capacidade.
Tais resultados so importantes no apenas do ponto de vista epistemolgico e
metodolgico, mas tambm tm importantes implicaes ontolgicas que no sero
analisadas aqui (cf., e.g., LUCAS, 1961, que conclui que o mecanicismo falso). Tais
implicaes, bem como a considerao de como se pode estender esse resultado de
incompletude para teorias formais que sejam extenses de teorias de primeira ordem,
sero desenvolvidas em trabalhos posteriores.
228
Cognitio10n2.pmd
228
21/10/2009, 17:43
Referncias Bibliogrficas
CHURCH, Alonzo. An Unsolvable Problem of Elementary Number Theory. In: DAVIS,
1965, p. 88-107. [Apresentado para a American Mathematical Society, em 19 de abril
de 1935 e impresso, pela primeira vez, no American Journal of Mathematics, v. 58,
p.345-363, 1936.]
DAVIS, Martins. The Undecidable. Basic Papers on Undecidable Propositions,
Unsolvable Problems and Computable Functions. New York: Raven Press, 1965.
GDEL, Kurt. On Undecidable Propositions of Formal Mathematical Systems. In:
DAVIS, 1965, p. 39-74. [Notas de lies dadas por Gdel no Institute for Advanced
Study, durante a primavera de 1934, que trata tpicos muito similares aos do artigo
original de Gdel de 1931.]
KLEENE, Stephen Cole. Recursive Predicates and Quantifiers. In: DAVIS, 1965, p. 254287. [Reimpresso de Transactions, v.53, n.1, p. 41-73. American Mathematical Society,
1943.]
LUCAS, John Randolph. Minds, Machines and Gdel. Disponvel em: <http://users.
oc.ax.uk/~jrlucas/index.html>. Acesso em: 20 dez. 2001. [Impresso primeiramente em
Philosophy, XXXVI, p.112-127, 1961.]
PENROSE, Roger. The Emperors New Mind: Concerning Computers, Minds and Laws
of Physics. Oxford: Oxford University Press, 1989.
________. Shadows of the Mind: a Search for the Missing Science of Consciousness.
Oxford: Oxford University Press, 1995.
TARSKI, Alfred. Logic, Semantic, Metamathematics. 2. ed. Indianapolis: Hackett
Publishing Co., 1983.
TASSINARI, Ricardo Pereira. Incompletude e auto-organizao: Sobre a determinao
de verdades lgicas e matemticas. Tese (Doutorado em Filosofia), orientada por tala
Maria Loffredo DOttaviano. Campinas: IFCH/UNICAMP, Dezembro de 2003.
TURING, Alan Mathison. On Computable Numbers, with Application to the
Entscheidungsproblem. In: DAVIS, 1965, p. 115-154. [Reimpresso de Proceedings of
the London Mathematical Society, Ser. 2, v. 42, 1936-7, p. 230-265.]
Cognitio10n2.pmd
229
229
21/10/2009, 17:43
Endereos / Addresses
Ricardo Pereira Tassinari
Departamento de Filosofia
Universidade Estadual Paulista - UNESP / Campus Marlia SP
Faculdade de Filosofia e Cincias
Av. Hygino Muzzi Filho, n. 737
Marlia SP
CEP 17525-900
Itala M. Loffredo DOttaviano
Universidade Estadual de Campinas UNICAMP
Centro de Lgica, Epistemologia e Histria da Cincia CLE
Cidade Universitria Zeferino Vaz
Rua Srgio Buarque de Holanda, 251
Baro Geraldo Campinas SP
Caixa Postal 6133
CEP 13083-970
Data de recebimento: 10/8/2008
Data de aprovao: 20/10/2008
230
Cognitio10n2.pmd
230
21/10/2009, 17:43
This paper is based on a talk at the workshop Evoluce a Vda held in Prague in November
2008 under the auspices of the Academy of Sciences of the Czech Republic.
Cognitio10n2.pmd
231
231
21/10/2009, 17:43
racionalidade humana genuna, sinto pouco entusiasmo (para dizer o mnimo) a respeito de muitas das espantosas concluses de Cooper. O objetivo
deste artigo identificar algumas das diferenas entre ns, e determinar se
algum de ns est certo.
Palavras-chave: Lgica. Lgica indutiva. Racionalismo crtico.
232
Cognitio10n2.pmd
232
21/10/2009, 17:43
All organisms with cognitive capacity had better comply with the universal laws
of logic on pain of being selected against! [] Comfortable as that mindset may
be, I believe that I am not alone in suspecting that it has things backward.
There is a different, more biocentric, perspective[, in which t]he principles of
reasoning are neither fixed, absolute, independent, nor elemental. If anything it
is the evolutionary dynamic itself that is elemental. Evolution is the law giver.
The laws of logic are not independent of biology but implicit in the []
evolutionary processes that enforce them. The processes determine the laws.
The sense of this dependence of logic and rationality on evolution may become clearer
from Coopers contrast between reasoning and flying. To explain how birds, bats, and
insects fly we should normally invoke two quite different kinds of theory: physical
theories of aerodynamics and fluid mechanics, which explain how flying is possible, and
evolutionary theories about the development of wings that explain how various species
mastered the art. But in the case of reasoning, Cooper ventures, only theories of the
second kind are needed (p. 5): There are no separable laws of logic. [] the laws of
logic emerge naturally as corollaries of the evolutionary laws. [] The laws of logic are
redundant in the presence of the laws of evolution.
The bulk of Coopers book is concerned to establish in outline a series of reductions,
in the sense, say, of Nagel (1961) (a sense that will here be taken to be sufficiently well
understood and uncontroversial): mathematics may be reduced to deductive logic;
deductive logic may be reduced to the theory of probability (here called inductive
logic); the theory of probability may be reduced to the (Bayesian) logic of decision; the
(Bayesian) logic of decision may be reduced to the theory of life-history strategies. In
sum, the whole of the content of the formal sciences may be reduced to and explained
by evolutionary phenomena. It should perhaps be noted explicitly that there is one
sense is which this conclusion is quite trite; for the theorems of logic are consequences
of any theory whatever, and therefore of evolutionary theory in particular. Coopers
thesis is evidently stronger than this, and must be that logical manipulations, from the
point of view of survival and reproduction, can be shown to have pragmatic significance.
My criticisms, mostly brief, will be presented in the reverse order in 1-4 below,
and may be summarized as follows. The reduction (1) of mathematics to deductive
logic, and the reduction (2) of deductive logic to the theory of probability are not only
disappointingly sketchy, as Cooper well appreciates, but seriously defective in respects
that he seems not properly to appreciate. The reduction (3) of the theory of probability
to Bayesian decision theory may be cautiously accepted, even if its appropriateness is
much open to question. My main objection to the reduction (4) of decision theory to
population biology is that it depends on a historical hypothesis that is no part of population
biology. Once we get right the principal features of rational decision making (as opposed
to Bayesian decision making), the gratuitousness of this historical hypothesis becomes
obvious.
Cognitio10n2.pmd
233
233
21/10/2009, 17:43
234
Cognitio10n2.pmd
234
21/10/2009, 17:43
Following Adams (1975), Cooper defines logical consequence (and hence logical
derivability) as follows (p. 216):
B is a logical consequence of A1, [], AN (where N 0) if and only if for every >
0 there exists >0 such that for all p, if p(A1), [], p(AN) > 1 then p(B) > 1 .
To show, therefore, the validity of the classical law of double negation, that each
of A and A is a logical consequence of the other, it certainly suffices to show that p(A)
= p(A) for every probability function p. But this is a simple consequence of the laws
of Boolean algebra assumed as part of the Kolmogorov axioms. And in general, all that
is needed, in addition to the Boolean laws, is the the monotony condition that p(A)
p(B) if and only if A B, which is derivable from the axioms. It follows from the Boolean
laws, for example, and therefore from the Kolmogorov axiomatization of probability,
that A (A B) B. We may therefore conclude that a probabilistic version of the
rule of modus ponens is valid: p(A (A B) p(B). A little more work is required if we
are to prove that B is a logical consequence of A and A B taken together (rather than
conjoined), but it can be done. Indeed, something would be seriously amiss with Coopers
definition if it could not be shown that A B is always a logical consequence of A and B
together. It should be noted that this criticism does not apply immediately to Adamss
programme, whose aim was to develop a non-classical logic of conditionals (discussed
by COOPER, chapter 6) that is based on a probabilistic criterion of validity.
My objection to Coopers reduction is not that it is incorrect, but that all the laws of
sentential logic (which can, after all, all be expressed as identities) are already explicitly
assumed in the Kolmogorov axiomatization of probability. There are, however, other
axiomatizations of the theory of probability, most notably that of Popper (1959), appendices
*iv and *v, that make no explicit assumptions concerning the Boolean operations. A
survey of many such axiomatizations, and others, is to be found in Chapter 8 of Roeper &
Leblanc (1999). Whether one or other of these axiomatizations can be fitted smoothly into
Coopers reductionist project remains to be seen. It would evidently be necessary to
prove an analogue of the theorem of Savage to be reported in the next section.
It needs to be emphasized that there exists no satisfactory extension to predicate
logic of any of these axiomatizations. It is hardly sufficient to treat universally and
existentially quantified expressions [] as abbreviations for conjunctive and disjunctive
expressions involving all the individual constants (COOPER, p. 104), since no ordinary
language suitable for mathematics can contain constants for all the elements of the
intended domain. Similar attempts (such as that of FIELD, 1977) to resort in some way
to substitutional semantics seem equally unpromising. The reduction of the whole of
elementary logic, let alone higher-order logic, to probability theory is far from having
been achieved.
Cognitio, So Paulo, v. 10, n. 2, p. 231-242, jul./dez. 2009
Cognitio10n2.pmd
235
235
21/10/2009, 17:43
Coopers thesis, if I understand it, is that such terms as logically valid and logical
consequence have no genuine evaluative component, and are merely ways of describing
forms of inference that, in some way or other, possess some pragmatic significance for
those organisms that employ them. This renders decidedly puzzling his view, quoted
above, that [d]eductive logic is [] about patterns of inference in which, if the premises
are known, the conclusion can be known (p. 107), a characterization of validity that is
quite inadequate as it stands. For most logicians, valid deductive inferences are identified
with inferences that transmit truth (rather than knowledge) from the premises to the
conclusion. As Czech people say: Pravda vtz. The rule of modus ponens, for example,
permits the derivation from the premises A and A B the conclusion B. It is valid,
under the usual truth-table semantics, since B is true on every row on which both A and
A B are true. Since a tautology is a statement that is true on all rows, in all circumstances,
tautologousness too is transmitted from premises to conclusion (and so, thanks to the
completeness theorem, is theoremhood). Modus ponens, that is to say, licenses not only
the derivation from the premises A and A B of the conclusion B, but also the inference
from |- A and |- A B of the conclusion |- B. But, like all the other rules of inference,
it goes beyond this, and it is only by going beyond the transmission of (near)-certainty
that it appears to be able to play any useful role.
Cooper goes so far as to conjecture (without any biological reference) that (p. 98):
there is selection for epigenetic rules for Bayesian behaviour based on subjective
probabilities in an inferred space of [] propositions, [] structured in such a
way that for evolutionarily stable individuals in which A B and A are both
sufficiently strongly believed, B must also be believed.
236
Cognitio10n2.pmd
236
21/10/2009, 17:43
states that each suitably restricted qualitative preference ordering over the elements
of a field of options (acts) may be represented by the combination of a probability
measure p on those options, and a utility function u on the possible outcomes of the
acts in the sense that f
g holds if and only if E(f) E(g)$, where E(y) is the expected
utility of the option y with respect to the probability measure p and the utility function
u. The measure p is unique, and the utility function (like most utility functions) is unique
up to a positive linear transformation. The restrictions imposed on the qualitative ordering
are supposed to be for the most part intuitively natural, though some have a more
formal character, and are required for mathematical reasons. There can be no doubt that
some theorem of this kind is demonstrable.
What is its import in the context of Coopers planned reduction? It is that if the
preferences of an organism or individual are sufficiently widely and precisely defined,
then there exist (whether or not the organism is aware of them) a probability measure
p and a utility function u such that the claim that f is preferred to g may be identified
with the claim that the expected utility E(f) is greater than the expected utility E(g).
Once preferences, or decisions between options, are given, probability too is given,
provided that those preferences satisfy the required axioms. Probability assignments
may be reduced to decision making strategies.
Despite its seemingly universal character, this result has decided limitations, and
must be interpreted with care. Any agent may, on the evidence (if it deserves to be
called that) of a suitable range of preferences over all possible options, be understood to
be implicitly adopting a Bernoullian strategy of maximizing expected utility. Yet he
may be working consciously to a quite different strategy, for example the strategy,
which seems to me to be much more intelligent, of attempting to maximize actual
utility (see 5 below). Strategies are, at least for human agents, intentional entities, and
should be understood accordingly. It is part of Coopers thesis, of course, that the good
sense of Bernoullian-Bayesian decision making emerges from more primitive biological
considerations. To this final step in the reduction we now turn.
Cognitio10n2.pmd
237
237
21/10/2009, 17:43
remaining twigs, including those marked p and q situated part of the way up the trunk,
lead to success.
In its evolutionary guise the tree represents the career of one reproductive season
of a polymorphic population of semelparously and asexually reproducing organisms.
Among shelled M members a proportion p are detected by predators, while among
exposed M members the proportion is q. The two polymorphs have a repertoire of two
behavioural responses to the predatory threat, digging B or running away B. The
proportion of shelled diggers MB who suffer capture and extinction (ruin) is x, and the
corresponding the proportion of shelled runaways MB is z. The proportions of exposed
members MB and MB who are extinguished are y, w respectively.
In its prohairetic (decision-theoretic) guise the tree represents the options open
to a smuggler who is considering buying a speedboat M to replace his fishing dinghy.
The probability is p that a speedboat will raise suspicion in the coastguards, and q that a
dinghy M will do so. There are only two things to do if detected: to play innocent and
bluff ones way out of trouble B, and to escape B. There is a probability x that a
speedboat whose owner plays innocent MB will suffer capture and confiscation (ruin),
and a probability z that the speedboat MB cannot outdistance the coastguards. For a
fishing dinghy MB or MB the probabilities of capture and confiscation are y and w
respectively.
In the evolutionary picture, it is straightforward to calculate which combination of
morphology and behaviour exhibits the greatest proportional population increase in the
Cognitio, So Paulo, v. 10, n. 2, p. 231-242, jul./dez. 2009
238
Cognitio10n2.pmd
238
21/10/2009, 17:43
next generation. After many generations under the same conditions this combination (say,
MB) can be expected to swamp the population, and other combinations will be selected
against. It is commonly held that the combination of nautical craft and diplomatic craft that
the smuggler should opt for is calculated in the same way, since it is that combination that
yields the greatest expected utility E: that is, the greatest average utility ascribed to each
outcome of each combination, weighted by the probabilities of those outcomes.
There is one asymmetry, easily taken care of, in the two readings of Figure 0. In
the nautical example, what corresponds to ruin is the capture and confiscation of the
boat, whose disutility may vary with circumstances in a way that biological extinction
does not; for the confiscation of an expensive speedboat may be judged even more
disadvantageous than the confiscation of a dinghy. But this slight asymmetry can be
taken care of by treating not mere survival but fitness (COOPER, 2001, p. 3740) as
what corresponds in the biological reading to utility in the decision-theoretic reading.
Given this proviso, a classical decision tree is interpretable as a branch of a lifehistory tree (COOPER, 2001, p. 48).
In reality a life-history tree will be not only extended into another generation (for
those individuals that survive the season depicted), but also much bushier. The natural
environment is full of incidents that may necessitate some reaction. There may be a
very large, even continuous, set of possible reactions to each threat. The reactions too
may not be automatically induced, but conditional on further environmental variables:
for example, there may be conditional behavioural responses such as run away on
rock, but dig on sand and run away at night, play innocent during the day. The
seemingly endless variety of possible strategies (as they are usually called) means that
the relative frequency of survivors of even the best strategies may be very small. In
addition, the environment is always changing to some extent, and a permanent
background cannot be countenanced. It seems impossible that natural selection could
ever work in such conditions to eliminate unfit strategies.
Cooper suggests that, to understand what has happened between the evolutionary
beginnings and the human present, we must first replace the idea of the fitness of [the
members of a population who follow] a strategy with the idea of expected fitness; not
the actual number (and quality) of offspring, but their expected number. This is defined
as an expectation in the usual manner, and is called a propensity, even when the relevant
probability measure is interpreted as a frequency. The main point, however it is realized,
is that we have a way of talking about the fitness of a single individual (COOPER,
2001, p. 52).
For the reasons already adumbrated, piecemeal strategies, however unfit, will not
be selected out of the population. According to Cooper, as the life-history trees became
more and more involved, the time became ripe for the emergence of meta-strategies
that attempt, at each point of the tree, to maximize the expected fitness of the individual. Cooper asks (p. 57):
What will happen next? There will be selective pressure in the direction of a
more sophisticated information processing capacity that enables each individual to construct a cognitive life-history tree branch appropriate to whatever
decision situation it currently finds itself in.
It is not easy, at least for me, to see such meta-strategies (which incorporate
judgements of probability and of utility) as components of a genuine reduction of decision
Cognitio, So Paulo, v. 10, n. 2, p. 231-242, jul./dez. 2009
Cognitio10n2.pmd
239
239
21/10/2009, 17:43
theory to population biology. But the more important question is whether such strategies
have indeed evolved. Cooper thinks that they must have evolved, since this is how we
make decisions (ibidem):
What is involved in such an adaptation is so impressive that it would hardly
seem a serious evolutionary possibility if it hadnt already occurred in some
species, notably humans. [ T]he individual [ in] some sense has to analyze
the decision situation as a whole. It must identify the available acts and the
events that might ensue from each act []. It must make assumptions about the
probabilities of the various events, [] and attach fitness estimates to them.
The view presented is that in this development subjective probabilities (which are
crucial components of standard subjectivistic or personalistic Bayesian decision theory)
have evolved as estimates of the objective probabilities that exist unknown behind the
scenes. An evident problem is that in an environment in which genuine decisions are
taken, there exist few stable objective probabilities, if any; certainly not long-run
frequencies, and hardly any stable propensities either, since propensities generally depend
sensitively on everything that occurs (including the outcomes of decisions). But my
principal objection to the story that Cooper here tells is that it seems to be sheer makebelieve. Not all incredible ideas are wrong, but this one that what has evolved is a
meta-strategy of decision making based on subjective probabilities seems to me to be
profoundly mistaken. It is indeed nothing but wishful thinking. Because Cooper, like so
may others, takes it for granted that rational decision making in humans proceeds by
Bernoullis rule of maximizing expected utility, he is led to postulate a development
that hardly seem a serious evolutionary possibility. This may not be the weakest point
in his reduction of the formal sciences to evolutionary biology, but it is a breaking point.
In truth no evolutionary explanation has been given for the involvement of subjective
probabilities in decision making. And the plain reason for this is that subjective probabilities
are not an important component in either animal or human (rational) decision making.
240
Cognitio10n2.pmd
240
21/10/2009, 17:43
References
ADAMS, E. W. (1975). The Logic of Conditionals. An Application of Probability to
Deductive Logic. Dordrecht: D. Reidel Publishing Company.
COOPER, W. S. (2001). The Evolution of Reason. Cambridge & elsewhere:
Cambridge University Press.
FIELD, H. H. (1977). Logic, Meaning, and Conceptual Role. The Journal of
Philosophy, v. 74, p. 379409.
HALE, R. L. V.; WRIGHT, C. J. G. (2001). The Reasons Proper Study. Oxford:
Clarendon Press.
KOLMOGOROV, A. N. (1933). Grundbegriffe der Wahrscheinlichkeitsrechnung.
Berlin: Springer. [English translation 1950.] Foundations of the Theory of Probability.
New York: Chelsea Publishing Company.
MILLER, D. W. (1994). Critical Rationalism: A Restatement and Defence. Chicago &
La Salle IL: Open Court.
(2006a). Out of Error: Further Essays on Critical Rationalism. Aldershot &
Burlington VT: Ashgate.
(2006b). Darwinism is the Application of Situational Logic to the State of
Ignorance. In: JARVIE, I. C.; MILFORD, K. M.; MILLER, D. W. (eds.) (2006). Karl
Popper: A Centenary Assessment, v. III: Science. Aldershot & Burlington VT: Ashgate.
p. 155162.
NAGEL, E. (1961). The Structure of Science. London: Routledge.
POPPER, K. R. (1959). The Logic of Scientific Discovery. London: Hutchinson
Educational Books.
(1972). Objective Knowledge. Oxford: Clarendon Press. [2. ed. 1979.]
Cognitio10n2.pmd
241
241
21/10/2009, 17:43
Address / Endereo
David Miller
Department of Philosophy
University of Warwick
COVENTRY CV4 7AL UK
Data de recebimento: 29/8/2009
Data de aprovao: 15/9/2009
242
Cognitio10n2.pmd
242
21/10/2009, 17:43
Cognitio10n2.pmd
243
243
21/10/2009, 17:43
Introduo
Conhecido como Argumento da Batalha Naval, o De Interpretatione 9 levanta o seguinte problema: se so ditas duas alternativas a respeito do futuro se algo ocorrer ou
no , necessariamente se dar uma das duas alternativas? Em linhas gerais, o grande
tema que est sendo exposto no De Interpretatione 9 a tentativa de explicitar se o
que se diz no presente a respeito do futuro hoje verdade ou no. o problema dos
futuros contingentes1.
2
3
4
Fleck (FLECK, Fernando Pio de Almeida. O problema dos futuros contingentes. Porto Alegre:
EDIPUCRS, 1997. p. 10) aponta o problema em carter filosfico: A importncia filosfica do problema dos futuros contingentes patente: situa-se no carter central dos
conceitos desde logo nele envolvidos (verdade, modalidade, tempo) e de outros conceitos que a investigao haver de considerar ([pr-]conhecimento, liberdade e causalidade).
WYLLIE, Guilherme. Tempo e necessidade no captulo nove do Da Interpretao de
Aristteles. Revista Informacin Filosfica, v. II (2005), n. 1, p. 115.
Princpios de No-Contradio, Terceiro Excludo, Verdade Correspondente e Bivalncia.
Ver Apndice no fim deste trabalho.
Ackrill (ACKRILL, J. L. Aristotles Categories and De interpretatione Translated with Notes
and Glossary. Oxford: Clarendon Press, 1963. [Clarendon Aristotle Series]), Frede (FREDE,
D. Aristoteles und die Seeschlacht, in Hypomnemata, 27. Gttingen: Vandenhoeck &
Ruprecht, 1970; idem. The Sea-Battle Reconsidered: A Defense of the Traditional
Interpretation. Oxford Studies in Ancient Philosophy, v. 8, p. 31-87, 1985) e Craig (CRAIG,
W. L. The Problem of Divine Foreknowledge and Future Contingents from Aristotle to Suarez.
Leiden: E. J. Brill, 1988), apud FLECK, Fernando Pio de Almeida, op. cit., p. 9. Tambm Ross
(ROSS, W. D. Aristotle. 3. ed., London: Methuen, 1937. p. 80), Kneale (KNEALE, W.; KNEALE,
M. O desenvolvimento da lgica. Trad. M. S. Loureno. 2. ed. Lisboa: Fundao Calouste
Gulbekian, s/d. p. 48-49), Quine (QUINE, W. V. O. On a Socalled Paradox. Mind, n. 62,
1953, p. 65-67), apud WYLLIE, Guilherme, op. cit., p. 116.
Cognitio, So Paulo, v. 10, n. 2, p. 243-266, jul./dez. 2009
244
Cognitio10n2.pmd
244
21/10/2009, 17:43
7
8
Anscombe (ANSCOMBE, G. E. M. Aristotle and the Sea Battle. Mind, v. LXV, n. 257, jan.
1956), Strang (STRANG, C. Aristotle and the Sea Battle. Mind, n. 69, p. 447-465, 1960),
apud FLECK, Fernando Pio de Almeida, op. cit., p. 9).
Lembrando que Aristteles no tinha clara a definio dessa confuso (pois no tinha
noo daquilo que hoje chamamos de modalidade, ou qualificao da sentena), mas
sabia que estava havendo algum tipo de confuso. Grosso modo, podemos definir a
diferena entre necessidade lgica e necessidade como operador modal como segue: necessidade lgica a necessidade de concluir-se uma verdade de premissas
verdadeiras, e nesse caso a palavra necessidade ou necessrio no pertence estrutura da sentena concluda no argumento; por sua vez, necessidade como operador
modal caracteriza a palavra necessidade ou necessrio como parte inseparvel da
estrutura da sentena. A diferena muito grande, apesar de que parea ser sutil quando
vemos escrito. Por exemplo, das premissas verdadeiras Scrates grego e os gregos
so mortais, o argumento deve concluir necessariamente Scrates mortal (necessidade lgica), mas no necessariamente, Scrates mortal (necessidade modal).
HINTIKKA, J. Time and Necessity: Studies in Aristotles Theory of Modality. Oxford:
Clarendon Press, 1973. p. 153-5. (Apud WYLLIE, Guilherme, op. cit., p. 116).
STRANG, C., op. cit., 1960, p. 448; ACKRILL, J. L., op. cit., 1963, p. 132 (apud WYLLIE,
Guilherme, op. cit., p. 116).
Cognitio10n2.pmd
245
245
21/10/2009, 17:43
Vamos obrigar-nos a um estudo parte por parte, na tentativa de penetrar a dificuldade do texto e entender a inteno de Aristteles quando props o Argumento da
Batalha Naval.
Nessa primeira parte, Aristteles afirma que o que se admite adequadamente a respeito
das proposies no presente e no passado (se so verdadeiras ou falsas), no se admite
do mesmo modo (ou no se admite absolutamente) das proposies singulares sobre o
futuro. Ele parte da condio de que uma declarao a respeito de qualquer coisa ou
uma afirmao ou uma negao. A isso denominamos antfase: a afirmao e a negao a respeito do mesmo objeto. Durante todo De Interpretatione 9, alm da tese
principal (que problema das declaraes a respeito do futuro), desenvolve-se como
pano de fundo uma teoria dos problemas do tratamento lgico de argumentos que
envolvem antfases.
Nessa curta introduo do captulo 9, Aristteles distingue as antfases que se
referem a eventos no passado e no presente das antfases que tratam de eventos no
futuro. Basicamente, a distino que faz que a necessidade da alternativa de contraditrias (que, veremos adiante13, ser chamada interpretao (1)) ou da necessidade de
uma das contraditrias (interpretao (2)) vale para os eventos passados e presentes,
mas essas naturezas de necessidade no cabem do mesmo modo para as sentenas
10
11
12
13
Isto , a respeito do presente e do que vem desde o passado .... Anscombe (ANSCOMBE, G. E.
M., op. cit., 1956, p.1) aponta que nessa passagem Aristteles no trata de um evento
descrito anteriormente no texto, mas usa do verbo ser como o verbo em si, pois est
preocupado com a condio de estado temporal que o verbo carrega (passado, presente
e futuro, conforme a conjugao do verbo e o contexto) e no com hipotticos eventos
designados com auxlio do verbo. Ou seja, Aristteles est usando do verbo ser/existir
para expressar a situao temporal (a linha do tempo).
Afirmar ou negar so as nicas duas alternativas do que se pode falar de um evento.
Por exemplo, ontem ocorreu uma batalha naval ou ontem no ocorreu uma batalha
naval; est ocorrendo uma batalha naval ou no est ocorrendo uma batalha naval.
Esse par de alternativas, como veremos mais adiante no texto deste trabalho, recebe o
nome de par de antfases.
Isto , a respeito das proposies que descrevem o presente e o passado vale o Princpio
de Bivalncia.
Com particulares e futuras, Aristteles est querendo dizer futuros contingentes.
Ver pargrafo da nota 36.
Cognitio, So Paulo, v. 10, n. 2, p. 243-266, jul./dez. 2009
246
Cognitio10n2.pmd
246
21/10/2009, 17:43
futuras como cabem para as do passado e presente. Durante a maior parte do pargrafo
ele trata das proposies quanto ao passado e ao presente, para deixar s uma breve
linha referindo-se s proposies futuras, distinguindo-as das outras.
No primeiro perodo do pargrafo, Aristteles concorda que o Princpio de Bivalncia
rege os eventos no passado e no presente e divide as antfases quanto ao passado e ao
presente em trs classes:
a) Antfases constitudas de proposies universais com sujeito universal (universais tomadas universalmente).
b) Antfases constitudas de proposies com sujeitos particulares.
c) Antteses constitudas de universais indefinidas (universais no tomadas universalmente).
Aristteles est considerando construir uma teoria apropriada para uma lgica dos
pares contraditrios14 (principalmente porque fato que eles podem ser enunciados).
Aristteles conclui nessa primeira passagem do De Interpretatione (De Interpretatione,
18a28-34) que:
A) O conhecimento dos fatos passados e presentes permite indicar um valor de
verdade para as asseres que descrevem esses fatos (Princpio de de Identidade).
B) Por determinao dos outros trs Princpios15, qualquer assero sobre um fato
passado ou presente ou verdadeira ou falsa.
C) A assero contraditria daquela que se obteve em (B), e que constitui com
aquela uma antfase, ter necessariamente o valor de verdade contrrio daquela.
Em resumo, o conjunto dos Quatro Princpios (No contradio, Terceiro excludo,
Bivalncia e Identidade) vale para as asseres sobre o passado e o presente.
14
15
Ora, ento, em toda antfase uma sentena ser verdadeira e a outra falsa. A questo que
Aristteles no deixou clara, por culpa da redao confusa que tem o De Interpretatione
9, se sua opinio de que necessrio que uma seja verdadeira e a outra falsa (que,
como veremos mais adiante, a Interpretao (1) dessa passagem), ou se, quando uma
verdadeira, necessrio que a outra seja falsa (o que diferente e se trata da Interpretao (2) dessa passagem). Em outra obra (Metaphysica, , 8, 1012b10), Aristteles j
considera que uma vez que duas asseres s constituem um par contraditrio se uma
delas afirma e a outra nega algo do mesmo sujeito, ento no podem ser ambas verdadeiras nem ambas falsas. Apesar de que Aristteles cuidar dessa impossibilidade de
maneira mais apropriadamente lgica, mais frente, na segunda parte do De Interpretatione
9, pode-se adiantar que no decorrer do captulo Aristteles reclama para justificar essa
posio a validade do Princpio de No contradio (isto , (p p), ou toda proposio no pode ser simultaneamente verdadeira e falsa), a validade do Princpio do
Terceiro Excludo (isto , p p, ou toda proposio ou verdadeira ou falsa) e
validade do Princpio de Bivalncia (isto , p (p p), ou dada uma proposio, ou
ela verdadeira ou falsa). Esses princpios determinam que a verdade e a falsidade
so valores de verdade mutuamente excludentes e, em especial, o Princpio de Bivalncia
equivalente ao princpio do Terceiro Excludo, pois se p tomado verdadeiro dizemos ser simplesmente p, e p tomado falso dizemos (com auxlio do conectivo unrio
) simplesmente p. Ento ambos os princpios so equivalentes.
Ver nota anterior (nota n. 25).
Cognitio10n2.pmd
247
247
21/10/2009, 17:43
Aristteles, ao tratar sua tese, considera que o passado necessrio, distinguindoo do futuro devido a sua anterioridade temporal. Trabalhando com as antfases, ele fecha
as alternativas de declarao e suspende a contradio temporariamente. Desse modo,
ao falar de eventos futuros, ele traz para hoje o mundo futuro. Dependendo da
interpretao escolhida, pode-se concluir que nesta primeira parte, a respeito das proposies que se referem ao passado ou ao presente, vale:
a) ou apenas a necessidade do Princpio de Bivalncia (necessrio p ou p), ou
b) uma das formas modais necessariamente p ou necessariamente p.
Usando modernos smbolos lgicos, parece que Aristteles props uma das duas
regras que seguem:
1) (p p); ou
p
2) p
16
17
248
Cognitio10n2.pmd
248
21/10/2009, 17:43
ao mesmo sujeito]18. Isto , toda inclui as asseres quanto ao futuro. obvio que o
sentido disso apresentar o argumento com a inteno de refut-lo em seguida. Mas
imediatamente a essa frase, Aristteles continua justificando a igualdade de tratamento
lgico entre o passado, o presente e o futuro (De Interpretatione, 9, 18a34-b9):
... Se, pois, algum afirma que algo ser19 e outro, por sua vez, no afirma o
mesmo, evidentemente necessrio que um deles diz a verdade, j que toda
afirmao verdadeira ou falsa20. De fato, ambas no sero o caso simultane18
19
20
O smbolo |- significa que o que se segue dele demonstrvel (isto , uma tese) e o
smbolo traduz o operador modal necessrio. As passagens 4 e 5, Aristteles no as
deixou explcito no texto, mas parece que ele conhecia aquilo que modernamente chamamos de Regra da Necessitao, que pode ser traduzido aproximadamente como se
Cognitio10n2.pmd
249
249
21/10/2009, 17:43
21
22
Argumento A:
250
Cognitio10n2.pmd
250
21/10/2009, 17:43
23
24
25
26
27
Cognitio10n2.pmd
251
251
21/10/2009, 17:43
Ou seja, Aristteles prope que se algum afirma algo quanto ao futuro, determina o
futuro segundo uma das duas interpretaes (ou interpretao [1] ou interpretao [2])
vistas no estudo da Primeira Parte do captulo De Interpretatione 9. Aristteles justificase dizendo que se o futuro no for determinado, ento os fatos presentes e passados
no so tambm, pois as suas proposies correspondentes foram tambm um dia uma
assero futura30: "com efeito, se verdadeiro dizer que uma coisa branca ou no
branca, neces-sariamente ela branca ou no branca, e se ela branca ou no
branca, foi verdadeiro afirmar ou negar isso."
28
29
30
252
Cognitio10n2.pmd
252
21/10/2009, 17:43
Se verdade que tudo que fato hoje ou no passado, antigamente era tambm
uma assero quanto ao futuro, as dvidas surgem sobre qual natureza de necessidade
implicava antigamente a assero futura que se tornou fato posteriormente (isto ,
tornou-se presente). Mais criteriosamente (j que se admite aqui que o futuro determinado) a pergunta : qual interpretao vista no estudo da Primeira Parte vale aqui, a (1)
ou a (2)?31 Em outras palavras, o que vale? Vale: uma assero sobre o futuro que hoje
verdadeira ou falsa, necessariamente ser verdadeira ou falsa no futuro (interpretao 1) ou, de outro modo, vale: uma assero sobre o futuro, verdadeira hoje, necessariamente ser verdadeira no futuro e, falsa hoje, ser necessariamente falsa no
futuro (interpretao 2)?
Parece que Aristteles quis a princpio realmente escolher implicar a interpretao (2) a partir da interpretao (1), pois essa implicao facilmente refutvel e,
simultaneamente, essa implicao permite dizer que a interpretao (2) tambm cabe
ao futuro, isto , que uma assero verdadeira sobre o futuro necessria no futuro e
31
posio, fsica ou descritiva (uma lista de palavras, por exemplo), para no mais ocupla e ocupar outra posio adjacente. Fluxo a condio contnua do sentido. Tempo
a medida do fluxo em relao ao sentido: no tempo t1, algo ocupava a posio 1 e,
no tempo t2, desocupou essa posio para ir para a 2. Se algo est imvel, no h fluxo
e por isso no h tempo (as montanhas esto imveis e s podemos dizer que o tempo
passa para elas porque a histria registra ao p delas sucessivas guerras e/ou colheitas,
por exemplo). Visto assim, a expresso fluxo de tempo no significa que o tempo algo
que se move e cuja rgua so nossos relgios, isto , tempo no tem valor de genitivo
na expresso fluxo de tempo (isto , no est na posio de ser a origem de algo que
se mede). Deve-se ler a expresso fluxo de tempo (j consagrada e por isso no bom
que se tente reform-la aqui) como fluxo do que medido pelo tempo. Ora, se o passado
e/ou o futuro so determinados, temos que levar em conta que aquilo que determinado , obviamente, efeito de uma causa. Ento o que determinado um fluxo de
tempo a partir do presente: hoje (tempo t1) o passado e/ou o futuro (tempo t2) esto
determinados.
A respeito deste ponto, Fleck comenta (op. cit., p. 69) (os colchetes [ ] so acrscimos
nossos):
Essa a tese central da chamada teoria causal do tempo e foi desenvolvida principalmente por Reichenbach [REICHENBACH, H. The Direction of Time. Berkeley: University of
Califrnia Press, 1956] e posteriormente por A. Grnbaum [GRNBAUM, A. The Meaning of
Time. In: FREEMAN, E.; SELLARS, W. (eds.). Basic Issues in the Philosophy of Time. La
Salle: Open Court. p. 195-228] a partir dos resultados da teoria da relatividade de Einstein.
Tal tese j se encontra antecipada em Leibniz [LEIBNIZ, G. W. Mathematische Schriften.
GERHARDT, C. J. (ed.). Hildesheim: Georg Olms, 1962], como assinala Reichenbach (e.g.,
1956, p.25):
Si eorum quae non sunt simul unum rationem alterius involvat, illud
prius, hoc posterius habetur.
[...] Tempus est ordo existendi eorum quae non sunt simul (Math.
Schriften, VII, p.18).
(Se de coisas que no so simultneas, uma contm a razo da outra,
considera-se aquela anterior, esta, posterior.
[...] O tempo a ordem de existir das coisas que no so simultneas).
Ver nota 37.
Cognitio10n2.pmd
253
253
21/10/2009, 17:43
falsa sobre o futuro impossvel no futuro. Escolhendo esse caminho (por facilidade de
refutao), Aristteles continua (De Interpretatione, 9, 18b9-16)32:
Ademais, se uma coisa branca agora, ento foi verdadeiro dizer anteriormente que ela seria branca33 de modo que, no que concerne s coisas que ocorreram, sempre foi verdadeiro dizer o que elas seriam. Mas, se foi sempre verdadeiro dizer que algo ou ser, ento no possvel que no seja ou que no
venha a ser34. Nesse caso, o que impossvel de acontecer, necessariamente
acontecer35. Por conseguinte, todos os eventos futuros necessariamente ocorrero36. Assim, nada acontece por acaso nem de modo indeterminado, visto
que onde h acaso, no h necessidade.
O argumento aqui que um evento p verdadeiro hoje num tempo tn foi uma assero
futura verdadeira num passado tn-a, de modo que no se poderia dizer em tn-a que p no
seria verdade no tempo tn. Ou melhor, em qualquer instante do passado sempre seria
verdade que p seria verdade em tn. Por exemplo, se hoje chove s cinco da tarde, a
assero futura dita ontem amanh chover s cinco da tarde era verdadeira quando
foi dita, de modo que sempre seria verdadeira quando dita em qualquer tempo pre-
32
33
Aristteles j havia tratado desse mesmo assunto no pargrafo anterior (De Interpretatione,
9, 18a34-b9), de novo com o mesmo exemplo da cor branca, em 18a34-b9. Segundo
Wyllie (WYLLIE, Guilherme, op. cit., p. 120, nota), isso levou alguns comentadores
(ACKRILL. Aristotles Categories and De Interpretatione, p. 137; FREDE, D. Aristteles und
die Seeschlacht, p. 86) a sugerirem que tal passagem deveria ser inserida em 18a34-b4.
Mas outros comentadores (WEIDEMANN, H. Peri Hermeneias, p. 268) no concordam.
Em especial, Weidemann recusa essa proposta por acreditar que a passagem em questo
pressupe um resultado obtido em 18b5-16.
O argumento de Aristteles parece ser o de que se uma coisa verdade agora, ela
necessariamente verdade agora (mas, muito cuidado, isso no est explcito). O argumento seria:
Isto , o que verdade quando dito hoje a respeito do futuro ser verdade no futuro:
(p) (vir-a-ser-p) (p) (vir-a-ser-p).
35
36
254
Cognitio10n2.pmd
254
21/10/2009, 17:43
cedente ao evento. Ora, parece que o que cabe ao presente com relao ao passado no
tem por que no caber ao futuro em relao ao presente. Se o presente necessrio
porque foi uma assero futura verdadeira no passado, ento uma assero sobre o futuro
verdadeira hoje obriga a necessidade da assero no futuro. Em outras palavras, se eu hoje
digo amanh chover s cinco da tarde e isso verdade hoje, ento necessrio que
chova s cinco da tarde amanh. O futuro determinado e tudo se d por necessidade.
sabido que Aristteles no aceita essa concluso. De ora em diante a refutao
dessa tese ser o corpo restante do De Interpretatione 9.
Cognitio10n2.pmd
255
255
21/10/2009, 17:43
Aristteles considera aqui dois pontos. O primeiro que no se pode negar a antfase
e a dificuldade da leitura vem de que ele fala muita coisa usando o mnimo de palavras.
Nas antfases afirmadas, quando se diz (p p), se p falso porque p verdadeiro
e vice-versa. Isso no se d quando se nega a antfase e se tem nem p, nem p, ou,
em linguagem matemtica, (p p). De fato, se a antfase for negada e se tiver a
forma (p p), diz-se ento que ambos so falsos, tanto p quanto p. Isto , nesse
caso, tornada falsa a afirmao p (dizendo nem p), mas (p p) no torna verdadeira a negao p (pois diz tambm: nem p). Do mesmo modo, se a negao p
tornada falsa (dizendo nem p), ocorre que (p p) no torna verdadeira a afirmao p (pois diz tambm: nem p).
Por exemplo, sobre uma pedra que solta no ar podemos dizer que se mover
ou no se mover, mas nunca que nem se mover, nem no se mover. Pois se no
(nem) se move, implica que fica imvel (e no nem fica imvel); do mesmo modo
se se move, implica que no (nem) fica imvel (e no nem se move). Ou seja,
impossvel negar a antfase, pois uma contraditria tem que se dar quando a outra
negada, e do mesmo modo para as antfases que cabem ao futuro. impossvel qualquer pedra solta no ar nem se mover, nem no se mover.
A inteno de Aristteles nessa passagem foi refutar o argumento de que a antfase
no necessria, que se pode ter outra posio quanto ao futuro que seja externa
antfase (a alternativa (p p) ). Essa alternativa propunha que a antfase no valia
para alguma situao futura. Ora, se no vale a antfase em alguma situao a respeito
do futuro, por que no se pode dar nenhuma das proposies do par contraditrio
(isto , ocorre (p p)), o que impossvel pelo Princpio do Terceiro Excludo. Por
isso Aristteles diz que no se pode negar a antfase, pois algo no futuro se dar necessariamente, ou p ou p. Se no fosse assim, diz Aristteles, ento no haveria acaso,
pois das duas coisas que poderiam ocorrer por acaso, o ser e o no ser, nenhuma se dar.
Em resumo: a antfase necessria.
Desse modo Aristteles mostrou o peso do Princpio do Terceiro Excludo. um
princpio que no pode ser desconsiderado (mas ser desconsiderado o de Bivalncia,
mais frente).
O segundo ponto considerado por Aristteles no argumento suposio oposta
negao da antfase. Algum pode dizer que a antfase no obriga que no futuro possa
se dar apenas uma das contraditrias que a constituem, mas se podem dar ambas (possibilidade B). o contrrio da negao da antfase (onde nem p nem p se daro).
Desta vez algum pode erroneamente considerar que se dem, no futuro, ambas as
contraditrias da antfase (p p). Aristteles rebate dizendo que se algo branco e
preto hoje, ento ambas as cores constituem o objeto hoje. Ele no diz que absurdo,
mas isso est implcito. Ele no est pensando em um tabuleiro de xadrez, mas em algo
verdadeiramente branco que preto. Qualquer um diria que, no presente, isso no se
d. Aristteles continua com o argumento dizendo que se fosse admitido esse branco
que preto no presente, teria que ser admitido verdadeiro no futuro se uma assero
a respeito do futuro dissesse que se daria amanh um branco que preto. Em outras
palavras, se absurdo no presente, ento absurdo no futuro. Em outras palavras, considerar que a antfase se d impossvel.
Assim Aristteles nega duas outras possibilidades a respeito das antfases futuras,
ambas considerando que no necessrio que se d uma das duas contraditrias no
256
Cognitio10n2.pmd
256
21/10/2009, 17:43
39
Cognitio10n2.pmd
257
257
21/10/2009, 17:43
40
41
42
43
44
45
46
47
258
Cognitio10n2.pmd
258
21/10/2009, 17:43
49
50
51
Os Kneales (KNEALE, William; KNEALE, Martha, op. cit., p. 50) no concordam com essa
tese de Aristteles. Acreditam que Aristteles est querendo dizer que a disjuno pode
ser verdade mesmo se qualquer uma das asseres for falsa. Mas no assim, pois na
disjuno se ambas forem falsas, a disjuno falsa. Ora a Bivalncia protege a disjuno
dessa possibilidade, pois dada uma assero, no vale sua oposta. Mas o Terceiro Excludo no protege: dada uma assero, ela ou no , e no pode ser outra coisa. Para o
Terceiro Excludo posso considerar a tese de que uma assero ou falsa ou falsa.
Bem, para os Kneales, Aristteles preferiu valer o Terceiro Excludo antes da Bivalncia
e isso parece ser uma posio contraditria do prprio Estagirita, principalmente depois de ele prprio apontar, em De Interpretione 9, 18a3918b2 ( necessrio que a
afirmao ou a negao seja verdadeira) que isso no possvel. Kneales acreditam
que a soluo da questo outra que no a de Aristteles, e que este est confuso com
a pouca clareza do termos verdadeiro e falso quando usados como predicados.
Isto , se so impossveis as previses do futuro feitas pelo anncio de antfases.
Ao humana, tomada em termos tambm de uma deliberao.
Aquilo que no agora, mas que ainda est por vir a ser. Anscombe (ANSCOMBE, G. E. M.,
op. cit., p. 6) esclarece que coisas como o Sol, a Lua, os planetas e as estrelas, por
exemplo, so sempre atuais e que Aristteles julga que o que essas coisas sempre
atuais fazem algo necessrio. Quando Aristteles diz h em geral a possibilidade
etc., ele se refere (segundo ANSCOMBE, ibd.) a uma condio onde a deliberao e a
ao (ver nota anterior) so ambas possveis. De fato, h coisas que so deliberveis,
mas no so possveis. Posso escolher, entre tantas coisas para escolher, entre passear de
barco e caminhar na superfcie do Sol. Posso escolher caminhar na superfcie do Sol,
Cognitio10n2.pmd
259
259
21/10/2009, 17:43
52
53
54
55
mas no haver ato capaz de realizar essa deliberao, como haveria se eu escolhesse
passear de barco. Anscombe d um exemplo de sua mquina de escrever (quando ela
estava datilografando sua argumentao): se o que a mquina de escrever faz no momento que escreve necessrio s porque a mquina de escrever existe, ento no
possvel fazer nada de diferente daquilo que est sendo escrito quando a mquina
escreve. Anscombe, porm, acredita que Aristteles no est se referindo a esse tipo de
situao quando diz que h em geral a possibilidade etc.
Aristteles quer dizer que h contingncia sobre o que ser e sobre o que no ser. Um
no se d quando o outro se d. Aquilo que se d (a afirmao ou a negao) se d
independentemente do outro, como o exemplo que o prprio Aristteles dar em seguida, o exemplo da capa, mostrar.
Isto , a capa pode ser desfeita (e no se gastar, ento) ou pode ser mantida (e gastarse-). No entanto ela pode no se gastar sem ser desfeita, isto , pode permanecer
conservada (como quando uma me zelosa guarda at a velhice as roupas de beb de
seu filho: no se gastaram sem serem desfeitas). Assim a afirmao no se d necessariamente quando se d a falsidade da negao, nem vice-versa. Por exemplo, se tenho a
antfase esta capa se gastar e no se gastar, o fato de ser falsa a negao se gastar
no obriga necessariamente a afirmao gastar-se-, porque pode ocorrer a contingncia da capa ser desfeita antes de gastar-se. Do mesmo modo, se tomarmos por falsa a
afirmao gastar-se-. Em outras palavras, afirmao e negao so independentes
mesmo tomadas como compositoras de uma antfase. Por causa dessa independncia
que a antfase no pode determinar o futuro.
Isto , ocorrem por acaso.
Anscombe (ANSCOMBE, G. E. M., op. cit., p. 6) esclarece que esta sentena equivale a dizer:
mais provavelmente.
Cognitio, So Paulo, v. 10, n. 2, p. 243-266, jul./dez. 2009
260
Cognitio10n2.pmd
260
21/10/2009, 17:43
que uma capa permanea por um tempo pela conservao e noutro tempo esteja gasta
pelo uso. Essa a modalidade onitemporal (de todo tempo) da contingncia. Outra
modalidade seria a peritemporal (em torno de um tempo), em que a contingncia
poderia dar-se e no dar-se ao mesmo tempo. Por exemplo, a capa no se gasta, mas
no conservada porque desfeita. Ento nem se deu o acaso de gastar, nem se deu
o de no gastar.56
O principal aqui ver que Aristteles rejeita o determinismo diante do fato patente de que h acaso. E assim, rejeitando o Princpio de Bivalncia para os contingentes
futuros, Aristteles encerra a Segunda Parte do De Interpretatione 9. Aqui ele conclui
que diante do fato impossvel manter-se esquivo: no existe determinismo. H coisas
que se do por acaso, no importa as antfases. A concluso de Aristteles a de que,
quanto a fatos futuros, a Bivalncia fica suspensa at que os prprios fatos ocorram, at
que os fatos futuros contingentes se tornem fatos presentes com valor de verdade
determinados. Enquanto isso, as sentenas futuras no so nem verdadeiras nem falsas.
56
57
58
59
60
Cognitio10n2.pmd
261
261
21/10/2009, 17:43
mente no 61, pois dizer que tudo que , por necessidade, quando , no
o mesmo que dizer incondicionalmente que por necessidade62. De modo
anlogo, diz-se do que no . Ademais, a mesma abordagem tambm vale para
as contraditrias, medida que tudo necessariamente ou no e vir a ser ou
no vir a ser, apesar de no ser possvel dividir e dizer que uma ou outra
necessria63. Digo, por exemplo, ser necessrio que haja ou no haja uma
batalha naval amanh, mas no ser necessrio nem que haja uma batalha naval
amanh nem que no haja, no obstante ser necessrio que haja ou que no
haja uma batalha naval.
Aristteles introduziu o Argumento da Batalha Naval para mostrar que a antfase a respeito de um evento futuro necessria no momento em que dita, pois s h duas
possibilidades para o evento, ser ou no ser. De fato, dizer (p p) dizer uma
tautologia, por isso se torna uma necessidade (isto , (p p)). Dizer amanh haver
ou no haver uma batalha naval emitir uma tautologia, portanto uma verdade
necessria. Porm (como Aristteles rejeitou o determinismo) essa tautologia no determina o futuro, pois no se pode dizer agora qual contraditria da antfase ser verdade
no futuro. Isto , no se pode dividir a antfase e fazer necessrias as contraditrias. De
modo que nenhuma das contraditrias necessria independentemente. Em linguagem
matemtica, ((p p) (p p)), ou seja: no se pode concluir a necessidade
das contraditrias da antfase quando a antfase verdadeira. Porque, simplesmente,
existe uma diferena entre ser necessrio enquanto se e ser necessariamente.
verdade que a antfase necessria sempre ( necessariamente, por ser tautologia),
61
62
63
necessrio que fossem como so, ento no poderamos ter a noo da causalidade e
no poderamos criar leis gerais cientficas. Pior que a dvida de Hume a respeito da
causa e do efeito, estaramos diante de uma situao em que algo que pode no ser
enquanto , mais ou menos como um professor de fsica que estivesse falando da
impossibilidade de dois corpos ocuparem simultaneamente o mesmo lugar do espao
enquanto passeasse pela sala atravessando os mveis e alunos, como faria um fantasma
da fico.
o caso da contingncia. O contingente no por necessidade, mas por acaso.
Isto , t (t(p p)) (p p). Os operadores t e so distintos e um no pode
concluir-se do outro. -se tentado a enxergar aqui uma noo de necessidade lgica,
que diferente da necessidade modal. A necessidade lgica a concluso logicamente
adequada em funo das premissas e, nesse caso, a palavra necessrio ou necessariamente no faz parte da sentena concluda. Por exemplo, de premissas verdadeiras
necessariamente se conclui uma verdade, mas esse necessariamente no uma palavra
que se deve incluir na concluso. Indica s necessidade lgica, que diferente da
necessidade modal. A necessidade modal uma qualificao, e a expresso modal
necessrio ou necessariamente pertence sentena. Anscombe, porm (ANSCOMBE, G.
E. M., op. cit., p. 7), no cr que essa distino tenha sido feita aqui com conhecimento
de causa por Aristteles. Ela acredita que Aristteles talvez esteja pensando nos corpos
celestes e que seus movimentos so necessrios no sentido descrito.
). Ou seja,
Aristteles quer dizer que a necessidade () no se distribui na disjuno (
p), no se d
apesar de ser possvel provar (lei derivada) que (p p) |- (p
p).
a implicao material expressa por (p p) (p
Cognitio, So Paulo, v. 10, n. 2, p. 243-266, jul./dez. 2009
262
Cognitio10n2.pmd
262
21/10/2009, 17:43
mas qualquer uma das contraditrias na antfase no uma verdade necessria sempre
(qualquer delas necessria enquanto ). Ou seja, qualquer das contraditrias da antfase
s necessria quando e impossvel quando no . Aristteles apresentou aqui dois
tipos de necessidade cuja distino importante para compreender sua rejeio do
determinismo:
1) Necessitas consequentiae (necessidade conseqente). Necessidade (ou Impossibilidade) que uma consequncia do ser e que se obriga da existncia (ou inexistncia):
o que , necessariamente , quando , e o que no , necessariamente no , quando
no ; [...] Em outras palavras, quando uma verdade se d, ela necessria, mas quando
no se d mais, no mais necessria. Do mesmo modo para a impossibilidade. Por
exemplo, pode-se dizer est chovendo agora, e, se estiver, ser uma verdade necessria at parar de chover. Se no estiver, ser uma impossibilidade at que venha a
chover.
2) Necessitas Consequentis (necessidade da consequncia). o ser que consequncia da necessidade (ou impossibilidade), isto , a necessidade (ou impossibilidade) obriga a existncia (ou inexistncia): ocorre quando se diz incondicionalmente que
por necessidade. o tipo de necessidade (ou impossibilidade) que obriga que uma
proposio seja verdadeira necessariamente (ou falsa, e nesse caso seria impossvel).
Por exemplo, quando se diz O gmeos Rmulo e Remo so irmos, tem-se aqui uma
proposio que necessariamente verdadeira e que nunca vai deixar de ser.
Aristteles rejeita que da necessitas consequentiae resulte a necessitas
consequentis. O argumento da necessitas consequentiae se escreve t(t(p p)) |p t(tp) e se l aceitando-se que num intervalo de tempo t (em qualquer tempo
t: t) necessariamente verdade nesse tempo (t) aquilo que verdade enquanto
verdade (isto , (p p)), conclui-se disso que se ocorre aquilo que verdade durante
um tempo t (isto , p), ento durante o tempo t se tem que p necessariamente
verdade durante o tempo t (isto , t(tp)). No se pode ento concluir a necessitas
consequentis, que foi a proibio expressa por Aristteles: dizer que tudo que , por
necessidade, quando , no o mesmo que dizer incondicionalmente que por necessidade. A falcia de concluir a necessitas consequentis da necessitas consequentiae
est na clarssima mudana de operador durante o argumento. De fato, a necessitas
consequentiae um operador diferente da necessitas consequentis, de modo que concluir esta daquela mudar o operador durante o argumento. E a mesma falcia se d no
tratamento da impossibilidade.64 De fato, se a necessidade obriga a existncia da antfase,
a verdade de uma das contraditrias da antfase que obriga a necessidade pelo ato de
ser uma proposio verdadeira. Por exemplo, necessrio dizer amanh haver ou no
haver uma batalha naval. Mas se o amanh chega e se torna hoje e realmente se d
uma batalha naval, a proposio amanh haver uma batalha naval foi a verdadeira por
correspondncia sua equivalente atual hoje h uma batalha naval. Ela, isoladamente,
no era necessria quando foi dita, mas quando se tornou fato, obrigou a prpria necessidade. Como disse Aristteles, necessria enquanto .
64
Cognitio10n2.pmd
263
263
21/10/2009, 17:43
Em suma, este pargrafo conclui a posio aristotlica quanto s asseres que se referem a eventos futuros. Para elas est suspenso o Princpio de Bivalncia e, por no ser
vlido para elas o Princpio de Identidade, no so verdadeiras nem falsas ainda.
Bibliografia
ANSCOMBE, G. E. M. Aristotle and the Sea Battle. Mind, v. LXV, n. 257, jan. 1956.
ARISTTELES. tica a Nicmaco. Trad.: Vizenzo Cocco. Notas: Joaquim da Carvalho.
So Paulo: Abril Cultural, 1979. (Os pensadores)
CAO, Soledad. Una formalizacin del problema de los futuros contingentes. Galileo,
Montevidu, n. 21, maio 2000.
65
66
67
68
69
70
71
264
Cognitio10n2.pmd
264
21/10/2009, 17:43
Cognitio10n2.pmd
265
265
21/10/2009, 17:43
Endereos / Addresses
Lafayette de Moraes
Faculdade de Filosofia de So Bento SP
Largo de So Bento, s/n.
So Paulo SP
CEP: 01029-010
Carlos Roberto Teixeira Alves
Faculdade de Filosofia de So Bento SP
Largo de So Bento, s/n.
So Paulo SP
CEP: 01029-010
Data de recebimento: 9/5/2009
Data de aprovao: 15/8/2009
266
Cognitio10n2.pmd
266
21/10/2009, 17:43
Apresentao
Quando fui convidado a participar deste volume em homenagem ao Professor Lafayette
de Moraes, foi inevitvel recordar as manhs de segunda-feira, em algum momento do
incio dos anos 1990, em que me fora apresentada uma coisa que naquele momento me
pareceu muito estranha, recheada de clculos e frmulas, e que me soou, pelo menos
primeira vista, muito pouco filosfica. Por esses tempos j havia iniciado as pesquisas
escolares sobre Kant, que vieram a desembocar em minha dissertao de mestrado e,
posteriormente, em meu livro sobre a Monadologia fsica. E j flertava tambm com o
pensamento de Frege, tendo nele adentrado pelas portas de sua teoria do significado, e
dos artigos semnticos da dcada de 1880. Felizmente, a estranheza inicial logo se
dissipou, medida que a compreenso daquela coisa estranha acabou por tornar-se,
em muitos e importantes sentidos, a chave para a compreenso de vrios problemas
filosficos que se punham conforme estudava meus autores prediletos: Kant e Frege.
Embora no tenha me tornado um lgico propriamente dito, as reflexes e pesquisas
acerca da natureza da lgica sempre estiveram, direta ou indiretamente, presentes em
meu trabalho filosfico desde ento, e seria injustia no reconhecer aqui a importncia
que as aulas do Professor Lafayette exerceram em minha formao. E para celebrar essa
gratido e reconhecimento, escrevi para este volume um ensaio que trata justamente da
abordagem que os dois autores mencionados fazem acerca da lgica e das matemticas,
no qual, certamente, mesmo que de forma indireta, as aulas do Professor Lafayette esto
Cognitio, So Paulo, v. 10, n. 2, p. 267-280, jul./dez. 2009
Cognitio10n2.pmd
267
267
21/10/2009, 17:43
CRP, B 2.
Cognitio, So Paulo, v. 10, n. 2, p. 267-280, jul./dez. 2009
268
Cognitio10n2.pmd
268
21/10/2009, 17:43
E em seguida:
... os limites da lgica esto rigorosamente determinados por se tratar de uma
cincia que apenas expe minuciosamente e demonstra rigorosamente as regras formais de todo pensamento.4
A lgica de Frege, com seus sofisticados mecanismos quantificacionais e sua nova sintaxe proposicional, demonstrou, algumas dcadas mais tarde, que Kant estava errado ao
dizer que a lgica estava pronta e acabada; estava errado com relao ao seu carter no
cumulativo. No entanto, no isso o que nos interessa agora. Importa aqui notar que
aquilo que Kant fala sobre a lgica demonstra em que sentido devemos entender sua
2
3
4
Ibidem, B VII.
Ibidem, B VIII.
Ibidem, B IX; X.
Cognitio10n2.pmd
269
269
21/10/2009, 17:43
posio com respeito ao carter cumulativo e extensivo das cincias: por ser a razo
tratando de suas prprias regras formais a razo tratando de si mesma , a lgica no
tem, digamos assim, para onde se expandir; por isso, nas palavras de Kant, a lgica
uma propedutica, a antecmara das cincias; no propriamente uma cincia em
sentido estrito. Ela meramente explicativa, clarificadora; no extensiva e acumuladora.
Ora, essa justamente a caracterstica que possuem os juzos analticos e que faz com
que Kant os exclua do chamado saber cientfico: juzos analticos so meramente
explicativos uma vez que neles, pela definio, o predicado nada acrescenta ao conceito do sujeito e apenas pela anlise o decompe nos conceitos parciais que j estavam
pensados5. Nesse sentido, parece natural a tendncia de considerar que, para Kant,
lgica uma cincia analtica6.
Por que foram feitas essas observaes gerais a respeito do carter no cumulativo da lgica e, por isso mesmo, seu status sui generis? Simplesmente para salientar que
os juzos cientficos, no universo kantiano, alm de terem de ser a priori, graas
exigncia da necessidade e universalidade, devem tambm ser sintticos, pois somente
esses produzem, de fato, conhecimentos novos e podem servir exigncia de avano
cumulativo do saber cientfico. Os juzos analticos, embora necessrios e universais, so
definidos por Kant como aqueles juzos nos quais o predicado est contido no sujeito.
Ou seja: os juzos analticos versam sempre sobre conceitos, e no sobre objetos do
mundo, e simplesmente explicitam que determinado predicado faz parte do conceito;
conceito esse que j est estabelecido, de modo que todos esses predicados so, de
alguma maneira, pensados quando se pensa no conceito. Assim, quando se afirma, por
exemplo, que o homem mortal, no se est agregando nenhum tipo de conhecimento novo ao sujeito homem (que no caso no nenhum homem particular, mas o
conceito de homem), mas to somente estabelecendo, por anlise, que a mortalidade
um predicado inerente ao conceito de homem. E justamente por esse motivo os juzos
analticos tm sua fundamentao no princpio lgico da no contradio. Um juzo
analtico necessariamente verdadeiro por ser contraditrio afirmar que um predicado,
que pertence a um determinado conceito, no pertence a esse mesmo conceito;
contraditrio dizer, por exemplo, que o homem (que mortal, pois a mortalidade um
predicado que constitui seu conceito) no mortal.
Tomadas as coisas sob esse enfoque, torna-se evidente a estreita vinculao existente entre analiticidade, lgica e conhecimento no cumulativo dentro do universo
sistemtico de Kant. O que fundamenta a analiticidade o princpio lgico da no
contradio; a lgica, enquanto disciplina autnoma, analtica e, portanto, no cumulativa, pois a analiticidade meramente explicativa e clarificadora. Isso, contudo, no
ocorre com a aritmtica que a cincia que interessar a Frege particularmente. Ao
contrrio da lgica, a aritmtica no est, segundo Kant, pronta e acabada; no sim-
5
6
Ibidem, B 11.
certo que a expresso cincia analtica, no universo da Crtica da razo pura, soa at
contraditria pois se analtica no se expande e se no se expande no cincia
propriamente dita , mas para os nossos propsitos nesta exposio, e uma vez feitas as
devidas ressalvas, a expresso cincia analtica para se referir lgica de Kant parece
apropriada, pois acentua seu carter no cumulativo.
Cognitio, So Paulo, v. 10, n. 2, p. 267-280, jul./dez. 2009
270
Cognitio10n2.pmd
270
21/10/2009, 17:43
plesmente a razo voltada para si prpria, explicitando meramente suas regras formais;
ela progride e acumula conhecimentos; , portanto, uma cincia que possui um estatuto
radicalmente diferente do da lgica. Assim, os juzos aritmticos, no universo kantiano,
so todos sintticos, fruto do trabalho do entendimento realizado a partir da intuio; no
de uma intuio emprica, mas da prpria intuio pura do tempo. Acentuando bem a
diferena entre lgica e aritmtica para Kant: a lgica a razo sistematizando seus
prprios princpios, a razo voltada para si prpria, e a aritmtica, por seu turno, o
entendimento pensando a intuio pura do tempo. Os primeiros princpios a partir
dos quais se assenta a aritmtica derivam da forma pura de nossa intuio temporal, e
no de princpios puramente racionais, como na lgica. Ser justamente este o ponto de
divergncia entre Frege e Kant que nos interessar aqui: o estatuto epistemolgico da
lgica e da aritmtica.
Fundamentos da aritmtica, 3.
Cognitio10n2.pmd
271
271
21/10/2009, 17:43
certo que tambm em Kant a analiticidade pode ser definida com relao sua justificao que se assenta unicamente no princpio lgico da no contradio. Se o predicado
est contido no conceito do sujeito, contraditrio negar um juzo analtico. Neste caso,
o princpio lgico da no contradio suficiente para justificar um juzo analtico.
Justamente apoiado nesse fato que cometo aqui talvez a imprudncia de afirmar que
para Kant a lgica uma cincia analtica, o que pode levar falsa concluso de que os
enunciados da lgica sejam juzos analticos em sentido estrito. No o so porque nos
enunciados lgicos no h um conceito que seja o sujeito do juzo e que possua predicados
como suas partes constituintes. Mas o fundamental a notar, aqui, que Frege pensa o
conceito de verdade analtica como uma verdade que se impe dentro de um sistema
formal axiomtico-dedutivo, e ela se definir pela considerao da natureza de suas
premissas mais elementares.
Ibidem.
Cognitio, So Paulo, v. 10, n. 2, p. 267-280, jul./dez. 2009
272
Cognitio10n2.pmd
272
21/10/2009, 17:43
Ibidem, 14.
Cognitio10n2.pmd
273
273
21/10/2009, 17:43
Alis, segundo Frege, foi justamente no momento em que se comeou a indagar pelos
fundamentos lgicos da geometria que o axioma das paralelas foi questionado11, e abriuse o caminho para a edificao de uma geometria do espao no plano. Isso o suficiente, segundo Frege, para determinar o carter sinttico da geometria euclidiana (e das
geometrias em geral): demonstrando os teoremas geomtricos a fim de remontar s
verdades mais elementares que esto em sua base no encontramos somente princpios
lgicos ou definies estabelecidas no mbito da prpria lgica, mas princpios fundamentados na intuio pura do espao. Negar alguns desses princpios pode gerar uma
geometria contraintuitiva, mas, ainda assim, uma geometria possvel e pensvel.
J na aritmtica, isso no acontece. Kant havia considerado as matemticas (geometria e aritmtica) e a fsica como sintticas a priori e, por isso mesmo, de acordo com
seu ponto de vista, necessrios e universais. Os fatos mostraram, contudo, a possibilidade tanto da edificao de fsicas no newtonianas, quanto de geometrias no euclidianas.
Mas no se pode, de maneira alguma, conceber alguma outra aritmtica na qual os
princpios fundamentais sejam outros e, conseqentemente, as propriedades dos nmeros sejam diferentes daquelas que conhecemos. Podemos conceber uma geometria na
qual as paralelas se cruzam, mas no podemos conceber uma aritmtica na qual as
propriedades dos nmeros sejam outras; na qual, por exemplo, os nmeros pares no
sejam divisveis por dois. A concluso que Frege pde extrair, a partir desse argumento
particular, que a aritmtica, ao contrrio do que ocorre na geometria que eminentemente intuitiva, deve assentar-se sobre princpios puramente lgicos, e, por isso mesmo, absolutamente objetivos e necessrios. Somente uma fundamentao puramente
racional pode proporcionar necessidade inabalvel s leis aritmticas. Portanto, de acordo com a definio de analiticidade exposta acima, a aritmtica deve ser uma cincia
analtica. Podemos pensar a partir de premissas contrrias intuio, mas no podemos
pensar seno obedecendo as leis do pensamento12. Portanto, para Frege, aritmtica ,
como a lgica, a manifestao pura dessas leis necessrias da razo.
O outro argumento, diretamente relacionado ao anterior, que Frege utiliza em
favor da analiticidade da aritmtica, diz respeito no necessidade, mas universalidade
inabalvel de suas leis. Por estar relacionada com nossa intuio pura do espao, certamente esto sob os domnios da geometria todos os fenmenos espaciais. Nesse sentido, ela est restrita ao reino do que intuvel ou do efetivamente real13. A aritmtica,
11
12
13
Ibidem, 2.
O conceito de Pensamento (Gedanke) muito caro ao pensamento de Frege; de acordo
com o autor, pensamento no o processo subjetivo de pensar, mas o contedo objetivo expresso pela proposio. , pois, aquilo a que se atribui verdade ou falsidade. Nesse
sentido, Frege pode identificar o que ele chama de leis do pensamento com o que
chama de leis do ser verdadeiro, isto , as leis da lgica. Ver O pensamento (Der
Gedanke).
Uma das principais teses fregianas aquela que distingue o que efetivamente real do
que objetivo, e que essa uma tese eminentemente epistemolgica que fundamenta o
chamado terceiro reino fregiano. A distino epistemolgica entre o que pode ser
conhecido por meio dos sentidos e o que pode ser captado pelo pensamento, que em
Frege tem um carter absolutamente objetivo, determinar os mbitos do real e/ou intuvel
e do objetivo no real, ou seja, o meramente pensvel.
Cognitio, So Paulo, v. 10, n. 2, p. 267-280, jul./dez. 2009
274
Cognitio10n2.pmd
274
21/10/2009, 17:43
por sua vez, tem uma abrangncia muito maior, estando envolvida em qualquer mbito
da atividade racional. A aritmtica , pois, ao contrrio da geometria, absolutamente
universal em sua aplicao e abrangncia, pois se aplica a todo universo do entendimento humano, seja com relao ao que real e intuvel, seja com relao ao meramente pensvel.
Os delrios extravagantes, as invenes mais atrevidas das lendas dos poetas,
que fazem animais falarem, as estrelas imobilizarem-se, as pedras transformarem-se em homens e os homens em rvores, e contam como sair de um pntano puxando os prprios cabelos, tudo isso, medida que permanece intuvel,
est preso aos axiomas da geometria [...] As verdades aritmticas governam o
domnio do enumervel. Este mais inclusivo; pois no lhe pertencem apenas
o efetivamente real nem apenas o intuvel, mas todo o pensvel.14
Isso significa que, mesmo onde a intuio espacial no joga nenhum papel, como, por
exemplo, quando dizemos que existem duas ou trs maneiras possveis de resolver um
problema matemtico, no mbito de conceitos abstratos como os de felicidade, liberdade e justia, que so trs enfim, fora daquilo que podemos conceber com submetido ao
reino do espacial, ainda assim, as leis da aritmtica valem e operam. No possvel
conceber espacialmente a justia, a liberdade ou a felicidade, no possvel operar
geometricamente sobre tais conceitos, mas possvel enumer-los. No possvel intuir
espacialmente maneiras distintas de se demonstrar um mesmo teorema, mas posso
dizer que existem duas ou trs maneiras de se chegar a tal demonstrao. Enfim, no se
pode exercer a atividade racional do pensamento prescindindo das leis aritmticas,
como tambm no o podemos prescindindo da lgica. A aritmtica, ao contrrio da
geometria, possui a objetividade, necessidade e universalidade comparveis somente s
da prpria lgica enquanto tal. Onde estiverem presentes as leis mais elementares da
racionalidade, l estaro a lgica e a aritmtica, que, em verdade, no so duas coisas
dentro do universo de Frege, mas faces de uma nica e mesma cincia universal da
razo. Essas teses parecem ser suficientes para endossar a posio logicista fregiana:
dada sua total abrangncia e necessidade, a aritmtica pode se assentar somente se
estabelecida dedutivamente a partir de verdades lgicas elementares e de definies
realizadas por meio de mecanismos puramente lgicos.
Frege e a objetividade
Para Frege, o nmero natural, de cujo conceito deve derivar toda aritmtica, um
objeto lgico. No nos cabe aqui expor a maneira como ele elabora sua definio lgica
de nmero ou, mais precisamente, de nmero enquanto objeto lgico , mas, to
somente, apontar um aspecto importante da concepo fregiana de nmero: a tese de
que nmeros so objetos possui, alm de seu aspecto ontolgico, uma roupagem fortemente epistemolgica, pois esta faz referncia a alguma faculdade cognitiva racional
capaz de conhec-lo. A anlise lgica do pensamento, cuja expresso na linguagem se
d por meio das sentenas15, dividiu o universo lgico em duas categorias: conceito e
14
15
Ibidem, 14.
Der Gedanke. In: Kleine Schriften, p. 345.
Cognitio10n2.pmd
275
275
21/10/2009, 17:43
objeto. Conceitos so insaturados, incompletos e necessitam ser preenchidos por objetos para que se constitua um contedo proposicional, um sentido, ou seja, um Gedanke16.
Objetos so entidades completas e saturadas. O nmero pertence ao segundo grupo
No entanto, conceber o nmero como objeto lgico, como entidades saturadas
em oposio aos conceitos saturados e completos, apenas um sentido no qual se deve
tomar a objetividade da aritmtica. Devemos levar em considerao, ao tratarmos da
objetividade das proposies aritmticas, a posio fregiana que desvincula o conceito
de nmero, por um lado, de nossas representaes, e, por outro, da dependncia do
mundo exterior disponvel aos sentidos. Para instituir sua tese referente objetividade
da aritmtica, Frege teve que trabalhar em, pelo menos, duas frentes: precisou estabelecer a independncia dos nmeros, tanto com relao a entidades mentais e processos
psicolgicos, quanto com relao s impresses sensveis.17 Com a primeira distino,
afirma-se a objetividade da aritmtica; com a segunda, seu carter no emprico; esse
o status peculiar que assumem o conceito de nmero e a aritmtica como um todo aos
olhos de Frege: so objetivos, mas no so empricos.
Consideremos, primeiramente, a tese fregiana na qual o autor se ope queles
que consideram nmero uma entidade subjetiva, dependente das ou equivalente s
representaes e toda sorte de manifestaes psicolgicas. Ao se contrapor tese de
que o nmero uma representao, Frege nos diz:
Uma descrio dos processos internos que precedem formulao do juzo
numrico, ainda que correta, nunca poder ser substituto de uma determinao genuna do conceito (de nmero). Nunca se poder recorrer a ela para a
demonstrao de uma proposio aritmtica: por intermdio delas no aprendemos nenhuma propriedade dos nmeros.18
16
17
18
19
276
Cognitio10n2.pmd
276
21/10/2009, 17:43
E depois:
Distingo o objetivo do palpvel, espacial e do efetivamente real ...20
Como possvel notar, Frege desvincula as verdades aritmticas das explicaes causais
referentes elaborao do juzo numrico, garantindo, assim, sua objetividade. Na medida em que o nmero no dependente de coisas cuja validade apenas privada, a
aritmtica se estabelece, segundo Frege, como uma cincia objetiva e universal. Mas
isso no deve significar, necessariamente, que, uma vez no sendo dependentes do
universo psicolgico, os juzos aritmticos sejam factuais, comparveis aos juzos que
expressam verdades empricas acerca do mundo fsico. Estamos, pois, diante da enunciao
da clebre tese fregiana acerca do terceiro reino, o reino da objetividade no real. A
histria da filosofia acostumou-se a estabelecer uma dicotomia entre sujeito, de um lado,
e objeto, do outro. O que ocorre internamente na mente de algum ser pensante,
aquilo que depende das suas determinaes privadas como sua histria mental, desejos,
expectativas... pertencem ao reino da subjetividade. Aquilo que externo, real no
sentido de palpvel, tangvel, enfim, que pode ser percebido pelos sentidos externos,
objetivo. Nesse sentido, objetividade e subjetividade so categorias que dependem
muito mais de certa determinao de lugar (dentro ou fora da mente) do que de
outros critrios de ordem lgica ou epistemolgica. Frege, ao propor sua tese do terceiro reino, da objetividade no real, coloca a relao objetividade/subjetividade em outros
termos, em termos no de uma determinao de lugar, mas como uma distino eminentemente epistemolgica, diretamente dependente das faculdades envolvidas.
... entendo por objetividade uma independncia com respeito ao nosso sentir,
intuir, representar, ao traado de imagens internas a partir de lembranas de
sensaes exteriores, mas no uma independncia com relao razo.21
Frege, distingue, portanto, faculdades eminentemente subjetivas, como a intuio, representao, imaginao, das faculdades que produzem conhecimentos objetivos. E
essas segundas so duas e no uma s: sentidos da percepo externa, que garante o
acesso ao objetivo real, e a razo, que garante acesso ao objetivo no real. E os nmeros
esto ligados a esta ltima opo: no so propriedades exteriores das coisas percebidas
pelos sentidos, mas tambm no so entidades subjetivas como representaes ou algo
dependente das representaes e de nossas faculdades de representar ou imaginar. So
objetos cujo acesso somente pode ser possvel por meio da faculdade cognitiva racional,
faculdade essa que o fundamento epistemolgico do chamado terceiro reino. O reino da
objetividade no real o reino da razo, daquilo que no depende das condies subjetivas do pensamento atual nem das condies objetivas do mundo fsico.
Neste sentido, pode-se afirmar que o projeto logicista fregiano consiste num trabalho de purificao racional dos conceitos envolvidos nas cincias demonstrativas analticas (segundo ele, lgica e aritmtica; ou melhor: lgica, pois a aritmtica entendida
como um ramo da lgica). Ora, diante do que estamos vendo, tal trabalho de purificao
20
21
Ibidem.
Ibidem.
Cognitio10n2.pmd
277
277
21/10/2009, 17:43
Consideraes finais
O que h de mais significativo a ser apontado na crtica fregiana aritmtica intuitiva de
Kant o fato de que o fundador da lgica contempornea, num importante sentido,
realizou algo com uma revalorizao da razo pura enquanto faculdade cognitiva capaz
de proporcionar conhecimento necessrio, universal e cumulativo. na aritmtica e
no propriamente na metafsica ou na geometria, como a tradio pretendeu durante
sculos que Frege vislumbrou a possibilidade de edificao de um sistema dedutivo
fundado em bases puramente racionais. Os autores divergem quanto faculdade cognitiva
responsvel pela fundamentao da aritmtica. Trata-se, pois, de uma disputa
prioritariamente epistemolgica e, nesse sentido, Frege trafega, diferentemente do que
acreditam alguns intrpretes22, nas mesmas vias de Kant; chegam, no entanto, a destinos
22
Dummet, por exemplo, defende uma posio que coloca Frege como uma espcie de
inaugurador de um certo modelo de se fazer filosofia, desvinculado da preocupao
prioritariamente epistemolgica tpica do pensamento moderno em favor de um modelo
filosfico lgico-semntico-analtico. Ele nos diz: From the times of Descartes until very
recently the first question of philosophy was what we can know and how we can justify
our claim to this knowledge, and the fundamental philosophical problem was how far
skepticism can be refuted and how far it must be admitted. Frege was the first philosopher
after Descartes totally to reject this perspective, and in this respect he looked beyond
Descartes to Aristotle and the Scholastics. For Frege, as for them, logic was the beginning
of philosophy; if we do not get logic right, we shall get nothing else right. Epistemology,
Cognitio, So Paulo, v. 10, n. 2, p. 267-280, jul./dez. 2009
278
Cognitio10n2.pmd
278
21/10/2009, 17:43
diferentes. Onde Kant viu a necessidade de apelo intuio sensvel do tempo, Frege
viu a necessidade de reformulao sinttica da lgica; onde Kant viu a atividade
transcendental do sujeito realizando snteses a partir de intuies fornecidas por nossa
faculdade sensvel, Frege viu processos analticos de inferncia a partir de premissas
puramente racionais, uma vez obtidas no mbito da prpria lgica, como seu conceito
de nmero natural. Portanto, trata-se de respostas diferentes a um mesmo problema.
Nesse sentido, talvez seja exagerado acreditar que Frege rompeu definitivamente com
o modelo de filosofia tipicamente epistemolgica que marcou a modernidade crtica ao
inaugurar um novo modelo lgico-analtico de se fazer filosofia. Os problemas lgicosemnticos que se impuseram a Frege em sua empreitada, cujas respostas geraram
nada menos do que os clebres escritos semnticos da dcada de 1880, surgiram muito
mais como consequncias sistemticas do projeto fregiano prioritrio, exposto com todas as letras nos Fundamentos da aritmtica, do que propriamente por um projeto
consciente e deliberado de reformulao metodolgica da filosofia a partir da anlise
lgica da linguagem. Os Fundamentos da aritmtica no so um livro de matemtica,
de lgica ou de semntica, mas de epistemologia das matemticas, tal como a Crtica da
razo pura23, em parte, tambm o . Importa a Frege, prioritariamente, demarcar que
cincias so da alada de que faculdades cognitivas, e esse um problema fortemente
kantiano. A suposta ruptura representada pelo pensamento de Frege com relao ao
modelo filosfico representado por Kant nada mais , de fato, do que uma divergncia
pontual. E essa divergncia pontual manifestada por Frege com relao ao fundamento
epistemolgico da aritmtica, certamente, o lanar para bem longe do universo no qual
Kant transita. Mas o mais importante a ser salientado que tal divergncia somente
ocorre porque ambos, em parte, se colocam, neste particular abordado aqui, diante de
um mesmo problema.
23
on the other hand, is not prior to any other branch of philosophy; we can get on with
philosophy of mathematics, philosophy of science, metaphysics, or whatever interests us
without first having undertaken any epistemological inquire at all. It is this shift of
perspective, more than anything else, wish constitute the principal contrast between
contemporary philosophy and its forebears, and from this point of view Frege is the first
modern philosopher (Truth and others enigmas, p. 89).
De acordo com nossa posio, o diagnstico que faz Dummet com relao ao que
significou o advento da filosofia analtica contempornea em oposio ao subjetivismo
tipicamente moderno correto. Ele peca, porm, ao situar o pensamento de Frege como
o marco da virada lgico-semntica na histria da filosofia. Basicamente por dois motivos: a) porque antes de Frege, Stuart Mill, em seu sistema de lgica, assumiu posio
muito mais prxima ao modelo lgico-analtico predominante na filosofia anglo-saxnica
no sculo XX; b) porque Frege no rompe definitivamente com o modelo epistemolgico
representado, sobretudo, pela filosofia crtica kantiana. Este tema foi desenvolvido mais
agudamente em minha tese de doutorado, J. S. Mill e o psicologismo: o System of Logic nas
origens da filosofia contempornea. PUC-SP, 2006.
Certamente seria muito simplrio e, por isso, equivocado, reduzir a Crtica da razo pura
a uma epistemologia das matemticas; porm, no se pode negar que o projeto global da
grande obra kantiana inclui tambm, e exercendo um papel fundamental na arquitetura
sistemtica da filosofia crtica, uma epistemologia da matemtica.
Cognitio10n2.pmd
279
279
21/10/2009, 17:43
Referncias bibliogrficas
FREGE, G.: Die Grundlagen der Arithmetik. Hildesheim; Zrich; New York: Georg
Olms, 1990. [Edio citada: ________. Os fundamentos da aritmtica. Trad. Luiz
Henrique Lopes dos Santos. So Paulo: Abril Cultural, 1974. (Os pensadores)]
________. ber Begriff und Gegenstand; Der Gedanke. In: ________. Kleine
Schriften. Hildenshein: Georg Olms, 1967.
DUMMET, M. Truth and Others Enigms. Cambridge, Massachussets: Harvard
University Press, 1978.
________. The Interpretation of Freges Philosophy. Cambridge, Massachussets:
Harvard University Press, 1981.
KANT, I. Kritik der reinen Vernunft. Ed.: R. Schmidt. Hamburg: 1958 (1781). [Edio
citada: Crtica da razo pura. Trad. Manuela Pinto dos Santos. Lisboa: Fundao
Calouste Gulbenkian, 1989]
Endereo / Address
Lcio Loureno Prado
Departamento de Filosofia
Universidade Estadual Paulista - UNESP / Campus Marlia SP
Faculdade de Filosofia e Cincias
Av. Hygino Muzzi Filho, n. 737
Marlia SP
CEP 17525-900
Data de recebimento: 19/7/2009
Data de aprovao: 20/8/2009
280
Cognitio10n2.pmd
280
21/10/2009, 17:43
Na obra Os usos do argumento, de 1958, Stephen Toulmin critica o modo como algumas categorias lgicas como a de deduo so expostas em livros afins. Segundo o
autor, a abordagem usual dessas categorias priorizou determinados tipos de argumentos
(a saber, os analticos), os quais so pouco usuais na argumentao cotidiana. Questiona:
Que ligaes h entre os cnones e mtodos que usamos quando, na vida do dia a dia,
avaliamos, de fato, a solidez, a fora e o carter conclusivo de argumentos? (TOULMIN,
2006, p. 2).
Defende Toulmin que a lgica formal se distanciou dos usos prticos da lgica e,
por conseguinte, necessrio outro modelo lgico (que no o matemtico) para que os
Cognitio, So Paulo, v. 10, n. 2, p. 281-292, jul./dez. 2009
Cognitio10n2.pmd
281
281
21/10/2009, 17:43
argumentos prticos sejam avaliados. Define ento esta outra lgica como jurisprudncia generalizada (TOULMIN, 2006, p. 10), em declarada analogia com o Direito1: A
lgica se ocupa da solidez das alegaes que fazemos [...], com o tipo de precedente
(no sentido em que os advogados usam esse termo) que apresentamos em defesa de
nossas alegaes (TOULMIN, 2006, p. 9).
282
Cognitio10n2.pmd
282
21/10/2009, 17:43
Toulmin ainda adverte que assim como h distino entre a perfeio de um clculo e a
aplicabilidade deste em determinada questo cientfica, deve-se distinguir a afirmao
de uma garantia e a aplicabilidade desta. A correo do resultado da aplicao de uma
garantia pode requerer a investigao tanto de uma como de outra. Ademais, podem-se
questionar no as condies em que determinada garantia aplicvel em um caso
particular, mas as razes dessa garantia ter de ser em geral aceita. Por que as garantias so aceitveis? Comumente h outros avais apoiando nossas garantias, os quais so
denominados apoios das garantias e denotados por B.
Os apoios por trs das garantias podem ser de natureza bastante diversificada. As
garantias so defendidas por motivos variados: ampara-se uma garantia ao relacion-la a
um sistema de classificao taxionmica; ao recorrer aos estatutos legais; aos valores morais; entre outros. Toulmin intitula campo-dependncia a variabilidade do apoio das garantias. E esboa o modelo argumentativo constitudo pelas categorias supramencionadas:
assim, Q, C
j que
W
a menos que
R
por conta de
B
Segue, igualmente, o exemplo oferecido pelo autor (TOULMIN, 2006, p. 151):
Harry nasceu
nas
Bermudas
assim, presumivelmente,
Harry nas Bermudas um
sdito britnico
j que
Um homem nascido nas
Bermudas ser, em geral,
sdito britnico
a menos que
Seus pais sejam estrangeiros / ele
se tenha tornado americano
naturalizado
por conta de
Os seguintes estatutos
e outros dispositivos legais
Prossegue Toulmin esmiuando as diferenas entre o apoio (B) e as demais categorias argumentativas. Se por um lado as afirmaes de garantias (W) so hipotticas,
por outro, as expresses dos apoios podem ser afirmaes categricas de fato. Os dados, por vez, so imprescindveis ao argumento, pois este no existe sem aquele. J as
garantias, embora existam implicitamente, nem sempre podem ser solicitadas, visto que
ao questionar uma garantia, exige-se que se crie outro argumento para atest-la, o qual
possui tambm uma garantia. Se esta nova garantia for questionada, seguiramos em um
processo de regresso ao infinito, desafiando as credenciais de cada uma das garantias
apresentadas. Enfim, no permitiramos que o argumento inicial fosse completamente
apresentado.
Cognitio, So Paulo, v. 10, n. 2, p. 281-292, jul./dez. 2009
Cognitio10n2.pmd
283
283
21/10/2009, 17:43
Segue um exemplo que ilustra a tese toulminiana: Petersen sueco; a proporo registrada de suecos catlicos romanos zero; logo, certamente Petersen no catlico
romano (TOULMIN, 2006, p. 171). V-se que os elementos da concluso no so os
mesmos que figuram nas premissas e, portanto, a mera reordenao destas ltimas no
garantiria a obteno da primeira.
Cognitio, So Paulo, v. 10, n. 2, p. 281-292, jul./dez. 2009
284
Cognitio10n2.pmd
284
21/10/2009, 17:43
Destarte, alegaes feitas a partir de referncias outras que no as informaes apresentadas como concluso so obtidas de um passo substancial. Os argumentos substanciais,
segundo Toulmin, so os comumente usados na prtica. Todavia, por basear-se no argumento-modelo (analtico) da matemtica (elegante e sedutor), a tradio lgica priorizou
os argumentos analticos, no percebendo o carter excepcional dos mesmos. Na concepo toulminiana, o modelo analtico muito pouco representativo da prtica
argumentativa, pois:
Se o propsito de um argumento estabelecer concluses sobre as quais no
estamos inteiramente confiantes, relacionando-as com outras informaes so-
Deve-se observar, todavia, que esta regra possui excees, as quais so estudadas por
Toulmin na seo As peculiaridades dos argumentos analticos (2006, p. 182-193).
Cognitio10n2.pmd
285
285
21/10/2009, 17:43
bre as quais temos mais convico, comea a parecer pouco provvel que
algum genuno argumento prtico possa, algum dia, ser propriamente analtico.
(TOULMIN, 2006, p. 181)
Defende o autor que, em primeiro lugar, (i) a diviso entre argumentos analticos
e substanciais no corresponde exatamente, de modo algum, diviso em argumentos
formalmente vlidos e outros (TOULMIN, 2006, p. 193). Vejamos o porqu:
Um argumento em qualquer campo que seja pode ser expresso de um modo
formalmente vlido, desde que a garantia seja explicitamente formulada e autorize precisamente o tipo de inferncia em questo; isto explica como os clculos
matemticos podem ser formalmente vlidos, mesmo quando os dados a partir
dos quais se argumenta renam observaes passadas e presentes, e a concluso a que se chega no argumento seja uma previso sobre o futuro. Por outro
lado, um argumento pode ser analtico e ainda assim no ser expresso de modo
formalmente vlido; o caso, por exemplo, de um argumento analtico que cita
o apoio da garantia em lugar da prpria garantia. (TOULMIN, 2006, p. 194)
Em segundo lugar, (ii) a diferenciao entre argumentos analticos e substanciais tambm no coincide com a diferenciao entre argumentos que utilizam garantia e aqueles que estabelecem garantia. H argumentos analticos que utilizam garantia e outros
que estabelecem garantia, assim como ocorre com os argumentos substanciais, os quais
podem usar ou estabelecer garantia.
Por fim, (iii) no h correspondncia entre a distino de argumentos analticos e
substanciais e a distino entre argumentos que levam a concluses necessrias e aqueles
que levam a concluses provveis. H, como sabido, argumentos cujo passo que leva do
dado concluso autorizado de modo no ambguo pela garantia; h, igualmente, aqueles cujo mesmo passo autorizado de forma provisria, condicional ou sob determinadas
qualificaes. No h, contudo, como chamar os primeiros de analticos e os ltimos de
substanciais. Isso porque, ao atentarmos atividade prtica do argumentar, encontramos
argumentos ao mesmo tempo substanciais e conclusivos, i.e., nos quais a garantia autoriza
a passagem do dado concluso de forma inequvoca e no ambgua. Toulmin oferece
inmeros exemplos de argumentos substanciais-contudo-conclusivos extrados tanto da
fsica e da matemtica aplicada quanto dos raciocnios de Sherlock Holmes; oferece, igualmente, exemplos de argumentos analticos e que, no entanto, no so conclusivos, mas
tentativos4. Constata, ento, que os argumentos analticos podem ser conclusivos ou
tentativos; e os conclusivos, analticos ou substanciais (TOULMIN, 2006, p. 201).
4
286
Cognitio10n2.pmd
286
21/10/2009, 17:43
Cognitio10n2.pmd
287
287
21/10/2009, 17:43
A atribuio de validade a partir da noo de contradio, por sua vez, gera um novo
problema: como essas categorias podero ser aplicadas aos argumentos substanciais,
dado que, nestes, a relao estabelecida entre os dados e o apoio e a concluso no
pode se arriscar contraditria? Faz-se urgente a seguinte constatao: visto que um argumento substancial no pode ser logicamente necessrio, tem-se que no mais possvel
afirmar que tal argumento dedutivo. Do mesmo modo, qualquer concluso que no
contradiga nossos dados tem agora de ser admitida como possvel, por mais implausvel
que seja, e s diremos que uma concluso impossvel se levar a contradio flagrante
(TOULMIN, 2006, p. 218). Assim, O mundo das possibilidades torna-se indefinidamente mais extenso, e torna-se infinitamente mais difcil eliminar racionalmente algumas
possibilidades pelo menos nos argumentos substanciais (TOULMIN, 2006, p. 218).
As dificuldades apontadas at o presente momento desdobram-se mais medida
que se define outro qualificador modal, qual seja, o termo provvel. Diz Toulmin
(2006, p. 219): Se aceitarmos esse programa, seremos forados a definir probabilidade
em termos de implicao; uma afirmao como os dados e o apoio nossa disposio,
e, tornam provvel que h deve ser explicada agora apenas em referncia aos significados das afirmaes componentes de e e h das relaes semnticas entre elas. Como
consequncia, tem-se a impossibilidade de tomarmos argumentos substanciais como
provveis, dado que nestes, a probabilidade depende de outras coisas, inteiramente
diferentes de relaes semnticas. A concluso inescapvel: nos argumentos substanciais, as concluses no podem seguir-se com necessidade lgica e tampouco podem
seguir-se logicamente com probabilidade (TOULMIN, 2006, p. 220).
Neste ponto, o autor verifica a hiptese inicial, a saber, aquela segundo a qual a
considerao do padro dedutivo de argumento aquele que (i) possui concluso
necessria; (ii) formalmente vlido; (iii); usa garantia; (iv) expresso por termos
lgicos e (v) analtico como modelo ocasionou consequncias indesejveis:
Cognitio, So Paulo, v. 10, n. 2, p. 281-292, jul./dez. 2009
288
Cognitio10n2.pmd
288
21/10/2009, 17:43
... qualquer que seja a categoria [lgica] que lhes apliquemos, os argumentos
substanciais jamais correspondem ao padro. A menos que tenhamos que
questionar nosso prprio paradigma, temos de interpretar este fato como um
sinal de fraqueza que contamina todos os argumentos substanciais. Ao que
parece, demais procurar conexes lgicas decentes, no caso destes argumentos; julgados em comparao com nossos padres dedutivos, os argumentos
substanciais so irreparavelmente indefinidos e carentes de rigor. (TOULMIN,
2006, p. 220)
Desse modo, conclui Toulmin que apenas os argumentos analticos, necessrios e formalmente vlidos podem ser avaliados como dedutivos. Logo, aqueles que so substanciais sero no dedutivos e, portanto, no formalmente vlidos. Nesse sentido, a
coincidncia entre validade, necessidade e deduo s ocorre como desejam os
lgicos com respeito aos argumentos analticos5. A determinao da validade fica, pois,
impossibilitada de ser alcanada no que diz respeito aos argumentos substanciais.
Segundo Toulmin, tambm as modalidades lgicas de necessidade, possibilidade e
impossibilidade foram mal escolhidas no tratamento de argumentos substanciais. Nestes,
os critrios em questo no indicam os sentidos genunos dos mesmos, respectivamente:
a concluso deve ser aceita tal como nos infligida ( necessria); deve ser a partir dos
dados aceita para avaliao ( possvel); deve ser excluda ( impossvel). Isso porque,
na prtica, questes sobre necessidade e impossibilidade extrapolam o campo do significado e da inteligibilidade, assim como o que se refere possibilidade ultrapassa o escopo
da consistncia. Uma concluso possvel no apenas aquela que no contradiz nossos
dados, mas, tambm, de que uma genuna soluo-candidata, cujo apoio teremos de
investigar e cuja aceitabilidade teremos de avaliar (TOULMIN, 2006, p. 234).
Assim sendo, o critrio de contradio insuficiente para a avaliao de argumentos no analticos.
... possibilidade lgica se com isso queremos dizer significao no tanto
uma subespcie de possibilidade quanto um requisito prvio para a possibilidade ou a impossibilidade; ao passo que impossibilidade lgica, inconcebilidade
ou ausncia de significao, longe de ser uma subespcie de impossibilidade,
exclui a possibilidade ou a impossibilidade. [...] Dado o requisito mnimo de
inteligibilidade, concluso impossvel ser aquela que, embora possa ser compatvel com nossos dados no que diz respeito apenas linguagem, temos
razes conclusivas para excluir; uma concluso inconsistente jamais alcana o
estgio em que se possa considerar sua alegao de possibilidade. Talvez num
mbito limitado de problemas argumentos analticos e clculos a presena
Cognitio10n2.pmd
289
289
21/10/2009, 17:43
290
Cognitio10n2.pmd
290
21/10/2009, 17:43
Concluso
Toulmin procurou mostrar que, em lgica formal, o termo dedutivo usado indistintamente de modo a contemplar cinco significaes (aquele que formalmente vlido, usa
garantia, possui concluso necessria, expresso em termos lgicos e analtico); esse
uso indiscriminado acabou por acarretar consequncias indesejveis. Aquilo que normalmente considerado como sinal de fraqueza dos argumentos substanciais decorre, para
Toulmin, da no sujeio destes aos critrios analticos.
Afirma ainda Toulmin: comum reservar o termo lgico aos argumentos analticos; os substanciais so, pois, no lgicos. Contudo, diz-se na prtica que um argumento
lgico se o mesmo coerente e colocado de modo adequado. Por conseguinte,
estabelece-se a desastrosa consequncia: argumentos ticos, cientficos, artsticos, enfim, substanciais, so para os lgicos no lgicos; passam a ser na prtica incoerentes, imprprios e, conseqentemente, no confiveis para razes de procedimento
(TOULMIN, 2006, p. 249).
A argumentao toulminiana expe a descaracterizao ou inutilidade dos argumentos substanciais quando avaliados por padres analticos: os critrios analticos so
irrelevantes para a avaliao de argumentos substanciais pelo simples motivo de servirem a argumentos de outra natureza; um argumento substancial que consiga corresponder
aos padres analticos deixa de ser til para o tratamento de problemas de natureza
substancial.
Destarte, prope Toulmin que possamos enunciar os argumentos de quaisquer
campos na forma:
Dados Alegaes
W,
onde W no s a garantia que autoriza a passagem dos dados alegao (concluso),
como tambm uma garantia estabelecida.
A discusso racional em qualquer campo depende, por conseguinte, da possibilidade de estabelecer, nesse campo, garantias de inferncia; uma abordagem
judicial de nossos problemas ser possvel na medida em que houver procedimentos interpessoais comuns compreendidos para testar garantias em qualquer
campo especfico. (TOULMIN, 2006, p. 251)
Trata-se, sem dvida, de questes cruciais que decorrem da crtica toulminiana aqui
trabalhada e que devem ser analisadas para uma melhor compreenso dos desdobramentos desta ltima. Fica a sugesto para um prximo artigo.
Cognitio10n2.pmd
291
291
21/10/2009, 17:43
Referncia Bibliogrfica
TOULMIN, Stephen E. Os usos do argumento. Trad. Reinaldo Guarany. 2. ed. So
Paulo: Martins Fontes, 2006.
Endereo / Address
Patrcia Del Nero Velasco
Departamento de Filosofia PUC-SP
Rua Monte Alegre, 984
Perdizes So Paulo SP
CEP: 05014-901
Data de recebimento: 28/6/2009
Data de aprovao: 12/8/2009
292
Cognitio10n2.pmd
292
21/10/2009, 17:43
1. Introduo
Dos cticos gregos aos empiristas do sculo XIX, houve muitos oponentes metafsica.
Crticos de vrias espcies apareceram. Muitos deles declararam que a doutrina da
metafsica falsa, j que ela contradiz nosso conhecimento emprico. Outros acreditam
que ela incerta, argumentando que seus problemas transcendem os limites do conhecimento humano. Outros tantos antimetafsicos declararam que a ocupao com questes metafsicas estril. Se essas questes podem ou no ser respondidas no o sabemos, mas desnecessrio nos debruarmos sobre elas; deixem-nos partir para tarefas
prticas, que se conformem mais s atividades dirias dos homens.
O desenvolvimento da lgica moderna possibilitou uma nova e contundente
resposta questo da validade e justificativa da metafsica. As pesquisas da lgica aplicada e da teoria do conhecimento, que tm como objetivo clarificar o contedo cognitivo
dos enunciados cientficos, e talvez o significado dos termos que ocorrem nesses enunciados, por meio da anlise lgica, conduziram a dois resultados: um positivo, outro
negativo. O resultado positivo elaborado no domnio da cincia emprica; vrios conceitos de vrios ramos da cincia so clarificados; suas conexes lgico-formais e
epistemolgicas so explicitadas. No domnio da metafsica, incluindo toda a filosofia do
Cognitio, So Paulo, v. 10, n. 2, p. 293-309, jul./dez. 2009
Cognitio10n2.pmd
293
293
21/10/2009, 17:43
294
Cognitio10n2.pmd
294
21/10/2009, 17:43
A Superao da Metafsica
Em que consiste, portanto, o significado de uma palavra? Que tipo de estipulaes devem ser feitas para que uma palavra tenha significado? (No assunto de nossa
investigao se essas estipulaes so formuladas explicitamente, como acontece com
algumas palavras e smbolos da cincia moderna, ou se elas tm sido aceitas tacitamente, como acontece com a maioria das palavras de uma linguagem tradicional.) Em primeiro lugar, a sintaxe da palavra deve ser fixada, isto , a maneira como ela aparece em
uma sentena simples, onde possa ocorrer; chamamos uma sentena dessa forma de
sentena elementar. A sentena elementar para a palavra pedra, por exemplo, x
uma pedra; nas sentenas dessa forma, algumas designaes da categoria de coisas que
ocupa o lugar de x so, por exemplo, este diamante, esta ma. Em segundo lugar,
para uma sentena elementar S contendo a palavra, uma resposta deve ser dada para a
seguinte questo, que pode ser formulada de vrias maneiras:
(1) A sentena S foi deduzida de onde, e quais sentenas so deduzidas a partir
de S?
(2) Sob quais condies S verdadeira, e sob quais condies falsa?
(3) Como S verificada?
(4) Qual o significado de S?
O item (1) a formulao correta; a formulao (2) est de acordo com a terminologia da lgica; a (3), com a terminologia da teoria do conhecimento; e a (4), com a da
filosofia (fenomenologia). Wittgenstein acertou quando disse que (2) expressa o que os
filsofos entendem por (4), o significado de uma sentena consiste em suas condies
de verdade. (O item [1] a formulao metalgica; mais frente faremos uma exposio detalhada da metalgica, entendida como a teoria da sintaxe e do significado, isto
, relaes de dedutibilidade.).
No caso de haver muitas palavras, especificamente no caso da grande maioria das
palavras cientficas, possvel precisar seu significado por reduo a outras palavras
(constituio, definio). Por exemplo, artrpodes so animais invertebrados que possuem patas articuladas. Talvez a questo sobre a forma sentencial elementar da palavra
artrpode, que sobre a forma sentencial a coisa x um artrpode, possa ser assim
respondida: foi estipulado que uma sentena dessa forma dedutvel de premissas da
forma x um animal, x invertebrado, x possui patas articuladas, e que inversamente cada uma dessas sentenas dedutvel da primeira sentena. por meio dessas
estipulaes sobre a dedutibilidade (em outras palavras: sobre as condies de verdade,
sobre o mtodo de verificao, sobre o significado) da sentena elementar sobre
artrpode que o significado da palavra artrpode fixado. Dessa maneira, cada
palavra da linguagem reduzida a outras palavras e, finalmente, a palavras que ocorrem
nas chamadas sentenas observacionais ou sentenas protocolares. atravs dessa
reduo que a palavra adquire seu significado.
Para nossos propsitos podemos ignorar completamente a questo que diz respeito ao contedo e forma das sentenas primrias (protocolares) que ainda no foram
completamente estabelecidas. Na teoria do conhecimento comum dizer que as sentenas primrias se referem ao que dado; mas no existe unanimidade sobre a
questo do que dado. s vezes a posio tomada a de que essas sentenas falam
sobre qualidades simples do sentido e da sensao [feeling] (por exemplo, quente,
azul, alegria etc.); em outros casos, a inclinao para a viso de que as sentenas
Cognitio, So Paulo, v. 10, n. 2, p. 293-309, jul./dez. 2009
Cognitio10n2.pmd
295
295
21/10/2009, 17:43
296
Cognitio10n2.pmd
296
21/10/2009, 17:43
A Superao da Metafsica
Para a concepo lgica e epistemolgica que d suporte nossa exposio, mas que
aqui pode ser apenas mencionada, cf. o Tractatus Logico-Philosophicus de Wittgenstein,
1922, e Carnap Der logische Aufbau der Welt, 1928 (N. do A.).
Cognitio10n2.pmd
297
297
21/10/2009, 17:43
298
Cognitio10n2.pmd
298
21/10/2009, 17:43
A Superao da Metafsica
Cognitio10n2.pmd
299
299
21/10/2009, 17:43
assim por diante). Disso se segue que, se a nossa tese de que os enunciados da metafsica
so pseudoenunciados justificvel, ento a metafsica no pode mesmo ser expressa
em uma linguagem logicamente construda. Essa a grande importncia filosfica da
tarefa, de que se ocupam os lgicos atuais, de construir uma sintaxe lgica.
5. Pseudoenunciados metafsicos
Consideremos agora alguns exemplos de pseudoenunciados metafsicos de uma espcie onde a violao da sintaxe lgica particularmente bvia, embora estejam de acordo com a sintaxe gramatical tradicional. Selecionamos algumas sentenas de uma escola
metafsica que atualmente exerce grande influncia na Alemanha2.
S o Ser deve ser investigado e nada mais; o Ser isolado e mais nada; apenas
o Ser, e alm do Ser, nada. O que dizer desse Nada? [...] Que o nada existe apenas
porque o No, isto , a Negao, existe? Ou acontece o contrrio? A Negao e o No
existem apenas porque o Nada existe? [...] Dizemos: o Nada anterior ao No e
Negao. [...] Onde encontramos o Nada? Como encontramos o Nada. [...] Conhecemos
o Nada. [...] A angstia revela o Nada. [...] Aquilo por qual e pelo qual estvamos angustiados era realmente nada. De fato: O Nada em si mesmo como tal estava
presente. [...] O que dizer desse Nada? O Nada nadifica.
Para mostrar que a possibilidade de formar pseudoenunciados tem como base um
defeito lgico da linguagem, estabeleceremos o esquema abaixo. As sentenas sob a
coluna I so gramtica e logicamente impecveis, portanto significativas. As sentenas
sob a coluna II (exceto B3) so, do ponto de vista gramatical, perfeitamente anlogas
quelas sob I. As sentenas da forma IIA (com pergunta e resposta), de fato, no satisfazem os requisitos impostos por uma linguagem logicamente correta. No obstante, ela
significativa, pois traduzvel em uma linguagem correta. Isso mostrado por sentenas
da forma IIIA, que tm o mesmo significado das sentenas de IIA. Sentenas da forma
IIA mostram-se ento indesejveis, j que podemos transform-las, por meio de operaes gramaticais livres de defeitos ou erros, em sentenas significativas da forma IIB que
foram retiradas da citao acima. Essas formas no podem ser construdas na linguagem
correta da coluna III. Sua falta de sentido [nonsensicality], porm, no bvia, a princpio, pois algum facilmente convencido por meio de sentenas significativas IB. A
falha de nossa linguagem aqui identificada est, portanto, na circunstncia de que, em
contraste com uma linguagem logicamente correta, so admitidas pela mesma forma
gramatical sequncias de palavras significativas e no significativas. A cada palavra presente nas sentenas adicionamos uma frmula correspondente na notao da lgica
simblica; essa frmula facilita o reconhecimento da analogia indesejvel entre IA e IIA
e da origem das construes desprovidas de significado de IIB.
As citaes seguintes (as originais esto em itlico) foram retiradas de M. Heidegger, Was
ist Metaphysik ?, 1929. Poderamos ter selecionado passagens de qualquer outro dos
numerosos metafsicos, do presente ou do passado; mesmo assim, as passagens
selecionadas parecem-nos ilustrar bem nossa tese. (N. do A.)
Cognitio, So Paulo, v. 10, n. 2, p. 293-309, jul./dez. 2009
300
Cognitio10n2.pmd
300
21/10/2009, 17:43
A Superao da Metafsica
Cognitio10n2.pmd
301
301
21/10/2009, 17:43
tia. Pois aqui a palavra nada parece referir-se a certa constituio emocional, possivelmente de uma espcie religiosa, ou mesmo uma ou outra coisa que causa essas emoes. Se esse fosse o caso, ento os erros lgicos mencionados na sentena IIB no
seriam cometidos. Mas a primeira sentena da citao que inicia essa seo mostra que
essa interpretao no possvel. A combinao de apenas e nada mais mostra que,
sem dvida, a palavra nada tem aqui o significado usual de uma partcula lgica que
serve para a formulao de uma sentena existencial negativa. Essa introduo da palavra nada ento imediatamente seguida pela seguinte questo do tratado: O que
dizer desse Nada?.
Mas nossas dvidas a respeito de uma possvel m interpretao se dissipam
completamente quando notamos que o autor do tratado est claramente por fora do
conflito entre suas questes e seus enunciados e a lgica. Questes e respostas sobre o
Nada so absurdas por si mesmas. [...] A regra fundamental do pensamento qual
comumente se apela, a lei da [no] contradio, na lgica geral, destri essa questo.
Pior para a lgica! Devemos abolir sua soberania: Se o poder de entendimento no
campo de questes sobre o Ser e o Nada destrudo, ento a questo da soberania da
lgica dentro da filosofia tambm deve ser revista. A prpria ideia de dissoluo da
lgica gira em torno de uma questo mais bsica. Mas a sbria cincia aceita girar em
torno de questes que vo contra a lgica? Para essa questo existe uma resposta pronta: A alegada sobriedade e superioridade da cincia torna-se ridcula se ela no toma o
Nada seriamente. Dessa maneira, encontramos aqui uma boa confirmao de nossa
tese; o prprio metafsico estabelece aqui que suas questes e respostas so irreconciliveis com a maneira lgica e cientfica de pensar.
A diferena entre a nossa tese e aquelas dos antimetafsicos anteriores deveria
agora ser clara. No devemos tomar a metafsica como uma mera especulao ou conto
de fadas. Os enunciados de um conto de fadas no entram em conflito com a lgica, mas
apenas com a experincia; eles so perfeitamente significativos, embora falsos. A metafsica
no superstio; possvel acreditar em proposies falsas ou verdadeiras, mas no
possvel acreditar em sequncias de palavras sem significado. Enunciados metafsicos no
so nem mesmo aceitos como hipteses de trabalho; pois uma hiptese deve ser capaz
de entrar em relaes de dedutibilidade com enunciados empricos (verdadeiros ou falsos), justamente o que pseudoenunciados no podem fazer.
Com respeito limitao do conhecimento humano, uma tentativa de salvar a
metafsica talvez seja feita ao se levantar a seguinte objeo: enunciados metafsicos no
so, de fato, verificveis pelo homem ou por qualquer outro ser finito; todavia, podem
ser construdos como conjecturas sobre as respostas que um ser com poderes de conhecimento superiores ou at mesmo perfeitos faria a nossas questes, e com tais conjecturas
elas seriam, enfim, significativas. Contra essa objeo, deixem-nos considerar o seguinte.
Se o significado de uma palavra no pode ser especificado, ou se a sequncia de palavras no est de acordo com as regras da sintaxe, ento algum nem mesmo respondeu
a uma questo. (Pense apenas nas seguintes pseudoquestes: Esta mesa tago?, o
numero 7 sagrado?, quais nmeros so escuros, os pares ou os mpares?) Onde no
existe questo, nem mesmo um ser onisciente pode dar uma resposta. O crtico pode
agora dizer: assim como aquele que v pode comunicar novos conhecimentos quele
que privado da viso, um ser superior talvez pudesse nos comunicar um conhecimento metafsico, por exemplo, o de se o mundo visvel a manifestao de um esprito.
Devemos refletir aqui sobre o significado de novo conhecimento. De fato, concebCognitio, So Paulo, v. 10, n. 2, p. 293-309, jul./dez. 2009
302
Cognitio10n2.pmd
302
21/10/2009, 17:43
A Superao da Metafsica
vel imaginar que possamos encontrar animais que nos contem sobre um novo sentido.
Se esses seres nos provassem o teorema de Fermat, ou inventassem um novo instrumento fsico, ou at mesmo estabelecessem uma lei da natureza ainda desconhecida,
ento nosso conhecimento seria incrementado com sua ajuda. Pois esse tipo de coisa
podemos testar, assim como um homem cego pode compreender e testar a totalidade
da fsica (e com isso compreender qualquer enunciado feito por aqueles que podem
ver). Mas se esses seres hipotticos nos contam algo que no podemos verificar, ento
no podemos compreend-lo de qualquer forma; nesse caso, nenhuma informao nos
foi comunicada, a no ser meros sons verbais desprovidos de significado, embora possivelmente associados a imagens. Segue que nosso conhecimento pode ser apenas
quantitativamente aumentado por outros seres, no importando se eles conhecem menos, mais ou tudo, mas nenhum conhecimento de um tipo essencialmente diferente
pode ser adicionado. O que no sabemos com certeza, talvez possamos saber com uma
certeza maior atravs da assistncia de outros seres; mas o que ininteligvel, sem
significado para ns, no pode tornar-se significativo por meio da assistncia de outra
pessoa, por mais vasto que seu conhecimento possa ser. Portanto, nenhum deus e
nenhum diabo podem nos dar conhecimento metafsico.
Cognitio10n2.pmd
303
303
21/10/2009, 17:43
sentena IIIA na tabela acima). A maioria dos metafsicos, desde a Antiguidade, tem-se
permitido seduzir por pseudoenunciados verbais, e com isso a forma predicativa da
palavra ser, por exemplo, eu sou, Deus .
Encontramos uma ilustrao desse erro no cogito, ergo sum de Descartes.
Desconsideremos aqui as objees materiais que foram levantadas premissa ou seja,
se a sentena eu penso expressa adequadamente o estado de coisas pretendido ou
contm talvez uma hiptese e considerar as duas sentenas apenas do ponto de vista
lgico-formal. De incio, notamos dois erros lgicos bsicos. O primeiro est na concluso eu sou. O verbo ser indubitavelmente encontrado aqui no sentido de existncia; pois uma cpula no pode ser usada sem predicado; de fato, o eu sou de Descartes sempre foi interpretado nesse sentido. Mas nesse caso a sentena viola a regra lgica
mencionada acima de que a existncia pode apenas se conectar a um predicado, no a
um nome (sujeito, nome prprio). Um enunciado existencial no tem a forma a existe
(como em eu sou, isto , eu existo), mas existe algo de uma tal espcie. O segundo erro est na transio de eu penso para eu existo. Se do enunciado P(a) (a tem
a propriedade P) um enunciado existencial est sendo deduzido, ento este ltimo
pode apenas asseverar a existncia com respeito ao predicado P, no com respeito ao
sujeito a da premissa. O que se segue de eu sou europeu no eu existo, mas
existe um europeu. O que se segue de eu penso no eu sou, mas existe algo
que pensa. A circunstncia em que nossa linguagem expressa a existncia por um
verbo (ser ou existir) em si mesma no uma falha lgica; apenas inapropriado,
perigoso. A forma verbal facilmente nos conduz concepo errnea de que a existncia um predicado. Isso leva a modos de expresso logicamente incorretos e sem
sentido, como foi examinado. Do mesmo modo, formas como ser ou no ser, que
desde tempos imemoriveis tiveram grande importncia na metafsica, tm a mesma
origem. Em uma linguagem logicamente correta, essas formas no podem nem mesmo
ser construdas. Aparentemente no latim e no alemo, as formas ens ou das Seiende
foram, talvez por causa da influncia sedutora do exemplo grego, introduzidas especificamente para uso dos metafsicos; dessa maneira, a linguagem foi deteriorada logicamente,
enquanto se pensava que a adio representava um avano.
Outra violao bastante frequente da sintaxe lgica a confuso de tipos dos
conceitos. Enquanto os erros previamente mencionados consistem no uso predicativo
de um smbolo com significado no predicativo, nesse caso um predicado usado, de
fato, como um predicado, ainda que de tipo diferente. Um exemplo ilustrativo a
sentena discutida anteriormente: Csar um nmero primo. Nomes de pessoas e
nomes de nmeros pertencem a diferentes tipos lgicos, resultando em predicados de
pessoas (por exemplo, general) e predicados de nmeros (nmero primo). O erro
da confuso de tipos no , ao contrrio do uso discutido previamente do verbo ser,
prerrogativa da metafsica, mas ocorre tambm com bastante freqncia na linguagem
cotidiana. Mas neste ltimo caso, ele raramente conduz a expresses sem sentido. A
ambigidade de tipos das palavras de tal espcie que pode ser facilmente removida.
Exemplo: 1. Essa mesa maior que aquela; 2. A altura dessa mesa maior que
a altura daquela mesa. Aqui a palavra maior usada em (1) para uma relao entre
objetos, em (2) para uma relao entre nmeros, portanto, por duas categorias sintticas
distintas. O equvoco nesse caso no importante; maior1 ento definida em termos
de maior2, declarando que o enunciado da forma (1) sinnimo de (2) (e outros de
uma espcie similar).
Cognitio, So Paulo, v. 10, n. 2, p. 293-309, jul./dez. 2009
304
Cognitio10n2.pmd
304
21/10/2009, 17:43
A Superao da Metafsica
Cognitio10n2.pmd
305
305
21/10/2009, 17:43
306
Cognitio10n2.pmd
306
21/10/2009, 17:43
A Superao da Metafsica
Cognitio10n2.pmd
307
307
21/10/2009, 17:43
308
Cognitio10n2.pmd
308
21/10/2009, 17:43
A Superao da Metafsica
Endereo / Address
William Steinle
Centro Universitrio Assuno UNIFAI
R. Afonso Celso, 711 - Vila Mariana
So Paulo SP
CEP: 04119-060
Data de recebimento: 6/4/2009
Data de aprovao: 18/9/2009
Cognitio10n2.pmd
309
309
21/10/2009, 17:43
310
Cognitio10n2.pmd
310
21/10/2009, 17:43
Cognitio10n2.pmd
311
311
21/10/2009, 17:43
Pedidos de exemplares novos e de nmeros anteriores da Cognitio - Revista de Filosofia devem ser endereados redao da revista, por e-mail: revcognitio@uol.com.br.
Preo, frete e formas de pagamento sero informados por ocasio do pedido.
Orders for current and previous issues of Cognitio - Philosophy Journal should be
addressed directly to: revcognitio@uol.com.br. Price, freight and terms of payment will
be informed at the time.
312
Cognitio10n2.pmd
312
21/10/2009, 17:43
Cognitio10n2.pmd
313
313
21/10/2009, 17:43
Uma sequncia genrica dos elementos essenciais de uma referncia pode ser
representada da seguinte maneira:
AUTOR. Ttulo. edio. Local: Editora, data.
GOWER, Barry. Scientific method: an historical and philosophical
introduction. London: Routledge, 1997.
O autor (pessoa fsica) deve vir indicado, como regra geral, pelo ltimo sobrenome em maisculas, seguido de vrgula e do(s) prenome(s) e outros sobrenomes. No
caso de at trs autores, indicam-se todos, separados por ponto-e-vrgula. No caso de
mais de trs autores, pode-se indicar apenas o primeiro, seguido da expresso et al..
No caso de obra constituda de vrios trabalhos ou contribuies de vrios autores, devese indicar o responsvel intelectual (coordenador, organizador etc.) seguido da abreviao da palavra que caracteriza o tipo de responsabilidade, entre parnteses. Obras de
responsabilidade de entidades tm entrada, de modo geral, por seu prprio nome, por
extenso e em letras maisculas.
O ttulo da obra deve ser destacado em itlico, e separado do subttulo por doispontos.
Indica-se a edio, quando mencionada na obra, com a abreviatura dos numerais
ordinais e da palavra edio, ambas no idioma da publicao.
Quando houver mais de um local para uma s editora, indica-se o primeiro ou
mais destacado. No caso de homnimos de cidades, acrescenta-se o nome do estado, do
pas etc. Quando a cidade no aparece na publicao, mas pode ser identificada, indicase entre colchetes. No sendo possvel determinar o local, utiliza-se a expresso sine
loco, abreviada, entre colchetes: [S.l.]. Quando houver duas editoras, indicam-se ambas,
com seus respectivos locais (cidades). Se as editoras forem trs ou mais, indica-se a
primeira ou a que estiver em destaque. Quando a editora no puder ser identificada,
deve-se indicar a expresso sine nomine, abreviada, entre colchetes: [s.n.]. Quando o
local e a editora no puderem ser identificados, utilizam-se ambas as expresses, abreviadas e entre colchetes: [S.l.: s.n.].
Se nenhuma data de publicao, distribuio, copyright ou impresso puder ser
determinada, registra-se uma data aproximada entre colchetes. Os meses devem ser
abreviados no idioma original da publicao. As divises dos anos em trimestres, semestres etc., para indicar a data das publicaes, tambm devem ser abreviadas.
No caso de partes de uma publicao peridica (volume, fascculo, suplemento, caderno, nmero especial ou outras), deve-se obedecer seguinte ordem:
TTULO (da publicao). Local: Editora, volume, nmero (do ano e/ou
volume, e do fascculo), data (incluindo perodos de publicao).
RAE REVISTA DE ADMINISTRAO DE EMPRESAS. So Paulo: Fundao Getlio Vargas, v. 41, n. 2, abr./jun. 2001.
314
Cognitio10n2.pmd
314
21/10/2009, 17:43
Cognitio10n2.pmd
315
315
21/10/2009, 17:43
Publishing Guidelines
All manuscripts are subject to review for publication in Cognitio at authors exclusive
risk. All editorial communication should be addressed to: revcognitio@uol.com.br.
Articles express the views of the authors and do not represent those of the journal,
its editors, editorial commission or scientific board.
Articles should address issues related to the theoretical universe of Pragmatism.
Exceptions will be considered, provided they refer to previous articles published by
Cognitio.
The papers presented in the International Meetings on Pragmatism, sponsored by
Pontifical Catholic University of So Paulo, are from invited professors and free submissions.
In both cases, notwithstanding their evaluation by the selection committee of that event,
on application for publication in Cognitio they will be submitted (anonymously) to a
new evaluation by two referees from the journals Scientific Council.
With the publication of the manuscript, the author automatically assigns their
respective copyrights to Cognitio.
Articles do not necessarily have to be in Portuguese, but must not exceed 5,000
words. They must be submitted in electronic format, in Microsoft Word for Windows
Times New Roman font 12, single spacing and paragraphs.
Every article should be preceded by a title and subtitle (if any), separated by a
colon; authors full name, the institution to which they belong and electronic address (email); abstract in the same language as the text, which should not exceed 250 words,
followed by keywords. In the case of articles in languages other than English, titles and
subtitles, abstracts and keywords should also be submitted in English.
Quotations up to three lines should be between double quotation marks; single
quotation marks should be used for a quotation within a quotation. Quotations with
more than three lines should be highlighted by a 4-cm indentation from the left margin,
in Times New Roman font 11, without quotation marks. Suppressions in quotations
should be indicated by ellipsis within brackets, and interpolations or commentaries should
be within brackets. To emphasize sections of quotations they should be highlighted
either through the expression our italics in parentheses, after the reference, or authors
italics, should it be already part of the consulted work.
Quotations may be indicated in the text by a numerical system (referring the
reader to a footnote) or author-date.
Footnotes, which can be referential, explanatory or include indications, observations
and additions to the text, should be numbered sequentially in Arabic numerals and given
in superscript after the punctuation closing the quotation, and repeated at the start of
the corresponding note. Footnote text should be in Times New Roman 10.
At the end of the text, references consulted should be indicated.
A generic sequence of the essential elements of a reference can be represented
as follows:
AUTHOR. Title. edition. Location: Publisher, date.
316
Cognitio10n2.pmd
316
21/10/2009, 17:43
Cognitio10n2.pmd
317
317
21/10/2009, 17:43
318
Cognitio10n2.pmd
318
21/10/2009, 17:43