Você está na página 1de 82

Trac tatus

Logico-Philosophicus

Obra publicada
com a colaborao da

Esta obra, como diz o Prof. JOS ARTHUR UNIVERSIDADE DE SO PAULO


GIANNOTTI ao abrir a excelente introduo que
escreveu para esta edio, no fcil. Adverte
ainda, seguindo o prprio autor extrava-
gante figura que BERTRAND RUSSELL delineia
em Retratos de memria e outros ensaios (trad.
de Brenno Silveira, Comp. Editora Nacional,
e. Paulo, 1958) que qualquer explicao REITOR: Prof. Dr. Lus ANTNIO DA GAMA E SILVA
exterior ao texto do domnio do que' deve VICE-REITOR em exerccio:
ser calado, o que poderia constranger todo Prof. Dr. HLIO LOURENO DE OLIVEIRA
aquele que, embora especializado em histria
da lgica moderna, tivesse a veleidade de fazer
qualquer comentrio sbre este livro. Isso,
alis, aconteceu ao prprio RUSSELL que, anuin-
EDITORA DA UNIVERSIDADE DE SO PAULO
do em escrever a apresentao que a editra
Reclam exigia para a publicao do Tractatus, COMISSO EDITORIAL:
recebeu d WITTGENSTEIN esta curiosa resposta:
"Muito obrigado por seu manuscrito. No Presidente Prof. Dr. Mrio Guimares Ferri
estou muitas vezes de acrdo com ele, tanto (Faculdade de Filosofia, Cincias e Letras). Mem-
nos trechos em que V. me critica como na- bros: Prof. Dr. A. Brito da Cunha (Faculdade de
queles em que pretende meramente tornar Filosofia, Cincias e Letras), Prof. Dr. Carlos da
claras minhas. opinies. Mas no faz mal. O
futuro nos julgar. Ou no e se ele se calar, Silva Lacaz (Faculdade de Medicina), Prof. Dr.
j ser um julgamento." Miguel Reale (Faculdade de Direito), e Prof. Dr.
Quase cinqentenrio, o livro de WITTGEN- Prsio de Souza Santos (Escola Politcnica).
STEIN' marco, dos mais importantes, na his-
tria da lgica moderna. No sentimos diante
dele aquela distncia, diz o Prof. GIANNOTTI,
peculiar aos textos clssicos, que demandam
mais rdua e progressiva aproximao. No
obstante, um clssico e aos clssicos prin-
cipalmente dedicada esta coleo. talvez
menos distante que outros, em virtude da
importncia que assumiu no "ambiente de eu-
foria" que se seguiu publicao dos Principia
de RUSSELL e de WHITEHEAD, em 1910. ,
no entanto, uma obra de grande importncia
na evoluo do pensamento lgico. certo,
como afirma o Prof. GIANNOTTI, que "a uni-
dade que permitia conceber a lgica como um
sistema total, revelou-se ilusria" no evolver
das trs ltimas dcadas do nosso sculo.
(continua na outra dobra)
LUDWIG WITTGENSTEIN
13IBL OTECA UNIVERSITRIA
Srie 1.. Filosofia
V olume 10

Direo:
Dr. CRUZ COSTA
(da Universidade de Sdo Paulo)
Tractatus
Logico-Philosophieus
Traduo e apresentao de

Jos ARTHUR GIANNOTTI

COMPANHIA EDITORA NACIONAL


EDITORA DA UNIVERSIDADE DE SO PAULO
8.10 PAULO
Tftulo original:

Logisch-Philosophische A bhandlung
publicado em 1921 na revista de Oatwald
Annalen der Naturphilesephie SUMRIO
No ano seguinte foi publicada a primeira edio
inglsa, bilnge, com o ttulo Tractatua Logic.
Philoaephicua. Esta traduo segue o texto ale-
mo da ltima edio inglsa.

1961 Introduo 1
O ROUTLEDGE & KEGAN PAUL LTD

Prefdcio 53

Tractatus Logico-Philosophicus 55
capa de
nus/cisco G. SOLERA Notas traduo 131

Glossdrio 135

ndice remissivo 137

Direitos para a lngua portugusa adquiridos pela


COMPANHIA EDITORA NACIONAL
Rua dos Gusmes, 639 So Paulo 2, SP

19 88
'Ingresso no Brasil
INTRODUO

A leitura do Tractatus, apesar das enormes dificuldades


que oferece, fecha-se sbre si mesma; se o que pode ser
expresso o pode ser com clareza, como nos adverte seu autor,
qualquer explicao exterior ao texto penetra nos domnios
do que enfim deve ser calado. Sabemos que o livro no
um manual; dirige-se, sem intermedirios, a um pblico
familiarizado com os principais problemas da lgica moderna.
Sendo sua publicao recente (1921), no sentimos diante
dele aquela distAncia peculiar aos textos clssicos que demanda
uma aproximao rdua e progressiva. Nessas condies, .
como juntar-lhe uma introduo feita nos moldes tradicionais,
revelando a's articulaes mestras de seu pensamento ? Toda
anlise seria redundante, correndo o risco de encaminhar o
leitor numa direo que, mesmo correta, no seria a nica.
sintomtico o que aconteceu com a apresentao feita
por Russell. Este anura em escrever a introduo que a
Bditra Reclam exigia para a publicao do livro. Quando,
porm, Wittgenstein recebe os originais, no pode esconder
sua decepo. Numa carta de 4 de abril de 1920, escreve:
"Muito obrigado por seu manuscrito. No estou muitas e
muitas vzes de acrdo com le, tanto nos trechos em que
voc' me critica como naqueles em que pretende meramente
tornar claras minhas *opinies. Mas no faz mal. O futuro
nos julgar. Ou no e se le se calar, j ser um julga-
mento". Na carta posterior (6 de maio) Wittgenstein, entre-
tanto, vai mais longe: "Voc ficar zangado comigo quando
lhe contar o seguinte: sua introduo no ser impressa e
provvelmente por isso mesmo meu livro tambm no. Quando
me defrontei com a traduo alem de sua introduo, no
pude decidir-me a public-la com meu trabalho. A finura
de seu estilo ingls perdera-se evidentemente na tra-
duo, restando apenas superficialidade e malentendido. certo desnortear aquele que no o abordar de uma perspec-
Enviei ento o trabalho e sua introduo para a Reclam, tiva crtica que s a histria pode oferecer. Considerando
escrevendo-lhes que no queria a introduo impressa, j Asse provvel estranhamento que fomos levados a preparar
que apenas servia de orientao a respeito de meu trabalho. a longa introduo que se segue. Correndo o risco de impa-,
, pois, altamente provvel que por isso a Reclam no o cientar o leitor com um texto relativamente grande, pretende-
aceite (embora at agora no tenha recebido resposta algu- mos apenas reconstruir os principais problemas semnticos
ma)" % &mente um ano depois que o Tractatus aparece, tais como Wittgenstein os encontrou. Com a publicao dos
na revista de Ostwald, A nais de filosofia natural, publicada inditos anteriores ao Tractatus, estamos, ademais, em con-
em Leipzig pela Editara Unesma G.M.B.H. No entanto, a dies de traar sua evoluo desde o ponto de partida, com
traduo inglsa, publicada no ano seguinte, traz uma intro- Frege e Russell, at o momento em que se formulam suas
duo de Bertrand. Russell, datada de maio de 1922. difcil principais teses. Retornando, pois, s origens, esboando uma
acreditar que o texto seja o mesmo. Sabemos apenas que genealogia de seus conceitos bsicos, nada mais pretendemos
Wittgenstein, j resvalando para o misticismo, desinteressara- do que familiarizar o leitor com certas questes lgicas que
se por seu trabalho, no revendo com o devido cuidado o o formalismo moderno tem em geral negligenciado. Condu-
texto ingls, ao contrrio do que afirma o tradutor. zido at a fronteira dsse livro, o leitor dever, sAzinho e
Convm lembrar, todavia, que a formulao de grande contando com seus prprios recursos, penetrar ento num
parte dos problemas colocados pelo Tractatus depende de terreno em que impera, absoluta, a palavra de Wittgenstein.
uma situao histrica que as ltimas descobertas da lgica
matemtica alteram sobremaneira. Devemos em particular As inovaes de Frege.
ter presente que Wittgenstein trabalhou no ambiente de
euforia que se seguiu publicao dos Principia de Russell A obra de Gottlob Frege ocupa sem dvida um dos
e Whitehead, muito antes, portanto, do impacto provocado pontos mais altos na histria da lgica, podendo apenas ser
pela obra de Gdel, que teve, como um de seus efeitos, a comparada com a de Aristteles ou a de Leibniz; mas,
virtude de isolar o clculo proposicional dos outros clculos apesar disso, ou talvez por isso mesmo, sua penetrao foi
matemticos. Sendo decidfvel e completo, no possui uma lenta e penosa.. Basta lembrar que smente hoje que se
estruturao suficientemente rica, capaz de dar conta da publica um volume reunindo seus artigos dispersos em re-
complexidade, por exemplo, do sistema da aritmtica ou da vistas'alems, de acesso dificlimo. Seu primeiro livro de
geometria. dra, Wittgenstein elege o clculo das proposies 1879 Begriffschrift: Eine der arithmetischen neOgebildete
como padro de inteligibilidade de todos os sistemas formais, Formelsprache de8 reinen 1)enkfkns (Ideografia: uma linguagem
postulando, em conseqncia, uma unidade entre Ales que formal do pensamento puro imitada da linguagem da aritm-
mais tarde se revelou ilusria. Alm do mais, essa , unidade Uca) que no teve a mnima repercusso. Em 1884 publica
lhe permite conceber a lgica como um sistema total, ao Grundktgen (ler A rithmetik: Eine logisch-mathematische Uneer-
contrrio da disperso dos sistemas particulares predomi- suchung itber deu' Begriff der Zahl (Fundamentos da ar itmtica:
nantes na lgica contempornea. evidente que nessas con- ur investigao lgico-matemdtica sbre o conceito de nm ero)(2).
dies os problemas da semntica, os problemas que dizem Depois de uma intensa participao nas revistas da poca, M
respeito s relaes do sistema com o mundo, haveriam de publica em 1893 sua obra mxima em dois volumes:
ser propostos de uma forma muito meti ambiciosa do que Grundgesetze der A.ritionetik (Princpios da aritmtica).
hoje estamos acostumados a propor. 'Dal a riqueza do (2) }b1 uma traduo inglsa publicada por Basil Blackwell, Oxford,
Tractatus, dal em compensao seu dogmatismo, que por 1959:
(3) Cf. a coletnea feita por Peter Geach e Max Black: Translations
(1) Sehrtften von Ludwig Wittgenstein, vol. 1, pp. 276-8, Suhrkarap from the Philosophical Writings of Gottlob Frege, Basil Blackwell,
Verlag, Frankfurt, 1960. Oxford, 1952.

2
Props-se como principal tarefa formalizar a aritmtica,
a fim de estabelecer uma passagem contnua entre a lgica expresses = 4 e 3> 2 denotariam o verdadeiro, en-
e a matemtica. Mas, para isso foi preciso tanto encontrar quanto s outras denotariam o falso. Com isto se introduz
uma definio lgica dos principais conceitos aritmticos, em a noo de valor de verdade, uma das maiores conquistas
particular o de nmero, como refundir os conceitos lgicos do pensamento lgico contemporneo.
fundamentais. Tarefa rdua, que implicava uma reforma Como distinguir, porm, 2 2 = 4 e 3 > 2, se ambas possuem
geral da viso da lgica e da matemtica. a mesma denotao (Bedeutung) verdadeira ? Graas a seu
Um de seus pontos de partida consistiu em precisar e sentido (Sinn), forma de comunicar alguma coisa indepen-
estender o conceito matemtico de funo. Segundo as antigas dentemente de seus valres de verdade, isto , da relao
definies, uma funo de x seria uma expresso matemtica com o valor falso ou o valor verdadeiro. De sorte que Frege
contendo x, uma frmula em que a letra x aparecesse. conduzido a distinguir nitidamente a denotao de um
evidente a insuficincia de uma definio de tal ordem, que nome, isto , o objeto significado, da maneira pela qual ste
no distingue entre forma e contedo, sinal e coisa assina- objeto logicamente apresentado. Da poder dizer: o nome
lada, etc. Frege, ao contrrio, visa, de um lado conexo exprime (ausdrfcekt) seu sentido e denota (bedeutet) sua deno-
(Zusammengehrigkeit) que, por exemplo, a funo numrica tao.
estabelece entre uma srie de nmeros e, de outro, necessi- Uma teoria da funo no depende da exata distino
dade de a expresso vir a ser completada, a exigncia de ser entre sentido e denotao; tanto assim que sses conceitos
justaposta a outros trmos para poder significar alguma srnente aparecem nas ltimas obras de Frege, quando a
coisa. Por isso, "a expresso de uma funo carece de comple- teoria da funo j estava terminada; o mesmo no acontece,
mento (ergnzungsbedrftig), sendo insatisfeita (ungesttigt)"(4). todavia, com o estudo do nome, das expresses que podem
Convm distinguir na funo o argumento, que no aparecer como argumento das funes. Vejamos como se d
pertence a ela mas lhe advm para formar um todo, o lugar essa ligao.
do argumento e. o valor que obtm quando a varivel substi- A expresso 2x ambgua, na medida em que designa
tuda por uma constante. Na histria da matemtica, diz vrios nmeros conforme forem dados valres a x: maior,
Frege, assistimos a uma ampliao cada vez maior dos tipos porm, a ambigidade de expresses do tipo 2x = y, sobre-
possveis de argumento, bastando lembrar na aritmtica a tudo porque fazem intervir a complicada noo de igualdade.
introduo de funes com nmeros complexos e, ademais, No Begrzifsehrift Frege a interpreta como sinal a unir smbolos
algumas tentativas de empregar a noo de funo operando diferentes postos pelo mesmo objeto. Mas a introduo da
entre palavras. A reforma de Frege vai mais longe: faz com noo de sentido, leva-o a reformular esta primeira teoria
que expresses da forma E2 = 4 e E > 2, cujos valres, por insuficiente, passando a igualdade a representar a ligao de
exemplo, variam de O a 3, possam ser consideradas funes. dois sentidos diferentes que se reportam ao mesmo objeto
De fato, essas expresses se apresentam de modo incompleto, denotado. Podemos dizer que "Scott" equivale a "o autor
possuindo sentido to-smente quando um dos'nmeros poss- de Waverley" porque stes dois sentidos diferentes se re-
veis vier a ocupar o lugar do argumento. E feita a substi- portam ao mesmo objeto.
tuio, obteremos os seguintes resultados: 0 2 = 4, 1 2 = 4,
22 = 4, 32 = 4, e 0 > 2, 1 > 2, 2 > 2, 3 > 2; expresses Nem todos os nomes, porm, possuem denotao. "O
que, em geral, so falsas, a no ser duas excees, uma para corpo mais distante da terra", "Bucfalo", "A quiles" so
cada srie. Pois bem, a grande novidade de Frege pensar palavras inteligveis a que, entretanto, no corresponde objeto
E 2 = 4 e E > O como funes cujos valres sejam, em lugar algum. A primeira tornamse significante graas composio
de nmeros, os valres verdadeiro ou falso. Dsse modo, de nomes denotativos, mas a prpria composio no deve
eo ipso possuir denotao prpria. As ,outras so nomes
(4) Grundgesetze, I, p. 5. de figuras lendrias, cujo sentido se apreende consultando
os. poetas ou um bom dicionrio. Alm do mais, h, uma
4
5
certa imbricao entre sentido e denotao: quando menciono Isso psto, seguem-se conseqncias as mais imprevis-
" o sentido da expresso 'o autor de Waverley"' transformei veis. Primeiramente preciso distinguir a relao que um
"o autor de Waverley" na denotao da frase inteira. Isto argumento mantm com a funo (relao subter, ou e na
quer dizer que existem denotaes oblquas (ungeraden) que notao de Peano), da relao que um contedo mantm
anteriormente foram sentidos. com outro mais extenso (relao sub ou de incluso)( 6). A
A indeterminao do sentido e da denotao comum antiga noo filosfica de subsuno, a relao que o con-
nas lnguas correntes; a linguagem artificial, porm, deve ceito mantm com seus elementos, entendida na base da
evit-la, cada nome havendo de possuir sentido e denotao relao entre predicado e sujeito, d lugar a duas noes
precisos. Ambas as lnguas, contudo, apresentam a mesma totalmente distintas que revolucionam a teoria do juzo.
estrutura ternria; primeiro, a camada material dos sinais Assim que "Scrates mortal", onde o argumento "Scrates"
falados ou escritos; segundo, o vu dos sentidos e, finalmente, satisfaz a funo "... mortal", no pode mais ser posta
no mesmo nvel, como fazia a silogstica tradicional, com a
o conjunto* de objetos denotados. Concepo de extrema proposio "Todos os homens so mortais", em que dois
importncia por causa de seu alcance terico e de suas reper-
cusses histricas. Assim que est na base da teoria feno- conceitos so relacionados em virtude de suas respectivas
menolgica da linguagem, a nica doutrina que atualmente extenses. Do mesmo modo, a relao de parte e todo a
tem condies de resistir avalanche da semitica behavi- que, desde Aristteles, estava subordinada a noo de con-
orista que, ao contrrio das teses de Frege e de Husseri, ceito, perde importncia para a lgica em vista de sua ambi-
distingue na linguagem apenas a camada de sinais e os objetos gidade. Os diagramas de Euler constituem apenas uma
denotados. O ato da palavra vincular-se-ia diretamente s analogia imperfeita das verdadeiras relaes que as propo-,
coisas sem necessitar da camada ideal das significaes, redu- sies no silogismo mantm entre si(7).
zindo-se, portanto, ao esquema do reflexo condicionado. Em segundo lugar, a prpria extenso passa por uma
A comparao das expresses de tipo 2x e 2x = y revela reforma radical, deixando de constituir na coleo de objetos
ainda outra distino fundamental, agora no que respeita a que caem sob o conceito, para vir a ser determinada por uma
seus valres: os da primeira so nmeros e os da segunda propriedade do prprio conceito; firma -sei por conseguinte, a
so valres de verdade. Dado isso, DOSSIVel a derfflitto absoluta anterioridade da intenso sbre a extenso. Aqui
lgica do conceito que o identifica funo cujos valres preciso recorrer importantssima distino entre proprie-
so sempre valres de verdade. Dsse modo, o conceito apre- dades (Eigenschaften) e marcas caractersticas (Merkmale) de
senta uma estrutura incompleta, nomeadamente predicativa, um conceito, estas sendo propriedades das coisas que caem
a tal ponto que tudo o que no possuir tal carter transfor- sob o conceito, aquelas, propriedades do prprio conceito,
mado em objeto. Entre os conceitos e os nomes surge, pois, ou melhor conceitos de conceitos ou conceitos de segunda
uma clivagem que separa, de um lado, as expresses com- ordem. Cumpre no confundir, por exemplo, "retangular"
pletas (os nomes na sua acepo mais ampla), a que corres-, como propriedade dos objetos que caem sob o conceito "trin-
ponde tda sorte de , objetividade, e de outro, as expresses gulo retngulo" com a propriedade expressa pela frase "no
incompletadas que dizem respeito a objetos em geral. g ha tringulos retangulares acutngulos" que se refere direta-
de notar que essa clivagem lgicamente definida e substitui mente caracterstica do conceito em questo de no possuir
a diviso aristotlica entre sujeito e predicado; considerada sob si conceito algum(8). Em outras palavras, preciso no
por Frege de natureza psicolgica() : tda expresso confundir as qualidades dos objetos cujos nomes so argu-
pleta, graas transformao quer do sujeito quer do predi- mento do conceito com as propriedades do prprio conceito.
cado em varivel, forma um conceito, desde que seus valres (6) Ibid., p. 94.
sejam sempre ou o verdadeiro ou o falso. (7) Ibid., p. 106.
(5) Translations from Philosophieal Writings of Gottlob Frege, p. 3. (8) Grundlagen, 53; Translations, p. 51.

6 7
A extenso figura entre as segundas, pois consiste na proprie- reafirma no artigo contra Kerry: "o comportamento do
dade de o conceito dispor sob sua gide tantos e tais objetos. conceito essencialmente predicativo, mesmo quando se faz
Alm do mais, a introduo de conceitos de segunda alguma assero sbre le, de modo que s6 pode ser substi-
ordem resolve uma srie de dificuldades que o simbolismo tudo por outro conceito, nunca por um objeto"("). Veremos
matemtico havia levantado: 1) a classe nula, cuja compre- mais tarde como o debate se aprofunda; por ora nos cabe
enso se torna difcil de um ponto de vista extensional, na apenas observar que o problema da transformao do con-
medida em que afirma a existncia de uma coleo que no ceito em objeto, ou o problema da nominalizao, como o
possui elementos, passa a corresponder propriedade peculiar chamam os fenomenlogos, translada o conceito para outro
a certos conceitos, como " um decaedro regular", de no nvel, o que no se faz sem dificuldades do ponto de vista
terem nada sob si; 2) o membro de uma classe no se con- lgico.
funde com a classe de um nico elemento, pois o primeiro O conceito justaposto a seu objeto constitui a propo-
um elemento da classe enquanto que a ltima determi- sio, forma expressiva do pensamento (Gedanke). A que se
nada pela propriedade de certos conceitos serem predicados identifica sse pensamento, ao sentido ou denotao ?
de um nico elemento; 3) a existncia dos objetos matem evidente que a denotao de uma proposio , no se altera
ticos passa a ser determinada por um conceito de segunda quando substitumos uma de suas partes por mitra, de mesma
ordem, de modo que se torna totalmente independente das &notao, a despeito das possveis modificaes de sentido.
formas da sensibilidade, ao contrrio do que errneamente Se substituirmos o sujeito da proposio "A estria, da manh
pensava o kantismo; 4) finalmente o nmero cardinal recebe iluminada pelo sol" por "estria d 'tarde", obteremos sem
uma definio satisfatria, baseada na propriedade de os con- dvida um pensamento diferente que, contudo, mantm a
ceitos possurem sob si determinada quantidade de objetos. denotao anterior.. Tudo indica, portanto, que pensamento
No entanto, a clivagem radical entre coisas e conceitos, e sentido de uma proposio so a mesma coisa.. O que h,
porm, de ser a denotao inaltervel que permanece nas
que se estriba no carter predicativo dsses ltimos, no se,
faz sem dificuldades. Contra ela se levanta a seguinte objeo duas proposies, na que tem corno sujeito "a estria da
que o lgico Kerry apontou: o conceito tambm pode surgir tarde" e na outra que tem como sujeito "a estria da manh"?
O que de comum a ambas ..apenas o valor de verdade
como sujeito, como na proposio "o conceito de nmero
de segunda ordem". A resposta de Frege() reafirma: 1), h verdadeiro, de modo que no h outra soluo possvel seno
trmos que s podem ocorrer como sujeitos, isto , como. tom-lo como a. denotao, Assim sendo, o pensamento o
sentido da proposio e um valor. de verdade a sua deno-
nomes; 2) podemos ainda ter um conceito subordinado a taao(iz). Em lugar de referir-se aos fatos ou a uma. con-
outro, mas, neste caso, estamos operando com o nome e no juno de coisas, a proposio passa a denotar um objeto
Com o prprio conceito. No exemplo acima, o predicado "de ideal constitudo pelo valor verdadeiro ou pelo valor '&1,13n.
segunda ordem" seria dito do nome "conceito de nmero". Uma tradio que remonta a Aristteles quebra-se pela pri-
Apesar de esta .soluo estar de acrdo com nossos hbitos meira vez.
atuais, moldados pelo neopositivismo que tanto insistiu na
diferena entre lngua objetal e metalngua, ela no d conta Nem tdas as proposies possuem a mesma estrutura
do fato de a predicao se fazer sbre o objeto nomeado pelo simples, No nos cabe, todavia, entrara no pormenor, exami-
sujeito e no sbre o prprio nome sujeito. Alm do mais, nando como Frege analisa as sentenas mais complexas
preciso salientar outra dificuldade apontada pelo primeiro fim de comprovar a viabilidade de sua interpretao. Fixemo-
Russell(9: o 'carter predicativo do conceito dificilmente se nos apenas em suas conseqncias filosficas. Somos em
coaduna com a situao de sujeito. E o prprio Frege quem geral levados a pensar a relao do pensamento com a ver-

(9) Translations, pp. 42 e seg. (11) Tranelatione, p. 50.


(10) Cf. Principies, p. 507. (12) Ibid., p. 62.

8 9
dade como aquela que vincula o sujeito , predicao. Na de sua natureza psicolgica. preciso no confundir, em
suma, a percepo psicolgica da mesa com a prpria mesa
proposio "S P", P dito da denotao de S, de sorte como objeto do mundo. evidente, porm, que esta soluo
que, ao afirmar "`S P' verdadeiro" temos o predicado no teria cabimento para Frege, porquanto pressupe uma
" verdadeiro" reportando-se . denotao (um fato, por anlise da conscincia que se faz extralgicamente.
exemplo) do sujeito proposicional. Esta soluo ingnua,
todavia, no leva em conta a inexistncia de uma diferena Foi precisamente com o intento de expurgar os ltimos
significativa entre a assero "S P" ("5 um nmero primo") traos de psicologismo que Frege refunde sua primeira teoria
e a assero '2 P' verdadeiro" ('5 um nmero primo' da assero. Os Grundlagen retomavam expressamente o prin-
verdadeiro"). Graas a ela o sujeito e o predicado, enten- cpio de abstrao de Hume("): o contedo do juzo resulta
didos num sentido lgico, devem ser elementos do pensa- de um processo que passa de conceitos menos extensos a
mento a permanecerem, no que respeita ao conhecimento, outros mais abstratos. Tomemos, por exemplo, "x para-
sempre no mesmo nvel. Sua combinao produz apenas lelo a a" e faamos com que seja substitudo por "a direo
pensamentos que ~ente se referem a uma objetividade da reta a", de sorte que a situao descrita pelo conceito
sem, contudo, saltarem para ela, como se fsse possfyel, pelo de paralelismo venha a ser descrita pelo conceito "ter a mesma
simples jgo das proposies e suas partes, passar db pensa- direo de a". No juzo "b paralelo a a" tem lugar, pois,
mento para seu valor de verdade. Este no pode fazer parte uma dissociao geradora da equao "a direo de b igual
do pensamento, tampouco, digamos, como o sol, na medida direo de a", *contedo do primeiro juizo. evidente
em que no constituem sentidos mas objetos("). que tal processo pressupe uma atividade intelectual que
Tdas as proposies declarativas simples possuem, des- opera a passagem de um a outro conceito. A primeira vista,
tarte, duas denotaes possveis: a veracidade e a falsidade. esta brecha para o psicologismo pode parecer desimportante
Como tais, nos so perfeitamente inteligveis sem que seja mas, na medida em que a definio de nmero como conceito
preciso eleger um dos valres de verdade. O juzo consiste de segunda ordem demanda esta forma de abstrao, ela
precisamente nesta eleio, no reconhecimento da verdade atinge os prprios fundamentos do logicismo que Frege pre-
tendia estabelecer.
de um pensamento( 14), na quebra da indiferena em que a
proposio se apresentava no mero enunciado. Como tantos Exemplifiquemos: um conjunto A qualquer corresponde
outros lgicos que lhe so contemporneos, Frege distingue a um determinado conceito, a saber, "x apstolo de Cristo",
o contedo do juzo (beurteilbarer Inhalt), o pensamento e outro conjunto B, tambm corresponde a outro conceito:
simplesmente apreendido, da assero que assevera sua ver- "x cavaleiro da Tvola Redonda". possvel estabelecer
dade. J o Begriffschrift separa o contedo (a mortalidade entre os conjuntos uma relao biunvoca, de modo a que
de Scrates) da proposio (Scrates mortal); o primeiro possamos dizer que ambos possuem o mesmo nmero. O
representado por um trao horizontal ( ) diante da sen- princpio de abstrao destaca esta propriedade de possuir
tena, a segunda, a asseverao dsse mesmo contedo ( o mesmo nmero, que no caso diz respeito tanto aos apstolos
verdade que Scrates mortal), representada pelo trao de Cristo como aos cavaleiros da Tvola Redonda, para
trao vertical junto ao trao de contedo ( ). formar um conceito parte que determina o nmero doze.
No entanto, como fugir a uma determinao psicolgica Tnhamos, no inicio, dois conceitos, um referindo aos aps-
do contedo ? A fenomenologia de Husserl tentou resolver tolos, outro aos cavaleiros, que passam a ser substitudos
a questo recorrendo intencionalidade: a cada ato de juizo pelo conceito "x tem o mesmo nmero que z", definindo
enquanto processo mental corresponde um contedo obje- uma propriedade dos conceitos iniciais, isto , um conceito
tivo, visado pelo ato, mas que no partilha necessriamente de segunda ordem. O nmero doze nasce assim da abstrao
(13) Ibid., p. 64. (15) Grundiagen, 63.
(14) Grundgesetze, p. 9.

11
10
de uma propriedade muito peculiar de certos conceitos ladas um nvO objeto e um smbolo correspondente. No
subsumirem sempre o mesmo nmero de elementos. exemplo, teremos ento o nmero doze e o sinal "12".
Alm de recorrer a uma atividade intelectual para explicar A descoberta desta lei abre horizontes inteiramente
a gerao do conceito de segunda ordem, esta soluo se inditos, j que redunda na constituio de novos objetos
torna ainda mais insatisfatria na medida em que o nmero a partir de juizos analticos. Haveria melhor refutao de
doze, a que corresponde o nvo conceito, constitui um objeto Kant que nunca descobriu nesses juzos qualquer papel consti-
singular cujo estatuto difcil de precisar nos trmos da tutivo ? No entanto, apesar de sua importncia filosfica,
definio por abstrao. De que maneira um conceito de esta lei apenas introduz o conceito de percurso de valor, indi-
segunda ordem vem a ser um objeto singular como o nmero ? cando um 'Avo objeto, sem contudo estabelecer os critrios
Para resolver esta dificuldade Frege introduz, a partir de sua identificao. A cada funo passa a corresponder
de 1891, o conceito de percurso de valor (W ertverlauf) que, um objeto (a classe) que igual a outros objetos determi-
de um modo geral, designar a extenso de um conceito qual- nados pelas funes equivalentes, e cada objeto passa a ser
quer, inclusive a de um conceito de segunda ordem. Mas designado por um nome; como, porm, encontrar a denotao
a prioridade do ponto de vista intensional no permite que precisa do nome ? Na verdade quando tratamos de nmeros
essa extenso, ou melhor, a classe determinada pelo conceito, pequenos e de conceitos no muito complexos, a intuio
seja formada pela enumerao dos elementos que a compem, nos fornece os recursos necessrios para discernir quais os
dos elementos subsumidos pelo conceite, porquanto isto objetos que caem sob o conceito e quais os que no caem.
equivaleria a privilegiar os objetos em detrimento do con- No entanto, ainda que sse recurso intuitivo fsse lgica-
ceito. Como resolver esta enorme dificuldade ? Como reco- mente vlido, le nos abandona logo que examinamos o caso
nhecer numa multiplicidade uma singularidade, processo indis- do nmero zero ou da classe nula. Alm do mais, qual o
pensvel para fundar ldgicamente a teoria dos nmeros -car- percurso de valor de uma funo como x2 = 1 ?
dinais, sem adotar a perspectiva da extenso ? A soluo encontrada por Frege reduz, graas intro-
Suponhamos duas funes f(x) e g (x); se reconhecermos duo de uma funo muito particular, os percursos de valor
algo em comum entre elas, chamaremos ste algo percurso aos valres de verdade. Seu exame pormenorizado( 17) foge
de valor de ambas as funes. "Devemos admitir como uma aos estreitos horizontes desta introduo. Cabe-nos apenas
lei fundamental da lgica o direito que temos ento de reco- encaminh-la para apontar suas conseqncias filosficas mais
nhecer assim algo em comum s duas funes e, por conse- imediatas.
guinte, transformar uma equivalncia, vlida geralmente, Seja definida a funo do seguinte modo: ver-
numa equao (identidade) );(16) . Conforme o exemplo acima, dadeiro se 0 fr verdadeiro, 0 falso se no fr verda-
na proposio "para todo x, x apstolo de Cristo biimplica x deiro. Assim sendo, peksto que 22 = 4 verdadeiro (2 2 = 4)
cavaleiro da Tvola Redonda" verificamos uma equiva- verdadeiro, mas (23 = 4) falso da mesma maneira
lncia entre as duas funes precisamente no aspecto parti- que 2 tambm o , pois neste ltimo caso, 2 no sendo
cular de ambas denotarem o mesmo nmero de elementos. verdadeiro, ou melhor, no lhe cabendo valor de verdade
Frege considera como lei lgica fundamental, em que se funda algum, conclumos, em virtude da amplitude da segunda
tcitamente as lgicas de Leibniz e de Boole, a possibilidade parte da definio, que 2 falso( 18). Este ltimo exemplo
de passarmos da equivalncia sob um aspecto para a identi- mostra que a funo serve para transformar qualquer
dade sob todos os aspectos, introduzindo para as funes igua- coisa em conceito (numa funo proposicional, ha linguagem
moderna), numa funo cujos valres sempre so valres de
(16) Grundgesetze, II, 154, p. 181, e para a definio formal 9,
p. 14; Cf. o pormenorizado estudo de Jules VUILLEMIN: "L'limination (17) Cf. Grundgesetze, 10, pp. 16 e seg.; RUSSELL, Principies,
des dfinitions par abstraction chez Frege", Revue philosophique, n. 1, 484, pp. 511 e seg.; VUILLEMIN, op. cit.
janeiro-maro 1966. (18) Grundgesetze, p. 19.

