A lgica e os fundamentos da matemtica

Anthony Kenny
Universidade de Oxford

A lgica de Frege

O acontecimento mais importante na histria da filosofia do sculo XIX foi a

inveno da lgica matemtica. No se tratou apenas de fundar de novo a prpria
cincia da lgica; foi algo que teve igualmente consequncias importantes para a
filosofia da matemtica, para a filosofia da linguagem e, em ltima anlise, para a
compreenso que o filsofos tm sobre a natureza da prpria filosofia.

O principal fundador da lgica matemtica foi Gottlob Frege. Nascido na costa

bltica alem em 1848, Frege (1848-1925) doutorou-se em Filosofia em Gttingen e
ensinou na Universidade de Jena de 1874 at se reformar, em 1918. Excepto no que
respeita actividade intelectual, a vida de Frege foi rotineira e isolada; o seu
trabalho foi pouco lido enquanto viveu, e mesmo depois da sua morte s exerceu
influncia por intermdio dos escritos de outros filsofos. Mas gradualmente foi-se
reconhecendo que Frege foi o maior de todos os filsofos da matemtica e que,
como filsofo da lgica, foi comparvel a Aristteles. A sua inveno da lgica
matemtica foi uma das maiores contribuies para os desenvolvimentos, em
diversas disciplinas, que estiveram na origem da inveno dos computadores. Dessa
forma, Frege afectou as vidas de todos ns.

A produtiva carreira de Frege comeou em 1879 com a publicao de um opsculo

intituladoBegriffschrift, ou Escrita Conceptual. A escrita conceptual que deu o ttulo
ao livro consistia num novo simbolismo concebido com o fim de exibir claramente as
relaes lgicas escondidas na linguagem comum. A notao de Frege, logicamente
elegante mas tipograficamente incmoda, j no usada em lgica simblica; mas o
clculo por ele formulado constitui desde ento a base da lgica moderna.

Em vez de fazer da silogstica aristotlica a primeira parte da lgica, Frege atribuiu

esse lugar a um clculo inicialmente explorado pelos esticos: o clculo
proposicional, ou seja, o ramo da lgica que trata das inferncias que assentam na
negao, conjuno, disjuno, etc., quando aplicadas a frases declarativas no seu
todo. O seu princpio fundamental que remonta igualmente aos esticos
consiste em considerar que os valores de verdade (isto , verdadeiro ou falso) das
frases declarativas que contm conectivos como "e", "se", "ou", so determinados
apenas pelos valores de verdade das frases ligadas pelos conectivos da mesma
forma que o valor de verdade da frase "Joo gordo e Maria magra" depende
apenas dos valores de verdade de "Joo gordo" e de "Maria magra". As frases
compostas, no sentido tcnico dos lgicos, so tratadas como funes de
verdade das frases simples que entram na sua composio. O Begriffschrift de
Frege contm a primeira formulao sistemtica do clculo proposicional; este
apresentado sob uma forma axiomtica, na qual todas as leis da lgica so
derivadas, por meio de regras de inferncia, a partir de um certo nmero de
princpios primitivos.

A maior contribuio de Frege para a lgica foi a sua inveno da teoria da

quantificao; isto : um mtodo para simbolizar e exibir rigorosamente as
inferncias cuja validade depende de expresses como "todos" ou "alguns",
"qualquer" ou "cada um", "nada" ou "nenhum". Este novo mtodo permitiu-lhe, entre
outras coisas, reformular a silogstica tradicional.

Existe uma analogia entre a inferncia

Todos os homens so mortais.

Scrates um homem.
Logo, Scrates mortal.

e a inferncia

Se Scrates um homem, Scrates mortal.

Scrates um homem.
Logo, Scrates mortal.

A segunda uma inferncia vlida no clculo proposicional (se p, ento q; dado

que p, segue-se que q). Mas nem sempre pode ser considerada uma traduo da
primeira inferncia, uma vez que a sua primeira premissa parece afirmar algo acerca
de Scrates em particular, ao passo que se "Todos os homens so mortais" for
verdadeira, ento
Se x um homem, x mortal.

ser verdadeira independentemente do nome que substituir a varivel x. De facto,

esta frase continuar a ser verdadeira mesmo que x seja substituda por um nome
que no designe homem algum, uma vez que nesse caso a antecedente falsa e,
de acordo com as regras verofuncionais para frases declarativas condicionais, a
frase na sua totalidade ser verdadeira. Assim, podemos exprimir a proposio
tradicional