12
verdade. No entanto, dada a funo , ainda no sabemos nornia de Russell delimita o mbito da lei fundamental de
como fixar o objeto individual. Basta, porm, fixar arbitr- Frege que validava a passagem da equivalncia para a identi-
riamente um dos valres, tomando por falso, por exemplo, dade com a respectiva criao de novos objetos. H certas
o percurso de valor do conceito "x no idntico a si mesmo" expresses, como a "classe de tdas as classes que no se
para, postas as denotaes, reconhecermos inteiramente o contm a si mesmas" a que no deve corresponder percurso
nvo objeto. de valor algum, isto , um objeto real.
Ainda que esta rpida exposio seja incompleta, no No verdadeira a lenda que narra o desespro de Frege
sendo compreensvel para quem no estiver familiarizado com o conseqente abandono de suas investigaes lgicas.
com o assunto, basta para mostrar que Frege, em seus ltimos , possvel verificar que, na sua correspondncia com Russell
escritos, substitui o contedo do juizo gerado pela abstrao e no prprio apndice apsto ao segundo volume dos Prin-
e, por conseguinte, fundado na psicologia, pela funo , cpios, procurava insistentemente a soluo para os para-
cujas propriedades dependem de uma estrutura lgicamente doxos. Contudo, no atinou com ela e, anos mais tarde,
definida. Acresce ainda que, fixando arbitrriamente a deno- quando Russell lhe comunica o princpio da teoria dos tipos,
tao do falso a fim de precisar a denotao de cada percurso o velho mestre cansado j no mais estava em condies de
de valor, Frege situa o problema da relao entre as expresses atribuir-lhe a devida importncia. Outros haveriam de con-
e a denotao e, de modo mais geral, entre linguagem e mundo, tinuar seu trabalho.
estritamente em trmos dos valres de verdade, o que sem
dvida prepara o terreno para Wittgenstein e Carnap.
Frege j publicara o primeiro volume dos Grundgesetze II Os caminhos tortuosos de Russell.
e prepara o segundo quando recebe uma carta de Russell,
datada de 16 de junho de 1902, em que ste lhe comunica impressionante a capacidade renovadora de Russell;
a descoberta de uma antinomia relativa noo de classe, durante mais de meio sculo que se dedicou s investigaes
que punha em xeque a noo de percurso de valor. Na sua lgicas, sempre estve pronto para recomear desde o incio,
forma mais simples, a antinomia pode ser expressa da seguinte conforme iam exigindo o desenvolvimento do clculo lgico
maneira: seja w a classe de tdas as classes que no sejam e o aprofundamento das questes filosficas ligadas a le.
membros de si mesmas, de modo que para todo x, podemos Sob sse aspecto exemplo do filsofo assistemtico, cujo
dizer que x pertence a w equivalente a x no pertence a x; percurso das idias estve marcado pela evoluo dos pro-
ora, x uma varivel que pode inclusive ser substituda por w, blemas de seu tempo. Em seus escritos, at mesmo nos Prin-
de sorte que obtemos a proposio contraditria w pertence cipia Mathematica, nunca alcanou a preciso conceituai e
a w idntico a w no pertence a w. No foi pequeno o choque a sistemtica de Frege. Temos neste sentido o testemunho
de Frege que, desanimado, responde aos 22 do mesmo ms: precioso, de Gdel, que numa homenagem a Russell no he-
"parece-me pois que a transformao de uma igualdade numa sitou em afirmar dste ltimo livro: " lamentvel que esta
igualdade de percursos de valor ( 9 de meus Princpios) primeira apresentao completa e compreensiva da lgica
no mais permitida, pois minha lei V ( 20, p. 36)(19) matemtica e de suas derivaes matemticas seja to insu-
falsa, e que minhas introdues no 31 no bastam para ficiente a respeito da preciso de seus fundamentos (contidos
assegurar em todos os casos uma denotao s minhas conexes *1 *21 dos Principia), que representa em relao a Frege
de simbolos"(9. Em outras palavras, a descoberta da anti- um considervel passo para trs. O que falta, sobretudo,
'um estudo preciso da sintaxe do formalismo"( 21). No en-
(19) A lei diz que, sendo dois objetos iguais, tudo o que se atribui tanto, convm contrabalanar esta opinio desfavorvel de
ao primeiro tambm ser atribudo ao segundo, o que no acontece quando G/Wel lembrando que as investigaes de Russell cobrem
os objetos forem diferentes.
(20) HANS-DIETER SLuGA, "Frege und die Typentheorie", in Logik (21) The Philosophy of Bertrand Russell, Tudor Publishing Com-
und Logikkalkl, Verlag Karl Alber, pp. 205, 206. pany, Nova York, p. 126.

14 15
todo o campo tradicionalmente demarcado pela filosofia do prprios, que s podem ser tomados como sujeitos; e Russell
conhecimento; a falta de preciso ao menos compensada est de acrdo em ampliar o emprgo do nome prprio, fa-
pela amplitude de sua problemtica. zendo-o designar pontos num espao no-euclidiano, perso-
nagens *fictcios de um romance, etc. Mas preciso levar
Foi paulatinamente que Russell passou a dar impor- em considerao que certos conceitos, em particular os adje-
tncia a Frege. Se o corpo dos Principies quase o ignora, tivos, j que os verbos podem ser interpretados como meras
j o primeiro apndice trata de estabelecer um confronto relaes, designam coisas, de sorte que, sem perderem sua
com le. a que enuncia os principais pontos de diver- natureza conceituai e predicativa, adquirem uma funo
gncia: a) Frege no pensa que haja uma contradio na aparentemente privativa do nome prprio. E a existncia
noo de um conceito que no possa tornar-se sujeito lgico; ds descries revela a importncia dsses conceitos designa-
b) acredita que, se o trmo a ocorrer numa proposio, a
proposio sempre pode ser analisada em a e na assero dores, capazes de, graas uma peculiar vinculao com
sbre le; c) no leva em considerao as contradies que certos trmos(23), estabelecerem uma relao mais ampla entre
a linguagem e o mundo.
envolve a noo de classe de uma classe. Examinemos porme-
norizadamente essas questes na ordem em que foram enume- Este problema da denotao tem, para o primeiro Russell,
radas: um campo muito mais restrito do que para Frege, Osto que
surge independentemente da problemtica do sentido. Para
a) O primeiro ponto nos leva a retomar a dificuldade o ltimo filsofo, todos os nomes, inclusive a proposio
levantada por Kerry. enquanto nome, apresentam uma face denotativa; para o
H certos exemplos da nominalizao do conceito que primeiro, ao contrrio, ~ente certos predicados, aliados a
nos conduzem diretamente a uma contradio: ao afirmarmos certas palavras-chaves, importam uma relao com a objeti-
"o conceito de cavalo no conceito" estamos negando o vidade. 'nelas as outras partes da proposio, excetuando-se
carter predicativo do conceito exatamente no momento em bviamente os nomes prprios, estabelecem relaes que se
que o denominamos conceito( 22). Vimos que a soluo de consomem nicamente no plano do discurso.
Frege implica em distinguir o conceito enquanto predicado Um conceito denota quando, ocorrendo numa proposio,
e o conceito nominalizado enquanto sujeito, o qual se refere, esta no diz respeito ao conceito, mas a respeito do trmo
pelo fato de ser sujeito, a uma certa forma de objetividade. vinculado, de uma certa maneira, a sse conceito( 24). o
bvio que o realismo enraizado de Russell e a utilizao que acontece, por exemplo, quando digo: "encontrei um
sistemtica do lema de Occam procurariam evitar a todo homem". Como se d essa passagem do nvel do discurso
custo uma resposta de tal ordem. nesse sentido que prefere para o nvel da coisa ? O nome prprio designa diretamente
identificar o conceito como predicado ao conceito como su- uma coisa ou uma pessoa, mesmo quando pronunciado
jeito, em que pse s diferenas evidentes que, descuradas isoladamente. Mas na proposio o atributo tambm dito
pela lgica, so tratadas como problemas psicolgicos ou da coisa sujeito, implicando, no discurso, um relacionamento
meramente gramaticais. Negando tudo o que pudesse asse- com o ser. a partir dessa propriedade da predicao que
melhar-se substancia segunda de Aristteles, a lgica no Russell elabora sua primeira teoria da denotao: "A noo
h, pois, de distinguir "" de "ser", "humano" de "humani- de denotao pode ser obtida por uma espcie de gnese
dade", etc. Feita esta identificao, como manter, porm, lgica das proposies sujeito-predicado, das quais parece
a separao entre trmo e conceito ? No que implica um mais ou menos dependente"(25). Sem todavia explicitar o
ncleo significativo passar do predicado para o sujeito e grau e a natureza dessa dependncia, Russell forma uma srie
vice-versa, sem sofrer a mnima alterao que importe l-
gica ? No h dvida de que h trmos, como os nomes (23) Ibid., 56.
(24) Ibid., 56, p. 53.
(22) Principies, 49, p. 46. (25) Ibid., 57, p. 54.

16 17
de frases denotativas, explorando as significaes correlatas "algum homem", "o homem", etc., tildas apresentando ao
que o atributo certamente possui. Da a idia de uma consti-` esprito uma determinada reunio de objetos, obtida con-
tuio das expresses denotativas a partir da denotao mais forme um modo peculiar de congraamento de seus membros.
simples; estranha idia para quem, como ns, nos acostuma- A mesma relao objetivamente, originria do conceito classe,
mos aos processos de construo exclusivamente formais e dirige-se diferentemente a uma soma de objetos, denotando-os
sintticos, deixando de lado as correlaes propostas 'pelos de uma forma particular.
conceitos que se aliam a um conceito originrio. Parece estra- 8) Russell interpreta o vnculo que se d entre a hip-
nhvel estabelecer um parentesco de contedos, mas esta tese e a conseqncia da demonstrao como uma relao
idia evidentemente ainda pode vir a desempenhar um papel indefinvel a que d o nome de implicao formal. No en-
relevante na crtica ao formalismo da lgica contempornea. tanto, o paradoxo de Lewis Carrol mostra a inoperncia
As proposies mais simples so aquelas em que um desta relao quando se trata de destacar a concluso e afirmar
atributo dito de um trmo-sujeito, tais como: "A ", "A sua veracidade de per si. De fato, se tivermos "H implica T"
uno", "A humano". A essas proposies podemos corre- e pretendemos obter a verdade de 7' unicamente a partir
lacionar outras, diferentes quanto forma, prximas, con- da implicao, cairamos sob o jugo de um processo reite-
tudo, no que respeita ao significado: "A uma entidade", rante que nunca lograria afirmar apenas 21. Graas impli-
"A uma unidade", "A um homem", "A tem humani- cao, somente seria legtimo dizer que "Se 'S implica 7",
dade" e assim por diante. A ltima proposio exprime ento T", que por sua vez uma implicao mais complexa
nitidamente a relao de um membro com sua classe e deve, do que a primeira. por isso que Frege e Russell reconhecem
por conseguinte, ser excluda das frases denotativas prpria- a necessidade de uma regra paralela de destacamento, em
mente ditas. Examinemos "A humano" e "A um homem". particular o modus ponens, cuja funo precisamente assertar
Talvez a diferena seja meramente verbal, convm, entre- a verdade de T a partir da implicao "H implica T"(39).
tanto, distinguir o predicado e o conceito a que uma classe Russell, no entanto, ainda no compreendera a importncia
est associada(26), o qual passaremos a denominar conceito- dessa regra, contentando-se em tom,-ia como um dos exemplos
classe (class-concept). Distingue-se obviamente do conceito das limitaes essenciais do formalismo(31).
de classe como "humanidade". Cabe ento a pergunta: Toda a dificuldade se concentra, por conseguinte, na
"um homem" um conceito ou um trmo ? Rigorosamente noo de implicao. Em seu debate com Frege, recusa firme-
falando, nem um nem outro, "mas uma certa espcie de corre- mente partir dos valores de verdade que, a seu ver, nada
lao entre certos trmos, nomeadamente daqueles que so acrescentam compreenso do juzo em geral( 32). E no corpo
humanos"(27). Sob a aparncia unitria das palavras "um do tratado descobrimos o porqu de sua insuficincia: "Se p
homem" se esconde, pois, uma reunio de trmos sob forma implica q, se p verdadeiro, ento q verdadeiro, isto , a
disjuntiva: trata-se dste homem, ou daquele, ou daquele verdade de p implica a verdade de q, portanto se q falso,
outro, etc.(26). Com isto se revela a natureza da frase deno- ento p falso, isto , a falsidade de q implica a falsidade
tativa: formada graas juno do conceito-classe e de de p". Dsse modo, a verdade e a falsidade nos do apenas
uma palavra, no nosso exemplo "um", que coloca o primeiro novas implicaes, mas no uma definio da implicao"(33),
em relao com uma multiplicidade de objetos reunidos numa argumento que evidentemente confunde os vrios planos da
unidade segundo a forma indicada pela segunda(29). O mesmo linguagem, situando a implicao no absoluto. Como nessa
acontece, pois, com "todos os homens", "cada homem", poca nem Scheffer nem Nicod haviam demonstrado a possi-
(26) Ibid., 58, p. 56. (30) Ibid., 38, p. 35.
(27) Ibid., 57, p. 54. (31) Ibid., 18, p. 16.
(28) Ibid., 60, p. 59. (32) Ibid., 478, p. 503.
(29) Ibid., 57, p. 62. (33) Ibid., 16, pp. 14-15.

18 .19
bilidade da definio cruzada dos conectivos lgicos e a re- eitos ou asseres, no vocabulrio de Russell, so ditos da
duo de todos les a um s, resultado obtido muito mais pseudovarivel x. A recomposio da unidade proposicional
tarde, no foi difcil a Russell tomar a implicao como inde- primitiva, entretanto, esbarra na seguinte dificuldade: ao
finvel. substituirmos o primeiro x por uma constante, Scrates, por
O carter formal da matemtica faz, contudo, com que exemplo, no temos garantia de que a segunda ocorrncia
a implicao material somente possa operar em casos muito da varivel deva ser substituda pela mesma constante. Dado
particulares. "Na matemtica assertamos que, se uma certa isso, Russell levado a distinguir assero e funo proposi-
assero p verdadeira para uma entidade x ou para um cional, a primeira sendo constituda pelo resto da proposio
conjunto de entidades x, y, z( . . .) ento alguma outra asser- de que se tirou o trmo, a segunda sendo formada por sse
o q verdadeira para tais entidades. Assertamos uma mesmo resto tomado, todavia, na sua qualidade de parte
relao entre as asseres p e q, que chamo implicao for- da unidade funcional. A resoluo em trmo e assero no
mal"(34). Tomemos um exemplo: "Para todos os valres assegura que as partes restantes da proposio no se reduzam
de x, se x fr um tringulo eqingulo, x um tringulo a um simples agregado de membros justapostos; s a funo
eqiltero", esta frmula, que interpreta a proposio cor- proposicional, funo cujo valor sempre uma proposio,
rente "Todos os tringulos eqilteros so eqingulos", garante a peculiarssima unidade que toda proposio possui(35).
afirma que as duas asseres " um tringulo eqiltero" e Descobrimos no fundo desta separao o mesmo precon-
" um tringulo eqingulo" so ditas da entidade x, ou ceito de Russell, responsvel pela identificao do predicado
melhor, das vrias entidades representadas por x. Como, como tal e do predicado como sujeito. O problema do mbito
entretanto, explicar a implicao formal ? Quais so suas de variao de uma varivel foi, na histria da lgica, resol-
relaes com a material ? vido de maneiras diferentes. A admisso de substncias segun-
Antes de tudo preciso salientar que a implicao formal das, por Aristteles, delimitava imediatamente todos os argu-
supe a anlise interna da proposio. Ora, essa anlise mentos da funo "x homem", seu campo de variao no
difere totalmente em Frege e em Russell. Para o primeiro indo alm das pessoas reais ou possveis. Embora negando
a unidade proposieional sempre se resolve num trmo e num tais substncias, Frege tambm caminha no sentido de esta-
conceito ou, conforme as expresses do segundo, num trmo belecer certas limitaes no domnio das variveis, aceitando
o
vrios tipos de variabilidade e, por conseguinte, sedimentand
e numa assero. Esta ltima palavra designa a parte res-
tante da proposio depois de subtrado o trmo-sujeito, de os conceitos em ordens diferentes( 35). Russell, entretanto,
forma que possui um significado totalmente diferente daquele mantm uma variabilidade indiscriminada, postulando que
que o toma como a asseverao do contedo proposicional. "tdas as funes que no podem ser valres de variveis
Para ambos os filsofos, todavia, a proposio configura de uma funo de primeira ordem no so entidades mas
uma unidade, uma maneira peculiar de totalizao de seus falsas abstraes"(37), o que implica em afirmar que o predi-
elementos. Mas enquanto Frege acredita que a juno do cado que no puder ser identificado com um sujeito uma
trmo e do conceito a recompe, Russell nega que isto sempre abstrao desprovida de sentido. Isto redunda em negar a
ocorra. Na verdade, em tdas as proposies de forma sujeito- possibilidade de conceitos de segunda ordem e, por conse-
predicado, a unidade imediatamente se refaz to logo um guinte, o balizamento das variveis. Da precisar atribuir ,
trmo ocupe o lugar do argumento da funo. Isto, porm, proposio o papel desempenhado por sse balizamento, de
no acontece em todos os casos de proposies mais com- sorte que ela passa a possuir uma unidade totalizante que
plexas. A reduo da sentena "todos os homens so mortais" o trmo e o conceito (a assero) nem sempre so capazes
em seus elementos essenciais redunda em afirmar que "para de' reproduzir.
todo x, se x homem, ento x mortal"; a saber, dois con- (35) Ibid., 137, p. 441, , 482, p. 508.
(36) Ibid., 482, pp. 508-9.
(34) Ibid., 5, p. 5. (37) Ibid., 482, p. 509.

20 21
A assero, a funo proposicional e a implicao material, a existncia de um todo constitudo pela reunio de indi-
entendida como relao originria, configuram, portanto, trs vduos, denominado classe.
noes primitivas. As duas ltimas explicam a implicao Vimos que o prprio Frege, logo que soube do paradoxo
formal: no exemplo anterior, a unidade do argumento que. formado pela noo de classe de classe, reconhecera a necessi-
substitui as vrias ocorrncias de x garantida pela unidade dade de impor certas limitaes a essa passagem da equiva-
da proposio singular em que le se inscreve. Colocado lncia das funes para o percurso de valres. A polmica
sse ponto de partida, a implicao formal se resume numa do primeiro Russell contra Frege, entretanto, no se dirige
classe, num feixe de implicaes materiais(38). Todo o pso apenas no sentido de estabelecer essas limitaes, mas sobre-
da variao cai, dsse modo, sbre a implicao material; tudo no sentido de averiguar o tipo de existncia compatvel
"Para todos os x, se x homem, ento x mortal" uma com a noo de classe. Em que medida uma entidade pode
proposio gerada por sentenas singulares do tipo "Se Scrates ser ao mesmo tempo una e mltipla ? A que entidade corres-
homem, ento Scrates mortal". 'ponde a classe nula ? Como distinguir a classe formada por
Finalmente convm mencionar a frustrada tentativa de um elemento de seu prprio elemento ? Perguntas tradicio-
definir a proposio a partir dsse conceito absoluto de impli- nais, muito mais ligadas problemtica da ontologia formal
cao, j que o Tractatus se ocupa dela explicitamente(39). do que aos problemas suscitados pela construo de um clculo
Tda proposio implica a si mesma e o que no propo- lgico-aritmtico.
sio no implica nada. Da: " `p uma proposio' equivale
a dizer que `p implica p' ", definio puramente matemtica Nos primeiros textos, Russell(42) concebe a classe essencial-
que no deve ser confundida com a definio filosfica, cuja mente como a conjuno numrica de trmos, assumindo
formulao sempre supe a anlise de uma idia em suas obviamente uma perspectiva extensional. Mas com a intro-
partes constituintes("). duo de classes infinitas j se coloca na tica da intensiona-
lidade, embora tais distines de ponto de vista sejam consi-
c) "A principal dificuldade que surge a respeito da teoria deradas de fundo meramente psicolgico: a impossibilidade
das classes acima [a de Frege] a espcie de entidade que de se obter uma classe infinita pela conjuno numrica de
o percurso (range) possa ser. A razo que me levou, contra trmos interpretada apenas como obstculo ligado natu-
minha inclinao, a adotar o ponto de vista extensional sbre reza do esprito humano, incapaz de contar o infinito(43).
as classes foi a necessidade de descobrir alguma entidade para satisfazer intersses prticos que se deve, pois, recorrer
determinada para uma funo proposicional dada e a mesma a conceitos-classes, fazendo as classes corresponderem a seus
para alguma funo proposicional equivalente. Assim, 'x plurais. Estudamos, na teoria da denotao, como ao predi-
homem' equivalente (suponhamos) a 'x um bpede sem cado se associa um conceito-classe que, unido a uma srie
penas', e pretendemos descobrir alguma entidade que deter- de palavras quantificadoras ("um", "todo", "algum", etc.)
minada do mesmo modo por ambas as funes proposicionais. passa a denotar objetos reunidos de uma certa forma. A
A nica entidade singular que fui capaz de descobrir foi a frase denotativa "todos os homens", por exemplo "denota
classe como una exceto a classe derivada (tambm como uma coleo de indivduos humanos ligados pela conjuno e,
una) formada pelas funes proposicionais equivalentes a uma coleo cuja unidade, todavia, no possui a mesma integrao
das funes proposicionais dadas"(41). Sendo esta ltima de uma totalidade. A classe , pois, essencialmente mltipla,
classe derivada e mais complexa, escapa discusso das sendo a classe nula e a classe una fices matemticamente
noes primitivas. Nada mais resta, portanto, do que postular teis, determinadas por conceitos-classes, a que nenhuma
entidade h de corresponder"(44).
(38) Ibid., 42, p. 38.
(39) Cf. 5.5351. (42) Cf. Ibid., cap. VI.
(40) Principies, 16, p. 15. (43) Ibid., 71, p. 68.
(41) Ibid., 486, p. 513. (44) Ibid., 79, pp. 80-1.

22 23
No entanto, j o apndice A dos Principies reformula ser tomado, entretanto, como sendo algo diferente quando
esta teoria simplista. Russell se defrontara com o seguinte assertado de uma classe e quando assertado de um trmo;
argumento de Frege que parecia comprovar a exclusividade h um sentido de um que utilizvel quando se refere a um
do ponto de vista intensional: se a fr uma classe de mais trmo e outro quando se refere a uma classe, embora haja
de um trmo, e se a fr idntica , classe cujo nico trmo a, tambm um trmo geral aplicvel a ambos os casos. A dou-
ento ser um trmo de a a mesma coisa do que ser um trina bsica sbre a qual tudo se assenta que o sujeito de
trmo da classe cujo nico trmo a, pois a o nico trmo uma proposio pode ser plural e que tais sujeitos plurais
de a(45). Tudo gira em trno da unidade da classe e da classe so o que as classes significam quando possuem mais de um
una; feita a identificao de ambas, surge imediatamente o trmo"(47). Permanece a mesma exigncia do trmo-sujeito
paradoxo de atribuir uma multiplicao unidade e vice- poder denotar uma multiplicidade de objetos, mas Russell
versa. Russell entrev duas possibilidades para sua soluo: agora reconhece a possibilidade de se tomar essa multiplici-
1) a coleo de mais do que um trmo no idntica coleo dade como uma unidade legtima do ponto de vista matem-
cujo nico trmo a; 2) no h uma coleo de um trmo tico, em que pse destruio da univocidade do sentido
no caso de uma coleo de muitos trmos, mas a coleo da palavra "um". S assim se evita o paradoxo das classes,
estritamente mltipla. O primeiro caminho trilhado por pois na proposio "x pertence a x", a unidade do primeiro x
Frege, que considera o percurso de valor uma nica unidade no dita da mesma maneira do que a unidade do segundo.
formada pela passagem da equivalncia identidade, o Logo em seguida encontramos uma explicitao do prprio
segundo reafirmado pelo prprio Russell. Russell: "conforme o ponto de vista defendido aqui ser
A primitiva teoria das classes obedecia a um princpio necessrio, para cada varivel, indicar se o campo de signi-
lgico, cuja formulao, contudo( 46), no aparecia no corpo ficao consiste em trmos, classe, classe de classes e assim
da obra. O princpio o seguinte: uma pluralidade de trmos por diante"(48), o que implica uma estratificao dos objetos
no um sujeito lgico quando um nmero assertado dela; que prenuncia a teoria dos tipos. Em lugar da estratificao
tais proposies no tm um sentido emas muitos o que dos conceitos, defendida por Frege, temos agora uma estra-
equivale a destruir a unidade visvel do sujeito enquanto tificao dos objetos lgicos e, por conseguinte, a destruio
trmo em proveito da multiplicidade de sua denotao. O da unidade postulada pelo trmo sujeito. Dsse modo, paula-
argumento de Frege, porm, demanda uma reduo em seu tinamente o problema da objetividade correspondente ao
mbito. "O sujeito de uma proposio pode no ser um trmo trmo passa a vincular-se ao problema da edificao de um
singular, afirma Russell em seu apndice contra Frege, mas sistema formal, desvencilhando-se dos dados fornecidos pela
pode essencialmente ser formado por mltiplos trmos; ste intuio para ligar-se ao contexto lgico. Est aberto o ca-
o caso de tdas as proposies que assertam nmeros alm minho que desembocar na doutrina dos Principia, em que
de O e 1. Mas os predicados, conceitos-classes ou relaes a classe e as constantes lgicas sero concebidas como smbolos
que podem ocorrer nas proposies que possuem sujeitos incompletos cuja significao est na mais estreita depen-
plurais so diferentes (com algumas excees) daqueles que dncia do sistema.
podem ocorrer nas proposies que possuem trmos singulares
como sujeitos. Embora a classe seja mltipla e no una, III Alguns aspectos semnticos dos Principia.
h identidade e diversidade entre as classes, de sorte que
as classes podem ser contadas como se fossem unidades ge- No prefcio segunda edio dos Principies, fazendo
nunas. Neste sentido podemos falar de uma classe e das como de hbito o inventrio dos caminhos percorridos por
classes que so membros de uma classe de classe. Um deve seu prprio pensamento, Russell comenta: "eu partilhava
(45) Ibid., 487, p. 513. (47) Ibid., 490, pp. 516-7.
(46) Cf. Ibid., 70, p. 69, nota. (48) Ibid., 492, p. 518.

24 25
com Prege a crena na realidade platnica dos nmeros que, sempre valso' sempre verdadeiro". Como se v, trata
na minha imaginao, povoavam o reino intemporal do Ser. de solucionar o problema da denotao, isto , da correlao
Era uma f confortvel que mais tarde abandonei"( 49). Pouco de certas expresses com seus significados, por meio das noes
a pouco vai reduzindo-se o nmero de objetos necessrios de falso e de verdadeiro. Dado isso, os quantificadores en-
para a construo da lgica e da matemtica; e conforme contram desde logo sua interpretao:
se processa esta reduo, palavras que anteriormente designa- C (todo) significa "C(x) sempre verdadeiro"
vam um objeto autnomo, possuindo sentido completo, passam
a designar e a significar na estrita dependncia do contexto. C (nenhum) significa " `C(x) falso' sempre verdadeiro"
O lema de Occam est em pleno funcionamento. Os Prin- C (alguns) significa " falso que C(x) falso' sempre
cipies, ao definir o trmo(50), assegurava a cada palavra certo verdadeiro".
sentido, transformando tudo o que pode ser objeto de pensa-
mento ou ser contado como unidade num termo indepen- A soluo mais inovadora, entretanto, aparece na reduo
dente. Na doutrina posterior, todavia, ste princpio se torna do artigo "o". A proposio "O pai de Carlos II foi executado"
falso; se tda palavra contribui para o sentido da proposio, resolve-se em "No sempre falso de x que x gerou Carlos II
pois, se assim no fsse, no seria pronunciada ou escrita, e x foi executado e 'se y gerou Carlos II, ento y idntico
no precisa ipso facto possuir sentido(51). Muitas vzes a a x' sempre verdadeiro". Em outras palavras, devemos
funo da palavra se resume apenas em auxiliar a formao substituir a frase "o pai de Carlos II", que na qualidade de
de um sentido que s vem a ser percebido numa totalidade sujeito poderia alimentar a iluso de que constituiria um
mais ampla. nome, por uma funo proposicional "x gerou Carlos II",
para em seguida garantir a unicidade deste x estabelecendo
O passo mais decisivo nessa direo foi dado pelo impor- que, se um outro y tambm gerou Carlos II, ento y
tssimo artigo, publicado em 1905, intitulado "On deno- igual a x.
ting". J observamos como a teoria da denotao essencial
para a compreenso da natureza da classe; evidente que, Esta interpretao das frases denotativas evita, primeira-
ao chegar primeira soluo completa e satisfatria para o , mente, atribuir a expresses tais como "o atual rei de Frana",
problema, tda a teoria da significao e da verdade haveria "o quadrado redondo", ao aparecerem como sujeito, certa
de ser reformulada. objetividade que deve logo ser negada quando se enuncia
Antes de tudo, Russell estabelece a distino entre uma frase negativa: "O atual rei da Frana no existe";
acquaintance, saber das coisas tais como nos so apresentadas, resultado que dbviamente infringe o princpio de contra-
e knowledge about, conhecimento obtido por frases denota- dio. Alm do mais, a despeito do carter esdrxulo da
tivas tais como "a revoluo da Terra em volta do Sol", soluo proposta, ela resolve todos os problemas com que se
"o atual rei da Inglaterra", etc. Os exemplos mostram sua defrontava Frege, economizando ainda a distino entre o
importncia: a denotao, denotando pela forma, estabelece sentido e a denotao e reduzindo o nmero de objetos primi-
uma ponte entre o conhecimento imediato e o mediato. tivos necessrios, na medida em que tais nomes complexos
passam a ser interpretados como descries. Por que isolar
Toma, em seguida, trs expresses fundamentais: 1) a o sentido quando sse sentido nunca vem designado a no
noo de varivel; 2) o smbolo C(x) que representa uma ser pela denotao de uma expresso em que le no surge
funo proposicional em que x varivel; 3) a proposio como sentido ? O princpio do terceiro excludo obriga a que
"C(x) sempre verdadeiro" da qual se deriva "C(x) algumas ou "A B" ou "A no B" seja verdadeiro, de sorte que
vzes verdadeiro", equivalente a' "No verdade que `C(x) teremos 'O atual rei de Frana calvo' verdadeiro" ou
(49) Ibid., p. X. " 'O atual rei de Frana no calvo' verdadeiro"; mas
(50) Ibid., cap. IV. se enumeramos tdas as coisas calvas e tdas as que no o
(51) Ibid., p. X. so, por certo no encontraremos entre os membros dessas

26 27
classes exclusivas o atual rei de Frana. Ora, basta traduzir como um todo. E para evit-lo, Russell passa a considerar
a proposio conforme a soluo proposta para que o para- tais totalidades como desprovidas de sentido. Da o prin-
doxo desaparea. Temos duas interpretaes possveis: 1) " cpio chamado do crculo vicioso: tudo o que envolve a tota-
falso que haja uma entidade que agora o atual rei de Frana lidade de uma coleo no deve pertencer a essa coleo(53).
e no calvo", que evidentemente verdadeira; 2) "Existe Suas conseqncias so drsticas, em particular no que
uma entidade que o atual rei de Frana e no calvo", respeita s noes lgicas prdpriamente ditas. Tomemos
bviamente falsa. Na primeira, a descrio faz parte de uma como exemplo a proposio "p falso" e consideremos o
proposio que por sua vez faz parte da proposio que se caso em que "Para todos os p, p falso". Esta ltima sen-
inicia com " falso ...", sendo pois tomada numa ocorrncia tena evidentemente falsa, de forma que teremos: " 'Para
secundria; na segunda, a descrio se inscreve numa pro- todos os p, p falso' falso", onde a expresso "Para todos
posio autnoma, por conseguinte, numa ocorrncia pri- os p, p falso" argumento da funo "p falso", O prin-
mria(52). cpio do crculo vicioso nos obriga a tomar esta ltima funo
Ambas as solues, a de Frege e a de Russell, conduzem, " falso" num sentido diferente da primeira funo que apa-
portanto, a resultados contrrios ao senso comum e a intui- rece no interior do argumento. Isto nos leva a perceber que,
es mobilizadas no ato de enunciar. Se uma descrio paralelamente sedimentao dos objetos em vrios nveis,
um nome, a prpria proposio declarativa se torna o nome necessria para que se estabelea a hierarquia dos tipos,
de um valor de verdade; mas para que a proposio designe ocorre uma sedimentao das noes lgicas: obtemos vrias
um fato, as descries devem ser reduzidas a um complexo formas de falsidade, de verdade, assim como de todos os
de funes proposicionais. Ou de um lado ou de outro a in- conectivos como "ou", "e", "se ... ento", "no", etc.
tuio se rompe, cedendo lugar construo formal. de Importa considerar particularmente a primeira espcie
notar que, do ponto de vista sinttico, atualmente se consi- de verdade e falsidade, pois implica uma teoria geral do
deram vlidas as duas solues; a eleio de uma delas s juzo. "O universo constitudo de objetos que possuem
tem relevncia, destarte, para a compreenso das relaes vrias qualidades e mantm vrias relaes entre si. Alguns
entre a linguagem e o mundo. dos objetos que correm no universo so complexos. Quando
Resta-nos finalmente examinar a questo dos paradoxos. um objeto complexo, constitudo por partes inter-rela-
sabido que a soluo evolui desde os Principies at os Prin- cionadas. Consideremos um objeto composto de duas partes
cipia, envolvendo delicados processos de clculo, cuja anlise a e b mantendo entre si a relao R. O objeto complexo ana-
escapa a nossos propsitos. Cabe-nos, entretanto, examinar relaoRcomb pode ser capaz de ser percebido, e quando
certos pressupostos semnticos da teoria dos tipos que ineg- percebido, o como um objeto. A ateno deve mostrar
velmente esto na raiz da investigao de Wittgenstein. que complexo; julgamos ento que a e b esto na relao R.
Na base de todo paradoxo Russell descobre um crculo Tal juzo, derivado da percepo graas mera ateno,
vicioso que sempre nasce quando se forma uma, coleo que pode ser chamado 'juzo de percepo'. ste juzo de per-
ao menos tem um de seus membros definido pela prpria. cepo, considerado como uma ocorrncia atual, uma rela-
o de quatro trmos: a, b, R, e o percebedor. A percepo,
coleo. O conjunto de tdas as proposies, por exemplo, ao contrrio, uma relao de dois trmos: 'a em relao R
dever conter a proposio particular "Tdas as proposies
so verdadeiras ou falsas", cujo sentido por sua vez envolve com b' e o percebedor. J que um objeto da percepo no
a totalidade das proposies. De um modo mais geral pode- pode deixar de ser algo, no podemos perceber 'anarelao-
Rcomb' a no ser que a esteja na relao R com b. Assim
mos dizer que surge um paradoxo quando uma funo proposi- sendo, um juzo de percepo, de acrdo com a definio,
cional tem um argumento cujo sentido depende da funo deve ser verdadeiro. Isto no significa que, num juzo que
(52) "On Denoting", in Logic and Knowledge, p. 41 e seg., George
Allen & Unwin, Londres; Cf. Principia I, pp. 30 e seg.; 66 e seg. (53) Principia, I, 37.

28 29
nos parece ser de percepo, estejamos seguros de no incorrer- A' hierarquia dos tipos segue-se imediatatnente. As mais
mos em rro, psto que podemos errar ao pensar que nosso simples proposies desprovidas de variveis so da forma:
juzo foi derivado meramente da anlise do que foi perce- "Isto vermelho", "Scrates mortal", etc., isto , proposi-
bido. Mas se nosso juzo assim se derivou, ento deve ser es predicativas que dizem respeito s coisas. Se substi-
verdadeiro. De fato, podemos definir verdade sempre que .tumos essas coisas por variveis obteremos funes proposi:
se diga respeito a tais juzos, consistindo no fato de que h cionais que, quando generalizadas, geram novas proposies.
um complexo correspondendo ao pensamento discursivo que A essas funes ou a essas proposies generalizadas chama-
o juzo. Isto , ao julgarmos `aemrelaoRcomb', nosso mos de primeira ordem; a totalidade dos argumentos da
juzo dito verdadeiro quando h o complexo 'aemrelao- primeira constitui o primeiro tipo. As funes proposicionais
Rcomb' e dito falso quando isto no ocorre. Esta a defi- operam pois como matrizes, sendo as da primeira ordem da
nio de verdade em relao a juzos dessa espcie"( 54). Dsse seguinte forma: 4,(x), *(x, y), x(x , y, z . .). Cumpre ainda
modo, o juzo no tem um nico objeto, a proposio, mas estabelecer que as funes de primeira ordem que no contm
se defronta com objetos entrelaados por uma relao em uma funo como varivel aparente so chamadas de funes
que o sujeito aparece como um dos trmos. "Isto ver- predicativas.
melho", por exemplo, se resolve em trs trmos: a mente, Transformemos, em seguida, as funes de primeira
isto, e o vermelho . de modo que at mesmo uma propo- ordem em variveis. Pelo mesmo processo de generalizao
sio da forma sujeito-predicado se transforma numa rela- obteremos proposies em que funes surgem como vari-
o. Nada mais natural assim do que considerar a proposio veis aparentes, o que d origem a proposies de segunda
como um trmo incompleto, cujo complemento se oculta na ordem cujos argumentos formam o segundo tipo lgico. E
ao do sujeito. Tda proposio se completa ~ente quando assim por diante.
integra no seu sentido o ato de julgar(55). Esta estratificao dos objetos no paralela a uma
Segue-se da a determinao do complexo como todo estratificao das funes proposicionais. A primeira restrio
objeto da forma "aestemrelaoRcomb", ou "atem- provm do axioma da redutibilidade, axioma que se faz neces-
aqualidadeq", ou "aouboucestonarelaoS", a sa- srio ao funcionamento da teoria mas que, em virtude de
ber, tudo o que ocorre no universo sem ser simples(56). seu carter no-formal, foi recusado por grande parte dos
lgicos contemporneos que se ocuparam da questo. Afirma
Cumpre finalmente mencionar a hierarquia das funes que, dada uma funo proposicional de qualquer ordem,
e das proposies. Examinemos mais de perto a primeira. sempre existe uma funo predicativa, formalmente equiva-
O tipo lgico considerado como a coleo dos argumentos lente primeira definindo-se equivalncia formal pelo fato
para os quais uma funo tem valor. Quando numa expresso de ambas as proposies possurem o mesmo valor de verdade.
surge uma varivel aparente, o domnio dos valres dessa Um exemplo nos far melhor compreender seu propsito. A
varivel forma o tipo. Alm do mais, o prprio princpio proposio "Napoleo tem tdas as qualidades que fazem
do crculo vicioso pode ser expresso em trmos de variveis: um grande general" de segunda ordem, pois toma como
tudo o que contm uma varivel aparente no pode vir a um todo as qualidades, os predicados, que fazem um grande
ser valor dessa varivel. Dado isso, a expresso que contm general. Graas ao axioma, podemos afirmar que existe um
uma varivel aparente deve ser de tipo superior qule que predicado de Napoleo equivalente a essa funo de segunda
ordena os possveis valres da varivel(57). ordem. No caso, sua construo fcil: a classe dos grandes
generais finita e podemos eleger de cada .um de seus membros
(54) Ibid., p. 43. uma propriedade caracterstica, por exemplo, a data de nasci-
(55) Ibid., p. 44. mento, e compor uma funo complexa disjuntiva, vinculando
(56) Ibid., p. 44. tdas as propriedades determinantes (x nasceu em tal data,
(57) "Mathematical Logic", in Logic and Knowledge, p. 75. ou y nasceu nesta outra data, ou ...), funo que por sua