Todos os homens so mortais.

desta forma:

Para todo o x, se x um homem, x mortal.

Esta reformulao constitui a base da teoria da quantificao de Frege; para vermos

como isso acontece, temos que explicar de que forma Frege concebeu cada um dos
elementos que contribuem para formar uma frase complexa.

Frege introduziu a terminologia da lgebra na lgica. Pode dizer-se que uma

expresso algbrica como x/2 + 1 representa uma funo de x; o valor do nmero
representado pela expresso na sua globalidade depender da substituio que se
fizer para a varivel x, ou, em terminologia tcnica, do argumento que tomarmos
para a funo. Assim, o valor da funo 3 se o argumento for 4, e 4 se o
argumento for 6. Frege aplicou esta terminologia (argumento, funo, valor) tanto a
expresses da linguagem comum como a expresses em notao matemtica.
Substituiu as noes gramaticais de sujeito e de predicado pelas noes
matemticas de argumento e de funo e, a par dos nmeros, introduziu os valores
de verdade como valores possveis de expresses. Assim, "x um homem"
representa uma funo que toma o valor verdadeiro para o argumento "Scrates" e o
valor falso para o argumento "Vnus". A expresso "para todo o x", que introduz a
frase anterior, diz, em termos fregianos, que o que se lhe segue ("se x um
homem, x mortal") uma funo verdadeira para qualquer argumento. A uma
expresso deste tipo chama-se "quantificador".
Alm de "para todo o x", o quantificador universal, existe tambm o quantificador
particular "para algum x", que diz que o que se lhe segue verdadeiro para pelo
menos um argumento. Ento, "alguns cisnes so pretos" pode representar-se num
dialecto fregiano como "para algumx, x um cisne e x preto". Pode considerar-se
que esta frase equivalente a "existem coisas que so cisnes pretos"; e, na
verdade, Frege usou o quantificador particular para representar a existncia. Assim,
"Deus existe" ou "h um Deus" representada no seu sistema por "para algum x, x
Deus".

O uso da sua nova notao para a quantificao permitiu a Frege apresentar um

clculo que formalizou a teoria da inferncia de uma forma mais rigorosa e mais
geral do que a tradicional silogstica aristotlica, a qual, at poca de Kant, fora
considerada o supra-sumo da lgica. Depois de Frege, a lgica formal podia, pela
primeira vez, lidar com argumentos que envolviam frases com quantificao mltipla,
frases que eram, por assim dizer, quantificadas em ambos os extremos, tais como
"ningum conhece toda a gente" e "qualquer criana em idade escolar pode dominar
qualquer lngua".

O logicismo de Frege

No Begriffschrift e nos escritos que se lhe seguiram, Frege no estava interessado

na lgica pela lgica. O que o levara construo da nova escrita conceptual fora o
uso desta como auxiliar na filosofia da matemtica. A questo a que, acima de tudo,
queria responder, era esta: ser que as demonstraes da aritmtica assentam na
lgica pura, baseando-se somente em leis gerais vigentes em qualquer esfera do
conhecimento, ou precisam do suporte de factos empricos? Frege respondeu que
era possvel mostrar que a prpria aritmtica era um ramo da lgica, no sentido em
que podia ser formalizada usando unicamente noes ou axiomas lgicos. Foi
nos Grundlagen der Arithmetik que Frege se props pela primeira vez estabelecer
esta tese, conhecida pelo nome de "logicismo".

Os Grundlagen comeam com um ataque s ideias dos contemporneos e

predecessores de Frege (incluindo Kant e Mill) sobre a natureza dos nmeros e da
verdade matemtica. Kant tinha sustentado que as verdades da matemtica eram
sintticas a priori e que o nosso conhecimento delas dependia da intuio. Mill, por
outro lado, via as verdades matemticas como a posteriori, generalizaes
empricas largamente aplicveis e confirmadas. Frege sustentava que as verdades
da aritmtica no eram de todo em todo sintticas, nem a priorinem a posteriori. Ao
contrrio da geometria a qual, e nisso concordava com Kant, assentava na
intuio a priori , a aritmtica era analtica, isto , podia ser definida em termos
puramente lgicos e demonstrada a partir de princpios puramente lgicos.

No sistema de Frege, a noo aritmtica de nmero foi substituda pela noo lgica
de "classe": os nmeros cardinais podem ser definidos como classes de classes com
o mesmo nmero de membros; assim, o nmero dois a classe dos pares, e o
nmero trs a classe dos trios. Apesar das aparncias, esta definio no circular,
porque podemos dizer o que significa duas classes terem o mesmo nmero de
membros sem recorrer noo de nmero; assim, por exemplo, um criado pode
saber que existem numa mesa tantas facas quantos os pratos sem saber o seu
nmero, bastando para tanto observar que h exactamente uma faca direita de
cada prato. Duas classes tm o mesmo nmero de membros se for possvel
estabelecer entre elas uma relao biunvoca; tais classes so conhecidas como
classes de equivalncia. Um nmero ser, ento, a classe das classes de
equivalncia.

Desta forma, podamos definir o quatro como a classe de todas as classes

equivalentes classe dos evangelistas. Mas uma definio deste tipo seria intil
para o projecto de reduzir a aritmtica lgica, uma vez que o facto de terem
existido quatro evangelistas no faz parte da lgica. Para que o seu programa
tivesse xito, Frege foi obrigado a encontrar, para cada nmero, uma classe cuja
dimenso fosse, alm de adequada, assegurada pela lgica.

Resolveu comear com o zero. O zero um nmero que pode ser definido em
termos puramente lgicos como a classe de todas as classes equivalentes classe
de objectos que no so idnticos a si mesmos. Uma vez que no existem objectos
no idnticos a si mesmos, essa classe no tem elementos; e, uma vez que classes
com os mesmos elementos so a mesma classe, existe s uma classe sem
elementos, a chamada "classe vazia". O facto de s existir uma classe vazia usado
ao passar para a definio do nmero um, que definido como a classe das classes
equivalentes classe das classes vazias. Dois pode, ento, ser definido como a
classe das classes equivalentes classe cujos elementos so zero e um, trs como
a classe das classes equivalentes classe cujos elementos so zero, um e dois, e
assim sucessivamente ad infinitum. Assim, a srie dos nmeros naturais constri-se
a partir das noes puramente lgicas de identidade, classe, pertena a uma classe
e equivalncia entre classes.

Nos Grundlagen, Frege atribui grande importncia a duas teses. Uma a de que
cada nmero um objecto auto-subsistente; a outra a de que o contedo das
asseres onde se faz a atribuio de nmeros so asseres sobre conceitos.
primeira vista pode parecer que estas teses esto em conflito, mas se
compreendermos o que Frege entendia por "conceito" e "objecto", veremos que so
complementares. Ao dizer que um nmero um objecto, Frege no est a sugerir
que um nmero seja algo tangvel como uma rvore ou uma mesa; est apenas a
negar que um nmero seja uma propriedade pertencente a alguma coisa, indivduo
ou coleco. Ao dizer que um nmero um objecto auto-subsistente, Frege est a
dizer que no se trata de uma entidade subjectiva, de algo mental ou de uma
propriedade de algo mental. Para Frege os conceitos so platnicos, entidades
independentes da mente, e dessa forma no existe contradio entre a tese que
afirma que os nmeros so objectivos e a tese que afirma que as asseres
numricas so asseres sobre conceitos. Frege ilustra esta ltima tese com dois
exemplos.

Se eu disser "Vnus tem 0 luas", no existe absolutamente lua alguma nem

aglomerao de luas sobre a qual se possa afirmar coisa alguma; mas de facto est
a ser atribuda uma propriedade ao conceito "lua de Vnus", nomeadamente a
propriedade que nada cai sob esse conceito. Se eu disser "a carruagem do rei
puxada por quatro cavalos", estou a atribuir o nmero quatro ao conceito "cavalo que
puxa a carruagem do rei".

As asseres de existncia, diz Frege, so um caso particular das asseres

numricas. "Uma afirmao de existncia", afirma, "no de facto mais do que a
negao do nmero zero". O que Frege quer dizer que uma frase como "os anjos
existem" uma assero de que o conceito anjo atribuvel a alguma coisa. E dizer
que um conceito atribuvel a alguma coisa dizer que o nmero que pertence a
esse conceito diferente de zero.
Segundo Frege, o argumento ontolgico sobre a existncia de Deus soobra
precisamente porque a existncia uma propriedade de conceitos. A propriedade de
existir um Deus no pode ser uma propriedade de Deus; se de facto existe um Deus,
essa propriedade pertence ao conceito Deus.

Se as asseres numricas so asseres sobre conceitos, que tipo de objecto

um nmero? Frege responde que um nmero a extenso de um conceito. O
nmero que pertence ao conceito F, afirma Frege, a extenso do conceito "igual
em nmero ao conceito F". Isto equivale a dizer que a classe de todas as classes
que tm o mesmo nmero de elementos que a classe dos F, como foi explicado
acima. Assim, a teoria de Frege de que os nmeros so objectos depende da
possibilidade de considerar as classes como objectos.

A filosofia da lgica de Frege

Veremos que a filosofia da matemtica de Frege est intimamente ligada ao modo

como ele entende vrios conceitos-chave de lgica e de filosofia; e, na verdade,
no Begriffschrift e nosGrundlagen, Frege no s fundou a lgica moderna, mas
tambm a disciplina filosfica moderna de filosofia da lgica. F-lo ao traar um
distino clara entre o tratamento filosfico da lgica e, por um lado, a psicologia
(com a qual fora por vezes confundida pelos filsofos da tradio empirista), e, por
outro, a epistemologia (com a qual fora por vezes fundida pelos filsofos da tradio
cartesiana). No entanto, no existe na sua obra a mesma distino clara entre lgica
e metafsica; na realidade, as duas esto estreitamente relacionadas.

Frege sustentava que se deve fazer uma distino sistemtica entre conceitos e
objectos, correlatos ontolgicos dos plos da distino lingustica correspondente
entre funes e argumentos. Os objectos so aquilo que designado pelos nomes
prprios: existem objectos de muitos tipos, desde seres humanos a nmeros. Os
conceitos so itens que tm uma incompletude fundamental, que corresponde
lacuna assinalada numa funo pela sua varivel. Nos pontos em que outros
filsofos falavam ambiguamente sobre o significado de uma expresso, Frege
introduziu uma distino entre a referncia de uma expresso (o objecto a que se
refere: o planeta Vnus a referncia de "Estrela da Manh") e o sentido de uma
expresso. ("A Estrela da Tarde" tem um sentido diferente de "A Estrela da Manh",
apesar de ambas as expresses, como os astrnomos descobriram, se referirem a
Vnus.) Frege sustentava que a referncia de uma frase o seu valor de verdade
(isto , verdadeiro ou falso), e tambm que numa linguagem cientificamente
respeitvel todos os termos tm de ter uma referncia e todas as frases declarativas
devem ser ou verdadeiras ou falsas. Muitos filsofos posteriores adoptaram a sua
distino entre sentido e referncia, mas a maior parte rejeitou a noo de que as
frases completas tm um tipo qualquer de referncia.

O auge da carreira de Frege enquanto filsofo deveria ter sido a publicao dos dois
volumes de Die Grundgesetze der Arithmetik (1893-1903), nos quais se propunha
apresentar com todo o rigor formal a construo logicista da aritmtica baseada na
lgica pura e na teoria dos conjuntos. Esta obra deveria executar a tarefa esboada
nos anteriores livros sobre filosofia da matemtica: deveria enunciar um conjunto de
axiomas constitudo por verdades reconhecidamente lgicas, propor um conjunto de
regras de inferncia indiscutivelmente correctas e, ento, por meio dessas regras e a
partir desses axiomas, apresentar uma a uma as derivaes das verdades
cannicas da aritmtica.

Este magnfico projecto abortou antes de estar completo. O primeiro volume foi
publicado em 1893. Quando o segundo volume apareceu, em 1903, tinha-se
descoberto que o engenhoso mtodo de Frege para construir a srie dos nmeros
naturais a partir unicamente de noes lgicas continha uma deficincia fatal. A
descoberta devia-se ao filsofo ingls Bertrand Russell.

O paradoxo de Russell

Russell nasceu em 1872. Era neto do primeiro-ministro Lorde John Russell e

afilhado de John Stuart Mill. No Trinity College, em Cambridge, aceitou
temporariamente uma verso inglesa do idealismo hegeliano. Mais tarde, juntamente
com o seu amigo G. E. Moore, abandonou o idealismo, trocando-o por uma filosofia
realista extrema que inclua uma viso platnica da matemtica. Foi no decurso da
redaco de um livro para expor esta filosofia que Russell encontrou as ideias de
Frege; quando o livro foi publicado em 1903 com o ttulo The Principles of
Mathematics, inclua uma apreciao de tais ideias. Embora admirasse as ideias de
Frege, Russell detectou uma falha radical no sistema, que lhe comunicou quando o
segundo volume dos Grundgesetze estava no prelo.

Se quisermos progredir de nmero para nmero da forma que Frege prope,

devemos ser capazes de formar classes de classes sem restrio, e classes de
classes de classes, etc. As classes devem ser elas mesmas classificveis; devem ter
a possibilidade de ser elementos de classes. Ora, pode uma classe ser elemento de
si mesma? A maior parte no pode (por exemplo, a classe dos ces no um co),
mas algumas, aparentemente, podem (por exemplo, a classe das classes
seguramente uma classe). Parece assim que as classes se podem dividir em duas
espcies: existe a classe das classes que so elementos de si mesmas, e a classe
das classes que no so elementos de si mesmas.

Considere-se agora esta segunda classe: ela prpria elemento de si mesma ou

no? Se elemento de si mesma, ento, uma vez que precisamente a classe das
classes que no so elementos de si mesmas, no pode ser elemento de si mesma.
Mas, se no elemento de si mesma, tem a propriedade que a qualifica como
elemento da classe das classes que no so elementos de si mesmas, e portanto
elemento de si mesma. Aparentemente, ela deve ser ou no um elemento de si
mesma; mas, seja qual for a alternativa que escolhermos, somos obrigados a
contradizer-nos.

A esta descoberta chama-se paradoxo de Russell, que mostra existir algo de vicioso
ao formar classes de classes ad lib., e compromete todo o programa logicista de
Frege.

O prprio Russell estava to apostado no logicismo quanto Frege e, em colaborao

com A. N. Whitehead, empreendeu o desenvolvimento de um sistema lgico usando
uma notao diferente da de Frege, no qual se props derivar a totalidade da
aritmtica a partir de uma base puramente lgica. Este trabalho foi publicado entre
1910 e 1913 nos trs monumentais volumes que compem os Principia
Mathematica.

Com o fim de evitar o paradoxo que descobrira, Russell formulou uma teoria dos
tipos. Era um erro tratar as classes como objectos arbitrariamente classificveis. As
classes e os indivduos pertencem a tipos lgicos diferentes, e o que pode ser
verdadeiro ou falso a respeito de um no pode ser afirmado com sentido sobre o
outro. Frases como "A classe dos ces um co" devem ser consideradas absurdas
e no falsas. Da mesma forma, o que pode dizer-se com sentido sobre classes no
pode ser afirmado com sentido sobre classes de classes, e assim sucessivamente
ao longo da hierarquia dos tipos lgicos. Se se observar a diferena de tipo entre os
diferentes nveis da hierarquia, o paradoxo no surgir.

Mas surge outra dificuldade em vez do paradoxo. Tendo proibido a formao de

classes de classes, como podemos definir a srie dos nmeros naturais? Russell
conservou a definio de zero como a classe cujo nico elemento a classe vazia,
mas passou a tratar o nmero um como a classe de todas as classes equivalentes
classe cujos elementos so a) os elementos da classe vazia e b) qualquer objecto
que no seja elemento dessa classe. O nmero dois, por seu turno, era tratado
como a classe de todas as classes equivalentes classe cujos elementos so a) os
elementos da classe usada para definir um, juntamente com b) qualquer objecto que
no seja elemento dessa classe definidora. Desta forma, os nmeros podem ser
definidos um aps o outro, e cada nmero uma classe de classes de indivduos.
Mas a srie dos nmeros naturais s pode continuar ad infinitum desta forma se
existir um nmero infinito de objectos no universo; se apenas existirem n indivduos,
ento no existem classes com n + 1 elementos logo, no existe o nmero
cardinal n + 1. Russell aceitou este argumento e em consequncia acrescentou aos
seus axiomas um axioma do infinito, isto , a hiptese segundo a qual o nmero de
objectos no universo no finito. Pode acontecer que, como Russell pensava, esta
hiptese seja muitssimo provvel; mas, a julgar pelas aparncias, est longe de ser
uma verdade lgica; e a necessidade de a postular ento uma mancha na pureza
do programa original de derivar a aritmtica apenas da lgica.

Quando conheceu o paradoxo de Russell, Frege ficou extremamente abatido. Fez

vrias tentativas para remendar o seu sistema, que no foram mais bem sucedidas
na recuperao do logicismo do que a teoria dos tipos de Russell. Sabemos hoje
que o programa logicista no pode jamais ser levado a cabo com sucesso. O
caminho a partir dos axiomas da lgica, passando pelos axiomas da aritmtica at
aos teoremas da aritmtica, est obstrudo em dois pontos. Primeiro, como o
paradoxo de Russell mostrou, a teoria ingnua dos conjuntos, que fazia parte da
base lgica de Frege, era em si inconsistente e as solues que Frege props
revelaram-se ineficazes. Assim, os axiomas da aritmtica no podem ser derivados
de axiomas puramente lgicos da forma que Frege esperava. Segundo, a prpria
noo de "axiomas da aritmtica" foi mais tarde posta em questo quando o
matemtico austraco Kurt Gdel mostrou que era impossvel dotar a aritmtica de
uma axiomatizao completa e consistente ao estilo dos Principia Mathematica.
Apesar de tudo, os conceitos e as perspectivas desenvolvidos por Frege e Russell
no decurso da exposio da tese logicista continuam a ter interesse em si; e o seu
interesse no diminuiu com fracasso daquele programa.