30 31
vez de primeira ordem e tem Napoleo corno um de seus
argumentos(58). aquela cuja verdade ou falsidade depende ~ente da ex-
tenso de seus argumentos. Neste caso, conveniente encarar
A segunda restrio possui apenas carter prtico, mas, a proposio como concernindo extenso. J que as funes
ligando-se teoria das classes, tem importncia considervel extensionais so muitas e importantes, natural olhar a
para a elaborao da teoria da verdade. Abandonando tda extenso como um objeto, chamado classe, que se supe
preocupao ontolgica, Russell chega finalmente a uma ser o sujeito de tdas as sentenas equivalentes sbre as vrias
teoria das classes conseqente, em que estas so tomadas funes formalmente equivalentes. Dsse modo, se disser-
como smbolos incompletos, exclusivamente definidos pelo mos, por exemplo, h doze apstolos, natural tomar esta
uso, aparecendo como artifcios de natureza lingstica, mas sentena como atribuindo a propriedade de ser doze a uma
que no devem necessriamente denotar uma objetividade certa coleo de homens, nomeadamente daqueles que foram
determinada. os apstolos, ao invs de atribuir a propriedade de ser satis-
O ponto de partida uma definio precisa da extensio- feita por doze argumentos funo 'x era um apstolo'. Esta
nalidade. J dissemos de passagem que duas funes so viso encorajada pelo sentimento de que existe algo que
equivalentes quando possuem o mesmo valor de verdade e idntico no caso de as duas funes 'terem a mesma extenso'.
formalmente equivalentes quando so equivalentes para todos Se, alm do mais, tomarmos certos problemas simples como
os seus argumentos possveis. Assim que "x homem" `quantas combinaes possvel fazer com n coisas' parece
formalmente equivalente a "x um bpede sem penas". Alm primeira vista necessrio que cada 'combinao' fsse um
do mais, uma funo de funo dita extensional quando seus objeto singular que pudesse ser contado como uno. Isto,
valres de verdade, para qualquer argumento, so os mesmos no entanto, no preciso de um ponto de vista tcnico, e
para qualquer argumento formalmente equivalente, isto , no vemos razo para supor que seja filesdficamente verda-
f(x) uma funo extensional de ox se, substituindo (1,x deiro"(60).
pela funo formalmente equivalente 4,x, f (0x) ser equiva- Pretendendo mostrar a necessidade de um tratamento
lente a f (4,x). Exemplificando: a funo " 'x homem' implica particular das funes extensionais, Russell estabelece uma
`x mortal' uma funo extensional da funo "x mortal", frmula para reduzir tdas as funes a funes extensionais,
pois se substitumos essa funo por outra que lhe formal- processo que no convm examinar por aqui. Basta porm
mente equivalente, por exemplo, "x um bpede sem penas", lembrar, primeiramente, que a funo da funo passa a
os valres de verdade da funo total no so alterados. ser substituda por uma funo derivada que tem por argu-
Em contraposio, dizemos que uma funo de funo inten- mento, em vez da funo (ta, a classe determinada por ela
sional quando no fr extensional. o que acontece, por ou pelas outras funes formalmente equivalentes. Em se-
exemplo, com a funo "A acredita que 'x homem' implica gundo lugar, para que esta funo derivada seja sempre signifi-
`x mortal' ", porquanto A' pode nunca ter considerado a cativa para argumentos de qualquer tipo necessrio e sufi-
possibilidade de que os bpedes sem penas possam ser mor- ciente que o axioma da redutibilidade garanta a existncia
tais(59). de uma funo predicativa equivalente a (fix, de sorte que a
"Quando duas funes so formalmente equivalentes funo derivada que tem as classes como argumentos no
podemos dizer que tm a mesma extenso. Nessa definio, apenas substitui qualquer funo por uma funo exten-
estamos concordando estritamente com o costume. No sional mas ainda, remove prticamente a necessidade de consi-
admitimos, porm, que haja uma coisa tal como a extenso, derar as diferenas de tipo entre as funes cujos argumentos
apenas definimos a frase inteira ter a mesma extenso. Pode- so do mesmo tipo. Esta conseqncia equivale a uma simpli-
mos ento dizer que uma funo extensional de uma funo ficao na hierarquia dos tipos, de sorte que tudo se passa
como se no considerssemos seno funes predicativas(61).
(58) Principia, I, p. 56.
(59) pp. 73, 73. (60) Ibid., p. 74.
(61) Ibid., p. 75.

32
33
Convm examinar essa doutrina luz dos correspon- numa sbita erupo; colaborao amiga, extremamente frtil
dentes textos de Frege. O ponto de partida o mesmo: a para ambos, mas que no deixou de ser permeada de inci-
passagem formal das funes para o substrato da identi- dentes que desde logo demonstravam as diferenas profundas
dade. Mas essa passagem tem agora o carter prtico, de de temperamento filosfico. J em maro de 1913 Wittgens-
convenincia, no respondendo a nenhum imperativo terico. tein, de visita a Viena, escreve a Russell marcando sua posi-
Alm do mais, operando como funo de funo, ao invs o: "( . ) posso agora exprimir exatamente minha objeo
da funo de Frege, Russell mostra que importa apenas definir sua teoria do juzo: creio ser bvio que da proposio 'A
as condies de seu uso e da substituio de seus argumentos, julga que (digamos) a esteja na relao R com b', se fr corre-
sem dar a menor ateno a um possvel substrato ontolgico. tamente analisada, as proposies 'a R b .v. a R b' devem
Nessas condies, falar do objeto formado pela classe no seguir diretamente, sem o emprgo de qualquer outra premissa.
mais do que uma concesso ao uso corrente das expresses Essa condio no cumprida por sua teoria"(62). Qual
matemticas e um artifcio para facilitar o discurso: a funo o alcance dessa objeo ? O que significa dizer que a com-
derivada que a introduz definida de tal forma que sempre preenso de uma sentena implica em recorrer ao princpio
ser possvel substituir a objetividade inoportuna por uma do terceiro excludo ? Uma explicao mais pormenorizada
expresso que se reporta a indivduos. Em virtude desse encontra-se nas "Notas sbre a lgica"( 63), srie de observa-
carter vicrio da noo de classe, esta no pode estabelecer es redigidas em setembro de 1913, cuja cpia foi entregue
uma propriedade geral de uma funo, no pode ter a espes- ao prprio Russell. O exame das idias fundamentais dessas
sura de um conceito de segunda ordem, como em Frege; se notas revela uma polmica explcita contra Frege e Russell
ela propriedade, o de uma coleo de objetos que, todavia, e, em embrio, algumas das descobertas bsicas posteriores.
continuam a estar sob o signo da multiplicidade. Do ponto Com isto, o elo entre os trs pensadores se faz sem soluo
de vista do clculo ambos os caminhos se equivalem, pois de continuidade, de maneira a nos conduzir a apreender ao
ambos terminam por garantir a definio de nmero cardinal vivo o surgimento do Tractatus.
como classe de classe (Russell) ou propriedade de uma pro- Depois de salientar o carter descritivo da filosofia,
priedade (Frege). &mente, graas a uma astuciosa cons- depois de lembrar como esta se resolve em lgica e metaf-
truo simblica, a objetividade discutvel da classe como sica, Wittgenstein inicia o confronto com seus grandes mestres:
unidade excluda do campo dos legtimos problemas mate- "Frege diz 'proposies so nomes'; Russell diz 'proposies
mticos. Mais uma vez o princpio de Occam devasta os correspondem a complexos'. Ambos esto errados, sendo espe-
objetos da ontologia formal, mais uma vez se reduz o n- cialmente falsa a sentena 'proposies so nomes de com-
mero de objetos necessrios e das frases cujo significado se plexos'. Fatos no podem ser nomeados. A falsa assuno
d no imediato. de que proposies so nomes nos conduz a acreditar que
haja 'objetos lgicos', pois o sentido das proposies haveria
IV Os primeiros passos de Wittgenstein. de ser tais coisas"(64). O horror ontologia formal baliza
a pergunta sbre as relaes que a linguagem mantm com
conhecida a diversidade de interesses do jovem Wittgens- o mundo. Que objetos poderiam ser aqules a que corres-
tein. Nos fins de 1911, porm, tendo lido os Principies of ponderiam as constantes lgicas ? O pressuposto empirista
Mathematics, apaixona-se pela filosofia da matemtica e eliminaria, pois, desde logo, a anlise da proposio proposta
decide abandonar de vez seus estudos de engenharia. Procura
(62) Schriften, I, p. 261.
Frege em Iena que, segundo consta, o aconselha a trabalhar
com Russell. Assim que, no incio do ano seguinte, se ma- (63) Embora por comodidade continuemos a citar a edio alem,
o leitor poder tambm encontrar sse texto, escrito primitivamente em
tricula na Universidade de Cambridge. Em pouco tempo se ingls nos Notebooks 1914-1916, Apndice I, B. Blackwell, Oxford,
estabelece ntima colaborao entre o professor no apogeu 1961.
de sua carreira filosfica e o aluno cujo gnio despertava (64) Schriften, I, p. 189.

34 36
por Frege, anlise que transforma a Xrerdade e a falsidade A afirmao doe que nem o sentido liem a denotao
em objetos denotados pelas proposies. O que o leva, entre- so coisas ope uma barreira ao formalismo de Frege; no
tanto, a abandonar a soluo de Russell ? No h dvida h objetos lgicos e o fato a referncia indicada pela prepo-
de que introduzir a mente como parte constitutiva do sen- sio. Mas nesse ato de visar, a proposio mobiliza dois
tido da proposio uma brecha para o psicologismo, mas plos (o verdadeiro e o falso) que demarcam sua prpria
Wittgenstein por certo no se contentaria com argumentos inteligibilidade. Se dissermos, por exemplo, "a casa ver-
de tal ordem geral e filosfica. A oposio, como veremos, melha", a expresso como tal acrescida de todos os seus signi-
nasce de questes tcnicas, em particular da anlise muito ficados implcitos quer dizer " 'a casa vermelha' verda-
original das condies de inteligibilidade da proposio. deiro o que importa tambm em afirmar que 'a casa no
um dado evidente e inquestionvel que compreendemos vermelha' falso". Dentro das possibilidades desdobradas
uma proposio antes de precisarmos decidir a respeito de pelo princpio do terceiro excludo em relao proposio p,
sua veracidade ou falsidade. O que isto significa do ponto O sentido de p equivale a restringir o campo dessas possibi-
de vista lgico? A resposta clssica distingue a proposio lidades, em tomar a verdade de uma parte em detrimento
meramente enunciada da proposio assertada, a simples de todo o resto. Da o sentido, a despeito de mobilizar tdas
formulao do sentido, da aceitao de sua verdade ou de as possibilidades implicadas pelo princpio do terceiro excludo,
sua falsidade. No h dvida de que Wittgenstein tambm no se confundir com le, que simplesmente afirma tais posei- .
distingue (sense, Sinn) da denotao (meaning, Bedeutung), bilidades contraditrias sem atribuir-lhes pso algum e sem
mas o que importa explicitar as condies lgicas, estreita- estabelecer entre elas nveis diferentes. A imagem utilizada
mente ligadas problemtica da verdade, ao invs de reafir- reveladora: uma mancha preta no papel determina um
mar a autonomia do sentido sem prover as condies 'de sua conjunto de fatos (pontos) positivos e, por conseguinte, todos
determinao. O que implica entendermos uma, sentena os outros fatos (pontos) negativos, que esto fora da mancha;
antes de conhecermos sua verdade ou falsidade ( Isto de a afirmao de um a excluso de outro e vice-versa. De
um prisma essencialmente lgico, de suas prprias condies sorte que tanto o sentido como a denotao de uma sen-
de verdade? "Nem o sentido nem a denotao de uma pro- tena, tais como aparecem intuitivamente no enunciado, so
posio so uma coisa. Essas palavras so smbolos incom- incompletos, na medida em que a proposio afirmativa j
pletos. claro que entendemos proposies sem conhecer estabelece lgicamente a negao de sua contraditria e o
se so verdadeiras ou falsas. Mas smente podemos conhecer fato denotado positivamente j implica na excluso do fato
a denotao de uma proposio quando sabemos se verda- negativo e vice-versa( 66). Sob sse aspecto Wittgenstein
deira ou falsa. O que compreendemos o sentido da propo- pode ento dizer "a caracterstica de minha teoria que: p
sio. Para compreender a proposio p no basta saber tem a mesma denotao' que nop"(67).
que p implica `p verdadeiro', devemos saber ainda que p Na proposio "aRb" consideram-se em geral trs inde-
implica `p falso'. Isto mostra a bipolaridade da proposio. finveis, os nomes "a" e "b", cada um denotando um objeto,
Compreendemos uma proposio se compreendemos seus cons- e a forma "xRy". No se questiona o carter indefinvel
tituintes e suas formas. Se conhecemos a denotao de 'a' dos nomes; como, porm, interpretar a forma ? Antiga-
e de `b' e sabemos que 'xRy' significa para todos os x e y, mente havia a tendncia de pens-la sempre segundo a predi-
ento tambm compreendemos `aRb'. Compreendo a propo- cao de um atributo a um sujeito; hoje, ao contrrio, tudo
sio `aRb' quando sei que ou o fato aRb ou o fato no aRb reduzido a relaes. A teoria de Russell um impulso pode-
corresponde a ela, mas isto no deve ser confundido com a roso nesse sentido. Qual , porm, o exato significado da
falsa opinio de que compreendo `aRb' quando sei que `aRb forma da proposio ?
ou no aRb' ocorre"(65).
(66) Ibid., p. 193, Cf. Tractatus, 4.063.
(65) Ibid., pp. 189-191. (67) Schriften, I, p. 189.

36 37
Cabe primeiramente desconfiar das indicaes sugeridas nvel, sua indefinibilidade dependeria dos intersses parti-
pelos signos isolados tanto falados como escritos. As nota- culares de cada sistema axiomtico. Mas numa poca como
es de Frege e de Russell, por exemplo, escondem a verda- a nossa, em que o absoluto psto em xeque em todos os
deira natureza da linguagem(68). "Smbolos no so o que sentidos, em que medida Wittgenstein o recuperar precisa-
parecem ser. Em 'aRb"R' parece um substantivo, embora mente no campo da lgica, onde tem sofrido os ataques mais
no o seja. O que simboliza em 'aRb' que 'R' ocorre entre devastadores ?
`a' e V. De modo que 'R' no indefinvel em 'aRb'. Igual- "A forma da proposio pode ser simbolizada da seguinte
mente em `,px', `<p' parece um substantivo, embora no o seja: maneira: consideremos smbolos da forma 'xRy' aos quais
em parece igual a `p', mas no o . Esta a pri- correspondem primriamente pares de objetos, dentre os
meira coisa que indica que pode no haver constantes lgicas. quais um tem o nome 'x' e o outro o nome 'y'. Os x e os y
A razo contra elas a generalidade da lgica: a lgica no esto em vrias relaes mtuas e, entre outras, a relao R
pode tratar de um conjunto especial de coisas"( 69). de est includa em algumas e em outras no. Determino
notar que esta desconfiana contra o sinal bsica, pois indi- sentido de 'xRy' estabelecendo a regra: quando os fatos se
car a Wittgenstein o caminho para reformular tanto a rela- comportam (behave) com referncia a 'xRy' tal que a deno-
o do predicado com o sujeito como o prprio estatuto do tao de 'x' est na relao R com o sentido de 'y', digo
sujeito em sua qualidade de substncia. ento que sses fatos so `de mesmo sentido' (gleichsinnig)
Em segundo lugar, a axiomatizao cumpre menos do que a proposio 'xRy'; no caso contrrio, `de sentido oposto'
que promete na busca dos indefinveis. Construindo seus (entgegengesetzt). Correlaciono os fatos ao smbolo 'xRy', divi-
sistemas axiomticos, Frege e Russell necessitaram admitir dindo-os em aqules de mesmo sentido e os de sentido oposto.
certas constantes lgicas como primitivas, a negao e a A esta correlao corresponde a correlao do nome e da
implicao, por exemplo, todos os outros conectivos sendo denotao. Ambas so psicolgicas. Dsse modo, compre-
definidos a partir delas. Ora, a simples possibilidade de par- . endo a forma 'xRy' quando sei que discrimina o comporta-
tirmos de outros conectivos, tomados como primitivos, e de mento de x e de y conforme estejam ou no na relao R.
definir em seguida a negao e a implicao, sugere seu carter Por sse meio extraio dentre tdas as possveis relaes a
derivado. "A possibilidade de definies cruzadas dos indefi- relao R, da mesma maneira que, por meio do nome, extraio
nveis na velha lgica mostra por si mesma que stes no sua denotao dentre tdas as coisas possveis"("). Essa
so prdpriamente indefinveis e, mais conclusivamente, que teoria explora a qualidade de a proposio ser tambm um
s lgicos no podem
no denotam relaes. Os indefinvei fato, e como tal urna estrutura articulada. Na verdade, a
ser predicados ou relaes, porque proposies, possuindo escrita ou a notao simblica podem sugerir o contrrio,
sentido, no podem ter predicados ou relaes. Nem so levando-nos a pensar a proposio como um conjunto de
`no' e 'ou', como juzo, anlogos a predicados e relaes, partes justapostas. Se, porm, no nos enganarmos com as
pois no introduzem nada de nvo"(70). aparncias, descobrimos que as proposies possuem uma
Percebemos logo o alcance dessas objees. A forma articulao interna que as torna smbolos de outros fatos
da proposio no se identifica com uma constante lgica, que possuem a mesma articulao(72), de sorte que o smbolo
porquanto isto seria restringir demasiadamente as ambies smbolo de algo porque dos dois fatos possuem a mesma
absolutistas da lgica. Se uma constante lgica denotasse estrutura. preciso, porm, no pensar a referncia do signo
um objeto, ste seria um entre muitos, e a generalidade indis- ao significado nem nos trmos da nominao nem como uma
cutvel da lgica desapareceria; se constitusse um indefi- relao qualquer. O rro fundamental de Frege consistiu
em reduzir essa referncia a um mesmo tipo, fazendo com
(68) Ibid., p. 207.
(69) Ibid., p. 205. (71) Ibid., p. 203.
(70) Ibid., p. 209. (72) Ibid., p. 211.

38 39
tica das partes constituintes da funo(75). A funo bsica
que nomes e proposies se reportassem do mesmo modo a no reflexionante, isto , nenhum de seus argumentos
objetividades peculiares; a linguagem torna-se uma maneira depende, para alcanar sua individualidade, da prpria funo
de nomear coisas e fatos. Russell caminha na mesma direo, a que serve de cumprimento, e o mesmo acontece com a
mas a interpreta como relao, transformando a linguagem proposio. Partindo dsse fundamento, que permanece inques-
num modo geral de relacionamento com o mundo. Ambos tionvel, Wittgenstein o leva ao limite mximo, variando
desconhecem a especificidade da nominao e da proposio. em todos os sentidos esta forma irreflexiva. O acesso a ela
Feita, porm, essa imprescindvel diferenciao, Wittgenstein nos dado pela prpria variao, mas seu estatuto lgico,
retoma a lio de Russell, descobrindo na sentena e no fato em virtude precisamente dessa irreflexibilidade, torna-se di-
significado uma lacuna que a expresso imediata no pode fcil de precisar. Como dizer algo desse absoluto respeitando
cobrir: o sentido p implica uma referncia a p, o fato posi- os limites da irreflexo ? Por isso a forma lgica no se
tivo se insere num contexto de fatos negativos. Da o rela- situa no plano das coisas ditas. Na medida em que entre
cionamento da lngua com a realidade depender de uma a expresso e o fato deve haver algo em comum, precisa-
certa "isomorfia" oculta, cada proposio desempenhando o mente a forma lgica, a expresso da forma, isto , outro
papel de uma rgua que se ape aos fatos e separando-os, fato que tem com ela tambm algo em comum, apenas a
graas a sse gesto, em dois campos, o daqueles que se colo- reitera. Diante dessa monotonia improdutiva das expresses
cam no mesmo sentido do que ela, o daqueles que se colocam da forma, cabe-nos to-sdmente apreend-la. De sorte que
em sentido contrrio( 73). O sentido da proposio age como a inutilidade da teoria dos tipos custa nem mais nem menos
um guarda a encaminhar o fluxo do trnsito para um lado do que a indizibilidade de tudo a que a lgica concerne.
e para o outro.
Dado isso, Wittgenstein passa a examinar questes
Como, entretanto, alcanar esta forma em sua pureza menos gerais. Estudaremos apenas trs, aquelas que tratam
lgica ? "Se numa proposio convertermos todos os inde- diretamente de suas relaes com Frege e Russell.
finveis em variveis, permanece a classe de- proposies que Em primeiro lugar, o sinal da assero desaparece, por-
no incluem tdas as proposies, embora inclua um tipo
inteiro. Se transformarmos um constituinte da proposio que ste se confunde com o enunciado. Separar a proposio
o(a) numa varivel, existe ento a classe ji [(3x) . cpx = p].
enunciada da proposio assertada implicava em situar a
lgica exclusivamente no domnio das proposies verdadeiras.
Esta classe ainda depende em geral do que, por uma con- Ora, para Wittgenstein importa a estrutura bipolar da pro-
veno arbitrdria entendemos por `ox'. Mas se transformar-
mos em variveis todos esses smbolos cuja significao (signi- posio, antes da eleio de um valor determinado. "Uma
ficance) era arbitrriamente determinada, ainda permanece
proposio no pode possivelmente assertar de si mesma que
tal classe. Agora, porm, no mais depende de conveno verdadeira. A assero meramente psicolgica. H apenas
alguma, apenas da natureza do smbolo ` px' . Isto corres- proposies inassertadas. Juzos, mandamentos e questes,
ponde a um tipo lgico"( 74). A comparao deste texto com todos se situam no mesmo nvel, todos possuem em comum
a proposio 3.315 do Tractatus nos leva a compreender a a forma proposicional, e isto apenas o que nos interessa.
estreita dependncia que Wittgenstein v entre a forma e (75) Ao receber os manuscritos do Tractatua, Russell escreve a
o tipo lgicos. Ao lembrarmos que Russell define o tipo como Wittgenstein pedindo-lhe uma srie de informaes, dentre elas uma sbre
o domnio de significao (significance) de uma funo pro- o assunto em questo. Wittgenstein responde, retomando o texto de
Russell e complementando-o: " 'A teoria do tipo, a meu ver, a teoria
posicional, isto , a coleo de argumentos para os quais a do simbolismo correto: um smbolo simples no deve ser usado para ex-
dita funo tem valor, torna-se evidente que a forma lgica ' primir algo complexo: mais geralmente, um smbolo deve ter a mesma
uma extenso do tipo, obtida por meio da variao eid- estrutura que sua denotao (meaning)' . Isto exatamente o que se pode
dizer. Voc no pode prescrever a um smbolo o que lhe permitido
(73) Ibid., p. 197. expressar. Tudo o que um smbolo pode expressar lhe permitido"
(Schriften, I, p. 275).
(74) Ibid., p. 223.

40
A lgica se interessa apenas por proposies inassertadaa"(76). por Russell como um complexo espacial e, como os complexos
Total revoluo nos domnios da lgica, que se extende assim espaciais so constitudos de coisas e de relaes, todos os
muito alm das proposies apofnticas, numa completa modos diferentes de complexidade so reduzidos a um s6(80).
subverso dos limites traados por Aristteles. A relao entre os fatos e suas partes constitutivas e a rela-
Convm, em segundo lugar, examinar a forma da pro- o que opera entre um fato e outro que se segue a partir
do primeiro, por exemplo, so postas no mesmo plano. Apesar
posio "A julga p". A crtica com que nos defrontamos da semelhana que realmente existe entre ambas, expressa
j um como da doutrina defendida posteriormente, quando
o valor de todas as proposies complexas depender dos pela frmula (pa. D . a = a, no h razo alguma para
valres de verdade das proposies elementares. De acrdo identific-las. Em suma, a teoria dos complexos resulta de
com a interpretao dada noo de sentido, deve ser com- uma extrapolao indevida da teoria das relaes. Dado
pletada do seguinte modo: "A julga que `p' verdadeiro e isso, Wittgenstein passa a expor sua prpria teoria. "nela
`no-p' falso"(77). "A proposio 'A julga p' consiste no sentena sbre complexos pode resolver-se na soma lgica
da sentena sbre os constituintes e na sentena sbre a pro-
nome prprio A , na proposio p com seus dois plos, e A posio que descreve o complexo inteiramente. Como, em
se relacionando com ambos sses plos numa certa maneira.
Esta bviamente no uma relao no sentido ordinrio. cada caso, a resoluo h de ser feita, uma questo impor-
'nela teoria correta do juzo deve tornar impossvel julgar tante, mas sua resposta no incondicionalmente necessria
para a construo da lgica. Repetindo: cada proposio
que 'esta mesa caneteia (penhonders) o livro' (A teoria de que parece ser sbre complexos pode ser analisada numa
Russell no satisfaz a ste requisito)"( 78). A teoria do juzo proposio sbre seus constituintes e sbre a proposio que
deve evitar juzos absurdos, e isto s se obtm quando forem descreve o complexo perfeitamente, isto , a proposio que
enquadrados em sua prpria bipolaridade.
equivale a dizer que o complexo existe"(81). Este enunciado,
Trata-se, como se v, de corrigir a doutrina de Russell, que reaparece no Tractatus(82) constitui uma das peas essen-
inspirando-se na nova interpretao da problemtica do sen- ciais para o estabelecimento do atomismo lgico, defendido
tido. Ainda permanece o sujeito A, mas ste sujeito j se por Wittgenstein em seus primeiros escritos. No entanto,
relaciona com a proposio de uma forma diferente daquela apesar de sua importncia, no tem encontrado entre os
que vincula as partes da sentena. No Tractatus, todavia, comentadores uma interpretao convincente. Qual a pro-
quando a noo de figurao ampliar o conceito de forma posio que descreve completamente o complexo ? Sem
lgica, o sujeito A ser substitudo pela prpria proposio p; entrar em pormenores, convm lembrar que esta ou estas pro-
"A julga p resolvendo-se em "p julga p"( 79). O primeiro p posies que apanham o complexo na sua totalidade surgem
um modlo proposicional do segundo p, de sorte que a no lugar que o sujeito ocupava na teoria de Russell, devendo,
conscincia se afasta para os limites do mundo, os estados portanto, possuir a mesma estrutura do complexo. O que
de conscincia referentes proposio passam a constituir importa salientar que o complexo para Wittgenstein no
outra expresso em que ela pode revestir-se. A tese da radical apenas se reduz ao simples, graas a um nico processo de
extensionalidade das proposies pode ento ser adotada sem dissoluo, mas na sua totalidade no pode ser tratado como
encontrar qualquer obstculo. simples, no deve possuir a cmoda propriedade de, sendo
Finalmente, cabe examinar a crtica teoria do com- composto, poder ser tomado como a unidade(83).
plexo. Segundo Wittgenstein, o fato sempre imaginado
(76) Ibid., p. 195; Cf. Tractatus, 4.442. (80) Schriften, I, p. 197.
(77) Schriften, I, p. 197. (81) Ibid., p. 205.
(78) Ibid., p. 195. (82) Cf. 2.0201.
(79) Cf. 5.542. (83) Schriften, I, p. 205.

42 43
bilidade, colocando-se numa perspectiva transcendental. Se
V --- Na direo do Tractatus. o Tractatus se inicia pela anlise do mundo, ste mundo,
os fatos, os estados de coisas e os objetos so conceitos for-
As "Notas sbre a lgica" dividem-se em cinco partes: mais, cuja determinao se faz unicamente para fixar a deter-
I Bipolaridade das proposies. Sentido e Denotao. V er- minabilidade do sentido das proposies. Todos sses passos
dade e Falsidade; II A ndlise das proposies atmicas. so dados unicamente do ponto de vista da necessidade que
Indefinveis gerais, predicados, etc.; III A ndlise das pro- possui a lngua de ter uma realidade a que se referir. No
posies moleculares: funes a, b(84); A ndlise das propo- entanto, a problemtica do sentido tambm sofre radical
sies-gerais. Princpios do simbolismo O que o smbolo signi- ampliao, na medida em que as proposies passam a cons-
fica. Fatos por fatos. O plano obviamente simples: par- tituir caso especial dos vrios tipos de modelos, de figuraes,
tindo de uma nova teoria do sentido e da denotao, de um que construmos do mundo. Por que um conceito de tal
lado, cabe analisar a estrutura interna da proposio at monta no merece uma proposio especial ? Simplesmente
chegar aos elementos simples e indefinveis; de outro, exa- _porque a figurao ainda ' fato, embora seja fato de outro
minar como as proposies complexas se compem e, depois fato. Assim sendo, as duas proposies iniciais do Tractatus
de estudar o problema das proposies universais, chegar se ocupam dos fatos, de sua resoluo e de sua construo,
aos princpios bsicos do simbolismo. assim como de um fato especial, construdo por ns, e que
primeira vista sse plano foi abandonado pelo Tractatus, possui a virtude de simbolizar outro. Smente na terceira,
cuja composio se escande segundo as sete proposies funda- surge a definio da proposio como revestimento concreto
mentais: 1) O mundo tudo o que ocorre. 2) O que ocorre, do pensamento, daquele elemento lgico comum a tdas as
o fato, o subsistir de estados de coisas. 3) Pensamento figuraes. Em seguida, a linha das "Notas sbre a lgica"
a figurao lgica dos fatos. 4) O pensamento a propo- torna-se aparente no Tractatus; ste passa a examinar a
sio significativa. 5) A proposio uma funo de ver- resoluo da proposio em seus elementos simples e as formas
dade das proposies elementares. 6) A forma geral da funo possveis de composio e dependncia, na base dos valres
de verdade [.f), Na)]. Esta a forma geral da proposio. de verdade das proposies elementares. No final, a propo-
7) O que no se pode falar, deve-se calara No entanto, a sio 7, no seu laconismo dramtico, retoma a problemtica
despeito das discrepncias evidentes, no difcil mostrar geral do simbolismo, reafirmando incisivamente a diferena
que os dois escritos obedecem mesma inspirao; ~ente entre o dizer e o mostrar.
o Tractatus ampliou sobremaneira a primeira parte das "Notas Existe, porm, uma dificuldade de que o prprio
sbre a lgica", desenvolvendo pormenorizadamente as con- Wittgenstein se deu conta. Para mostrar o que deve ser
dies lgicas da significao. mostrado alm do discurso, para indicar a indizibilidade das
Num texto anterior vimos, em que pse importncia formas lgicas preciso falar, ainda que a fala seja absurda.
da resoluo do complexo em simples, que "sua resposta no E o Tractatus essa linguagem absurda que h de ser abolida
incondicionalmente necessria para a construo da lgica". no final, quando o discurso se enquadrar nos estreitos limites
Dsse modo, preciso postular a existncia dos elementos da figurao do mundo. Obra de passagem, no cabe atri-
simples, sem contudo se deter nas frmulas possveis de reso- buir-lhe demasiada importncia.
luo, cujo estudo fica alm dos estreitos limites do forma- Continuamos, entretanto, a estud-lo, a analisar uma
lismo lgico. Atitude fundamentalmente anti-empirista, em por uma suas proposies como /se elas dissessem algo. No
que a simplicidade nada tem a ver com a realidade perce- ento para duvidar dste seu princpio bsico que elimina
bida, como fizeram crer os neopositivistas, porquanto a lgica da lngua tda sorte de reflexo ? Acresce ainda que nenhuma
se interroga desde o incio a propsito das condies de possi- linguagem matemtica obedece rigorosamente a estratifi-
cao dos tipos, estabelecida por Russell e levada aos ltimos
(84) Na notao inicial a, b indica verdadeiro e falso. limites por Wittgenstein. E o prprio desenvolvimento da

44 45
lgica moderna cada vez mais nos convence de que a teoria radicalidade de suas posies. O problema do conhecimento
dos tipos foi uma soluo artificial, gerada por uma con- se assentava, na filosofia tradicional, sobretudo nas relaes
cepo absolutista da matemtica, que hoje dificilmente entre a conscincia e a realidade. fcil verificar que a re-
encontra guarida, principalmente quando o mtodo, axiom- flexo sbre a conscincia cedeu lugar reflexo sbre a lngua.
tico perdeu a aurola de que se revestia no incio do, sculo. Nesta direo, Wittgenstein deu um dos primeiros passos
Mas admitir a reflexo no seio do discurso, a possibilidade decisivos, e talvez ningum tenha colocado a questo da lin-
de o predicado tornar-se sujeito e nesse processo sua denotao guagem e do mundo em termos to radicais.
adquirir a unidade e a espessura de uma certa objetividade,
tem como conseqncia, no apenas recair no enrdo dos
paradoxos, mas, sobretudo, recolocar a problemtica da filo- Devo expressar aqui meus agradecimentos pela atenciosa
sofia da linguagem em termos diferentes daqueles em que leitura de meu texto que fizeram os professres ANDRtS R.
Wittgenstein e os neopositivistas colocaram. No h mais RAGGIO , e FRANCISCO COSTA FELIX, assim como pela cuida-
a separao radical e absoluta entre o discurso e o real, de dosa reviso de ALMIR DE OLIVEIRA AGUIAR.
modo que os caminhos de Frege e de Husserl voltam a ter
viabilidade. A no ser que, conduzidos pelo prprio Wittgens-
tein, enveredemos por uma concepo fragmentada e utili- Universidade de So Paulo
tarista da linguagem, como acontece em suas ltimas obras,
em que a significao determinada pelo uso e seu alcance setembro de 1968
descoberto pelo emprgo sistemtico de certos jogos lings-
ticos.
Convm ainda lembrar que a teoria da significao desen-
volvida no Tractatus pressupe a decidibilidade de tdas as
proposies, isto , que sempre possamos dizer de uma sen-
tena corretamente formada se falsa ou verdadeira. Na
raiz da objeo de Wittgenstein contra a teoria do juzo de
Russell encontra-se o pressuposto de que sempre ser possvel
determinar o valor de verdade da proposio. Ora, em 1931
Gdel mostrou que proposies aritmticas elementares no
podiam ser demonstradas na base de um sistema axiomtico
completo, no sendo pois possvel decidir-se de sua verdade
ou falsidade, utilizando unicamente processos postos dispo-
sio pelo sistema. O princpio em que Wittgenstein assen-
tara o Tractatus cai por terra; ~ente o clculo proposi-
cional e outros clculos menores que, todavia, no esgotam
a complexidade do discurso matemtico, esto em condio
de aproximar a significao dos valres de verdade.
Se o desenvolvimento da lgica matemtica ps em xeque
certos fundamentos do Tractatus, o que nos leva a rel-lo
e a reedit-lo ? Seguramente no apenas por sua impor-
tncia histrica, nem pela riqueza das idias que encontra-
mos em seu interior. Ainda que sejamos atrados pela beleza
de sua arquitetnica, o que importa, assim o cremos, a

46 47
TRACTATUS
LOGICO-PHILO SOPHICUS
TRACTATUS LOGICO-PHILOSOPHICUS

A memria de

DAVID H. PINSENT

Mote: . . . e tudo o que se sabe,


que no seja apenas rumor ouvido,
pode ser dito em trs palavras.

KRNBERGER
PREFCIO

Talvez ste livro ~ente seja compreendido por quem


j tenha cogitado por si prprio os pensamentos aqui expressos,
ou ao menos cogitado pensamentos semelhantes. No ,
pois, um manual. Ter alcanado seu objetivo se agradar
a quem o ler com ateno.
Trata de problemas filosficos e mostra, creio eu, que
o questionar dsses problemas repousa na m compreenso
da lgica de nossa linguagem. Poder-se-ia apanhar todo o
sentido do livro com estas palavras: em geral o que pode
ser dito, o pode ser claramente, mas o que no se pode falar
deve-se calar.
Pretende, portanto, estabelecer um limite ao pensar, ou
melhor, no ao pensar mas expresso do pensamento, por-
quanto para traar um limite ao pensar deveramos poder
pensar ambos os lados dsse limite (de sorte que deveramos
pensar o que no pode ser pensado).
O limite ser, pois, traado ricamente no interior da
lngua; tudo o que fica alm dle ser simplesmente absurdo.
No quero julgar at onde meus esforos coincidem com
os de outros filsofos. Por certo o que escrevi no pretende
ser original no pormenor; por isso no dou fonte alguma,
psto que me indiferente se o que pensei j foi pensado por
algum antes de mim.
Quero apenas mencionar que devo grande parte do est-
mulo a meus pensamentos s grandiosas obras de Frege e
aos trabalhos de meu amigo Sr. Bertrand Russell.

53
Caso meu trabalho tenha valor, le ser duplo. Primeira-
mente porque exprime pensamentos, valor que ser tanto
maior quanto melhor os pensamentos- forem expressos. Nisto
estou consciente de estar muito aqum do possvel, simples-
mente porque minhas fras so poucas para cumprir a tarefa.
Possam outros vir e fazer melhor.
1(*) O mundo tudo o que ocorre.
No entanto, a verdade dos pensamentos comunicados
aqui me parece intocvel e definitiva, de modo que penso 1.1 O mundo a totalidade dos fatos, no das
coisas.
ter resolvido os problemas no que essencial. Se no me
engano, o segundo valor dsse trabalho mostrar quo pouco 1.11 O mundo determinado pelos fatos e por isto
consistir em todos os fatos.
se consegue quando se resolvem tais problemas..
1.12 A totalidade dos fatos determina, pois, o que
L. W.
ocorre e tambm tudo que no ocorre.
1.13 Os fatos, no espao lgico, so o mundo.
Viena, 1918 O mundo se resolve em fatos.
1.2
1.21 Algo pode ocorrer ou no ocorrer e todo o resto
permanecer na mesma.
2 O que ocorre, o fato, o subsistir dos estados
de coisas.
2.01 O estado de coisas uma ligao de objetos
(coisas).
2.011 essencial para a coisa poder ser parte consti-
tuinte der estado de coisas.
2.012 Nada acidental na lgica: se uma coisa puder
aparecer num estado de coisas, a possibilidade do
estado de coisas j deve estar antecipada nela.
. 2.0121 Parece, por assim dizer,
. acidental que coisa,
que poderia subsistir szinha e para si, viesse ajus-
tar-se em seguida uma situao.
Se as coisas podem aparecer em estados de
coisas, ento isto j. deve estar nelas.
(*) Os algarismos que enumeram as proposies isoladas indicam
o pso lgico dessas proposies, a importncia que adquirem em minha
exposio. As proposies n.1, n.2, n.3, etc. constituem observaes,
proposio n. n; es proposies n.fnl, n.m2, etc., observaes propo-
sio n. n.m, e assim por diante.

54 55
(Algo lgico no pode ser meramente-possvel. 2.0141 A possibilidade de seu aparecer nos estados de
A lgica trata de cada possibilidade e tdas as possi- coisas a forma dos objetos.
bilidades so fatos qu lhe pertencem.) 2.02 O objeto simples.
Assim como no podemos pensar objetos espa-
ciais fora do espao, os temporais fora do tempo, 2.0201 Cada assero sbre complexos deixa-se dividir
assim no podemos pensar nenhum objeto fora da numa assero sbre suas partes constitutivas e
possibilidade de sua ligao com outros. naquelas proposies que descrevem inteiramente
tais complexos.
Se posso pensar o objeto ligando-o ao estado
de coisas, no posso ento pens-lo fora da possil)i- 2.021 Os objetos formam a substncia do mundo.
?idade dessa ligao. Por isso no podem ser compostos.
2.0122 A coisa autnoma enquanto puder aparecer 2.0211 Se o mundo no possusse substncia, para uma
em tdas as situaes possveis, mas esta forma de proposio ter sentido dependeria de outra propo-
autonomia uma forma de conexo com o estado sio ser verdadeira.
de coisas, uma forma de heteronomia. ( impossvel 2.0212 Seria, pois, impossvel traar uma figurao do
palavras comparecerem de dois modos diferentes, mundo (verdadeira ou falsa).
szinhas e na proposio.)
2.022 claro que um mundo, pensado muito diferente
2.0123 Se conheo o objeto, tambm conheo tdas as do real, deve possuir algo uma forma comum
possibilidades de seu aparecer em estados de coisas. com ste mundo real.
(Cada uma dessas possibilidades deve estar na
natureza do objeto.) 2.023 Esta forma fixa consiste precisamente em objetos.
No possvel posteriormente encontrar nova 2.0231 A substncia do mundo pode determinar apenas
possibilidade. uma forma, mas no propriedades materiais; j que
2.01231 Para conhecer um objeto no devo com efeito estas so primeiramente representadas pelas propo-
conhecer suas propriedades externas mas tdas sies primeiramente formadas pela configurao
as internas. dos objetos.
2.0124 Ao serem dados todos os objetos, do-se tam- 2.0232 Aproximadamente falando: os objetos so des-
bm todos os possveis estados de coisas. providos de cr.
2.013 Cada coisa est como num espao de estados 2.0233 Dois objetos de mesma forma lgica abstraindo
de coisas possveis. Posso pensar ste espao vazio, suas propriedades externas se diferenciam um
mas no a. coisa sem o espao. do outro apenas por serem distintos.
2.0131 O objeto espacial deve estar no espao infinito. 2.02331 Ou uma coisa possui propriedades que nenhuma
(O ponto no espao lugar do argumento.) outra possui e dsse modo possvel sem mais separ-
A mancha no campo visual no deve, pois, ser la de outras por uma descrio e referir-se a ela;
vermelha, mas deve ter uma cr; tem, por assim ou, ao contrrio, existem vrias coisas que possuem
dizer, uma espacialidade colorida em volta de si. tdas suas propriedades em comum, sendo ento
O som deve possuir uma altura, o objeto do tato, impossvel em geral indicar uma delas.
uma dureza, e assim por diante. Se a coisa no se distingue por nada, no posso
2.014 Os objetos contm a possibilidade de tdas as ento distingui-la, pois do contrrio estaria distin-
situaes. guida.

56 57
2.024 Substncia o que subsiste independentemente 2.063 A realidade inteira o mundo.
do que ocorre. 2.1 Fazemo-nos -figuraes dos fatos.
2.025 Ela forma e contedo. 2.11 A figurao presnta a situao no espao l-
2.0251 Espao, tempo e cr (coloridade) so formas gico, a subsistncia e a no-subsistncia de estados
dos objetos. de coisas.
2.026 S se houver objetos, pode haver forma fixa 2.12 A figurao um modlo da realidade.
do mundo. 2.13 Na figurao, seus elementos correspondem aos
2.027 O fixo, o subsistente e o objeto so um s. objetos.
2.0271 O objeto o fixo, o subsistente; a configurao 2.131 Os elementos da figurao substituem nela os
o mutvel, o instvel. objetos.
2.0272 A configurao dos objetos forma o estado de 2.14 A figurao consiste em que seus elementos
coisas. esto uns em relao aos outros de um modo deter-
2.03 No estado de coisas os objetos se ligam uns aos minado.
outros como elos de uma cadeia. 2.141 A figurao um fato.
2.031 No estado de coisas os objetos esto uns em 2.15 Os elementos da figurao estando uns em rela-
relao aos outros de um modo determinado. o aos outros de um modo determinado, isto repre-
2.032 O modo pelo qual os objetos se vinculam no senta as coisas estando umas em relao s outras.
estado de coisas constitui a estrutura do estado de Esta vinculao dos elementos da figurao
coisas. chama-se sua estrutura e a possibilidade dela, sua
2.033 A forma a possibilidade da estrutura. forma de afigurao.
2.034 A estrutura do fato constituda pelas estru- 2.151 A forma de afigurao a possibilidade de que
turas dos estados de coisas. as coisas estejam umas em relao s outras como
os elementos da figurao.
2.04 A- totalidade dos subsistentes estados de coisas
o mundo. 2.1511 A figurao enlaa-se com a realidade; deste
modo: estendendo-se para ela.
2.05 A totalidade dos subsistentes estados de coisas
determina tambm quais estados de coisas no 2.1512 como padro de medida que se aplica reali-
subsistem. dade.
2.06 A subsistncia e a no-subsistncia dos estados 2.15121 Smente os pontos mais exteriores das linhas
de coisas a realidade. divisrias tocam o objeto a ser medido.
(Chamamos de fato positivo subsistncia de 2.1513 Segundo essa concepo, tambm pertence
estados de coisas e de negativo no-subsistncia figurao a forma afigurante que precisamente a
&les.) torna figurao.
2.061 Os estados de coisaaso independentes uns dos 2.1514 A relao afigurante consiste nas coordenaes
outros. dos elementos da figurao e das coisas.
2.062 Da subsistncia ou da no-subsistncia de um 2.1515 Estas coordenaes so, por assim dizer, an-
estado de coisas no possvel concluir a subsistncia tenas dos elementos da figurao, com as quais
ou a no-subsistncia de outro. esta toca a realidade.

58 59
2.16 Os fatos, para serem figurao, devem ter algo 2.21 A figurao concorda ou no com a realidade,
em comum com o que afigurado. correta ou incorreta, verdadeira ou falsa.
2.161 Deve haver algo idntico na figurao e no 2.22 A figurao representa o que representa, inde-
afigurado a fim de que um possa ser a figurao do pendentemente de sua verdade ou falsidade, por
outro. meio da forma da afigurao.
2.17 O que a figurao deve ter em comum com a 2.221 O que a figurao representa o seu sentido.
realidade para poder afigurar sua maneira 2.222 Na concordncia ou na discordncia de seu
correta ou falsamente sua forma de afigurao. sentido com a realidade consiste sua verdade ou
2.171 A figurao pode afigurar qualquer realidade sua falsidade.
cuja forma ela possui. 2.223 Para reconhecer se uma figurao verdadeira
A figurao espacial, tudo o que espacial; a ou falsa devemos compar-la com a realidade.
colorida, tudo que colorido, etc.
2.224 No possvel reconhecer apenas pela figurao
2.172 Sua forma de afigurao, contudo, a figurao se ela verdadeira ou falsa.
no pode afigurar; apenas a exibe.
2.225 No existe uma figurao a priori verdadeira.
2.173 A figurao representa seu objeto de fora (seu
ponto de vista sua forma de representao), por 3 Pensamento a figurao lgica dos fatos.
isso a figurao representa seu objeto correta ou 3.001 "Um estado de coisas pensvel" significa:
falsamente. podemos construir-nos uma figurao dle.
2.174 A figurao no pode, porm, colocar-se fora 3.01 A totalidade dos pensamentos verdadeiros '''11
de sua forma de representao. figurao do mundo.
2.18 O que cada figurao, de forma qualquer, deve 3.02 O pensamento contm a possibilidade da situa-
sempre ter em comum com a realidade para poder o que le pensa. O que pensvel tambm
afigur-la em geral correta ou falsamente possvel.
a forma lgica, isto , a forma da realidade. 3.03 No podemos pensar nada ilgico, porquanto,
2.181 Se a forma da afigurao a forma lgica, a do contrrio, deveramos pensar ilgicamente.
figurao chama-se lgica. 3.031 J foi dito por algum que Deus poderia criar
2.182 T6da figurao tambm lgica. (No entanto, tudo, salvo o que contrariasse as leis lgicas. Isto
nem tda figurao , por exemplo, espacial.) porque no podemos dizer como pareceria um mundo
2.19 A figurao lgica pode afigurar o mundo. "ilgico".
A figurao tem em comum com afigurado 3.032 Representar na linguagem algo que "contrarie as
2.2 leis lgicas" to pouco possvel como representar,
a forma lgica da afigurao. na geometria, por meio de suas coordenadas, uma
2.201 A figurao afigura a realidade, pois representa figura que contrarie as leis do espao; ou, ento,
uma possibilidade da subsistncia e da no-subsis- dar as coordenadas de um ponto inexistente.
tncia de estados de coisas. 3.0321 Podemos perfeitamente representar um estado
2.202 A figurao representa uma situao possvel no de coisas espacial contrrio s leis da fsica, nunca,
espao lgico. porm, contrrio s leis da geometria.
2.203 A figurao contm a possibilidade da situao, 3.04 Um pensamento correto a priori seria aqule
a qual ela representa. cuja possibilidade condicionasse sua verdade.

60 61
3.05 Dsse modo, s6 poderamos conhecer a priori Na proposio impressa, por exemplo, o signo
que um pensamento verdadeiro se a verdade dle proposicional no parece essencialmente diferente da
fsse reconhecvel a partir do prprio pensamento palavra.
(sem objeto de comparao). (Foi assim possvel a Frege chamar proposio
3.1 Na proposio o pensamento se exprime sen- de nome composto.)
svel e perceptivelmente. 3.1431 A essncia do signo proposicional se torna muito
3.11 Utilizamos o signo sensvel e perceptvel (signo clara quando, em vez de o pensarmos composto
sonoro ou escrito, etc.) da proposio como projeo de signos escritos, o pensamos composto de objetos
da situao possvel. espaciais (tais , como mesas, cadeiras, livros).
O mtodo de projeo - o pensar do sentido A posio espacial oposta dessas coisas exprime,
da proposio. pois, o sentido da proposio.
3.1432 No: "O signo complexo 'aRb' diz que a por R
3.12 Chamo signo proposicional o signo pelo qual se relaciona com b", mas: que "a" por um certo R
exprimimos o pensamento. E a proposio o signo se relaciona com "b", isto quer dizer que aRb.
proposicional em sua relao projetiva com o mundo.
3.144 possvel descrever situaes, impossvel no
3.13 A proposio pertence tudo que pertence entanto nomed-las.
projeo, no, porm, o que projetado. (Os nomes so como pontos, as proposies,
Portanto, a possibilidade do que projetado, flechas; possuem sentido.)
no, porm, ste ltimo. 3.2 Nas proposies os pensamentos podem ser
A proposio, portanto, no contm seu sen- expressos de tal modo que aos objetos dos pensa-
tido, mas a possibilidade de exprimi-lo. mentos correspondam elementos do signo proposi-
("O contedo da proposio" quer dizer o con- cional.
tedo da proposio significativa.) 3.201 A Asses elementos chamo de "signos simples" e
Est contida na proposio a forma de seu proposio, "completamente analisada".
sentido, no, porm, seu contedo.
3.202 Os signos simples empregados nas proposies
3.14 O signo proposicional consiste em que seus so chamados nomes.
elementos, as palavras, esto relacionados uns aos 3.203 O nome denota o objeto. O objeto sua deno-
outros de maneira determinada. tao. ("A" o mesmo signo que "A".)
O signo proposicional um fato. 3.21 configurao dos signos simples no signo pro-
3.141 A proposio no uma mistura de palavras. posicional corresponde a configurao dos objetos
(Do mesmo modo que o tema musical no uma na situao.
mistura de sons.) 3.22 Na proposio o nome substitui o objeto.
A proposio articulada. 3.221 Posso nomear apenas objetos. Os signos os
3.142 Smente fatos podem exprimir um sentido, uma substituem. Posso apenas falar sbre les, no
classe de nomes no o pode. posso, porm, enunci-los. Uma proposio pode
3.143 Que um signo proposicional seja um fato, isto apenas dizer como uma coisa , mas no o que .
velado pela forma comum de expresso, escrita 3.23 Postular a possibilidade de signos simples
ou impressa. postular a determinabilidade do sentido.

62 63
. 3.24 A proposio que trata de um complexo acha- 3.3 S6 a proposio possui sentido; s em conexo
se numa relao interna com a proposio que trata com a proposio um nome tem denotao.
das partes constituintes dle. 3.31 A cada parte da proposio que caracteriza um
O complexo s6 pode ser dado por sua descrio, sentido chamo de expresso (smbolo).
e esta concordar ou no concordar com le. A (A prpria proposio uma expresso.)
proposio que se ocupa de um complexo inexis- A expresso tudo que, sendo essencial para
tente no ser absurda, mas simplesmente falsa. o sentido da proposio, as proposies podem ter
Que um elemento proposicional designa um em comum entre si.
complexo, isto pode ser visto graas a uma indeter- A expresso caracteriza uma forma e um con-
minabilidade na proposio na qual le aparece. tedo.
Sabemos por esta proposio que nem tudo est
determinado. (A designao da universalidade j 3.311 A expresso pressupe as formas de tdas as
contm, com efeito, uma protofigurao.) proposies nas quais pode aparecer. Constitui a
A reunio dos smbolos de um complexo em marca caracterstica comum a uma classe de pro-
um smbolo simples pode ser expressa por uma posies.
definio. 3.312 Representa-se, pois, por intermdio da forma
3.25 Existe apenas uma e uma nica anlise completa geral das proposies que a caracteriza.
da proposio. E assim a expresso ser, nesta forma, constante
e todo o resto, varivel.
3.251 A proposio exprime o que expresso de um
modo determinado e dado claramente: A proposio 3.313 A expresso ser representada por uma varivel,
articulada. cujos valres so as proposies que contm .a expres-
O nome no para ser desmembrado ademais so.
3.26 (No caso limite, a varivel torna-se constante,
por uma definio: um signo primitivo.
a expresso, a proposio.)
3.261 Cada signo definido designa por sbre os signos A uma tal varivel chamo de "varivel proposi-
pelos quais definido, e as definies mostram o cional".
caminho.
Dis signos, um signo primitivo e outro defi- 3.314 A expresso tem denotao apenas na propo-
nido por signos primitivos, no podem designar pela sio. Cada varivel pode ser concebida como va-
mesma maneira. Nomes no podem ser decompostos rivel proposicional.
por definies. (Nenhum signo isolado e autnomo (A varivel nome tambm.)
possui denotao.) 3.315 Se transformarmos uma parte constituinte de
3.262 O que no signo no vem expresso indicado uma proposio numa varivel, existe ento uma
pela aplicao. O que os signos escondem, a aplica- classe de proposies constituda por todos os va-
o exprime. lres da proposio varivel assim resultante. Esta
3.263 As denotaes dos signos, primitivos podem ser classe ainda depende em geral do que ns, segundo
esclarecidas por elucidaes. Elucidaes so propo., um ajuste arbitrrio, chamamos partes da proposi-
sies que contm os signos primitivos. S podem, o. Se, no entanto, transformarmos todos aqules
portanto, ser entendidas quando j se conhecem as signos, cujas' denotaes foram determinadas arbi-
denotaes dsses signos. trriamente, em variveis, ainda continua a existir

65
aquela classe. Esta, porm, no mais depende de Assim a palavra "" aparece como cpula,
qualquer ajuste, mas' -nicamente da natureza da como sinal de igualdade e expresso da existncia;
proposio. Corresponde a uma forma lgica a "existir", enquanto verbo intransitivo do mesmo
uma protofigurao lgica. modo que "ir"; "idntico", enquanto adjetivo: fala-
mos a respeito de algo, mas tambm de que algo
3.316 Fixam-se os valres que a varivel proposi- acontece.
cional deve tomar. (Na proposio "Rosa rosa" ("Grn ist grn")
A fixao dos valres a varivel. onde a primeira palavra nome de pessoa e a
ltima adjetivo ambas as palavras no tm
3.317 A fixao dos valres das variveis proposicio- apenas denotaes diferentes, mas constituem sm-
nais consiste na indicao das proposies, as quais bolos diferentes.)
tm como marca caracterstica comum a varivel.
3.324 Nasceu', assim, as confuses mais fundamentais
A fixao uma descrio dessas proposies. (de que tda a filosofia est plena).
A fixao se ocupar, pois, finitamente dos
smbolos, no se ocupando de sua denotao. 3.325 Para evitar sses erros devemos usar uma lin-
guagem simblica que os exclua, pois esta no empre-
E para a fixao essencial ser apenas uma gar superficialmente o mesmo signo para smbolos
descrio de smbolos, nada assertando sbre o designado. diferentes, e no empregar signos, que designam de
Como se d a descrio da proposio ines- maneira diversa, do mesmo modo. Uma linguagem
sencial. simblica, portanto, que obedea gramtica lgica
3.318 Concebo a proposio do mesmo modo que sintase lgica.
Frege e Russell como funo das expresses que (A ideografia de Frege, ou a de Russell, constitui
nela esto contidas. uma tal linguagem que, no entanto, no elimina
todos os erros.)
3.32 O signo o que no smbolo sensivelmente
perceptvel. 3.326 Para reconhecer o smbolo no signo deve-se
atentar para seu uso significativo.
3.321 Dois smbolos diferentes podem ter, pois, em 3.327 O signo determina uma forma lgica ~ente
comum o mesmo signo (escrito ou sonoro, etc.) junto de sua utilizao lgico-sinttica.
designam dsse modo de diferentes maneiras.
3.328 Se um signo no tem serventia, ento le des-
3.322 A marca caracterstica comum a dois objetos provido de denotao. ste o sentido do lema de
nunca pode indicar que os designamos com o mesmo Occam.
signo, embora com diferentes modos de,designao; (Se tudo se passa como se um signo tivesse
porquanto o signo, sem dvida, arbitrrio. Pode- denotao, ento le a ter.)
ramos, portanto, escolher dois signos diferentes, e
onde permaneceria o que comum na designao ? 3.33 Na sintaxe lgica a denotao de um signo no
h de desempenhar papel algum, a sintaxe deve
3.323 Na linguagem Corrente amide acontece que a elaborar-se sem que surja a preocupao com a deno-
mesma palavra designa de modos diferentes per- tao, devendo pressupor apenas a descrio das
tencendo pois, a smbolos diferentes ou ainda expresses.
duas palavras,
' que designam de modos diferentes,
so empregadas na proposio superficialmente da 3.331 Feita esta observao, consideremos a Theory
mesma maneira. of types de Russell: o rro dste se revela quando,

67
66
ao elaborar as regras dos signos, teve de apelar para 3.342 H com efeito em nossa notao algo arbitrrio,
a denotao asses signos. mas o seguinte no o : se determinarmos algo arbi-
3.332 trariamente, ento algo a mais deve ocorrer. (Isto
Nenhuma proposio pode assertar algo sbre
si mesma, pois o signo proposicional no pode estar depende da essncia da notao.)
contido em si mesmo (a est tda a Theory of types). 3.3421 Um modo particular de designao pode ser
desimportante, mas sempre importante que seja
3.333 Uma funo por isso no pode ser seu prprio um modo possvel de designao. Esta a situao
argumento, pois o signo da funo j contm a na filosofia em geral: o singular se manifesta repeti-
protofigurao de seu argumento, e no contm a damente como desimportante, mas a possibilidade
si prpria. de cada singular nos d um esclarecimento sbre a
Tomemos, por exemplo, a funo F(fx) podendo essncia do mundo.
ser seu prprio argumento; haveria ento uma pro- 3.343 Definies so regras para a traduo de uma
posio "F(F(fx))", em que a funo externa F e.
a interna F teriam denotaes diferentes; a interna linguagem a outra. Cada linguagem simblica correta
tendo como forma yo(fx), a externa, 4,(T,(fx)). Ambas deve deixar-se traduzir numa outra segundo tais
as funes tm em comum apenas a letra "F" que regras: isto tudo o que elas tm em comum.
nada designa. 3.344 O que designa no smbolo o que comum a
Isto se torna claro logo que, em vez de "F(F(u))", todos os smbolos pelos quais o primeiro pode ser
escrevemos "(3o) : F(g)u) . u = Fu". substitudo de acrdo com as regras da sintaxe
lgica.
Isto liquida o paradoxo de Russell.
3.3441 possvel, por exemplo, exprimir do seguinte
3.334 As regras da sintaxe lgica devem ser enten- modo o que comum a tdas as notaes para as
didas de per si, desde que se saiba apenas como funes de verdade: -lhes comum, por exemplo,
cada signo designa. poderem ser substitudas pela notao "-
'p" ("no p")
3.34 A proposio possui traos essenciais e aciden- e "p v q" ("p ou g").
tais. (Com isso se indica a maneira pela qual uma
Acidentais so os traos que derivam da ma- notao especialmente possvel nos pode dar escla-
neira particular de produzir o signo proposicional; recimentos gerais.)
essenciais, aqules que szinhos tornam a proposio 3.3442 O signo do complexo no se divide pela anlise
capaz de exprimir seu sentido. arbitrariamente, de modo que sua diviso fsse dife-
3.341 pois essencial na proposio o que comum rente em cada construo proposicional.
a tdas as proposies que podem exprimir o mesmo 3.4 A proposio determina um lugar no espao
sentido. lgico. A existncia dsse espao lgico assegu-
E do mesmo modo em geral essencial no rada apenas pela existncia das partes constitutivas,
smbolo o que comum a todos os smbolos que pela existncia das proposies significativas.
podem preencher o mesmo fim. 3.41 O signo proposicional e as coordenadas lgicas:
3.3411 Seria ento possvel dizer: o nome autntico isto o lugar lgico.
aquilo que todos os smbolos que designam o objeto 3.411 O lugar geomtrico e o lgico concordam em
tm em comum. Da resultaria paulatinamente que que ambos consistem na possibilidade de uma exis-
nenhuma composio essencial para o nome. tncia.

68 69
3.42 Se bem que a proposio deva determinar apenas 4.0031 Tda filosofia "crtica da linguagem". (Por
um lugar do espao lgico, o espao lgico inteiro certo, no no sentido de Mauthner). O mrito de
j deve ser dado por ela. Russell ter mostrado que a forma aparentemente
(Em caso contrrio, novos elementos em lgica da proposio no deve ser sua forma real.
coordenao sempre se introduziriam por meio
da negao, da soma lgica, do produto lgico, etc.) 4.01 A proposio figurao da realidade.
(O andaime lgico em volta da, figurao deter- A proposio modlo da realidade tal como a
mina o espao lgico. A proposio apanha o espao pensamos.
lgico inteiro.) 4.011 primeira vista, a proposio em particular
3.5 O signo proposicional empregado e pensado tal como est impressa no papel no parece ser
o pensamento. figurao da realidade de que trata. Mas tampouco
a escrita musical parece primeira vista ser figu-
4 O pensamento a proposio significativa. rao 'da msica, e nossa escrita fontica (letras),
4.001 A totalidade das proposies a linguagem. figurao da linguagem falada.
4.002 O homem possui a capacidade de construir No entanto, essas linguagens simblicas se mani-
linguagens nas quais cada sentido se deixa exprimir, festam, tambm no sentido comum, como figuraes
sem contudo pressentir como e o que cada palavra do que representam.
denota. Assim se fala sem saber como os sons 4.012 bvio que percebemos como figurao uma
singulares so produzidos. proposio da forma "aRb". Aqui o signo bvia-
A linguagem corrente forma parte do organismo mente um smile do designado.
humano e no menos complicada do que le.
humanamente impossvel de imediato apre- 4.013 E quando entramos no que essencial dessa
ender dela a lgica da linguagem. figuratividade vemos que ela no perturbada por
A linguagem veda o pensamento; do mesmo aparentes irregularidades (como o emprgo de # e
'de I, na escrita musical).
modo, no possvel concluir, da forma exterior da
veste, a forma do pensamento vestido por ela, por- Porquanto tambm essas irregularidades afigu-
quanto a forma exterior da veste no foi feita com ram o que devem expressar, apenas de outra maneira.
o intuito de deixar conhecer a forma do corpo. 4.014 O disco da vitrola, o pensamento e a escrita
Os acrdos silenciosos para entender a linguagem musicais, as ondas sonoras esto uns em relao aos
corrente so enormemente complicados. outros no mesmo relacionamento existente entre a
4.003 A maioria das proposies e questes escritas linguagem e o mundo.
sbre temas filosficos no so falsas mas absurdas. A todos comum a construo lgica.
Por isso no podemos em geral responder a questes (Como na estria dos dois jovens, seus dois
dessa espcie, apenas estabelecer seu carter absurdo. cavalos e seus lrios. Num certo sentido, todos so
A maioria das questes e das proposies dos fil- um.)
sofos se apiam, pois, no nosso desentendimento da 4.0141 Que exista uma regra geral por meio da qual
lgica da linguagem. o msico possa apreender a sinfonia a partir da
(So questes da seguinte espcie: o bem partitura, regra por meio da qual se possa derivar
mais ou menos idntico do que a beleza ?) a sinfonia das linhas do disco e ainda, segundo a
No , pois, de admirar que os mais profundos primeira regra, de nvo derivar a partitura; nisto
problemas no constituam prpriamente problemas. consiste prpriamente a semelhana interna dessas
70 71
figuras aparentemente to diversas. E essa regra ( possvel, pois, compreend-la sem saber se
a lei de projeo que projeta a sinfonia na lin- verdadeira.)
guagem musical. a regra da traduo da linguagem Ela ser compreendida, caso se compreenda
musical para a linguagem do disco. suas partes constituintes.
4.015 A possibilidade de todos sses smiles, a figu- 4.025 A traduo de uma linguagem para outra no se
ratividade inteira de nosso modo de expresso, se d como se se traduzisse cada proposio de uma
apia na lgica da afigurao. numa proposio da outra, mas ~ente as partes
4.016 Para compreender a essncia da proposio, da proposio so traduzidas.
convm pensar na escrita hieroglfica que afigura (E o dicionrio no traduz apenas substantivos,
os fatos que descreve. mas ainda verbos, adjetivos, conectivos, etc.; e
E dela provm o alfabeto sem perder o que trata-os todos de modo igual.)
essencial na afigurao. 4.026 As denotaes dos signos simples (das palavras)
nos devem ser explicadas para que as compreendamos.
4.02 Isto se v ao entendermos o sentido do signo Com as proposies, no entanto, compreendemo-
proposicional sem que le nos tenha sido explicado. nos a ns mesmos.
4.021 A proposio figurao da realidade; pois 4.027 Est na essncia da proposio poder comunicar-
conheo a situao representada por ela quando nos um nvo sentido.
entendo a proposio. E entendo a proposio sem
que o sentido me seja explicado. 4.03 Uma proposio deve comunicar nvo sentido
com velhas expresses.
4.022 A proposio mostra seu sentido. A proposio nos comunica uma situao, de
A proposio mostra, se fr verdadeira, como sorte que deve estar essencialmente vinculada a ela.
algo est. E diz que isto est assim. E a vinculao consiste precisamente em que
4.023 Por meio da proposio a realidade deve ser ela sua figurao lgica.
fixada enquanto sim ou enquanto no. A proposio s asserta algo enquanto figu-
Por isso deve ser completamente descrita por rao.
ela. 4.031 Uma situao justaposta proposio, por
A proposio a descrio de um estado de assim dizer, por tentativas.
coisas. possvel dizer diretamente: esta proposio
Assim como a descrio de um objeto se d representa esta ou aquela situao, em vez de esta
segundo suas propriedades externas, a proposio proposio tem ste ou aqule sentido.
descreve a realidade segundo suas propriedades 4.0311 Um nome presenta uma coisa, outro, outra
internas. coisa, e esto ligados entre si de tal modo que o
A: proposio constri o mundo com a ajuda todo como quadro vivo (ein lebendes Bild)
de andaimes lgicos, e por isso possvel, na propo- presntaodci.
sio, tambm se ver, caso ela fr verdadeira, como
tudo que lgico est. Pode-se de uma proposio . 4.0312 A possibilidade da proposio se estriba no prin-
falsa tirar concluses. cpio da substituio dos objetos por meio de signos.
Meu pensamento basilar que as "constantes
4.024 Compreender uma proposio saber o que lgicas" nada 'substituem; que a lgica dos fatos
ocorre, caso ela fr verdadeira. no se deixa substituir.
72 73
4.032 A proposio urna figurao da situao nica- 4.061 Se no se observar que uma proposio possui
mente enquanto fr lgicamente articulada. sentido independente dos fatos, ento fcilmente se
(Tambm a proposio Ambulo composta, pois acredita que o verdadeiro e o falso so relaes
sua raiz com outra desinncia nos d outro sentido, eqiponderantes entre signos e designado.
o mesmo acontecendo se esta desinncia estiver com Seria ento possvel dizer, por exemplo, que "p"
outra raiz.) designa segundo a modalidade do verdadeiro 'o que
'p", segundo a modalidade do falso, etc.
"-
. 4.04 Tanto se distinguir na proposio quanto na
situao que ela representa. 4.062 No seria possvel fazer-se entender com propo-
Ambos devem possuir a mesma multiplicidade sies falsas assim como se fz at agora com verda-
lgica (matemtica). (Cf. a mecnica de Hertz a deiras; desde que se soubesse que so mentadas
propsito dos modelos dinmicos.) falsamente ? No! Porquanto uma proposio
verdadeira se a situao tal como dizemos por
4.041 Esta multiplicidade matemtica no pode natu- seu intermdio, e se com "p" mentssemos
ralmente ser de nvo afigurada. Ao afigurar no e se a situao fsse tal como a mentamos, ento
possvel colocar-se fora dela. "p" no seria falso na nova concepo mas verda-
deiro.
4.0411 Se quisssemos, por exemplo, exprimir o que
expresso por "(x) fx" apondo um ndice junto a 4.0621 importante, porm, que os signos "p" e "-'p"
"fx", a saber: "Univ. fx", isto no bastaria no possam dizer a mesma coisa, pois isto mostra que.
saberamos o que foi universalizado. Se quisssemos o signo a nada corresponde na realidade.
indic-lo por um ndice "a" tal como "Azar, A negao aparecer numa proposio no
isto tambm no bastaria no conheceramos o marca caracterstica de seu sentido = p).
escopo da designao da universalidade. As proposies "p" e "-p" tm sentido oposto,
Se quisssemos tentar graas introduo de mas a elas corresponde uma e a mesma realidade.
uma marca no lugar do argumento por exemplo:
"(A, A) . F(A, A)" , isto tambm no bastaria, 4.063 Afiguremo-nos um exemplo para esclarecer o
pois no poderamos fixar a identidade das vari- conceito de verdade: dada uma mancha preta num
veis. E assim por diante. papel branco; pode-se descrever a forma' da mancha
indicando para cada ponto dela se branco ou prto.
Todos sses modos de designao no bastam, Ao fato de que um ponto seja prto corresponde
porquanto no possuem a necessria multiplicidade um fato positivo; de que um ponto seja branco
matemtica. (no-prto) corresponde um fato negativo. Se designo
4.0412 Pelo mesmo motivo no basta a explicao um ponto da superfcie (um valor de verdade, segundo
idealista da viso das relaes espaciais por meia, Frege), ento isto corresponde assuno estabele-
de "culos espaciais", j que stes no podem explicar cida pelo julgamento, etc., etc.
a multiplicidade que essas relaes possuem. Para poder dizer que um ponto prto ou
branco antes devo saber quando lhe chamo de branco
4.05 Compara-se a realidade com a proposio. e quando de prto para poder dizer "p" verda-
4.06 Smente por isso a proposio pode ser verda- deiro (ou falso) devo ter determinado em que condi-
deira ou falsa, quando ela uma figurao da reali- es chamo "p" verdadeiro e, dsse modo, deter-
dade. mino o sentido da proposio.

74 75
smile falha apenas no ponto seguinte: pode- A filosofia deve tomar os pensamentos que, por
mos indicar um ponto do papel sem saber o que assim dizer, so vagos e obscuros e torn-los claros
seja branco e o que seja prto; uma proposio e bem delimitados.
sem sentido, porm, no corresponde a nada, pois 4.1121 A psicologia no mais aparentada h, filosofia
no designa coisa alguma (valor de verdade) cujas do que qualquer outra cincia natural.
propriedades fssem chamadas "falsas" ou "verda- A teoria do-conhecimento a filosofia da psico-
deiras" o verbo de uma proposio no " logia.
verdadeiro" ou " falso", como acreditava Frege, No corresponde meu estudo sbre a linguagem
mas o verbo j deve conter o que " verdadeiro". simblica ao estudo dos processos do pensamento,
4.064 Cada proposio jd deve possuir um sentido; os quais os filsofos consideram to essencial para
a afirmao no lho pode dar pois afirma precisa- a filosofia da lgica ? Eles apenas se confundem na
mente o sentido. E o mesmo vale para a negao, etc. maior parte com investigaes psicolgicas inessen-
4.0641 possvel dizer: a negao j se reporta ao ciais, existindo um perigo anlogo para meu mtodo.
lugar lgico determinado pela proposio negada. 4.1122 A teoria de Darwin no tem mais a ver com
A proposio negadora determina outro lugar a filosofia do que qualquer outra hiptese das cincias
lgico do que a negada. naturais.
A proposio negadora determina um lugar lgico 4.113 A filosofia delimita o domnio contestvel das
com a ajuda do lugar lgico da proposio negada, cincias naturais.
quando descreve aqule permanecendo fora dste. 4.114 Deve delimitar o pensvel e com isso o impen-
Poder negar de nvo a proposio negada mostra svel.
que o que negado j uma proposio, no sendo Deve demarcar o impensvel do interior por
a mera preparao de uma proposio. meio do pensvel.
4.1 A proposio representa a subsistncia e a 4.115 Denotar o indizvel, representando claramente
no-subsistncia dos estados de coisas. o dizvel.
4.11 A totalidade das proposies verdadeiras tda 4.116 Tudo em geral o que pode ser pensado o pode
a cincia da natureza (ou a totalidade das cincias claramente. Tudo o que se deixa exprimir, deixa-
naturais). se claramente.
4.111 A filosofia no cincia da natureza. 4.12 A proposio pode representar a realidade in-
(A palavra "filosofia" deve denotar alguma coisa teira, no pode, porm, representar o que ela deve
que se coloca acima ou abaixo mas no ao lado das ter em comum com a realidade para poder repre-
cincias naturais.) sent-la a forma lgica.
4.112 A finalidade da filosofia o esclarecimento Para podermos representar a forma lgica seria
lgico dos pensamentos. preciso nos colocar, com a proposio, fora da lgica;
A filosofia no teoria mas atividade. a saber, fora do mundo.
Uma obra filosfica consiste essencialmente em 4.121 A proposio no pode representar a forma
comentrios. lgica, esta espelha-se naquela.
A filosofia no resulta em "proposies filos- No possvel representar o que se espelha
ficas" mas em tornar claras as proposies. na linguagem.

76 77
O que .ge exprime na linguagem no podemos (Esta cr azul e aquela esto na relao interna
expressar por meio dela. de mais claro. e eo ipso mais escuro. impensvel
stes dois objetos no estarem nesta relao.)
A proposio mostra a forma lgica da reali-
dade. (Ao emprgo impreciso das palavras "proprie-
dade" e "relao" corresponde aqui o emprgo
Ela a exibe. impreciso da palavra "objeto".)
4.1211 Dsse modo, a proposio "fa" mostra que o 4.124 A subsistncia de uma propriedade interna de
objeto a aparece em seu sentido, duas proposies uma situao possvel no se expressa por uma
"fa" e "ga" que em ambas se trata do mesmo objeto. proposio mas, na proposio que a representa, por
Se duas proposies se contradizem, isto mos- uma propriedade interna desta proposio.
trado por sua estrutura; do mesmo modo, quando
uma se segue da outra. E assim por diante. Seria, pois, absurdo tanto imputar como no
imputar proposio uma propriedade formal.
4.1212 O que pode ser mostrado no pode ser dito. 4.1241 No se podem distinguir as formas umas das
4.1213 Agora compreendemos nosso sentimento de que outras dizendo que uma tem esta propriedade e
estamos de posse de uma concepo lgica correta aquela, outra, pois isto pressupe que teria sentido
~ente quando tudo esteja conforme em nossa lin- assertar ambas propriedades de ambas as formas.
guagem simblica. 4.125 A subsistncia de uma relao interna entre
4.122 Podemos em certo sentido falar de proprie- situaes possveis exprime-se linglsticamente por
dades formais de objetos e estados de coisas, em meio de uma relao interna entre as proposies
particular de propriedades da estrutura dos fatos, e que as representam.
no mesmo sentido de relaes formais e de relaes 4.1251 Isto liquida a disputa "se tdas as relaes so
de estruturas. internas ou externas".
(Em lugar de propriedade da estrutura falo 4.1252 s sries ordenadas por relaes internas chamo
tambm de "propriedade interna"; em lugar de de sries formais.
relao de estruturas, "relao interna".
A srie dos nmeros no se ordena segundo
Introduzo essas expresses para mostrar o funda- uma relao externa, mas segundo uma relao
mento da confuso, muito difundida no meio dos interna.
filsofos, entre relaes internas e relaes prpria-
mente ditas (externas).) Da mesma maneira, a srie de proposies
"aRb",
A subsistncia de tais propriedades e de tais
relaes internas no pode ser, todavia, afirmada "(3x) : aRx . xRb",
por proposies, mas se mostra nas proposies que, "(3x, y) : aRx . xRy . yRb", e assim por diante.
apresentam os estados de coisas e os objetos em (Estando b numa dessas relaes com a, chamo-
questo. lhe de sucessor de a.)
4.1221 A uma propriedade interna de um fato podemos 4.126 No mesmo sentido em que falamos de proprie-
ainda chamar de trao dsse fato. (No sentido em dades formais, podemos tambm nos referir a con-
que falamos, por exemplo, de traos faciais.) ceitos formais.
4.123 Uma propriedade interna quando fr impen- (Introduzo essa expresso com o intuito de
svel que seu objeto no a possua. deslindar a confuso dos conceitos formais com os

78 79
conceitos autnticos, que perpassa tda a velha No se pode dizer, por exemplo, "H objetos"
lgica.) como se diz "H livros". Nem tampouco "H 100
No possvel exprimir por uma proposio que objetos" ou "H X0 objetos".
algo caia sob um conceito formal como um objeto E absurdo falar do nmero de todos os objetos.
Me. Isto se mostra, porm, no signo dsse prprio O mesmo vale para as palavras "complexo",
objeto. (O nome mostra que designa um objeto, "fato", "funo", "nmero", etc.
os signos numricos, que designam um nmero, etc.) Tdas designam conceitos formais e so repre-
Os conceitos formais no podem, pois, como sentadas na ideografia por variveis e no por fun-
os conceitos prpriamente ditos, ser representados es ou classes. (Como Frege e Russell acreditavam.)
por uma funo. Expresses como "1 um nmero", "H apenas
Porquanto suas marcas caractersticas, as pro- um zero" e tdas as outras semelhantes so absurdas.
priedades formais, no se representam por funes. (, pois, absurdo dizer "H apenas um 1", tanto
A expresso da propriedade formal um trao quanto seria absurdo dizer: 2 -I- 2 s 3 Lhoras
de certos smbolos. igual a 4.)
O signo das marcas caractersticas de um con- 4.12721 O conceito formal j est dado com um objeto
ceito formal um trao prprio a todos os smbolos, que cai sob le. No se pode, portanto, introduzir
cujas denotaes caem sob o conceito. como conceitos fundamentais objetos de um con-
A expresso do conceito formal uma varivel ceito formal e ainda o prprio conceito formal. No
proposicional, em que apenas ste trao prprio se pode, por exemplo, introduzir o conceito de fun-
constante. o e ainda funes especiais (como Russell) na
4.127 A varivel proposicional designa o conceito for- qualidade de conceitos fundamentais; ou tambm
mal, e seus valres, os objetos que caem sob sse o conceito de nmero e nmeros determinados.
conceito. 4.1273 Se quisermos exprimir, na ideografia, a propo-
4.1271 Cada varivel signo de um conceito formal. sio universal: "b sucessor de a", precisamos de
Porquanto cada varivel representa uma forma uma expresso para o trmo geral da srie formal:
constante que todos os seus valres possuem, e que aRb ; (3x) : aRx . xRb ; (3x, y) : aRx . xRy . yRb, .. .
S possvel exprimir o trmo universal de uma
pode ser concebida como a propriedade formal dsses srie formal por meio de uma varivel, pois o con-
valres. ceito: membro de uma srie formal, um conceito
4.1272 De sorte que a varivel nome "x" o signo formal. (A isso desatentaram Frege e Russell; a
apropriado ao pseudoconceito objeto. maneira pela qual pretendem exprimir proposies
Sempre que a palavra "objeto" ("coisa", etc.)-, universais, como a mencionada, por isso falsa,
fr corretamente empregada, ser expressa na ideo- contendo um circulus vitiosus.)
grafia pela varivel nome. Podemos determinar o trmo universal da srie
Por exemplo, na proposio "H dois objetos formal dando seu primeiro trmo e a forma geral
que ...", por "(3x, y) ..." da operao que gera o trmo seguinte a partir da
Sempre, contudo, que fr empregada de outra proposio precedente.
maneira, a saber, como palavra de um conceito 4.1274 absurda a pergunta pela existncia de um
prpriamente dito, nascem pseudoproposies absur- conceito formal, pois no h proposio que possa
das. respond-la.

80 8.1
(No possvel, por exemplo, perguntar: "H "a = b" equivale pois a: o signo "a" substi-
proposies sujeito-predicado inanalisveis ?") tuvel pelo signo "b".
4.128 As formas lgicas so anumricas. (Se introduzo por meio de uma equao um
De sorte que no h na lgica nmeros exce- 'Avo signo "b", determinando que deve substituir
lentes, no havendo monismo ou dualismo filos- um signo "a" j conhecido, ento escrevo a equao
ficos, etc. definio (como Russell) na forma "a = b Def.".
A definio uma regra a propsito de signos.)
4.2 O sentido de uma proposio sua concordncia
ou sua discordncia com a possibilidade da subsis- 4.242 Expresses de forma "a = b" so, pois, recursos
tncia ou no-subsistncia de estados de coisas. de representao; nada dizem a respeito da deno-
4.21 A proposio mais simples, a proposio ele- tao dos signos "a", "b".
mentar, afirma a subsistncia de um estado de 4.243 Podemos compreender dois nomes sem saber se
coisas. designam a mesma coisa ou duas coisas diferentes ?
4.211 um signo da proposio elementar que ne- Podemos compreender uma proposio em que
nhuma outra possa estar em contradio com ela. dois nomes aparecem sem saber se denotam o mesmo
4.22 A proposio elementar constituda de nomes. ou o diverso ?
uma conexo, um encadeamento de nomes. Conhecendo a denotao de uma palavra inglsa
4.221 bvio que, graas anlise da proposio, e de outra alem de mesma denotao, no me
devemos chegar a proposies elementares que con- possvel ignorar que ambas possuem a mesma deno-
sistam de nomes numa vinculao imediata. tao, no me possvel no traduzi-las uma pela
Pergunta-se aqui como se d o vnculo proposi- outra.
cional. Expresses como "a = a" ou destas derivadas
4.2211 Ainda que o mundo fsse infinitamente com- no so nem proposies elementares nem signos
plexo, de modo que cada fato fsse constitudo por significativos. (Isto ser mostrado mais tarde.)
muitos estados de coisas ao infinito e cada estado 4.25 Se a proposio elementar fr verdadeira, o
de coisas composto por muitos objetos ao infinito,
mesmo assim deveria haver objetos e estados de estado de coisas subsiste; se fr falsa, o estado de
coisas. coisas no subsiste.
4.23 O nome s aparece na proposio em conexo 4.26 A indicao de tdas as proposies elementares
com proposies elementares. verdadeiras descreve o mundo completamente. O
4.24 Os nomes so os smbolos mais simples, indico- mundo completamente descrito pela indicao de
os por letras singulares ("x", "y", "z"). tdas as proposies elementares mais a indicao
Escrevo as proposies elementares como fun- de quais so as verdadeiras e quais as falsas.
o dos nomes, com a seguinte forma: "fx", "fp(x, y)",
etc. 4.27 A respeito da subsistncia e da no-subsistncia
Ou indico-as por 'meio das letras p, q, r. de n estados de coisas d-se
4.241 Se emprego dois signos numa nica e mesma
denotao, isto vem expresso quando introduzo entre K. = E ) possibilidades.
voo
ambos o signo "=".

82 83
possvel tdas as combinaes de estados de o. A compreenso das proposies universais, com
coisas subsistirem e outras no subsistirem. efeito, depende palpdvelmente da das proposies
elementares.
4.28 A essas combinaes correspondem assim muitas
possibilidades de verdade e falsidade de n 4.42 No que respeita concordncia ou discor-
proposies elementares. dncia de uma proposio com as possibilidades de
verdade de n proposies .elementares h
4.3 As possibilidades de verdade das proposies
elementares denotam as possibilidades da subsis- icn (K
tncia e da no-subsistncia de estados de coisas. E = L possibilidades
K:)
4.31 Podemos representar as possibilidades de ver-
dade do seguinte modo ("V" denota "verdadeiro", 4.43 A concordncia com as possibilidades de ver-
"F" denota "falso". As sries de "V" e "F" sob a dade podemos exprimi-la apondo-lhe no esquema a
srie das proposies elementares denotam suas possi- insgnia "V" (verdadeiro).
bilidades de verdade num simbolismo fcilmente A falta dessa insgnia denota a discordncia.
compreensvel): 4.431 A expresso da concordncia e da discordncia
P 4 r p
com as possibilidades de verdade das proposies
elementares exprime as condies de verdade da
V V V V V V . proposio.
F V V F V , A proposio expresso de suas condies de
verdade.
V F V V F (Por isso Frege agiu corretamente ao tom-las
V V F , F F desde logo como explicao dos signos de sua ideo-
grafia. Smente a explicao do conceito de ver-
F F V dade em Frege falsa: f ssem realmente "o verda-
V F
deiro" e "o falso" os objetos e os argumentos em
etc., ento, segundo a determinao de Frege,
V F F o sentido de "- 'p" no estaria determinado de
modo algum.)
F F F
4.44 O signo que surge por meio da aposio dessa
insgnia "V" s possibilidades de verdade um
4.4 A proposio a expresso da concordncia e signo proposicional.
da discordncia com as possibilidades de verdade-
das proposies elementares. 4.441 claro que nenhum objeto (ou complexo de
objetos) corresponde ao complexo de signos "F" ou
4.41 As possibilidades d verdade das proposies "V"; tampouco como s linhas horizontais ou
elementares so as condiOes da verdade e falsidade verticais ou aos parnteses. No h "objetos
das proposies. lgicos".
4.411 de antemo provvel que a introduo de Algo anlogo vale naturalmente para todos os
proposies elementares seja fundamental para a signos que exprimem a mesma coisa que os esquemas
compreenso de todos os outros modos de proposi- de "V" e "F".

84 85
4.442 Por exemplo: No primeiro caso chamamos proposio de
tautologia, no segundo, contradio.
V V V 4.461 A proposio mostra o que diz, a tautologia e
F V V a contradio que no dizem nada.
V F
F F V" A tautologia no possui condies de verdade
pois verdadeira sob qualquer condio; a contra-
um signo proposicional. dio sob nenhuma condio verdadeira.
(O "trao de juzo" "1", introduzido por Frege, A tautologia e a contradio so vazias de
do ponto de vista lgico carece inteiramente de sentido.
denotao; indica em Frege (e Russell) que tais (Como o ponto de onde duas flechas partem
autores tomam como verdadeiras as proposies assim em direes opostas.)
designadas. "1" pertence to pouco construo (Nada sei, por exemplo, a respeito do tempo
da proposio como, por exemplo, a numerao `das se sei que chove ou no chove.)
proposies. Uma proposio no pode, de forma
alguma, assertar de si mesma que verdadeira.) 4.4611 A tautologia e a contradio no so, porm,
absurdas; pertencem ao simbolismo do mesmo modo
Se as sries de possibilidades de verdade forem que "O" pertence ao simbolismo da aritmtica.
fixadas de vez no esquema, por meio de uma regra
de combinao, a ltima coluna por si s j exprime 4.462 A tautologia e a contradio no so figuraes
as condies de verdade. Ao escrevermos esta coluna da realidade. No representam nenhuma situao
como srie, o signo proposicional ser o seguinte: possvel, porquanto aquela permite tdas as situa-
("VVV) (p, q)", ou de modo mais ntido "(V V FV ) es possveis, esta, nenhuma.
(p , g)". Na tautologia as condies de concordncia com
(O nmero de posies no interior dos parn- o mundo as relaes representativas cance-
teses da esquerda est determinado pelo nmero de lam-se umas s outras, pois no se pem em relao
trmos dos da direita) representativa com a realidade.
4.45 Para n proposies elementares h L grupos 4.463 As condies de verdade determinam- o campo
possveis de condies de verdade. aberto aos fatos pela proposio.
Os grupos de condies de verdade que perten- (A proposio, a figurao, o modlo so, num
cem s possibilidades de verdade de um nmero sentido negativo, como um corpo slido que 'limita
de proposies elementares ordenam-se numa srie. a liberdade de movimento de outro; no sentido
4.46 Entre os grupos possveis de condies de ver- positivo, como um espao limitado por uma subs-
dade h dois casos extremos. tncia slida onde um corpo pode ter lugar.)
No primeiro caso a proposio verdadeira A tautologia deixa inteiramente realidade o
para tdas as condies de verdade das proposies espao lgico infinito ; a contradio preenche
elementares. Dizemos ento que as condies de o espao lgico inteiro, no deixando realidade
verdade so tautolgicas. ponto algum. Nenhuma delas pode, por conse-
No segundo caso a proposio falsa para guinte, determinar a realidade de um modo qualquer.
tdas as condies de verdade: as condies de 4.464 certa a verdade da tautologia, da proposio
verdade so contraditrias. possvel e da contradio impossvel.

86 87
(Certo, possvel, impossvel: temos aqui a indi- 4.51 Supondo que tdas as proposies elementares
cao da gradao que precisamos para a teoria me sejam dadas, surge a pergunta: quais so as
da probabilidade.) proposies que posso formar a partir delas ? E
O produto lgico de uma tautologia e de uma estas so tdas as proposies e assim elas so limi-
proposio diz o mesmo que a proposio. O pro- tadas.
duto , pois, idntico proposio, porquanto no 4.52 As proposies so tudo o que se segue da tota-
se pode alterar o essencial do smbolo sem alterar lidade das proposies elementares (sem dvida por-
seu sentido. que se parte da totalidade de tidas elas). (Num certo
4.466 A uma determinada unio lgica de signos sentido possvel dizer que tdas as proposies
corresponde uma determinada unio da denotao so generalizaes das proposies elementares.)
dles; cada unio arbitrdria corresponde apenas a
signos desunidos. 4.53 A forma geral da proposio uma varivel.
Isto quer dizer que proposies, verdadeiras 5 A proposio uma funo de verdade das
para qualquer situao, no podem ser em geral proposies elementares.
unies de signos, pois, caso contrrio, apenas deter-
minadas unies de objetas poderiam a elas corres- (A proposio elementar uma funo de ver-
ponder. dade de si mesma.)
(E a nenhuma unio lgica corresponde ne- 5.01 As proposies elementares so os argumentos
nhuma unio de objetos.) de verdade da proposio.
Tautologia e contradio so casos-limites da
unio de signos, a saber, sua dissoluo. 5.02 fcil confundir argumentos de uma funo
4.4661 Por certo na tautologia e na contradio os com ndices de nomes. Conheo em particular a
signos ainda esto ligados uns aos outros, isto , denotao de um signo que a contm tanto pelo
relacionam-se entre si, mas estas relaes so despro- argumento como pelo. ndice.
vidas de denotao, so inessenciais para o smbolo. No sinal de Russell " c", por exemplo, "a"
4.5 Agora parece possvel estabelecer a forma mais um ndice que indica valer o signo inteiro para
geral da proposio, isto , estabelecer uma descri- a soma de nmeros cardinais. Esta designao,
o das proposies numa linguagem simblica qual- porm, se apia num ajuste arbitrrio, de sorte
quer, de tal modo que cada um dos sentidos poss- que seria possvel em vez de "," escolher outro
veis poderia ser expresso por um smbolo adequado signo simples; em ",,,p", entretanto, "p" no
descrio e cada smbolo adequado descrio ndice algum, mas argumento: o sentido de "p"
poderia exprimir um sentido, se as denotaes dos no pode ser compreendido sem que antes o sentido
nomes fssem convenientemente escolhidas. de "p" o seja. (No nome Julius Caesar, "Julius"
claro que, descrevendo a forma mais geral, ndice. ste sempre parte da descrio do objeto
de uma proposio, admente o que essencial deve cujos nomes vinculamos a le. Por exemplo, o Caesar
ser descrito caso contrrio no seria a mais geral. da gente juliana.)
Prova-se a existncia de uma forma geral da A confuso entre argumento e ndice constitui,
proposio porque no deve haver proposio alguma- se no me engano, a base da teoria de Frege a res-
cuja forma no seja antes pressuposta (isto , cons- peito da denotao das proposies e das funes.
truda). A forma geral da proposio : isto est Para Frege, as proposies da lgica seriam nomes,
do seguinte modo. e seus argumentos, os ndices dsses nomes.

88 89
5.1 As funes de verdade se ordenam em sries. 5.123 Se um deus criasse um mundo em que certas pro-
ste o fundamento da teoria da probabili- posies fssem verdadeiras, criaria do mesmo modo
dade. um mundo com o qual concordariam tdas suas
proposies conseqentes. E assim similarmente no
5.101 As funes de verdade de todos os nmeros de poderia criar um mundo em que a proposio "p"
proposies elementares inscrevem-se no seguinte fsse verdadeira, sem criar todos os objetos dela.
esquema :
5.124 A proposio afirma cada proposio que dela
(V V V V) (p, q) Tautologia (Se p, ento p; e se q, ento q) (pjp qjq)
se segue.
(F V V V) (p, q) em palavras: No ambos p e q. . q))
(V F V V) (p, q) em palavras: Se q, ento p. (qjp) 5.1241 "p .q" uma das proposies que afirmam "p"
(V V F V) (p, q) em palavras: Se p, ento q. (pDq) e ao mesmo tempo uma das proposies que afir-
(V V V F) (p, q) em palavras: ,p ou q. (p v q) mam "q".
(F F V V) (p, q) em palavras: No q. (--,q) Duas proposies so opostas uma outra se
(F V F V) (p, q) em palavras: No p. (-'p) no existir qualquer proposio significativa que
(F V V F) (p, q) em palavras: p ou q mas no ambos. (p.,-,q: v afirme ambas.
(V F F V) (P, g) em palavras: Se p, ento q; e se q, ento p. (pmq) Cada proposio que contradiz a outra, nega-a.
(V F V F) (p, q) em palavras: p
(V V F F) (p, q) em palavras: q 5.13 Que a verdade de uma proposio segue-se da
(F F F V) (p, q) em palavras: Nem p nem q. ou (plq) verdade de outras vemos a partir da estrutura das
(F F V F) (p, q) em palavras: P e no q. (2)."-'4) proposies.
(F V F F) (p, q) em palavras: q e no p.
5.131 Se a verdade de uma proposio segue-se da ver-
(V F F F) (p, q) em palavras: q e p. (q . p)
dade de outras, isto se exprime nas relaes que
(F F F F) (p, q) Contradio (p e no p; e q e no q.) (p.;--p.q.,,,q)
as formas dessas proposies mantm entre si; e
A essas possibilidades de verdade de seus argu- no precisamos com efeito coloc-las primeiro na-
mentos de verdade, que confirmam as proposies, quelas relaes, unindo-as com outra proposio,
chamo de seus fundamentos de verdade. porquanto essas relaes so internas e subsistem
enquanto aquelas proposies subsistirem, e porque
5.11 Se os foildamentos de verdade comuns a um elas subsistem.
nmero de proposies, tambm forem fundamentos
de verdade de uma proposio determinada, dize- 5.1311 Se pois de p v q e de inferimos q, a relao
mos ento que a verdade dessa proposio se segue entre as formas das proposies "p v q" e ",--,p"
da verdade daquelas outras. se oculta em virtude da maneira de simbolizar.
Se em lugar de "p v q", escrevemos, por exemplo,
5.12 Em particular a verdade de uma proposio "p" "plq . I plq" e em lugar de ",,,p" "pip" (plq = nem
segue-se da de outra "q" se todos os fundamentos p nem q), logo se torna clara a conexo interna.
de verdade da segunda forem fundamentos de ver- De (x).fx pode-se inferir fa; isto mostra que
dade da primeira. a universalidade j est presente no smbolo "(x).fx"
5.121 Os fundamentos de verdade de uma esto con- 5.132 Se p segue-se de q, posso ento inferir de q, p;
tidos nos da outra; assim, p segue-se de q. deduzir p de q.
5.122 Se p segue-se de q, o sentido de "p" est con- O modo de inferncia h de ser captado apenas
tido no sentido de "q". de ambas as proposies.

90 91
&mente elas podem justificar a inferncia. A contradio desaparece, por assim dizer, por
"Regras de inferncia" que como em Frege fora, a tautologia, por dentro de tdas as proposi-
e Russell devem justificar a inferncia so vazias es.
de sentido e seriam suprfluas. A contradio o limite externo das proposi-
5.133 Tda deduo se d a priori. es, a tautologia, seu centro dessubstancializado.
5.134 De uma proposio elementar nenhuma outra 5.15 Seja V, o nmero dos fundamentos de veriade
pode ser deduzida. da proposio "r", V o nmero daqueles funda-
mentos de verdade da proposio "s" que ao mesmo
5.135 De modo algum possvel inferir da subsis- tempo so fundamentos de verdade de "r"; chama-
tncia de uma situao qualquer a subsistncia de mos ento relao: V : V,. de medida de pro-
uma situao inteiramente diferente dela. babilidade que a proposio "r" tem em relao
5.136 No h nexo causal que justifique tal inferncia. proposio "s".
5.1361 No podemos inferir os acontecimentos do futuro 5.151 Seja num esquema como o de cima, no n-
a partir daqueles do presente. mero 5.101, V, o nmero de "V" da proposio r;
V o nmero daqueles "V" na proposio s que
superstio a crena no nexo causal. esto na mesma coluna com os "V" da proposi-
5.1362 A liberdade da vontade consiste em no poder o r. A proposio r tem em relao proposio s
conhecer agora as aes futuras. S6 poderamos a probabilidade V
5.1511 conhec-las se a causalidade fsse uma necessidade No h: nenhum objeto particular prprio s
interna, como a inferncia lgica. A conexo entre proposies probabilsticas.
o conhecer e o conhecido a mesma da necessidade
lgica. 5.152 Chamamos mfituamente independentes as pro-
posies que no tm em comum com outras qual-
("A sabe que p ocorre" vazia de sentido se p
fr uma tautologia.) quer argumento de verdade.
Duas proposies elementares tm entre si a
5.1363 Sendo uma proposio bvia para ns, no se
segue que seja verdadeira; por conseguinte, a obvie- probabilidade 1
2
dade no justificativa para nossa crena em sua Se p segue-se de q, a proposio "q" tem em rela-
verdade. o proposio "p" a probabilidade 1. A certeza
5.14 Se uma proposio segue-se de outra, esta diz da inferncia lgica o caso-limite da probabili-
mais do que aquela, aquela menos do que esta. dade.
(Aplicao tautologia e contradio.)
5.141 Se p segue-se de q e q de p, ambas so pois uma
nica e mesma proposio. 5.153 Uma proposio no nem provvel nem impro-
vvel. Um acontecimento se d ou no se d, no
5.142 A tautologia segue-se de tdas as proposies: h meio-trmo.
no diz nada.
5.154 Suponhamos que numa urna estejam tantas
5.143 A contradio algo comum s proposies, e bolas brancas quantas pretas (e nenhuma a mais).
que nenhuma proposio tem em comum com outra. Tiro uma bola depois da outra e as reponho de nvo
A tautologia o que comum a tdas as proposi- na urna. Posso, ento, estabelecer pela experincia
es que no tm nada em comum entre si. que o nmero das bolas pretas tiradas e o das bolas

92 93
5.22 brancas tiradas se aproximam progressivamente um A operao a expresso de uma relao entre
do outro. as estruturas do resultado e de suas bases.
Isto no , portanto, um fato matemtico. 5.23 Operao o que deve acontecer com uma
Se disser agora: igualmente provvel que proposio a fim de gerar outra a partir dela.
tirarei uma bola branca como uma preta, isso quer
dizer: tdas as circunstncias que me so conhe- 5.231 E isso naturalmente depender de suas proprie-
cidas (incluindo as leis da natureza tomadas hipot- dades formais, da semelhana interna de suas formas.
ticamente) no conferem a um acontecimento ne- 5.232 A relao interna que ordena uma srie equivale
nhuma probabilidade a mais do que a outro. A operao que produz um trmo a partir de outro.
saber, esto como se compreende fcilmente a
partir das explicaes acima numa relao de 5.233 A operao s pode ter lugar pela primeira vez
onde uma proposio nasce de outra de modo lgica-
probabilidade de 2 mente denotativo; onde comea, portanto, a cons-
O que verifiquei pela experincia que ambos truo lgica da proposio.
os acontecimentos independem das circunstncias 5.234 As funes de verdade das proposies elemen-
das quais no tenho conhecimento mais prximo. tares resultam de operaes que tm como bases as
5.155 A unidade das proposies probabilisticas a proposies elementares. (A essa operao chamo
seguinte: as circunstncias de que, alis, no de operao-verdade.)
tenho conhecimento mais amplo conferem a um 5.2341
determinado acontecimento tal e tal grau de proba- O sentido de uma funo de verdade de p
funo do sentido de p.
bilidade.
Negao, soma lgica, multiplicao lgica, etc.,
5.156 Dsse modo, a probabilidade uma generali- etc., so operaes.
zao. (A negao inverte o sentido da proposio.)
Envolve uma descrio geral de uma forma
proposicional. 5.24 A operao mostra-se numa varivel; mostra
S na falta de certeza precisamos de proba- como de uma forma de proposies se pode chegar
bilidade. Quando no conhecemos um fato com- a outra.
pletamente, mas ao menos sabemos algo a respeito Torna expressa a diferena de formas,
de sua forma. (E o que comum s bases e ao resultado da
(Uma proposio pode, com efeito, ser uma figu- operao so precisamente essas bases.)
rao incompleta de uma certa situao, entretanto
sempre uma figurao completa.) 5.241 A operao no designa forma alguma, mas
A proposio probabilistica como se fsse um apenas a diferena de formas.
extrato de outras proposies. 5.242 A mesma operao que produz "q" de "p",
5.2 As estruturas, das proposies mantm entre si produz tambm de "q", "r" e assim por diante.
relaes internas. Isto s pode ser expresso porque "p", "q", "r", etc.,
so variveis que tornam expressas de um modo
5.21 Podemos trazer essas relaes internas para nosso geral certas relaes formais.
modo de expresso, representando uma proposio
como resultado de uma operao que a produz de 5.25 A realizao de uma operao no caracteriza
outras proposies (as bases da operao). o sentido de uma proposio.

94 95
A operao nada asserta alm de seu resultado da operao-verdade. Cada operao-verdade repro-
e isto depende das bases dessa operao. duz a partir de funes de verdade de proposies
elementares uma funo de verdade de proposies
(Operaes e funes no devem ser confundidas.) elementares, a saber, uma proposio. O resultado
5.251 Uma funo no pode ser seu prprio argu- de cada operao-verdade realizada com resultados
mento; no entanto, o resultado de uma operao de operaes-verdades sbre proposies elementares
pode muito bem ser sua prpria base. de nvo o resultado de uma operao-verdade
5.252 &alente assim possvel o progresso de um sbre proposies elementares.
trmo a outro na srie formal (de tipo a tipo na Tda proposio resulta de operaes-verdades
hierarquia de Russell e Whitehead). (Russell e sbre proposies elementares.
Whitehead no admitiram a possibilidade desse pro- 5.31 Os esquemas do n. 4.31 possuem tambm deno-
gresso mas fizeram dle uso repetido.) tao quando "p", "q", "r", etc., no so proposi-
.5.2521 aplicao progressiva de urna operao sbre es elementares.
seu prprio resultado chamo sua aplicao sucessiva. fcil verificar que o signo proposicional no
("O' O' O' a" resulta de trs aplicaes sucessivas n. 4.2 exprime uma funo de verdade de proposi-
de "O'E" sbre "a"). es elementares ainda quando "p" e "q" so fun-
Em sentido semelhante falo da aplicao suces- es de verdade de proposies elementares.
siva de muitas operaes sbre um nmero de propo- 5.32 Tdas as funes de verdade resultam da apli-
sies. cao sucessiva de um nmero finito de operaes
5.2522 O trmo geral de uma seqncia formal a, verdades sbre proposies elementares.
O' a, O' O' a, . . . escrevo por isso do seguinte modo: Aqui se evidencia que no h "objetos lgicos",
5.4
"[a, x, O'x]". Esta expresso entre colchtes uma "constantes lgicas" (no sentido de Frege e- Russell).
varivel. O primeiro trmo da expresso do colchte
o incio da srie formal, o segundo a forma de 5.41 Porquanto: todos os resultados de operaes-
um trmo qualquer x da srie e o terceiro a forma verdades sbre funes de verdade so idnticos,
daquele trmo da srie que segue imediatamente a x. so urna e a mesma funo de verdade de proposi-
5.2523 O conceito de aplicao sucessiva de operao es elementares.
equivale ao conceito "e assim por diante". 5.42 bvio que v, D, etc., no so relaes no
5.253 Urna operao pode anular o efeito de outra. sentido de direita e esquerda.
Operaes podem suprimir-se mtuamente. A possibilidade de definio cruzada dos "signos
5.254 A operao pode desaparecer (por exemplo, a primitivos" de Frege e Russell j mostra que no
negao em = p). so primitivos e que no designam relao alguma.
evidente que "D", que definimos por ".-"
5.3 Tdas as proposies resultam de operaes- e "v", idntico ao que serve para definir "v" com
verdades sbre as proposies elementares. a ajuda de e que ste "v" idntico ao pri-
A operao-verdade o modo pelo qual a funo meiro. E assim por diante.
de verdade nasce das proposies elementares.
Do mesmo modo que das proposies elemen- 5.43 Que de um fato p outros ao infinito seguir-se-o,
tares nasce sua funo de verdade, das funes de nomeadamente . etc., difcil, no
verdade nasce uma nova, de acrdo com a essncia incio, de se acreditar. E no menos extraordi-

97
96
nrio o nmero infinito de proposies da lgica de casos, em seguida para outra: permaneceria duvi-
(da matemtica) seguir:se de meia dzia de "prin- doso se sua denotao seria a mesma em ambos os
cpios". casos, no havendo motivo de utilizar para sses
Tdas as proposies da lgica dizem, porm, casos o mesmo modo de vincular os signos.
o mesmo; a saber, nada. (Em resumo, para a introduo de signos primi-
5.44 As funes de verdade no so funes mate- tivos vale, mutatis mutandis, o que Frege (nos Prin-
riais. cpios da Aritmtica) disse a propsito da introduo
J que, por exemplo, possvel gerar uma de signos por meio de definies.)
afirmao por meio da dupla negao, estar a nega- 5.452 A introduo de um nvo recurso no simbolismo
o seja qual fr o sentido includa na afirma- da lgica sempre h de ser um acontecimento pleno
o ? nega 'p ou afirma p, ou ambos ? de conseqncias. Nenhum recurso nvo h de ser
A proposio no trata a negao como introduzido na lgica entre parnteses ou mar-
um objeto; a possibilidade da negao, entretanto, gem por assim dizer, com cara inocente.
j est antecipada na afirmao. (Aparecem nos Principia Mathematica de Russell
E se houvesse um objeto chamado ento e Whitehead definies e princpios em palavras.
deveria dizer outra coisa do que "p". Por- Por que de repente palavras ? Isto demanda uma
quanto uma proposio trataria de enquanto justificao, que falta e deve faltar, pois o procedi-
a outra no. mento no de fato permitido.)
5.441 ste desaparecimento das aparentes constantes Se todavia a introduo de nvo recurso se
lgicas se d se " ,-,,(3x) . ,,,fx" diz a mesma coisa provou necessria, deve-se perguntar imediatamente:
que "(x) fx" ou "(3x) . fx . x = a", o mesmo que onde sse recurso deve ser sempre empregado ? Sua
localizao na lgica deve ser esclarecida.
5.442 Caso , uma proposio nos seja dada, com ela 5.453 Todos os nmeros da lgica devem deixar-se
do-se os resultados de tdas as operaes-verdades justificar.
que a tm como base. Ou .melhor, deve evidenciar-se que no h n-
5.45 Se houvesse signos lgicos primitivos, uma l- meros na lgica.
gica correta deveria esclarecer suas posies, rela- No h nmero excelente.
tivas umas s outras, e justificar sua existncia. 5.454 No h na lgica um lado a lado, pois no h
Deve tornar-se clara a construo da lgica a partir classificao.
de seus signos primitivos. No pode haver na lgica o mais geral ou o
5.451 Se a lgica possusse conceitos bsicos, stes mais especial.
deveriam ser independentes uns dos outros. Admi- 5.4541 A soluo dos problemas lgicos deve ser sim-
tido um conceito bsico, deveria Ne ser admitido ples, j que stes colocam o padro daJimplicidade.
em tdas as vinculaes em que em geral aparece.
No possvel, portanto, primeiramente admiti-lo Os homens sempre tiveram o pressentimento
numa conexo para em seguida admiti-lo em outra. que deveria haver um domnio de questes cujas
Por exemplo, admitida a negao, devemos entend- respostas a priori fssem simtricas e unidas
la tanto nas proposies de forma "'p", como nas a uma construo acabada e regular.
proposies tais que "(p v q)", "(3x) . ,--fx", etc. Um domnio em que vale a sentena: simplex
No podemos introduzi-la primeiro para uma classe sigillum veri.

98
5.46 Caso se introduzam corretamente os signos lgi- 5.473 A lgica deve cuidar de si mesma.
cos, ento j se introduz o sentido de tdas as suas Um signo possvel tambm deve poder designar.
combinaes; portanto, no apenas "p v q" mas tam- Tudo o que na lgica possvel tambm permi-
bm ",-,(pv,--,q)", etc., etc. J se teria introduzido, tido. ("Scrates idntico" no diz nada, pois no
pois, o efeito de tdas as combinaes meramente- h propriedade que se chame "idntico". A propo-
possveis de parnteses. E assim estaria claro sio absurda porque no encontramos uma deter-
que os signos primitivos prpriamente universais minao arbitrria, e no porque o smbolo em si
no seriam "p v q", "(3x) . fx" mas a forma mais e para si no fsse permitido.)
geral de suas combinaes. Em certo sentido, no podemos errar na lgica.
5.461 Muito denota o fato aparentemente desimpor- 5.4731 O bvio de que Russell tanto fala s pode tor-
tante de que as pseudo-relaes lgicas como v ou nar-se prescindvel porque a prpria linguagem impede
precisem de parnteses ao contrrio das rela- os erros lgicos. Que a lgica seja a priori con-
es reais. siste em que nada ilgico pode ser pensado.
A utilizao de parnteses junto a esses pseudo-
signos primitivos j indica que no so signos primi- 5.4732 No podemos dar a um signo um sentido incor-
tivos reais. E ningum acreditar porventura que reto.
os parnteses possuam denotao autnoma. 5.47321 O lema de Occam no por certo uma regra
5.4611 Os signos das operaes lgicas so pontuaes. arbitrria, ou que se justifique por seus resultados
prticos; diz apenas que unidades de signos desne-
5.47 claro que tudo o que se diz de antemo sbre cessrias nada designam.
a forma de tdas as proposies deve ser dito ao Signos que preenchem uma finalidade so lgi-
menos uma vez. camente equivalentes, os que preenchem nenhuma
Na proposio elementar j esto contidas tdas so ldgicamente desprovidos de denotao.
as operaes lgicas. Porquanto "fa" diz o mesmo 5.4733 Frege diz: cada proposio formada legitima-
que "(3x) . fx . x = a". mente deve ter um sentido; eu digo : cada propo-
Onde h composio j h argumento e funo, sio possvel legitimamente formada e, se no
e onde esto stes j esto tdas as constantes lgicas. tiver sentido, isto s possvel porque no empresta-
Poder-se-ia dizer: uma constante lgica aquilo mos denotao a algumas de suas partes consti-
que tdas as proposies, conforme sua natureza, tuintes.
possuem em comum. (Ainda que acreditemos t-lo feito.)
Isto , porm, a forma proposicional geral. Dsse modo, "Scrates idntico" no diz nada,
5.471 A forma proposicional geral a essncia da porque no emprestamos palavra "idntico" como
proposio. adjetivo denotao alguma. Quando aparece como
signo de igualdade, ela simboliza de maneira total-
5.4711 Dar a essncia da proposio quer dizer dar a mente diversa outra a relao designadora ,
essncia de t6das as descries e, por conseguinte, de sorte que o smbolo, em ambos os casos, inteira-
a essncia do mundo. mente diferente; ambos os smbolos apenas tm,
5.472 A descrio da forma proposicional mais geral por acidente, o signo em comum.
a descrio de um e um s signo primitivo universal 5.474 O nmero das operaes bsicas necessrias
da lgica. depende apenas de nossa notao.

100 101
5.475 Trata-se apenas de formar um sistema de signos 5.503 Evidentemente fcil exprimir como proposi-
com nmero determinado de dimenses com uma es podem formar-se graas a esta operao e como
multiplicidade matemtica determinada. proposies no tm de ser formadas graas a ela;
5.476 claro que no se discute aqui o nmero de e isto tambm pode encontrar uma expresso exata.
conceitos fundamentais que devem ser designados,
mas a expresso de uma regra. 5.51 Se E tiver apenas um valor, N( - = (no p),
se tiver dois valres, N(( ) = (nem p nem q).
5.5 Cada funo de verdade resulta da aplicao
sucessiva da operao ( V) , ) sbre 5.511 Como possvel a lgica, que tudo abrange e
proposies elementares. espelha o mundo, precisar de tais artifcios e mani-
Esta operao nega tdas as proposies no pulaes especiais ? Smente porque tudo isto est
interior dos parnteses da direita, e a chamo negao ligado a uma rde infinitamente fina, ao grande
dessas proposies. espelho.
5.501 Uma expresso nos parnteses cujos trmos 5.512 "'p" verdadeiro se "p" fr falso. Portanto,
sejam proposies quando indiferente a seqncia numa proposio verdadeira ",,p", "p" uma falsa
dos trmos nos parnteses indico por meio de proposio. Como lhe possvel fazer o trao "","
um signo da forma "( )" . "E" uma varivel cujos concordar com a realidade ?
valres so os trmos da expresso entre parnteses,
e o trao sbre a varivel indica que esta substitui O que negado em " 'p" no mas
nos parnteses todos os seus valres. o que comum a todos os signos dessa notao
que negam p.
(Se, por exemplo, E tem 3 valres P, Q, I?,
= ,Q,R))
Dsse modo, a regra comum pela qual se for-
Sero fixados os valres das variveis. mam ",,p", , , etc.,
etc. (ao infinito). E o que comum espelha a nega-
A fixao a descrio das proposies que a o.
varivel substitui.
inessencial como se d a descrio dos trmos 5.513 Poder-se-ia dizer: O que comum a todos os
da expresso entre parnteses. smbolos que afirmam tanto p como q a proposi-
Podemos distinguir trs maneiras de descrever: o "p .q". O que comum a todos os smbolos
1) Enumerao direta; neste caso podemos, em que afirmam p ou q, a proposio "p v q".
lugar das variveis, colocar simplesmente seus valres E assim se pode dizer: Duas proposies so
constantes. 2), Indicao de uma funo fx cujos opostas mtuamente se nada possuem em comum;
valres, para todos os valres de x, constituam as e: cada proposio tem apenas um negativo, pois
proposies a serem descritas. 3) Indicao de uma h apenas uma proposio que se situa inteiramente
lei formal segundo a qual cada proposio formada; fora dela.
neste caso os trmos da expresso entre parnteses E na prpria notao de Russell evidente
so todos os trmos de uma srie formal. que "q: p v diz a mesma coisa que "q" e que
5.502 Escrevo pois "N(W em lugar de "( "p v no diz nada.
(E , )". 5.514 Fixada uma notao, h nela uma regra pela
N( ) a negao de todos os valres da va- qual so formadas tdas as proposies negadoras
rivel proposicional de p, uma regra pela qual so formadas tdas as

192 103
proposies afirmadoras de p, uma regra pela qual
5.523 A designao da universalidade aparece como
so formadas tdas as proposies afirmadoras de p argumento.
ou q, e assim por diante. Essas regras so equiva- 5.524 Caso os objetos estejam dados, nos estaro
lentes aos smbolos e nelas espelha-se o seu sentido. dados todos os objetos.
5.515 preciso indicar que, em nossos smbolos, o Caso as proposies elementares estejam dadas,
que ligado mutuamente por "v", " . ", etc., deve j nos esto dadas tdas as proposies elementares.
ser proposies. 5.525 incorreto interpretar a proposio "(3x) fx"
E isto ocorre, pois o smbolo "p" e "q" j como Russell o faz pelas palavras: "fx
pressupem "v", etc. Se o signo "p" em "p v q" possvel".
no substituir um signo complexo, no pode possuir Certeza, possibilidade e impossibilidade de uma
sentido szinho; mas ento tambm os signos "p v p", situao no se expressam por meio de uma pro-
"p .p", que tm o mesmo sentido, que "p", no posio' mas por ser a expresso uma tautologia,
teriam sentido. Se entretanto "p v p" no tiver uma proposio significativa ou uma contradio.
sentido, ento do mesmo modo "p v q" no ter Aqule caso precedente a que sempre se h
sentido. de apelar j deve estar no prprio dmbolo.
5.5151 Deve o signo da proposio negativa ser for- 5.526 possvel descrever o mundo completamente
mado por meio do signo da positiva ? Por que no por meio de proposies perfeitamente universali-
se poderia exprimir a proposio negativa por um zadas, a saber, sem que de antemo um nome fsse
fato negativo ? (Do seguinte modo: se "a" no se coordenado a um objeto.
relacionar de modo determinado com "b", isto po- Para chegar-se ao modo de expresso habitual
deria exprimir que aRb no ocorre.) deve-se simplesmente, depois de uma expresso "h
Mas tambm aqui a proposio negativa se nm e um nico x tal que . .", dizer: e ste x a.
forma indiretamente pela positiva. 5.5261 Uma proposio perfeitamente universalizada ,
A proposio positiva deve pressupor a exis- como qualquer outra proposio, composta. (Isto
tncia da proposio negativa e vice-versa. se mostra quando, em "( 3x, <p) . ox" devemos men-
cionar separadamente ",p" e "x". Ambos se corre-
5.52 Sejam os valres de E todos os valres de lacionam independentemente com o mundo, como
uma funo fx para todos os valres de x, ento na proposio que no foi universalizada.)
N() = (3x) fx. Caracterstica de um smbolo composto : tem
5.521 Separo o conceito todo das funes de verdade. algo em comum com outro smbolo.
Frege e Russell introduziram a universalidade 5.5262 A verdade ou a falsidade de cada proposio
em ligao com o produto lgico ou a soma lgica altera em algo a construo geral do mundo. E o
e, asse modo, tornou-se difcil entender as propo- campo que se deixa para sua construo por meio
sies "( 3x) . fx" e "(x) . fx", em que ambas as da totalidade das proposies elementares precisa-
idias permanecem ocultas. mente aqule que as proposies inteiramente univer-
salizadas delimitam.
5.522 peculiar designao da universalidade: (Se uma proposio elementar fr verdadeira,
1) referir-se a uma protofigurao lgica; 2) salientar sempre haver por isso mais uma proposio ele-
as constantes. mentar verdadeira.)