A teoria das descries de Russell

No seu perodo realista, quando escreveu The Principles of Mathematics, Russell

pensava que, para conservar a objectividade dos conceitos e juzos, era necessrio
aceitar a existncia de ideias platnicas e de proposies que subsistem
independentemente da sua expresso em frases. Como Frege, aceitava que os
conceitos eram algo independente do nosso pensamento; mas ia mais longe que
Frege porque pensava que, alm das relaes e dos nmeros, tambm as quimeras
e os deuses homricos tinham alguma forma de ser; de outro modo, seria impossvel
construir proposies a seu respeito. "Logo, o ser um atributo geral de tudo, e
mencionar algo mostrar que ".

Na poca em que escreveu os Principia Mathematica, j Russell tinha mudado de

ideias. Escreveu Russell:

Suponhamos que dizemos "O quadrado redondo no existe". Parece claro que esta
proposio verdadeira, e no entanto no podemos consider-la como a negao
da existncia de um determinado objecto chamado "o quadrado redondo". Porque
nesse caso o objecto existiria: no podemos assumir primeiro que um objecto existe
para depois negar a sua existncia. Sempre que, preservando o sentido de uma
proposio, podemos supor que o seu sujeito gramatical no existe, claro que o
sujeito gramatical no um nome prprio, isto , no um nome que represente
directamente algum objecto. Logo, em todos esses casos deve ser possvel analisar
a proposio de tal forma que o que antes era sujeito gramatical desaparea. Logo,
quando dizemos "O quadrado redondo no existe" podemos, numa primeira tentativa
para realizar essa anlise, substituir a proposio por " falso que exista um
objecto x que ao mesmo tempo quadrado e redondo".

At aqui, esta explicao semelhante ao mtodo de Frege para tratar as asseres

de existncia; mas Russell viu que era necessrio explicar o sentido de expresses
vazias como "o quadrado redondo" e "o actual rei de Frana" quando ocorriam em
contextos diferentes das asseres de existncia; por exemplo, na frase "O actual rei
de Frana calvo". Russell chamou "descries definidas" a expresses como "o
actual rei de Frana" e "o homem que descobriu o oxignio". No seu artigo de
1905, On Denoting, produziu uma teoria geral do significado das descries
definidas que daria conta quer dos casos em que existia um objecto que
corresponde descrio (como em "o homem que descobriu o oxignio"), quer dos
casos em que a descrio era vazia (como em "o actual rei de Frana").

Frege tinha tratado as descries definidas simplesmente como nomes complexos,

de tal forma que "O autor do Hamlet era um gnio" tinha a mesma estrutura lgica
que "Shakespeare era um gnio". Isto obrigava Frege a fornecer regras arbitrrias
para assegurar que uma frase com uma descrio definida ou um nome vazio no
deixasse de ter um valor de verdade. Russell achou que isto no era satisfatrio e
props-se analisar as frases que contm descries definidas de um modo muito
diferente das que contm nomes. Pensava que era um erro procurar o significado
das descries definidas nelas mesmas; s as proposies em cuja expresso
verbal elas ocorrem tm significado.