104 105
5.53 Exprimo a igualdade de objetos pela igualdade 5.534 Vemos ento que pseudoproposies como:
de signos e no graas ao auxlio de um signo de "a=a", "a=b.b=c.Da=c","(x).x=x",
igualdade. E a diversidade dos objetos por meio "( 3x) . x =a", etc., no se deixam inscrever de
da diversidade de signos. modo algum numa ideografia correta.
5.5301 bvio que a identidade no uma relao entre 5.535 Desaparecem assim todos os problemas ligados
objetos. Isto se torna muito claro quando se consi- a tais pseudoproposies.
dera, por exemplo, a proposio "(x) : fx .D .x = a". Todos os problemas que encerra o axiom of
A proposio diz meramente que apenas a satisfaz infinity de Russell aqui se resolvem.
a funo f, mas no diz que ~ente as coisas que O axiom of infinity quer dizer, em trmos da
mantm uma certa relao com a satisfazem a linguagem, que existem infinitamente muitos nomes
funo f. com denotao diferente.
Poder-se-ia sem dvida dizer que ~ente a man- 5.5351 Existem certos casos em que se tentado a
tm esta relao com a, mas para exprimi-lo precisa- usar expresses da forma: "a = a", ou "p D p" e
mos do signo da igualdade. outras. E isto com efeito acontece quando se deve
5.5302 A definio dada por Russell de " =" no falar da protofigurao: proposio, coisa, etc.
suficiente, pois, segundo ela, no possvel dizer Russell, nos Principies of mathematics transps o
que dois objetos possuem em comum tdas as pro- absurdo "p uma proposio" no smbolo "p 3 p",
priedades. (Ainda que esta proposio no seja tomando-o como hiptese diante de certas proposi-
correta, possui sentido.) es a fim de que os lugares dos argumentos destas
s pudessem ser ocupados por proposies.
5.5303 Falando grosso modo: dizer de dois objetos que (J um absurdo colocar diante de uma pro-
so idnticos absurdo, e de um nico que idntico posio a hiptese p 3 p para assegurar aos argu-
consigo mesmo por certo no diz nada. mentos forma correta, porque a hiptese estabelecida
No escrevo pois "f(a, b) . a = b" mas "f(a, a) para uma no-proposio enquanto argumento no
5.531 se torna falsa mas absurda; alm do mais, a prpria
(ou "f(b, b)"). No escrevo "f(a, b)" . = b", mas
"f(a, b)".
proposio se torna absurda para argumentos de
gnero incorreto, de sorte que se conserva tanto
5.532 E anMogamente: no "(3x, y) f(x, y) . x= y", boa como m diante dos argumentos incorretos,
mas "(3x) . f(x, x)"; no "(3x, y) . f(x, y) . = y", assim como a hiptese sem sentido empregada para
mas "(3x, y) f(x, sse fim.)
(Dsse modo, em vez da frmula de Russell 5.5352 Do mesmo modo, pretendeu-se exprimir "No
"(3x, y) . f(x, y)", temos "(3x, y) . f(x, y) . v . (3x) . existe coisa alguma" por meio de "( 3x) . x = x".
f(x, x)"). Ainda, porm, que isto fsse uma proposio esta
no seria verdadeira se, com efeito, "houvesse coisas"
5.5321 Em vez de "(x) : fx J x = a" escrevemos, por que todavia no fssem idnticas consigo mesmas ?
exemplo, "(3x) . f x D . fa: (3x; y) fx fy". 5.54 Na forma geral da proposio, ,a proposio
E a proposio "smente um x satisfaz f( )" ser aparece na proposio apenas como base das opera-
"(3x) . fx : y) fx fy" es-verdades.
5.533 O signo da igualdade no , pois, parte essencial 5.541 primeira vista parece que seria possvel uma
da ideografia. proposio aparecer numa outra de outro modo.

106 107
5.55 Em particular em certas formas proposicionais t)evemos agora a priori responder pergunta
dairpsicologia tais como "A acredita que p ocorre" a respeito de tdas as formas possveis de proposi-
ou "A pensa p", etc. es elementares.
Nelas parece superficialmente que a proposi- A proposio elementar constitui-se de nomes.
o p se relaciona, de um certo modo, com um Psto que no podemos dar o nmero de nomes com
objeto A. denotao diferente, no podemos tambm dar a
(E na moderna teoria do conhecimento (Russell, composio das proposies elementares.
Moore, etc.) essas proposies so assim concebidas.) 5.551 nossa proposio bsica: cada questo que
5.542 claro porm que "A acredita que p", "A em geral se deixa decidir pela lgica, deve sem mais
pensa p", "A diz p" so da forma "p diz p". No deixar-se decidir.
se trata aqui da coordenao de um fato e um objeto, (E se chegarmos condio de precisar olhar
mas da coordenao de fatos por meio da coordena- o mundo para responder a tais problemas, isto mos-
o de seus objetos. traria que enveredamos por pistas bsicamente
5.5421 Isto mostra que a alma o sujeito, etc. falsas.)
tal como compreendida atualmente pela psicologia 5.552 A "experincia" que precisamos para compre-
superficial, um disparate. ender a lgica, no a de que algo est do seguinte
Uma alma composta no seria mais alma. modo, mas a de que algo ; esta, porm, no uma
5.5422 A explicao correta da forma da proposio experincia.
"A julga p" deve indicar ser impossvel julgar um A lgica est antes de qualquer experincia
absurdo. (A teoria de Russell no satisfaz essa de que algo assim.
condio.)
Dsse modo est antes do Como mas no antes
5.5423 Perceber um complexo quer dizer perceber que do Que.
suas partes constituintes esto em relao entre si
de um certo modo. 5.5521 E se no fsse assim como poderamos aplicar
a lgica ? Poder-se-ia dizer: se houvesse uma lgica
ainda que no houvesse um mundo, como poderia
haver uma lgica j que h um mundo ?
5.553 Russell disse que havia relaes simples entre
diversos nmeros de coisas (individuais). Mas entre
que nmeros ? E como isto h de ser decidido ?
Por meio da experincia ?
(No existe um nmero excelente.)
5.554 A indicao daquelas formas especiais seria com-
pletamente arbitrria.
Isto tambm explica por que possvel ver a
figura de duas maneiras como um cubo; e todos 5.5541 H de se revelar a priori se, por exemplo, posso
os fenmenos parecidos. Porquanto vemos realmente chegar condio de ter de designar alguma coisa
dois fatos diferentes. com um signo de uma relao de 27 trmos ?
(Primeiro vejo a partir dos vrtices a, e s 5.5542 Devemos, pois, fazer em geral tal pergunta ?
ligeiramente a partir de b; a aparece na frente; e Podemos estabelecer uma forma em signos e no
vice-versa.) saber se a ela poderia corresponder alguma coisa ?

108 109
Tem sentido a questo: O que deve ser a fim 5.5571 Se no posso indicar a priori as proposies
de que algo possa ocorrer ? elementares, querer indic-las deve redundar num
5.555 claro que temos da proposio elementar um patente absurdo.
conceito independente de sua forma lgica particular. 5.6 Os limites de minha linguagem denotam os limites
Onde possvel formar smbolos de acrdo com de meu mundo.
um sistema, o importante do ponto de vista lgico 5.61 A lgica preenche o mundo, os limites do mundo
o prprio sistema, no o smbolo singular. so tambm seus limites.
Como seria tambm possvel que, na lgica,
tivesse que me ocupar de .formas que posso inventar ? No podemos pois dizer na lgica: isto e isto
existem no mundo, aquilo no.
No entanto, devo ocupar-me com o que me torna
possvel invent-las. Porquanto se pressuporia aparentemente que
exclumos certas possibilidades, o que no pode
5.556 No pode haver hierarquia de formas das pro- ocorrer pois, do contrrio, a lgica deveria colocar-
posies elementares. Podemos pressupor ~ente se alm dos limites do mundo, como se pudesse
o que ns prprios construmos. considerar sses limites tambm do outro lado.
5.5561 A realidade emprica limitada pela totalidade No podemos pensar o que no podemos pensar,
dos objetos. O limite reaparece na totalidade das por isso tambm no podemos dizer o que no pode-
proposies elementares. mos pensar.
As hierarquias so e devem ser independentes 5.62 Esta observao d a chave para decidir da
da realidade. questo: at onde o solipsismo uma verdade.
5.5562 Por motivos puramente lgicos sabemos que O que o solipsismo nomeadamente acha intei-
deve haver proposies elementares; dsse modo, ramente correto, mas isto se mostra em vez de deixar-
isto deve ser conhecido por todo aqule que com- se dizer.
preende as proposies na sua forma no-analisada. Que o mundo o meu mundo, isto se mostra
5.5563 Tdas as proposies de nossa linguagem corrente porque os limites da linguagem (da linguagem que
so, de fato, tais como so, perfeitamente ordenadas ~ente eu compreendo) denotam os limites de meu
de um ponto de vista lgico. Tudo o que fr mundo.
mais simples e que devemos aqui admitir no 5.621 O mundo e a vida so um s.
smile da verdade mas a prpria verdade plena.
(Nossos problemas no so abstratos mas talvez 5.63 Sou meu mundo. (O microcosmos.)
os mais concretos que existem.) 5.631 O sujeito representante e pensante no existe.
5.557 A aplicao da lgica decide que proposies Se escrevesse um livro: O mundo tal como en-
elementares existem. contro, deveria reportar-me a meu corpo e dizer
O que est na aplicao a lgica no pode ante- quais membros esto sob minha vontade e quais
cipar. no esto, etc. isto particularmente um mtodo
claro: a lgica no h de colidir com sua para isolar o sujeito, ou melhor, para indicar que
aplicao. no existe sujeito num sentido importante: dle
Mas a lgica deve referir-se , sua aplicao. sdzinho no possvel tratar neste livro.
Dsse modo, a lgica e sua aplicao no devem 5.632 O sujeito no pertence ao mundo mas limite
sobrepor-se uma , outra. do mundo.
5.633 Onde no mundo se h de notar um sujeito meta- 6.002 Dada a forma geral de como construir uma
fsico ? proposio, com isto j est dada a forma geral
Tu dizes que aqui se est inteiramente como de como possvel gerar outra, por meio de uma
diante do 81ho e do campo visual, mas tu no vs operao, partindo-se de uma proposio.
realmente o 61ho. 6.01 A forma geral da operao 12'(-n) pois:
E no h coisa no campo visual que leve con-
cluso de que ela vista por um 61ho. [, (F?) ( = [77, , N(E)l).
Esta a forma mais geral da transposio de
5.6331 O campo visual no tem nomeadamente uma uma proposio para outra.
forma como esta:
6.02 Chegamos assim aos nmeros. Defino:
x = 0x Def. e
&HO- 0'52 P'x = 52 P+ 1 'x Def.
Segundo essa regra de signos, escrevemos pois
a srie:
5.634 Isto se liga a que nenhuma parte de nossa expe- x, 0'x, 0'0'x, 0'52'52'x, . .
rincia a priori. x, go+1+1,x, go-1-14-1+1,x,
como: go,
Tudo o que vemos poderia ser diferente.
Tudo o que podemos em geral descrever poderia Em vez de "[x, 12'fl" escrevo, portanto,
opx,
ser diferente.
No h a priori uma ordem das coisas. E defino:
5.64 Por aqui se v que o solipsismo, levado s lti- 0+11 = 1 Def.
mas conseqncias, coincide com o realismo puro. O -I- 1 -I- 1 = 2 Def.
O eu do solipsismo reduz-se a um ponto sem exten- 0 -I- 1 -F. 1 + 1 = 3 Def.
so, a realidade permanecendo coordenada a le. (e assim por diante)
5.641 Tem, portanto, sentido real falar-se, na filosofia, 6.021 O nmero o expoente de uma operao.
do eu de um ponto de vista no-psicolgico.
O eu penetra na filosofia porque o "mundo 6.022 O conceito de nmero nada mais do que
meu mundo". comum a todos os nmeros, a forma geral do nmero.
O eu filosfico no o homem, nem o corpo O conceito nmero a varivel nmero.
humano, nem a alma humana de que se ocupa a E o conceito da igualdade entre os nmeros
psicologia, mas o sujeito metafsico, o limite no a forma geral de tdas as igualdades especiais entre
sendo pois parte do mundo. os nmeros.
6 A forma geral da funo de verdade 6.03 A forma geral dos nmeros inteiros : [0,
[P, E, N(E)i 6.031 A teoria das classes inteiramente suprflua
Esta a forma geral da proposio. para a matemtica.
6.001 Isto nada mais diz do que: cada proposio Isto est ligado a que a universalidade de que
resulta da aplicao sucessiva da operao NO precisamos na matemtica no a acidental.
6.1 sbre as proposies elementares. As proposies da lgica so tautologias.

112 113
6.11 As proposies da lgica, portanto, no dizem sies "p J q", "p" e "q", ligadas entre si na forma
nada. (So as proposies analticas.) "(P J q) (p) : (q)", oduzem uma tautologia,
6.111 So sempre falsas as teorias que fazem uma o que mostra que q segue de p e pD q. Que
proposio da lgica aparecer com contedo. Poder- "(x) . fx : : fa" seja uma tautologia, mostra que
se-ia, por exemplo, acreditar que as palavras "ver- fa se segue de (x) . fx, etc., etc.
dadeiro" e "falso" designassem duas propriedades 6.1202 claro que, em vez da tautologia, possvel
entre outras, de sorte que pareceria um fato extra- empregar a contradio para os mesmos fins.
ordinrio que cada proposio possusse uma dessas 6.1203 Para reconhecer uma tautologia como tal, nos
propriedades. Isto no parece, de modo algum, casos em que na tautologia no aparece qualquer
evidente; to pouco evidente como, por exemplo, designao da generalidade, possvel utilizar o
o a proposio "Tdas as rosas so ou amarelas seguinte mtodo intuitivo: em vez de "p", "q",
ou vermelhas", ainda que fsse verdadeira. Essa "r", etc., escrevo "VpF", "VqF", "VrF", etc. As
proposio toma, com efeito, o carter de uma pro- combinaes de verdade so expressas por chaves:
posio das cincias naturais e isto sintoma seguro
de que foi falsamente concebida. ,"-\
6.112 A explicao correta das proposies lgicas
deve conferir-lhe uma posio peculiar entre tdas VpF V q F,
as proposies.
6.113 marca caracterstica e particular das propo-
sies lgicas que se possa conhecer apenas pelo e a coordenao da verdade ou da falsidade da pro-
smbolo quando so verdadeiras, e este fato contm posio total e as combinaes de verdade, dos argu-
em si tda a filosofia da lgica. Assim, um dos mentos de verdade, por meio de traos, do modo
fatos mais importantes que a verdade ou a falsi- seguinte:
dade das proposies no-lgicas no conhecida
nicamente na proposio.
6.12 As proposies da lgica so tautologias; isto
mostra as propriedades (lgicas) formais da linguagem,
do mundo.
Suas partes constituintes, ao se vincularem dessa
maneira, produzem uma tautologia, e isto caracteriza
a lgica de suas partes constituintes.
As proposies devem possuir determinadas pro- ste signo representaria, por exemplo, a proposio
priedades de estrutura a fim de que, vinculadas de "p J q". Vou verificar, por exemplo, se a proposi-
um determinado modo, produzam uma tautologia. o ,--,(p.r-,p) (lei da contradio) uma tautologia.
Se produzem uma tautologia ligando-se dessa ma- A forma ",,,E" ser, escrita em nossa notao:
neira, isto mostra que possuem tais propriedades
V
de estrutura.
6.1201 Por exemplo: a proposio "p" e a "-'p" na V F"
conexo ",-,(p.,,,p)" produzem uma tautologia, o
que mostra que se contradizem entre si. As propo-. F

114 115
A forma "E . n" : 6.1221 Se, por exemplo, duas proposies "p" e "q"
geram, na conexo p D q, uma tautologia, claro
ento que q se segue de p.
Que, por exemplo, "q" segue-se de "p D q . p",
vemos graas ao exame de ambas as proposies,
mas podemos mostr-lo ligando-as em "pDq.p:D: q"
e mostrando que esta ltima forma uma tautologia.
F 6.1222 Isso ilumina a questo: porque as proposies
lgicas no podem ser confirmadas pela experincia
De modo que a proposio ser: nem refutadas por ela. No s uma proposio da
lgica no pode ser refutada por uma experincia
possvel, mas tambm no h de ser confirmada
V
por ela.
6.1223 E assim se torna claro porque muitas vzes
sentimos como se as "verdades lgicas" fssem pos-
\q F tuladas por ns; podemos com efeito postul-las
enquanto podemos postular uma notao satisfa-
F tria.
6.1224 Agora se torna claro porque a lgica foi cha-
V
mada teoria das formas e das inferncias.
Em lugar de "q" coloquemos "p" e examinemos a claro que as leis lgicas no devem elas pr-
conexo dos V e F mais exteriores com os mais 6.123
prias depender de outras leis lgicas.
interiores; logo verificamos que a verdade da propo-
sio total coordena-se com tdas as combinaes (No h, como Russell imaginou, para cada
de verdade de seus argumentos, enquanto que sua type uma certa lei da contradio, mas basta uma,
falsidade, com nenhuma das combinaes de ver- desde que no se aplique a si mesma.)
dade. 6.1231 O sintoma da proposio lgica no a validade
6.121 As proposies da lgica demonstram as pro- universal.
priedades lgicas das proposies, pois se ligam em Ser universal quer dizer apenas: valer para
proposies que no dizem nada. tdas as coisas de modo acidental. Uma proposio
possvel chamar a sse mtodo de mtodo- no universalizada pode ser tautologia tanto como
nulo. Na proposio lgica as proposies so le- uma proposio universalizada.
vadas a se equilibrarem mtuamente, de modo que 6.1232 A validade lgica universal pode ser chamada
a situao de equilbrio indica como tais proposies essencial, em oposio quela acidental, como a da
devem ser constitudas de um ponto de vista lgico. proposio: "Todos os homens so mortais". Pro-
6.122 Donde resulta ser possvel viver sem as propo- posies como o axiom of reducibility de Russell
sies lgicas, j que podemos reconhecer, graas no so proposies lgicas, o que esclarece nosso
mera inspeo dessas proposies, suas propriedades, sentimento de que, quando verdadeiras, s o podem
formais numa notao correspondente. ser graas a um acaso favorvel.

116 117
6.1233 plausvel pensar um mundo em que no ste modo de mostrar que suas proposies
valha o axiom of reducibility; de sorte que se torna so tautologias , sem dvida, para a lgica, inteira-
claro que a lgica nada tem a ver com a questo de mente inessencial. Exatamente porque as proposi-
nosso mundo ser realmente assim ou no. es de que parte a prova j devem mostrar, sem
6.124 As proposies lgicas descrevem os andaimes prova, que so tautologias.
do mundo, ou melhor, os representam. No "tratam" 6.1261 Na lgica, processo e resultado so equivalentes.
de nada. Pressupem que os nomes possuam deno- (Por isso no h nenhuma surpresa.)
tao e as proposies elementares, sentido. E tal
sua vinculao com o mundo. claro que isso 6.1262 A prova na lgica apenas um expediente mec-
deve indicar alguma coisa a respeito do mundo, nico para facilitar o reconhecimento da tautologia
que certas vinculaes de smbolos que essencial- onde ela complicada.
mente possuem um carter determinado so 6.1263 Seria, pois, extraordinrio poder provar lgica-
tautologias. E aqui est o que decisivo. Dissemos mente uma proposio significativa a partir de outra,
que, nos smbolos que usamos, muito era arbitrrio, e ainda uma proposio lgica. claro desde logo
muito no o era. E na lgica apenas isso se exprime; que a prova lgica de uma proposio significativa
o que quer dizer que na lgica ns no exprimimos o e a prova no lgica devem ser coisas inteiramente
que queremos com a ajuda de signos, mas que a diferentes.
natureza dos signos naturalmente necessrios, na l-
gica, asserta-se a si prpria. Ao conhecermos a 6.1264 A proposio significativa asserta algo e sua
sintaxe lgica de uma linguagem simblica qualquer, prova mostra que assim; na lgica cada propo-
j esto dadas tidas as proposies da lgica. sio est sob a forma de uma prova.
Cada proposio da lgica um modus ponens
6.125 possvel, e isto tambm de acrdo com a representado num signo. (E no possvel exprimir
velha concepo da lgica, dar prviamente uma o modus ponens por meio de uma proposio.)
descrio de idas as proposies lgicas "verda
deiras". 6.1265 Sempre se pode conceber a lgica de tal modo
que cada proposio seja sua prpria prova.
6.1251 Nunca poder haver, pois, surpresas na lgica.
possvel calcular se uma proposio pertence 6.127 Tdas as proposies da lgica so eqiponde-
6.126 rantes, no existem entre elas princpios essenciais
lgica calculando as propriedades lgicas do
smbolo. e proposies derivadas.
E o que fazemos ao "provar" uma proposio Cada tautologia, ela prpria, mostra que uma
lgica. Porquanto, sem nos preocuparmos com o tautologia.
sentido e a denotao, formamos a proposio lgica 6.1271 claro que o nmero dos princpios lgicos
a partir de outras meramente segundo as regras dos arbitrrio, pois se poderia derivar a lgica de um
signos. nico princpio, por exemplo, formando meramente
A prova das proposies lgicas consiste em o produto lgico dos princpios de Frege. (Frege
fazermos com que sejam geradas a partir de outras talvez dissesse que sses princpios no seriam mais
proposies lgicas graas aplicao sucessiva de transparentes de modo imediato. Seria extraordi-
certas operaes, que das primeiras tautologias nrio, porm, que um pensador to exato como
reproduzem outras. (E, com efeito, de uma tauto- Frege tomasse, como critrio de uma proposio
logia seguem-se apenas tautologias.) lgica, seu grau de transparncia.)

118 119
6.13 A lgica no teoria, mas figurao especular primem com os fatos, do ponto de vista de sua
do mundo. correo.
A lgica transeendental. 6.2322 No se afirma a identidade da denotao de
6.2 A matemtica um mtodo lgico. duas expresses, pois, para poder afirmar algo a
As proposies da matemtica so equaes e, respeito de sua denotao, devo conhecer essa deno-
portanto, pseudoproposies. tao e, ao conhec-la, j sei se denota a mesma
coisa ou algo diferente.
6.21 A proposio da matemtica no exprime pensa-
mentos. 6.2323 A equao revela apenas o ponto de vista do
qual considero ambas as expresses, a saber, o ponto
6.211 Na vida, no da proposio matemtica que de vista da igualdade de sua denotao.
precisamos, usamo-la apenas para inferir, de propo-
sies que no pertencem matemtica, outras que 6.233 A pergunta se preciso a intuio para resolver
igualmente no pertencem a ela. problemas matemticos deve ser respondida consi-
(Na filosofia, a questo "para que precisamos derando que a prpria linguagem fornece a intuio
efetivamente de tal palavra ou de tal proposio" necessria.
sempre conduz a valiosas visualizaes.) 6.2331 O processo de calcular faz intervir precisamente
6.22 A lgica do mundo que as proposies lgicas essa intuio.
mostram nas tautologias, a matemtica a mostra O clculo no experimento.
nas equaes. 6.234 A matemtica um mtodo da lgica.
6.23 Se duas expresses estiverem ligadas pelo signo 6.2341 O que essencial para o mtodo matemtico .
de igualdade, isto quer dizer que so mtuamente trabalhar com equaes. E dsse mtodo depende
substituveis. Quando, porm, isto vier a ocorrer, particularmente que cada proposio da matem-
deve mostrar-se nas prprias expresses. tica deve ser compreendida de per si.
Caracteriza a forma lgica de duas expresses
serem mutuamente substituveis. 6.24 O mtodo pelo qual a matemtica chega s
equaes o da substituio.
6.231 propriedade da afirmao poder ser conce- Porquanto a equao exprime o carter substi-
bida como dupla negao. tutivo das duas expresses, de sorte que passamos
propriedade de "1 -I- 1 + 1 1" poder ser de um nmero de equaes para uma nova equao,
concebida como "(1 -I- 1) (1 + 1)". substituindo expresses por outras, de acrdo com
6.232 Frege diz que ambas as expresses tm a mesma as equaes.
denotao mas sentido diverso. 6.241 desta maneira ento que se desdobra a prova
essencial para a equao, entretanto, ela no de 2 X 2 = 4
ser necessria para mostrar que ambas as expresses, (2 v )'x = 12 P>qg x Def.
ligadas pelo signo de igualdade, possuam a mesma, 12x2,x = (&22)2'x = ( 02)1+1,x = 92,22,x =
denotao, pois isto se v a partir de ambas as = 21+1, gi+vx = (2,)),(0,2)'x =Sl'SZ'Sl'SZ'x=
expresses.
= 21+1+1+1,x = 94,x
6.2321 E que as proposies da matemtica possam ser
provadas, nada mais quer dizer que sua correo 6.3 A investigao da lgica denota a investigao
reconhecida sem precisar comparar o que elas ex- de tda a legalidade. Fora dela tudo acidente.

120 121
6.81 A assim chamada lei da induo no pode, em qu com outra mais fina e quadriculada (ou vice-
caso algum, ser uma lei lgica, pois patentemente versa), e assim por diante. s diversas rdes corres-
uma proposio significativa. De sorte que nem pondem diversos sistemas de descrever o mundo.
mesmo pode ser uma lei a priori. A mecnica determina uma forma de descrio do
6.32 A lei da causalidade no lei mas forma de mundo, pois diz : tdas as proposies da descrio
uma lei. do mundo devem ser obtidas de um nmero de
proposies dadas os axiomas mecnicos se-
6.321 "Lei de causalidade" um nome genrico. E gundo um modo dado. Com isto prov as pedras
assim como dizemos, na mecnica, que existem leis para a construo do edifcio cientfico, dizendo:
mnimas por exemplo, a de ao menor existem sejam quais forem os edifcios que pretendas levan-
na fsica leis de causalidade, leis da forma da causa- tar, deves constru-los com estas e apenas estas
lidade. pedras.
6.3211 J se teve, com efeito, um pressentimento de (Assim como se escreve qualquer nmero com
que era preciso uma "lei de ao mnima" antes o sistema numrico, com o sistema da mecnica
de se saber exatamente o que rezava. (Aqui como deve-se poder escrever qualquer proposio da
sempre, o que certo a priori se revela como algo fsica.)
puramente lgico.)
6.342 Vemos assim a posio oposta da lgica e da
6.33 No acreditamos a priori numa lei da conser- mecnica. (Poder-se-ia tambm fazer a rde com-
vao, mas conhecemos a priori a possibilidade de posta de figuras diversas, como de tringulos e hex-
uma forma lgica. gonos.) Que uma figurao como a mencionada
6.34 Tdas aquelas proposies, como o princpio de acima seja descrita por uma rde de uma forma
razo suficiente, o de continuidade na natureza, o dada, no asserta nada a respeito da figurao.
do mnimo esforo na natureza, etc., etc., tdas so (Porquanto isso vale para cada figurao dessa
visualizaes a priori a respeito da possibilidade de espcie.) Caracteriza, porm, a figurao poder ser
enformar proposies da cincia. completamente descrita por uma determinada rde
de determinada finura.
6.341 A mecnica newtoniana, por exemplo, conduz
a descrio do universo a uma forma unificada. Do mesmo modo, nada asserta a respeito do
Tomemos uma superfcie branca e sobre ela manchas mundo poder ser descrito pela mecnica newto-
pretas irregulares. Dizemos ento: seja qual fr niana; asserta, entretanto, poder ser descrito por
a figurao que fao, sempre posso aproximar-me ela tal como precisamente vem a ser. Tambm diz
quanto quiser de sua descrio, se cubro a super- algo a respeito do mundo poder ser descrito, por
fcie com uma rde quadriculada suficientemente uma mecnica, de maneira mais simples , do que por
fina de modo a poder dizer de cada quadrado se outra.
branco ou prto. Conduzi dessa maneira a des- 6.343 A mecnica uma tentativa de construir, con-
crio da superfcie a uma forma unificada. Essa forme um plano nico, tdas as proposies verda-
forma qualquer, pois teria empregado com o mesmo deiras que precisamos para a descrio do mundo.
sucesso uma rde feita em tringulos ou em hex- 6.3431 Atravs de todo o aparato lgico, as leis fsicas
gonos. possvel que a descrio com auxlio de ainda falam de objetos do mundo.
uma rde em tringulos fsse mais simples, isto ,
com uma grossa rde em tringulos poderamos ter 6.3432 No devemos nos esquecer de que a descrio
obtido uma descrio mais precisa das manchas do do mundo feita pela mecnica sempre inteira-

122 123
Mente geral. Nunca trata, por exemplo, de um E nada tem a ver com isso a impossibilidade de
ponto material determinado, mas finitamente de qual- fazer com que se cubram.
quer um.
o X x
6.35 Embora as manchas em nossa figurao sejam b
figuras geomtricas, a geometria evidentemente nada
tem a dizer sbre sua forma efetiva e sbre sua Seria possvel vestir a luva direita na mo
condio. A rde, porm, puramente geomtrica, esquerda se a girssemos num espao quadridimen-
tdas as suas propriedades podem ser dadas a priori. sional.
Leis como o princpio de razo suficiente, etc., 6.362 O que pode ser descrito pode acontecer e o
tratam da rde, no, porm, do que ela descreve. que a lei da causalidade h de excluir no pode
6.36 Se houvesse uma lei da causalidade, seria do ser descrito.
seguinte teor: "h leis naturais". 6.363 O processo da induo consiste em aceitar a
No entanto, bviamente isto no se pode dizer: lei mais simples que possa estar conforme com nossa
mostra-se. experincia.
6.361 Segundo as expresses de Hertz, poder-se-ia 6.3631 ste processo todavia no tem fundamento
dizer: apenas as conexes em conformidade com a lgico, mas apenas psicolgico.
lei so pensveis. claro que no h razo alguma para acreditar
6.3611 No podemos comparar nenhum processo com que o caso mais simples realmente ocorrer.
o "decurso do tempo" (sse decurso no existe), 6.36311 Que o sol se levante amanh, uma hiptese,
apenas com outro processo em particular, com e isto quer dizer: no sabemos se se levantar.
o andar de um cronmetro.
Por isso a descrio do curso temporal s 6.37 No h obrigao para algo acontecer depois
possvel porque nos apoiamos em outro processo. de alguma coisa ter acontecido. No h necessi-
dade que no seja lgica.
anlogo o que acontece com o espao. Quando
6.371 se diz, por exemplo, que nenhum de dois aconteci- Na base de tda moderna viso do mundo est
mentos (mutuamente exclusivos) tem lugar, porque a iluso de que as assim chamadas leis naturais sejam
no h nenhuma causa que leve um a realizar-se esclarecimentos a propsito dos fenmenos naturais.
ao invs do outro, na realidade trata-se apenas da 6.372 Colocam-se assim diante das leis naturais como
impossibilidade de 'descrever um dentre os dois diante de algo intangvel, como os antigos diante
acontecimentos quando no h uma assimetria qual- de Deus e do destino.
quer. Desde que haja tal assimetria, podemos tom- E ambos tm e no tm razo. Os antigos,
la como causa do vir-a-ser de um e do no vir-a-ser entretanto, eram tanto mais claros quanto mais
do outro. reconheciam um claro trmino, enquanto os novos
6.36111 O problema kantiano da mo direita e da mo sistemas devem parec-lo quando tudo estiver expli-
esquerda que no se cobrem j surge no plano e cado.
at mesmo num espao unidimensional, onde duas 6.373 O mundo independe de minha vontade.
figuras congruentes a e b no se cobrem a no ser
que se movam fora dsse espao. A mo esquerda 6.374 Se acontecesse tudo o que desejssemos, isto
e a direita so de fato perfeitamente congruentes. seria, por assim dizer, uma graa do destino, j

124 125
que no h vinculao lgica entre vontade e mundo;
6.421 claro que a tica no se deixa exprimir.
e, suposta uma vincula,o fsica, no podemos quer- A tica transcendental.
la de n8vo. (tica e esttica so um s.)
6.375 Havendo ~ente uma necessidade lgica, s 6.422 O primeiro pensamento para estabelecer uma
h uma impossibilidade lgica. lei tica da forma "tu deves . ." consiste em: E
6.3751 Que, por exemplo, duas cres estejam concomi- o que se daria se eu no fizesse isso ? No entanto,
tantemente no mesmo lugar do campo visual claro que a tica nada tem a ver com castigo e
impossvel, e por certo lgicamente impossvel, por- recompensa no sentido comum. Essa questo a res-
quanto isto se exclui em virtude da estrutura lgica peito das conseqncias de uma ao deve ser insigni-
da cr. ficante. No mnimo essas conseqncias no sero
acontecimentos. Algo, porm, deve estar correto na
Consideremos como essa contradio se repre- colocao da questo. Por certo deve existir uma
senta na fsica. Aproximadamente do seguinte modo: espcie de recompensa tica e de castigo tico que
uma partcula no pode ao mesmo tempo possuir devem, todavia, estar na prpria ao.
duas velocidades; quer dizer que ela no pode estar
concomitantemente em dois lugares, o que significa (Mas tambm claro que a recompensa deve
que partculas, que esto em diferentes lugares num ter algo agradvel, o castigo, algo desagradvel.)
mesmo tempo, no podem ser idnticas. 6.423 No que respeita vontade como portador do
( claro que o produto lgico de duas proposi- que tico, nada pode ser dito.
es elementares no pode ser nem uma tautologia A vontade como fenmeno apenas interessa ,
nem uma contradio. A assero de que um ponto psicologia.
do campo visual tem, ao mesmo tempo, duas cres
diferentes uma contradio.) 6.43 Se querer o bem ou querer o mal muda o mundo,
isto s poder mudar os limites do mundo, nunca os
6.4 Tdas as proposies tm igual valor. fatos; nunca o que pode ser expresso pela linguagem.
6.41 O sentido do mundo deve estar fora dle. No Em suma, por isso o mundo deve em geral
mundo tudo como e acontece como acontece: tornar-se outro. Deve, por assim dizer, crescer ou
Mie no h valor e se houvesse, o valor no teria diminuir como um todo.
valor. O mundo dos felizes diferente do mundo dos
Se houver um valor que tenha valor, ento infelizes.
deve permanecer fora de todos os acontecimentos e 6.431 Tambm como na morte, o mundo no se altera
do ser-peculiar, pois todos os acontecimentos e o mas acaba.
ser-peculiar so acidentais.
O que o faz no-acidental no pode estar no 6.4311 A morte no acontecimento da vida. No se
mundo pois, no caso contrrio, isto seria de nvo vive a morte.
acidental. Se por eternidade no se entender a durao
Deve estar fora do mundo. infinita do tempo mas a atemporalidade, vive eter-
namente quem vive no presente.
6.42 Por isso no pode haver proposies da tica. Nossa vida est privada de fim como nosso
Proposies no podem exprimir nada alm. campo visual, de limite.

126 127
6.521 Observa-se a soluo dos problemas da vida no
6.4312 A imortalidade temporal da alma humana, a desaparecimento dsses problemas.
saber, seu continuar a viver eternamente ainda
depois da morte, no est de maneira alguma asse- (Esta no a razo por que os homens, para
gurada; alm do mais, essa assuno no cumpre os quais o sentido da vida se tornou claro depois
nada do que sempre se quis lograr com ela. Algum de um longo duvidar, no podem mais dizer em
enigma ser resolvido por ter eu continuado a viver que consiste sse sentido ?)
eternamente ? No a vida eterna to enigmtica 6.522 Existe com certeza o indizvel. Isto se mostra,
como a presente ? A soluo do enigma da vida n o que mstico.
espao e no tempo reside fora do espao e do tempo. 6.53 O mtodo correto em filosofia seria prpria-
(No so problemas de cincia natural a serem mente: nada dizer a no ser o que pode ser dito,
resolvidos.) isto , proposies das cincias naturais algo,
6.432 Como o mundo perfeitamente indiferente portanto, que nada tem a haver com a filosofia; e
para o que est alm. Deus no se manifesta no sempre que algum quisesse dizer algo a respeito
mundo. da metafsica, demonstrar-lhe que no conferiu deno-
tao a certos signos de suas proposies. Para
6.4321 Os fatos fazem todos parte da tarefa mas no outrem sse mtodo no seria satisfatrio le
da soluo. no teria o sentimento de que lhe estaramos ensi-
6.44 O que mstico no como o mundo mas nando filosofia mas seria o nico mtodo estrita-
que le seja. mente correto.
6.45 A intuio do mundo sub specie aeterni a 6.54 Minhas proposies se elucidam do seguinte
intuio dle como um todo limitado. modo: quem me entende, por fim as reconhecer
mstico o sentimento do mundo como um como absurdas, quando graas a elas por elas
todo limitado. tiver escalado para alm delas. ( preciso por assim
dizer jogar fora a escada depois de ter subidojpor
6.5 Para uma resposta inexprimvel inexprimvel ela.)
a pergunta. Deve-se vencer essas proposies para ver o
O enigma no existe. mundo corretamente.
Se uma questo pode ser colocada, poder tam- O que no se pode falar, deve-se calar.
bm ser respondida.
6.51 O cepticismo no irrefutvel mas patente-
mente absurdo, quando pretende duvidar onde no
cabe perguntar.
A dvida, pois, s existe onde existe uma ques-
to, uma questo apenas onde existe uma resposta,
e esta ~ente onde algo pode ser dito.
6.52 Sentimos que, mesmo que tdas as possveis
questes cientficas fssem respondidas, nossos pro-
blemas vitais no teriam sido tocados. Sem dvida,
no cabe mais pergunta alguma, e esta precisa-
mente a resposta.
129
128
NOTAS A TRADUO(*)

Convm observar que a formulao do sistema de numerao


das proposies matemticamente insuficiente; no explica, por exemplo,
a proposio 2.001, cujo sentido no entanto se apreende fcilmente pelo
contexto.
2 Estado de coisas: Sachverhalt, etimoldgicamente "como as
coisas se comportam entre si" (cf. Introduo, p. 39). Tivemos o cuidado
de traduzir sich verhalten por "est em relao", vinculando dsse modo
estado ao verbo estar. RUSSELL indagara de WITTGENSTEIN a respeito
da diferena entre estado de coisa e fato (Tatsache). A resposta
a seguinte: "Sachverhalt o que corresponde proposio elementar
quando verdadeira. Tatsache, o que corresponde ao produto lgico de
proposies elementares quando sse produto verdadeiro. A razo pela
qual introduzo Tatsache antes de introduzir Sachverhalt demandaria uma
longa explicao" (Schriften, I, p. 275). Baseado nessa informao, RUSSELL
escreveu no prefcio da edio inglsa (p. 9): "Os fatos que no so com-
postos de outros fatos o que o Sr. WITTGENSTEIN chama Sachverhalt,
enquanto que o fato constitudo por dois ou mais fatos, chamado
Tatsache. Assim, por exemplo, 'Scrates sbio' Sachverhalt e tambm
Tatsache, enquanto 'Scrates sbio e Plato foi seu aluno' Tatsache
mas no Sachverhalt". Basta, porm, confrontar a proposio 5.5571
para nos convencermos da falsidade da interpretao de RUSSELL.
de notar que o problema dos elementos simples da realidade est estreita-
mente ligado ao problema das proposies elementares, devendo, por-
tanto, ser colocado juntamente com a proposio 5.55.
2.0121 (3) Meramente-possvel: nur-rnglich, neologismo que
serve para indicar que a noo de possibilidade, em WITTGENSTEIN, no
se confunde com a possibilidade desvencilhada dos fatos.
2.0251 Coloridade: Frbigkeit, indicando que no se trata simples-
mente da cr, mas da possibilidade de os objetos serem coloridos.
(5) A nuraeraeo das notas segue a nunlerag9 clg Tracfatas.

131
2.06 Realidade: Wirklichkeit, a lngua alem possui Realitt e aspectos seu pensamento se aproxima do logicismo de RUSSELL, mas sua
Wirklichkeit, esta ltima palavra indicando a realidade efetiva. O con- crtica da linguagem se orienta no sentido de privilegiar a dimenso est-
texto, no entanto, basta para indicar que sentido WITTGENSTEIN d a tica da palavra em detrimento da dimenso prpriamente epistemolgica.
sse trmo, de modo que no foi preciso carregar a traduo com duas
4.022 (2) E diz que isto est assim: "Und er sagt, dass es sich so
palavras para um nico significado.
verhlt"; essa expresso liga-se inegvelmente forma geral da propo-
2.1 Figurao: Bild, apesar do carter ativo de "figurao", sio: "Es verhlt sich so und so" (cf. 4.5), que traduzimos por "isto est
inexistente em Bild, preferimos essa palavra ao invs do trmo neutro do seguinte modo".
"imagem", tendo em vista ser ela a nica capaz de indicar todos os ma- Devemos notar a referncia situao, ao conjunto de estados de
tizes do texto alemo. coisas, tanto no sentido da expresso como no emprgo do verbo sich
3.24 (3) O mesmo prefixo ur foi traduzido diferentemente em verhalten.
Urbild (protofigurao) e Urzeichen (signo primitivo), e a isso fomos le- 4.0311 Esta a nica ocasio em que Bild no pode ser tradu-
vados porque uma protofigurao uma parte de um fato que, somente zida por figuraao, pois est a indicar um quadro formado por pessoas
ao ser completado, adquire uma funo figurativa, enquanto o signo pri- vivas, representando uma cena.
mitivo um signo completo, que serve de ponto de partida para a cons- 4.04 Cf. HERTZ, The Principies of Mechanics, trad. de D. E.
truo do edifcio simblico.
Jones e J. T. Walley, Londres, Nova York, 1899. A filiao de certas
3.261 A traduo freqente dsse ber "por meio de" (a tra- idias de WITTGENSTEIN provenientes do fsico Hertz foi estudada por
duo inglsa emprega a palavra latina via). Adotamos a traduo "por James GRIFFIN, Wittgenstein's Logical Atomis, Oxford University Press,
sbre", para nos manter fiel a um texto que diz expressamente que as pp. 99 e segs. HERTZ de fato considera a elaborao de uma teoria fsica
definies apenas mostram o caminho cujo alcance vai alm dos membros como a construo de um modlo da realidade que tenha com ela algo
da expresso definidora. Convm lembrar que uma proposio elementar em comum, ambos possuindo a mesma multiplicidade, o mesmo nmero
constituda de nomes designando objetos, ligados Uns aos outros como de coordenadas.
elos de uma cadeia. Essa possibilidade de vinculao, inscrita na prpria 4.466 Cada unio arbitrria: "jede beliebige Verbindung". O
natureza do objeto, faz com que o nome no designe um elemento aut- Prof. Andrs R. RAGGIO nos lembrou que "jede beliebige" uma expresso'
nomo, mas um elemento que se comporta como um ponto sempre prestes freqentemente usada na linguagem matemtica para indicar "um qual-
a se reunir a outro. Dsse modo, os objetos designados pelos nomes possuem quer"; e de fato, a distributividade de cada conferiria s vrias unies
a mesma estrutura que a funo proposicional no nvel da linguagem; arbitrrias uma forma lgica que parece incompatvel com o sentido do
na proposio fa, f e a so igualmente incompletos. por isso que os texto, em particular com o que segue no pargrafo posterior. No entanto,
signos da expresso definidora designam alm de suas partes copresentes, para no evitar outras interpretaes possveis, preferimos traduzir jede
sendo essencial, na designao, a necessidade de o smbolo vincular-se a por cada e escrever esta nota.
outro, o que sistemticamente ocultado pelo processo de notao.
5.2521 Na notao de FREGE, E indica uma varivel em geral.
4.003 preciso ter sempre presente que "absurdo" (unainnig)
5.555 O axioma da infinidade de RUSSELL formula-se da seguinte
est alm de tda figurao possvel. absurda, pois, a proposio que
maneira: se n fr um nmero cardinal indutivo qualquer, existe ao menos
diz respeito estrutura interna da prpria figurao ou natureza dos
uma classe de indivduos que tem n elementos. Nmero cardinal indu-
fatos como tais, porquanto, a figurao afigura a maneira de os objetos
tivo o nmero cardinal visto da ptica de sua gerao a partir de certos
formarem os fatos, nunca revelando sua dimenso ontolgica. , porm,
axiomas, dentre os quais est o princpio de induo finita (se uma proprie-
desprovida de sentido (sinnlos) tda proposio que, fazendo parte do
dade p pertence a zero e, pertencendo a n fr possvel demonstrar que
simbolismo, deixa de afigurar na medida em que no estabelece os limites
pertence a n+1, ento p pertence a todos os nmeros), princpio cuja
necessrios constituio do sentido (cf. 4.461).
funo garantir que, para todo o conjunto de nmeros, um nmero e
4.0031 MAUTHNER, Fritz (1849-1923), crtico e filsofo alemo seu sucessor possam possuir certas propriedades em comum. Suponhamos
que trabalhou particularmente na filosofia da linguagem. Sob certos um universo de apenas 9 indivduos; como um nmero no pode ter mais

132 133
de um sucessor, o sucessor de 9 seria 10, uma classe vazia, que por isso
seria tambm igual ao sucessor de 10, tambm uma classe vazia. Para
evitar sse paradoxo que surge o axioma da infinidade, garantindo a
existncia das classes correspondentes a cada nmero n. Isto psto, o
nmero de objetos do mundo no um nmero indutivo (cf. RUSSELL,
Introduction to Mathematical Philosophy, cap. XII).

GLOSSRIO

abbilden afigurar darstellen representar


Abbildung afigurao Ding coisa
abhngig heternomo, depen-
dente
Allgemeinheit universalidade, Erkenntnistheorie epistemologia
generalidade Erscheinung fenmeno
Angabe indicao Existenz existncia
Argumentstelle lugar do argu-
mento
aufweisen exibir Fall (Was der Fall ist) o que
ocorre
Ausdruck expresso
folgen seguir
ausgezeichnet preeminente
folgern deduzir
Aussage assero
Folgern deduo
aussagen assertar
fordern postular
aussprechen enunciar
Forderung postulado
Bedeutung denotao
bedeutungslos sem denotao
Gedanke pensamento
bedeutungsvoll denotativo
Gefge construo
Begriff conceito
Gegenstand objeto
Regriffsschrift ideografia
geschehen acontecer
Begriffswort palavra-conceito
Gesetzmassigkeit conformidade
Bereich escopo lei
Bestandteil parte constituinte Glaube crena
bestehen subsistir Gleichnis smile
Bestehen subsistncia
Beweis prova
Konfiguration configurao
bezeichnen designar
bezeichnend designativo
Bild figurao Mannigfaltigkeit multiplicidade
Bildhtiftigkeit figuratividade Merkmal marca caracterstica

134 135
Naturerscheinung fenmeno na- Tatsache fato
tural
nennen nomear
Nichtsatz no-proposio Umgangsprache linguagem cor-
rente
Objekt objeto Umstand circunstncia
Ort lugar Unding disparate
unsagbar indizvel

reden falar
Unsinn absurdo (o) NDICE REMISSIVO
unsinnig absurdo
Reihe srie
Urbild protofigurao
Urteil juzo
Sache coisa urteilen julgar
Sachlage situao Urzeichen signo primitivo Absurdas, proposies lgicas no geometria , 6.35 (1)
Sachverhalt estado de coisas so, 4.4611 intuies, princpios cientficos
como, 6.34
sagen dizer Absurdo (Unsinn)
nenhuma parte da experincia
Satz proposio verhalten (sich) estar em rela- exemplos de, 5.5303, 5.5351 (2) , 5.634
o, estar, relacionar-se impossvel de julgar, 5.5422 o da lgica consiste em, 5.4731
Satzzeichen signo proposicional
vollstdndig completo Acidente, na lgica nada , 2.012 possibilidade de uma forma l-
Satz vom Grunde princpio de
razo suficiente vorstellen presentar Afigurao, lgica de, 4.015 (ver gica como, 6.33
tambm: Forma de afigu- sempre se revela como algo
Scheinung aparncia puramente lgico, 6.3211
rao)
schliessen inferir, concluir toda deduo , 5.133
Zeichen signo Afirmao, possui propriedade
Sch,luss inferncia, concluso lgica de, 6.231 (1)
Zeichensprache linguagem sim- Argumento
selbstandig autnomo blica Alfabeto, provm da, 4.16 (2) lugar e universalidade, 4.0411(2)
Sinn sentido zeigen mostrar Alma, 5.5421 (ver tambm: Su- uma funo no pode ser seu
sinnlos vazio de sentido zerfallen resolver jeito) prprio, 3.333 (1)
sinnvoll significativo zerglidern desmembrar Ambigiiidade, no emprgo da Argumentos de verdade, pro-
So-Sein ser-peculiar zerlegen dividir palavra "propriedade" e ou- posies elementares so, 5.01
spiegeln espelhar tras, 4.123 (3)
Zufall acidente Assero
&elle posio, localizao "Ambulo", proposio composta,
Zusammenhang coerncia, co- 4.032 (2) e dedutibilidade, 5.124 (1)
Symbol smbolo nexo no pode dar um sentido, 4.064
Anlise de proposies, 2.0201,
3.201, 3.25, 4.221 (1) Axioma da redutibilidade,
6.1232, 6.1233
Andaime, lgico, 3.42 (3), 4.023
(5), 6.124
Aplicao, sucessiva Clculo
definida, 5.2521 (1). das propriedades lgicas do
equivalente a "e assim por smbolo, 6.126 (1)
diante", 5.2523 no um experimento, 6.2331 (2)
A priori Campo aberto, definido, 4.463
critrio de tal pensamento, 3.04 Carter prprio, 2.02331

N. B.: Os nmeros entre parnteses referem-se aos pargrafos.


ste ndice foi organizado por Arley R. Moreno, tendo como ponto de partida o
ndice da edio inglsa, elaborado por Mas Black.

136 137
Causalidade, lei de Conceito formal CS r de nmeros, 6.02
estrutura lgica da, 6.3751 (1) de "operao", 5.23
como limite do descritvel, 6.362 como idia primitiva, 4.12721
forma dos objetos, 2.0251 de "operaes de verdade",
forma de uma lei, 6.32, 6.321, definido, 4.126 (1) 5.234
6.361 exemplos de, 4.1272 (7, 8) Correspondncia de "possibilidades de verdade",
Causalidade: no h nexo causal, expresso por variveis, 4.126 (8), da configurao dos signos sim- 4.3
5.136, 5.1361 (2) 4.127 ples e dos objetos, 3.21 de "proposies independentes",
marcas caractersticas do, 4.126 entre objetos e elementos da 5.152 (1)
Cepticismo, 6.51 (1)
(5, 7) figurao, 2.13 de "srie formal", 4.1252 (1)
Certeza oposto a conceito autntico, de "signo", 3.32
como caso-limite da probabili- 4.126 (2) de "signo proposicional", 3.12
dade, 5.152 (3) questes sbre existncia de, Deduo, a priori, 5.133 de "signo simples", 3.201
da verdade tautolgica, 4.464 (1) 4.127 de "sucessor", 4.1252 (4)
sempre dado com o objeto com Dedutibilidade de "tautologia", 4.46 (4)
oposta possibilidade e impos-
sibilidade, 4.464 (2) o qual aplicado, 4.12721 e contedo relativo, 5.14 de "trao", 4.1221
e estrutura, 5.13 de "varivel proposicional",
Condies de verdade
Cincias naturais e identidade, 5.141 3.313 (3)
no incluem a filosofia, 4.111 de proposies, e possibilidade e obviedade, 5.1363 e recursos de representao,
so a totalidade das proposies de verdade de proposies em relao com as formas das 4.242
verdadeiras, 4.11 elementares, 4.41 proposies, ilustrada, 5.1311 regras para, 5.451 (2)
exprimidas, 4.442 (4) (1) significao da, 4.241 (3)
Clareza: tudo pode ser pensado grupos de, podem ser ordenados
e dito claramente, 4.116 em srie, 4.45 Definio Denotao
relao das, com as possibili- atua por sbre os signos, 3.261 de signos primitivos, 3.263
Classes, teoria das
dades de verdade, 4.431 (1) (1) dos nomes, 3.3
suprflua para a matemtica, simbolismo para, 4.43 como desmembramento, 3.26
6.031 (1) como regra para traduo, 3.343 Descrio
Configurao de objetos, 2.0272, da reunio de smbolos de um da realidade por uma proposi-
Coisas (ver: Objetos)
3.21 complexo, 3.24 (4) o, 4.023 (2)
"Complexo", conceito formal, (ver tambm: Estrutura) de "anlise completa" (da pro- de expresses, 3.33
4.1272 (7, 8)
Constante: expresso como, posio), 3.201 de proposies, 3.317 (2)
Complexo(s) 3.312 (2) de "aplicao sucessiva", de situaes, 3.144
asseres sbre, so divisveis, 5.2521 (1) de um estado de coisas por uma
Constante(s) lgica(s) de "campo aberto", 4.463 proposio, 4.023 (3)
2.0201
dado smente por sua descri- apenas uma delas, 5.47 (4), de "conceito formal", 4.126 (1) de um objeto, 4.023 (4)
o, 3.24 (2) 5.472 de "contradio", 4.46 (4) do complexo, 3.24 (2)
e definio, 3.24 (4) desaparecimento de, 5.441 de "estrutura" (do estado de do universo, 6.341
percepo de, 5.5423 (1) nada substituem, 4.0312 (2) coisas), 2.032
no h nenhuma, 5.4 de "expresso", 3.31 (1) Descries, sistemas de, 6.341
proposies que tratam de, em
relao interna com as que Construo, lgica, 4.014 (2), de "figurao lgica", 2.181 Designao, mtodos de, 3.322
tratam das partes consti- 5.45, 5.5262 de "forma", 2.033 Destino, e os antigos, 6.372 (1)
tuintes, 3.24 (1) de "forma da afigurao", 2.151
Contradio (ver tambm: Ne- de "forma de um objeto", Deus, 6.432, 6.372 (1)
Compreenso gao) 2.0141
caso-limite da unio de signos, Dizer
de nomes, 4.243 de "fundamentos de verdade",
4.466 (4) 5.101 (2) por proposies, 4.022 (2)
de proposies, 4.02, 4.024 possibilidade de no, o que no
de proposies universais, de- definida, 4.46 (4) de "lugar lgico", 3.41
algo comum s proposies, de "medida de probabilidade", podemos pensar, 5.61 (4)
pende da de proposies ele-
5.143 5.15
mentares, 4.411
de sinnimos, 4.243 no figurao da realidade, de "negao" (no sentido de
4.462 (1) negao simultnea), 5.5 (2) "", sentido de, 3.323 (2)
de todas proposies, depende
da de proposies elementa- Coordenadas lgicas, determi- de "nome", 3.202 Elucidao dos signos primiti-
res, 4.411 nam o lugar lgico, 3.41 de "nmero", 6.022 (2) vos, 3.263

138 139
Equaes relao com a proposio ele- Fato(s) (Tatsachen) (ver tambm: no est em relao especial
como exprimindo o carter mentar, 4.21, 4.25 Situaes e Estados de coisas) com a psicologia, 4.1121 (1)
substitutivo, 6.24 (2) relao com o fato, 2 e figuraes, 2.1, 2.11 perigo de confuso com psico-
no necessria para exprimir so ligaes de objetos, 2.01, existncia de, 2 logia, 4.1121 (3)
uma denotao, 6.232 (2) 2.03 compem o mundo, 1.1, 1.2 representa o dizvel, 4.115
revela um ponto de vista, 6.2323 so mtuamente independentes, independncia mtua de, 1.21 resulta em comentrios, 4.112
2.061, 2.062, 4.27 (2) negativo, 2.06 (2) (3)
Eqiiiprobabilidade, 5.154 (3) o mundo se resolve em, 1.2 seu objeto o esclarecimento
Esttica, tica e, 6.421 (3) requeridos para exprimir um lgico de pensamentos, 4.112
Espao sentido, 3.142 (1)
congruncia no, 6.36111 Estrutura totalidade dos, 1.11 torna proposies claras, 4.112
figuras geomtricas no podem conexo da, com operao, 5.22 (4)
contradizer leis do, 3.032 de estado de coisas, 2.032, 2.034 Figurao (figuraes) valor de questes sbre pro-
forma dos objetos, 2.0251 de figurao, 2.15 (2) construda por ns, 2.1 psito do simbolismo em,
lgico (ver: Espao lgico) de proposies, e deduo, 5.13 e espao lgico, 2.11 6.211 (1)
objetos espaciais devem estar de proposies, mantm rela- enlaada com a realidade, 2.151,
no, 2.0131 (1) es internas, 5.2 2.1511, 2.201, 2.21 Forma(s) (ver tambm: Possibi-
objetos espaciais so impens- e forma, 2.033 forma de representao de, 2.15 lidade)
veis fora do, 2.0121 (4) e propriedade interna, 4.122 (2) incluem forma afigurante, 2.1513 da afigurao,
simetria no, 6.3611 (3) propriedades da, e tautologia, lgica definio da, 2.151
(campo) visual, 2.0131 (2) 6.12 (3) definio de, 2.181 exibida, 2.172
relaes lgicas mostradas pela, pensamento , 3 funo da, na figurao, 2.22
Espao lgico (ver tambm: Lu- 4.1211 (2) proposies enquanto, 4.03 (3) da realidade, 2.18
gar lgico) nenhuma verdadeira a priori, de expresses, 3.31 (4)
afigurao representa a situa- Eternidade, 6.4311 2.224, 2.225 caracterizada pela possibili-
o no, 2.11, 2.202 tica, 6.421, 6.422 possibilidade de, requer subs- dade de substituio, 6.23
cada coisa est num, 2.013 tncia, 2.0211, 2.0212
dado por tda proposio, Eu, o no-psicolgico, 5.641
3.42 (1) proposies como, da realidade, de funes, 3.333 (2)
Evidncia prpria (ver tambm: 4.021 de objetos, 2.0141, 2.0233,
e o mundo, 1.13 bvio) proposies so, 4.012 2.0251
fatos no, 1.13 de proposies matemticas, representa seu sentido, 2.221 de proposies, 3.311
lugar no, determinado pela 6.2341 so comparadas com a reali- de uma mancha, 4.06h
proposio, 3.4 descartada na lgica, 5.4731 dade, 2.223 de valres de uma varivel,
Essncia no critrio de proposies so fatos, 2.14, 2.141 4.12,71 (2)
lgicas, 6.1271 so modelos da realidade, 2.12, do mundo consiste em objetos,
da afigurao, 4.016 4.01 2.022-3
da afiguratividade, 4.013 Existncia tm forma de representao em e possibilidade de estrutura,
de proposies, 3.341, 4.027, de estados de coisas, 2.11, 4.1 comum com a realidade, 2.16, 2.033
4.03, 4.016, 4.5 (2), 5.471 de lugar lgico, 3.4 2.171 e substncia, 2.025
do mundo, 5.4711 geral da proposio,
do smbolo, 3.341 (2), 3.343, Expoente, de uma operao, 6.21 Filosofia
4.465 Expresso (expresses) e operaes de verdade, 5.54
e forma proposicional geral, delimita a cincia natural, 4.113 uma varivel, 4.53
a proposio uma funo das, delimita o pensvel, 4.114 geral, das proposies, 4.5, 5.47
5.471 3.318 e a teoria de DARWIN, 4.1122 lgica, 2.18 (ver tambm: Pro-
e' notao, 3.342 definio do trmo, 3.31 (1) cheia de confuses, 3.324 tofigurao)
Estado(s) de coisas (Sachverhalt) representada por uma varivel, uma atividade, no uma de proposies, 4.0031
combinaes de, 4.27 (1) 3.313 (1) teoria, 4.112 (2) determinada por um signo,
estrutura do, 2.032 tem denotao apenas numa geralmente consiste em propo- 3.327
possibilidade de ocorrncia das proposio, 3.314 (1) sies absurdas, 4.003 e varivel, 3.315
coisas em, 2.0121 (2) importncia da possibilidade no pode ser representada na
possibilidade do, 2.012, 2.0124 em, 3.3421 proposio, 4.12, 4.121 (1)
possvel infinitude do, 4.2211 "Fato", um conceito formal, mtodo correto da, 6.53 no se lhes pode atribuir
relao com a proposio, 4.1 4.1272 (7, 8) no cincia natural, 4.111 propriedades, 4.1241

140 141
Forma afigurante, pertence Geometria, como tt priori, 6.35 Lei da ao mnima, 6.3211 igualada a formal, 6.12 (1)
figurao, 2.1513 (1) Lei formal, enquanto determi- impossibilidade de descrever o
Formal, igualado com lgico, Gramtica lgica, 3.325 (1) nando sries formais, 5.501 mundo na, 5.61 (2)
6.12 (1) (ver tambm: Sintaxe lgica) (6) impossibilidade de pensar algo
Leis da natureza, no esclarecem que contrarie a, 3.03, 3.032,
Formas lgicas, so anumricas, Hertz, 4.04 (2), 6.361 os fenmenos naturais, 6.371 5.4731
4.128 (1) investigao da, e sua denota-
Leis fsicas, referem-se a objetos o, 6.3
Frege, 3.143, 3.318, 3.325, 4.063 Idealistas, sua explicao da do mundo, 6.3431 irrelevncia do monismo e dua-
(1), 4.1272 (8), 4.1273, 4.4431, viso das relaes espaciais, Lema de Occam, 3.328, 5.47321 lismo para a, 4.128 (2)
5.02 (3), 5.132 (4), 5.42, 4.0412 (1) leis da, no dependem de
5.451, 5.4733 (1), 5.521, Idias primitivas, conceitos for-
6.1271, 6.232 (1) Liberdade da vontade, 5.1362 outras leis, 6.123 (1)
mais como, 4.12721 (1) "mtodo-nulo" na, 6.121 (2)
Freqncia, de ocorrncia de Identidade Linguagem (ver tambm: Lin- nada acidental na, 2.012
fatos, 5.154 (1) guagem corrente) no cincia natural, 6.111
crtica definio de RUSSELL no h classificao na, 5.454
de, 5.5302 "crtica da", 4.0031
Funo a totalidade das proposies, (1)
de signos denotativos, 3.203
distinta de operao, 5.25 (3) expresso de, 5.53, 5.531, 5.532, 4.001 no h nmeros na, 5.453 (2)
e composio, 5.47 (3) 5.5321 fornece intuio, 6.233 no h proposies derivadas
no pode apresentar conceitos limites da minha, 5.6 'na, 6.127 (1)
no uma propriedade, 5.473 no h surprsas na, 6.1251
formais, 4.126 (4) (2) lgica da, 4.002 (3), 4.003 (1)
no pode ser seu prprio argu- no uma relao entre objetos, traduo da, 3.343 no pode ultrapassar os limites
mento, 3.333, 5.251 5.5301 (1) veda o pensamento, 4.002 (4) do mundo, 5.61 (3)
proposio elementar uma, no se afirma, 6.2322 Linguagem coloquial (ver: Lin- no podemos errar na, 5.473 (3)
de nomes, 4.24 (2) signo de, guagem corrente) ocupao da, com possibilida-
proposio uma, de expres- no parte essencial, 5.533, des, 2.0121 (3), 5.555 (3)
Linguagem corrente papel da postulao na, 6.1223
ses, 3.318 6.232 (2)
seu sentido, 4.241 (2) ambigidade da, 3.323 porque foi chamada teoria das
Funo (funes) de verdade necessidade de acordos com- formas, 6.1224
Igualdade, sentido do signo de, plexos, 4.002 (5) possibilidade na, 5.473 (2)
de duas variveis, 5.101 (1) 6.23 (1) to complicada como o orga- precede qualquer experincia,
e operaes de verdade, 5.3 Imortalidade, 6.4312 (1) nismo humano, 4.002 (2) 5.552 (2)
(2, 3) tdas as proposies da, so
forma geral de, 6 (1) Independncia, de proposies, princpios da, seu nmero
definio de, 5.152 (1) perfeitamente ordenadas, arbitrrio, 6.1271
introduo do trmo, 5 5.5563
no so funes materiais, 5.44 ndice (de um nome) problemas de, so concretos,
(1) Lgica (ver tambm: Proposies 5.5563 (2)
confundido com argumento, lgicas) processo e resultado equiva-
notaes para, 3.3441 5.02 (3)
podem ser ordenadas em sries, aplicao da, 5.5521, 5.557 lentes na, 6.1261
exposio de, 5.02 cada proposio da, sua pr- proposies da, nada dizem,
5.1 (1) 5.43 (2)
resulta da aplicao sucessiva Indizvel, o, e filosofia, 4.115 pria prova, 6.1265
da negao, 5.5 (1) clculo em, 6.121 (1) prova na, 6.126 (24), 6.1262
Induo das partes constituintes, carac- recursos em, 5.452, 5.511
so resultados de operaes, como aceitao da lei mais
5.234 terizada pela tautologia, 6.12 simplicidade da, 5.4541
simples, 6.363 (2) suas proposies so tautologias,
Fundamentos de verdade tem apenas fundamento psico- de fatos, no pode ser substi- 6.1, 6.22
lgico, 6.3631 (1) tuda, 4.0312 (2) tda filosofia da, 6.113
como medida da probabilidade, a priori, 5.4541 (2), 5.4731,
5.15, 5.151 Induo, lei de toda questo decidvel pela,
5.551 (1) deve sem mais deixar-se de-
definio de, 5.101 (2) no a priori, 6.31 figurao especular do mundo, cidir, 5.551 (1)
e deduo, 5.11, 5.12, 5.121 no uma lei lgica, 6.31 6.13 (1) tudo abrange e espelha o
Futuro, desconhecimento do, Inferncia mecnica, 6.342 mundo, 5.511
5.1361 (1), 5.1362 (1) "leis de", sem sentido, 5.132 (4) transcendental, 6.13 (2) tudo acidente fora da, 6.3

142 143
Lugar geomtrico, e possibili- Modus ponens, 6.1264 (2) a totalidade dos estados de no se refere a um objeto, 5.44
dade, 3.411 Morte, 6.431, 6.4311 coisas, 2.04 (4)
Lugar lgico (ver tambm: Es- e a vida formam uma unidade,
Mostrar 5.621 Nome(s)
pao lgico)
a negao determina o, 4.0641 a forma lgica, 4.121 (4) e o espao lgico, 1.13 apenas tm denotao no con-
a proposio determina apenas a universalidade, 5.1311 (2) e o que ocorre, 1 texto da proposio, 3.3
um, 3.42 (1) de operaes, 5.24 (1) essncia do, revelada pela possi- como ocorrem nas proposies,
relao do, com signo proposi- de sentido, 4.022 bilidade, 3.3421 4.23
cional e coordenadas lgicas, exclui o dizvel, 4.1212 tda realidade 2.063 ndice de, 5.02 (1)
3.41 exemplos de, 4.1211, 6.12, independente de minha vontade, no podem exprimir sentido,
6.1201, 6.127 (2), 6.36 (2) 6.373, 6.374 3.142
lgica do mundo, 6.22 informao sbre, dada pela no podem ser definidos, 3.261
Mo direita e esquerda, pro- o indizvel, 6.522 simplicidade de descrio, (2)
blema kantiano da, 6.36111 o que o conceito formal abrange, 6.342 (2) no possuem composio essen-
4.126 (3) limites do, 5.61 (1) cial, 3.3411
Matemtica lgica do, mostrada em tautolo- no so analisveis, 3.26
o que diz, por proposio,
um mtodo lgico, 6.2 (1), 4.461 (1) gia e equaes, 6.22 o "autntico", 3.3411
6.234 o que no solipsismo correto, objetos so sua substncia, 2.021 parecem pontos, 3.144 (2)
intuio na, lugar da, 6.233 5.62 (2) os nomes no so necessrios proposio elementar uma
mtodo de a, trabalhar com por estrutura, 4.1211 (2) para a descrio do, 5.526 conexo de, 4.22
equaes, 6.2341 por tautologias e contradies, o sujeito no pertence ao, 5.632 so dispensveis para descrever
no h universalidade acidental 4.461 (1) propriedades lgicas do, 6.12, o mundo, 5.526
na, 6.031 (2) que as propriedades internas 6.124 so smbolos simples, 4.24 (1)
no tem necessidade da teoria subsistem, 4.122 (4) relao projetiva de signos pro- so signos primitivos, 3.26
das classes, 6.031 (1) que o mundo meu mundo, posicionais com o, 3.12 so signos simples, 3.202
proposies da, 5.62 (3) resolve-se em fatos, 1.2 varivel, 3,314 (2)
mostram a lgica do mundo, que uma proposio segue de sentido do, 6.41 (1) Notao (ver tambm: Lingua-
6.22 outra, 4.1211 (2) sua forma consiste em objetos, gem)
no exprimem pensamentos, requerido pela forma de afigu- 2.023 arbitrariedade da, 3.342
6.21 rao, 2.172
so equaes, 6.2 (2) essncia da, 3.342
thdas so compreendidas de Multiplicidade Necessidade, apenas lgica, 6.37 Nmero
per si, 6.2341 e nmero de dimenses dos conceito de, 6.022
utilizadas na inferncia, 6.211 Negao
signos, 5.475 conceito de igualdade de, 6.022
provas em, significado das, atravs do que comum a
e smbolo de multiplicidade, (3)
6.2321 todos smbolos de negao, forma geral de, 6.022 (1), 6.03
4.0411 (3) 5.512 (2)
utiliza mtodo de substituio, no pode ser afigurada, 4.041
6.24 (1) como determinando o lugar l- "Nmero", um conceito formal,
o mesmo na proposio e na gico, 4.0641 4.1272 (7, 8)
Mauthner, 4.0031 situao representada, 4.04
uma operao, 5.2341 (2) Nmeros
Mecnica Mundo, meu introduzida, 5.5 (2)
inverte o sentido, 5.2341 (3) como expoentes de operao,
natureza da, 6.343 eu sou, 5.63 6.021
relao da, com a lgica, 6.342 possibilidade da, antecipada na
limites do, 5.62 (3) definies de, 6.02
sua generalidade, 6.3432 afirmao, 5.44 (3)
requer apenas uma definio, ordenados por relao interna,
Mecnica newtoniana, 6.341, Mundo 4.1252 (2)
5.451
6.342 (2) completamente descrito pela
simbolizao da, 5.502
"Mtodo-nulo", em lgica, totalidade das proposies O que ocorre (Was der Fall ist)
sua ocorrncia no caracteriza
6.121 (2) elementares verdadeiras, 4.26 e mundo, 1
o sentido, 4.0621 (2)
conexo do, com proposies o subsistir dos estados de
Microcosmos, o, 5.63 lgicas, 6.124 Negao, signo de coisas, 2
Mstico, o, 6.44, 6.45, 6.522 a totalidade de fatos, no a nada corresponde na reali- e substncia, 2.024
Modelos dinmicos, 4.04 (2) das coisas, 1.1 dade, 4.0621 igualado ao fato, 2

144 145
bvio, e deduo, 5.1363 mostrada numa varivel, 5.24 Possibilidade, 2.0122-3 indicao de valres de ver-
(1) de conexo de coisas, 2.0121 (4) dade das, descreve o mun-
"Objeto", um pseudoconceito, do, 4.26
4.1272 (1) nada assertam, 5.25 (2) de estrutura forma, 2.033
no so relaes, 5.42 (1) de projeo, 3.13 (2) lgicamente independentes,
Objetos nmero de, bsicas depende de proposies, 4.0312 (1) 5.134
configurao de, 3.21 apenas de nossa notao, de situaes, 2.014, 2.202, 2.203 no pode contradizer outras
determinam os limites da reali- 5.474 expresso de, 5.525 (2) proposies elementares,
dade emprica, 5.5561 (1) pode anular o efeito, 5.253, de modo de designar, 3.3421 4.211
absurdo falar de sua exis- 5.254 e essncia do mundo, 3.3421 no podem ser indicadas a
realizao de, no caracteriza e estado de coisas, 2.012, 2.0124 priori, 5.5571
tncia, 4.1272 (5) puros fundamentos lgicos
absurdo falar de seu nmero, o sentido, '5.25 (1) e forma de afigurao, 2.151
4.1272 (6) resultado de, pode ser sua pr- e tudo que precisa ser tradu- para seu ser, 5.5562
e possibilidade, 2.014 pria base, 5.251 zido, 4.025 (1) relao da, com estados de
forma de, 2.0141 signos de, so pontuaes, 5.4611 coisas, 4.21, 4.25
torna expressa a diferena de Proposio (preposies) relao das, com possibili-
independncia de, 2.0122
marca caracterstica dos, no formas, 5.24 (2), 5.241 anlise de, 3.201, 3.25, 4.221 dades de verdade de ou-
so mostradas por similari- (1) tras proposies, 4.4
Operaes-verdade apanha todo espao lgico, relao das, com tautologia
dade dos signos, 3.322 e contradio, 6.3751 (3)
no podem ser enunciados, 3.221 definio de, 5.234 3.42 (3)
no tm cr, 2.0232 e funes de verdade, 5.3 (2, 3) cada, determina um lugar l- so argumentos de verdade
ocorrncia em estados de coisas gico, 3.42 da proposio, 5.01
de, 2.012, 2.0123 como configuraes de objetos, se dadas, todas j so dadas,
podem apenas ser nomeados, Palavras, no podem ocorrer 2.0231 5.524 (2)
3.221 simultneamente nas e fora como figuraes lgicas, 4.01 (1) simbolizao de, 4.24 (2, 3)
possibilidade de conexo dos, das proposies, 2.0122 como funes de expresses, e possibilidades de verdade de
com outros objetos, 2.0121 (4) 3.318 proposies elementares, 4.4
Paradoxo de Russell, 3.333 (4) como modelos da realidade, 4.01
possvel infinitude de, 4.2211 (2) expresso de pensamentos nas,
so a forma fixa do mundo, Parnteses, sua importncia, 3.2
2.023, 2.026 5.461 completamente universalizadas, forma
4.0 aparentementelgica das,
so denotados por nomes, 3.203, 5.526 (1)
Pensamento compreenso de, 4.024
3.22 forma geral de, 5.47 (5)
so simples, 2.02 a priori, critrio de, 3.04 contedo da, 3.13 (4)
so substncia do mundo, 2.021 como figurao lgica, 3 determina espao lgico, que forma mais geral das, 4.5, 6
se dados, todos so dados, como mtodo de projeo, 3.11 dado por ela, 3.42 (1) formas de, da psicologia, 5.541,
5.524 (1) (2) diz como, no o que uma coisa 5.542
contm possibilidade da situa- , 3.221 lgicas (ver: Proposies l-
"Objetos lgicos", no existem, o, 3.02 (1) elementar (elementares) gicas)
4.441, 5.4 aplicado a signo proposicional, mostra o que diz, 4.401 (1)
campo deixado pelas, 5.5262
"culos espaciais", 4.0412 3.5 (1) mostra seu sentido, 4.022
a proposio significativa, 4 composio de, no pode ser no pode adquirir sentido por
Operao (operaes) expresso em proposies, 3.2
aplicao sucessiva de, 5.2521, dada, 5.55 (2) assero, 4.064
expresso por signos, 3.1 conceito de, 5.555 (1) no pode afirmar sua prpria
5.2523 forma do, 4.002 (4)
base da, 5.21, 5.24 (3), 5.25 constitui-se de nomes, 4.22, verdade, 4.442 (3)
vedado pela linguagem, 4.002 5.55 (2) no pode assertar nada sbre
(2), 5.251 (4)
conexo com estrutura, 5.22, contm todas operaes l- si mesma, 3.332
6.002 Pensvel (pensveis) gicas, 5.47 (2) no pode representar forma l-
definio de, 5.23 apenas conexes conformes com formas de, no h hierarquia gica, 4.12 (1), 4.124
depende de propriedades for- a lei so, 6.361 de, 5.556 negao da, 4.0641
mais, 5.231 delimitado pela filosofia, formas possveis de, 5.55 nelas nomes substituem os ob-
distinta das funes, 5.25 (3) 4.114 importncia de, para enten- jetos, 3.22
exemplos de, 5.2341 (2) figurvel, 3.001 der outros modos de propo- nem provvel nem improvvel
expoente de, 6.021 possvel, 3.02 sies, 4.411 em si mesma, 5.153

146 147
nmero de possibilidades das, tm proposies elementares co- conhecimento de, como neces- enlaada com figuraes, 2.1511,
de concordncia com possibi- mo argumentos de verdade, srio para conhecimento de 2.15121
lidades de verdade de propo- 5.01 objetos, 2.01231 figurao comparada com, 2.21,
sies elementares, 4.42, 4.45 tm sentido independente dos de uma proposio, descrevem 2.223
(1) fatos, 4.061 a realidade, 4.023 (4) figurao modlo da, 2.12
oposio de, 5.513 (2) tm tdas igual valor, 6.4 de uma situao possvel, 4.124 forma de, 2.18
o que comum a, ilustrao tm valor de verdade quando (1), 4.125 no figurada por tautologia e
do, 5.513 (1) so figuraes da realidade, e estrutura, 4.122 (2) contradio, 4.462
o que elas dizem, 4.022 (2) 4.06 impensvel, 4.123 (1) proposio como figurao da,
traos acidentais de, 3.34 e trao, 4.1221 4.01 (1), 4.021
parecem flechas, 3.144 (2) traos essenciais de, 3.34 sua subsistncia mostrada, proposies comparadas com,
precisa apenas de "sim" ou 4.122 (4) 4.05
"no" para fixar a realidade, Proposies analticas, as pro-
posies da lgica so, 6.11 total, o mundo, 2.063
4.023 (1) Propriedades lgicas das pro-
posies, demonstradas pelas traos lgicos da, 4.023 (5)
pressuposies de, 5.5151 (3) Proposies lgicas
tautologias, 5.121 Recursos, em lgica, 5.452
primitivas ("princpios"), 5.43 como formas de prova, 6.1264
(1) (1) Protofigurao Regras, como equivalentes a sm-
probabilsticas, no possuem como modus ponens, 6.1264 (2) e designao da universalidade, bolos, 5.514
objeto especial, 5.1511 descrevem os andaimes do mun- 3.24 (3), 5.522
do, 6.124 Relaes internas
relao de, com signo proposi- e forma lgica, 3.315
cional, 3.12 dispensveis, 6.122 e varivel, 3.315 da proposio que trata de um
so articuladas, 3.141 (2), 3.251, e relao com o mundo, 6.124 exemplos de, 3.333 (1), 5.5351 complexo com a proposio
4.032 (1) no se distinguem por validade (1) que trata das partes consti-
so comparadas com a reali- universal, 6.1231 (1) tuintes, 3.24 (1)
dade, 4.05 no so confirmadas pela expe- Prova e deduo, 5.131
so compostas, 4.032 (2), rincia, 6.1222 ,de 2X2, 6.241 e definio de sries formais,
5.5261 (1) so eqiponderantes, 6.127 (1) de proposio denotativa oposta 4.1252 (1)
so descries de um estado sua verdade discernvel ape- prova em lgica, 6.1262 entre estruturas de proposies,
de coisas; 4.023 (3) nas no smbolo, 6.113 em lgica, um expediente me- 5.2
so expresses, 3.31 (2) tm posio especial entre tdas cnico, 6.1263 equivalentes a operaes, 5.232
proposies, 6.112
so expresses de sua condio "tratam" de nada, 6.124, Pseudoconceito, 4.1272 (1) "Rosa Rosa", 3.323 (3)
de verdade, 4.431 (2) Pseudoproposies, 5.535 (1) Russell, 3.318, 3.325, 3.331, 3.333,
so figuraes da realidade, Propriedade, como impensvel e
interna, 4.123 proposio e coisa como, 5.5351 4.0031, 4.12721, 4.1.272 (8),
4.021 4.1273, 4.241 (3), 502 (2),
so funes de verdade de pro- (1)
Propriedade essencial, de uma 5.132 (4), 5.252, 5.4, 5.42,
posies elementares, 5 (1) proposies matemticas so,
coisa, poder ser parte consti- 6.2 (2) 5A52 (2), 5.5302, 5.535, 5.541
so generalizaes de proposi- tuinte de um estado de coisas, (4), 5.5422, 5,553 (1), 6.123
es elementares, 4.52 surgem do uso de pseudocon-
2.011 (2), 6.1232
so sempre figuraes completas, ceitos, 4.1272 (4)
5.156 (4) Propriedade externa, 2.01231,
2.0233 (ver tambm: Proprie- Psicologia, e filosofia, 4.1121
seguem de proposies elemen-
tares, 4.52 dade interna)
sentido da, idntico ao produto Propriedades formais Semelhana interna, 4.0141
Realidade
lgico da tautologia, 4.465 dos valres da varivel, 4.1271 Sentido
como subsistncia de estado de
significativas e tautologias, 6.12 coisas, 2.06 (1) apenas proposies tm, 3.3
contedo de, 3.13 (4,5) exposio de, 4.122 (1) completamente descrita por pro- caracterizado por expresses,
so pensamentos, 4 expressa por traos de smbolos, posio, 4.023 (2) 3.31 (1)
sbre complexos, 3.24 4.126 (6) descrita por propriedades inter- conexo do, com o mtodo de
subsistncia e no-subsistncia reconhecimento de, 6.122 nas da proposio, 4.023 (4) projeo, 3.11 (2)
de estados de coisas repre- Propriedade(s) interna(s) (ver emprica, limitada pela totali- de funes de verdade como
sentadas por, 4.1 tambm: Propriedades formais) dade dos objetos, 5.5661 (1) uma funo, 5.2341 (1)

148 149
de proposies e smbolo, 3.326 e regras para substituio, 3.334 no diz nada, 4.461 (1), 5.142,
apenas a forma do, contida equivalncia de, 5.47321 (2) implica tda proposio lgica, 6.11
na proposio, 3.13 (5) identidade da denotao dos, 6.124 no absurda, 4.4611
contido no sentido de outras 3.203 necessidade de ser utilizada, no figurao da realidade,
proposies, 5.122 no pode receber sentido incor- 3.325 (1) 4.462
determinao do, 4.063 (2) reto, 5.4732 regras da, 3.334 no tem condies de verdade,
e possibilidades de existncia no usado, 3.328 (1) 4.461 (2)
de estados de coisas, 4.2 o mesmo, pode pertencer a sm- Situaes (Sachlage) probabilidade de, 5.152 (4)
expresso por posio espacial, bolos diferentes, 3.321 conexo da coisa com, 2.0122 produto lgico de, uma pro-
3.1431 (2) possvel, 5.473 (2) podem ser descritas mas no posio, 4.465
independente dos fatos, primitivo (ver: Signos primiti- nomeadas, 3.144 (1) proposies da lgica so, 6.1
4.061 (1) vos) possibilidade de, 2.014 segue-se de tda proposio,
invertido pela negao, proposicional (ver: Signo pro- "S6crates idntico", 5.473 5.142
5.2341 (3) posicional) (2), 5.4733 (3) uma proposio particular pode
do signo proposicional, no simples, 3.201, 3.202 ser, 6.1231 (2)
necessita explanao, 4.02, Solipsismo usada na demonstrao de pro-
Signo de assero, sem deno-
4.021 tao, 4.442 (2) coincide com realismo, 5.64 priedades lgicas, 6.121
e deduo, 5.122 correto em intenso, 5.62
expressvel apenas por fatos, Signos primitivos Tempo
3.142 da lgica Substncia "decurso" de, 6.3611 (1)
igualada com representao de como formas de combinaes, do mundo, identificada com os forma dos objetos, 2.0251
situaes, 4.031 (2) 5.46 objetos, 2.021 objetos temporais so impen-
no pode ser sustentado por precisam ser esclarecidos, 5.45 forma e contedo, 2.025 sveis fora de, 2.0121 (4)
assero, 4.064 diferente significao dos, subsiste independente do que seqncia de processos no,
nvo, comunicado, 4.03 (1) 3.261 (2) ocorre, 2.024 6.3611 (1, 2)
objetos que ocorrem no, elucidao de sua denotao, Sucessor, definio de, 4.1252 (4)
3.263 Teoria de Darwin, irrelevante
4.1211 (1) para a filosofia, 4.1122
oposto, 4.0621 (3) nomes so, 3.26 Sujeito
o que a figurao representa regras de definio aplicadas a, e o corpo, 5.631 (2) Teoria do conhecimento, como
seu, 2.221 5.451 (2) limite do mundo, 5.632, relacionada com psicologia e
postulado da determinabilidade Smbolo(s) 5.641 (3) filosofia, 4.1121 (2)
do, 3.23 no existe, 5.5421 (1)
como equivalente a regras, 5.541 Teoria dos tipos, 3.331, 3.333,
requer substncia, 2.011 no pertence ao mundo, 5.632
composto, caractersticas do, 5.252, 6.123 (2)
Srie formal (sries formais) 5.5261 (2) Superstio, 5.1361 (2)
Totalidade de estado de coisas,
definidas, 4.1252 (1) de complexos, definidos, 3.24 (4)
2.05
de funes de verdade, 5.1 (1) diferena de, 3.323 (3) Tautologia(s)
diferente, pode ter signo comum, Trao, explicado, 4.1221
exemplo de, 4.45 (2) compartilhada por proposies,
precisa de uma varivel, 4.1273 3.321 5.143 (1) Traos de smbolos, expressam
progresso de um trmo a outro e signos, 3.326 definio de, 4.46 (4) propriedade formal, 4.126 (6)
na, 5.252 igualados a expresses, 3.31 derivao da tautologia de,
o que designa no, 3.344 Traduo
representao do trmo geral 6.126 (3)
de, 5.2522 pressuposies de, 5.5151 (3) caso-limite de unio de sig- como critrio de "o que
trmo geral de, 4.1273 (2) so traos essenciais, 3.34 nos, 4.466 (4) comum" nas linguagens, 3.343
signo a parte perceptvel do, proposio analtica, 6.11 e projeo, 4.0141
Signo(s) 3.32 e propriedade de estrutura,
aplicao do, 3.262 Smiles, 4.015 6.12 (3)
complexo, 3.1432 sem sentido, 4.461 (3) Universalidade
Simplicidade de objetos, 2.02,
como determinando uma forma 2.021 verdade certa, 4.464 (1) acidental, 6.031 (2), 6.1232
lgica, 3.327 mtodo para reconhecer, 6.1203 conceito de, separado de funo
como parte perceptvel do sm- Sintaxe lgica de verdade, 5.521
mostra a lgica do mundo, 6.22
bolo, 3.11, 3.32 denotao dos signos no desem- mostra que uma tautologia, como designada, 4.0411 (1)
como smile do designado, 4.012 penha nenhum papel na, 3.33 6.127 (2) como presente, 5.1311 (2)

1505
designao de, utilizada para operaes, 5.24
(1) LUDWIG WITTGENSTEIN nasceu em Viena em
aparece como argumento,
5.523 valres de, 3.315, 5.501 (6) 1889 e faleceu em Cambridge, (mia 1951, onde
refere-se a uma protofigura- ensinou. Pretendia, como conta Ruagzu, nos
Varivel proposicional Retratos de memria, tornar-se engenheiro e
o lgica, 5.522
definio de, 3.313 (3) f6ra para Manchester com 6sse objetivo. Inte-
salienta as constantes, 5.522
determinao dos valres de, ressado no estudo dos fundamentos da mate-
essencial 3.316
necessria na matemtica, mtica, entrou em contato com RUSSELL. "Era
exprime um conceito formal, escreve RUSSELL - um tipo esquisito e
6.031 (2) 4.126 (8)
oposta validade acidental, suas idias me pareciam estranhas, de modo
relao da, com forma lgica, que durante todo um perodo letivo no me
6.1232 3.315
sua designao contm uma smbolo trao para, 5.501
foi possvel decidir se le era um homem de
protofigurao, 3.24 (3), tda varivel pode ser conce- gnio ou simplesmente um excntrico. Ao ter-
5.522 bida como, 3.314 minar o seu primeiro ano em Cambridge, veio
a mim e 13ediu-me: "Poderia fazer a fineza
Vazio(s) de sentido (Sinnlos) de dizer-me se sou ou no um completo idiota ?"
Valor, 6.4, 6.41 distinto de absurdo, 4.461 (3), Respondi: "Meu caro amigo, no sei. Por
4.4611 que - Ine pergunta ?" Replicou-me: "Porque,
Varivel (variveis) (ver tam- exemplos de, 4.1272 (9), caso seja um completo idiota, me dedicarei
bm: Varivel proposicional) 4.1274, 5.1362 (2)
expresso apresentada por, 3.313
aeronutica; caso contrrio, tornar-me-ei fil-
"regras de inferncia" so, sofo." Disse-lhe que escrevesse algo, durante
como nome, que signo para 5.132 (4)
pseudoconceito objeto, as frias, sbre algum tema filosfico, e que
tautologia e contradio so, eu lhe diria, ento, se era ou no um com-
4.1272 (1) 4.461 (3)
determinao de valres de, pleto idiota. No incio do ano letivo, trouxe-me
3.317 Verdade o resultado daquilo que eu sugerira. Aps
nome tambm, 3.314 (2) conceito de, contribuio falsa ler apenas uma frase, disse-lhe: "No, V, no
signo de conceitos formais, de FREGE, 4.431 (3) deve tornar-se aeronauta." No era fcil lidar
4.1271 conceito de, exposio do, 4.063 com le. Tinha manias. Certa vez, depois de
forma de, 4.1271 (2) e falsidade, no so relaes horas de silncio, Russzu, perguntara-lhe se
forma geral proposicional uma, eqiponderantes, 4.061 le estava pensando em problemas de lgica
4.53 no propriedade, 6.111 ou em seus peados. "m ambas as coisas",
na expresso de trmo geral sua conexo com a natureza foi a resposta. Herdara do pai uma grande
de uma seqncia, 5.2522 figurativa da proposio, 4.06 fortuna, mas desfez-se dela, alegando (o que
necessria para expressar o Vnculo proposicional talvez seja uma verdade) que o dinheiro cons-
' trmo universal da srie for- (Satzverband), 4.221 titua apenas uma amolao para o filsofo.
.1.)1al, 4.1273 (1) Foi mestre-escola num' lugarejo, Trattenbach,
pode ser encarada como va- Viso, campo de, 5.633 (2, 3),
5.6331 de onde escrevia a RUSSELL, que' "os homens
rivel proposicional, 3.314 de Trattenbach so perversos", a que RUSSELL
proposicional (ver: Varivel pro- Vontade, 6.423, 6.43
posicional) respondera: "Todos os homens so perversos."
proposicional geral, 5.242 Whitehead, 5.452 (2), 5.252
O lgico WITTGENSTEIN a isso dera esta res-
posta: " verdade, mas os homens de Tratten-
bach so mais perversos do que os homens de
qualquer outro lugar" . .. "Era um homem
que impressionava imensamente", diz ainda
RUSSELL, pois "possua, em grau absoluta-
mente extraordinrio, ardor, penetrao e pu-
reza intelectual."
a obra dsse homem excntrico mas
dotado de grande penetrao e pureza, que
a Biblioteca Universitria ora apresenta aos
leitores de lngua portugusa.
152 J. CRUZ COSTA