Para Russell, existe uma grande diferena entre uma frase como "Jaime II foi
deposto" (que contm o nome "Jaime II") e uma frase como "O irmo de Carlos II foi
deposto". Uma expresso do tipo "O irmo de Carlos II" no tem significado
isoladamente; mas, apesar disso, a frase "O irmo de Carlos II foi deposto" tem
significado. Com ela so afirmadas trs coisas:

a) que algum indivduo era irmo de Carlos II;

b) que s esse indivduo era irmo de Carlos II;
c) que esse indivduo foi deposto.
Ou, mais formalmente:

Para algum x,

a) x era irmo de Carlos II; e

b) para todo o y, se y era irmo de Carlos II, y = x; e
c) x foi deposto.

O primeiro elemento desta formulao diz que pelo menos um indivduo era irmo
de Carlos II; o segundo, que no mais do que um indivduo era um irmo de Carlos
II; pelo que, em conjunto, dizem que exactamente um indivduo era irmo de Carlos
II. O terceiro elemento prossegue dizendo que esse indivduo nico foi deposto. Na
frase analisada nada surge que se parea com um nome de Jaime II; temos em vez
disso uma combinao de predicados e quantificadores.

Qual o interesse desta complicada anlise? Para percebermos isso temos de

considerar uma frase que, ao contrrio de "O irmo de Carlos II foi deposto", no
seja verdadeira. Considerem-se as duas frases seguintes:

1) O soberano do Reino Unido um homem.

2) O soberano dos Estados Unidos um homem.

Nenhuma destas frases verdadeira, embora por razes diferentes. Toda a gente
concordar que a primeira frase no verdadeira, mas antes claramente falsa,
porque o soberano do Reino Unido uma mulher. A segunda no verdadeira
porque os Estados Unidos no tm soberano e, de acordo com a perspectiva de
Russell, esta segunda frase no apenas incorrecta mas sim positivamente falsa;
por conseguinte, a sua negao "No verdade que o soberano dos Estados
Unidos seja um homem" verdadeira. No sistema de Russell, as frases que contm
descries definidas vazias diferem grandemente das frases que contm nomes
vazios, isto , nomes aparentes que no nomeiam quaisquer objectos. Para Russell,
uma hipottica frase como "Slawkenburgius era um gnio" no na realidade uma
frase, e portanto no verdadeira nem falsa, uma vez que nunca existiu algum cujo
nome prprio fosse Slawkenburgius.
Por que razo pretendia Russell garantir que as frases contendo descries
definidas vazias fossem consideradas falsas? Como Frege, Russell estava
interessado na construo de uma linguagem cientfica precisa tendo em vista a
lgica e a matemtica. Quer Frege quer Russell consideravam essencial que tal
linguagem contivesse apenas expresses com um sentido definido, o que, segundo
eles, queria dizer que todas as frases em que as expresses ocorressem deveriam
ter um valor de verdade. Pois se permitirmos no nosso sistema frases sem valor de
verdade, a inferncia e a deduo tornam-se impossveis. simples reconhecer que
a expresso "o quadrado redondo" nada denota, porque obviamente auto-
contraditria. Mas pode no ser claro, sem uma investigao prvia, saber que uma
frmula matemtica complicada contm uma contradio escondida. E, se tal
acontecer, no seremos capazes de o descobrir por meio da investigao lgica, a
menos que as frases que a contm tenham garantidamente um valor de verdade.

Anlise lgica

Em On Denoting e noutros artigos posteriores, Russell fala constantemente da

actividade do filsofo como uma actividade de anlise. Por "anlise" entende Russell
uma tcnica de substituio de modos de expresso que de alguma forma so
logicamente enganadores por outros logicamente claros. A sua teoria das descries
foi por muito tempo um paradigma da anlise lgica assim entendida. Mas, no
esprito de Russell, a anlise lgica era muito mais do que um dispositivo para a
clarificao de frases. Acabou por pensar que, depois de alcanada uma forma clara
para a lgica, ela revelaria a estrutura do mundo.

A lgica continha variveis individuais e funes proposicionais que no mundo

correspondiam aos particulares e universais. Em lgica, as proposies complexas
eram construdas a partir de proposies simples enquanto funes de verdade
destas. De forma semelhante, no mundo existiam factos atmicos independentes
correspondendo s proposies simples. Os factos atmicos consistiam na posse de
uma caracterstica por um particular ou numa relao entre dois ou mais
particulares. Chamou-se "atomismo lgico" a esta teoria de Russell.

A teoria das descries foi o grande instrumento analtico do atomismo lgico.

Russell comeou por aplic-la no s a quadrados redondos e entidades platnicas,
mas tambm a muitas coisas que o senso comum consideraria perfeitamente reais,
tais como Jlio Csar, mesas e cadeiras. A razo de ser disto residia no facto de
Russell ter acabado por pensar que todas as proposies que podemos
compreender devem ser compostas inteiramente de elementos com os quais
estamos em contacto. "Contacto" era a palavra de Russell para a apresentao
imediata: por exemplo, estamos em contacto com os nossos dados dos sentidos,
que correspondem s impresses no sistema de Hume ou s apreenses da
conscincia cartesiana. Mas Russell conservava ainda algo do seu platonismo
anterior: pensava que tinha contacto directo com os universais que eram
representados pelos predicados da linguagem lgica reformada. Mas o domnio das
coisas que podamos conhecer por contacto era limitado; no podamos contactar
com a rainha Vitria nem com os nossos prprios dados dos sentidos do passado.
As coisas que no eram conhecidas por contacto eram conhecidas apenas por
descrio; da a importncia da teoria das descries.

Na frase "Csar atravessou o Rubico", proferida nos nossos dias em portugus,

temos uma proposio na qual aparentemente no existem partes constitutivas com
as quais estejamos em contacto. Para explicar como podemos compreender a frase,
Russell analisa os nomes "Csar" e "Rubico" como descries definidas. As
descries, no seu todo, incluem sem dvida referncias a esses nomes, mas no
aos objectos que nomeiam. A frase apresentada de tal forma que incide sobre
caractersticas, relaes gerais, e nomes com que entramos em contacto quando as
proferimos.

Para Russell, portanto, os nomes prprios vulgares eram de facto descries

disfaradas. Uma frase completamente analisada s conteria nomes prprios lgicos
(palavras que se referem a particulares com os quais estamos em contacto) e
universais (palavras que se referem a caractersticas e relaes). Nunca foi
inteiramente claro em que consistiam os nomes logicamente prprios. Por vezes
Russell parecia aprovar apenas demonstrativos como "este" e "aquele". Portanto,
uma proposio atmica seria algo como "(este) vermelho" ou "(este) perto de
(aquele)".

O atomismo lgico foi apresentado numa famosa srie de conferncias em 1918.

No foi de modo algum a ltima palavra de Russell em filosofia. Nos 52 anos que lhe
restaram, Russell escreveu muitos livros e ensaios, alguns dos quais versam sobre
tpicos de lgica e epistemologia, bem como sobre moral e educao temas
estes que comearam a merecer cada vez mais a sua ateno. Na parte final da sua
vida, e particularmente depois de ter herdado o ttulo de conde, tornou-se conhecido
para um pblico muito vasto como escritor e activista sobre vrios temas sociais e
polticos. Mas a maior parte do trabalho que estabeleceu a sua reputao entre os
filsofos profissionais e os matemticos ficou completa at 1920. Russell era o
primeiro a admitir que o prprio atomismo lgico se devia em grande parte s ideias
de um dos seus primeiros alunos, Ludwig Wittgenstein. Seria Wittgenstein a
apresentar, no seu Tractatus Logico-Philosophicus, a mais peremptria formulao
do sistema. Seria tambm Wittgenstein quem, depois de ter repudiado o atomismo
lgico, desenvolveu gradualmente a mais profcua filosofia do sculo XX.

Anthony Kenny
Retirado de Histria Concisa da Filosofia Ocidental, de Anthony Kenny. Trad. Desidrio Murcho, Fernando
Martinho, Maria Jos Figueiredo, Pedro Santos e Rui Cabral (Temas e Debates, 1999).

Sugestes de leitura

Os textos mais importantes de Frege esto coligidos em ingls no volume The Frege
Reader, org. por M. Beaney (Blackwell, 1997). Os Fundamentos da
Aritmtica (INCM, 1992) foram traduzidos para portugus por A. Zilho. As obras de
M. Dummett, em especial Frege: Philosophy of Language (Duckworth, 2.a ed., 1981),
dominam a rea, mas so difceis para o principiante. Veja-se tambm A.
Kenny, Frege (Penguin, 1995). A maior parte da obra de Russell est disponvel em
edies inglesas acessveis. Os principiantes devem ler primeiro Os Problemas da
Filosofia (Edies 70, 2008);Introduo Filosofia Matemtica (Zahar, 2007) talvez
a sua melhor obra. H uma introduo curta a Russell de A. C. Grayling (1996).