Professional Documents
Culture Documents
Edies Loyo/a
A filosofia de Wittgenstein das
poucas que, declaradamente, se pro
pem realizar uma obra libertadora. De
. modo semelhante filosofia de Epicuro,
com sua proposta de um qudruplo
remdio para libertar a humanidade de
tudo que impedia a conquista da paz
de esprito e da felicidade, a obra de
W ittg enstein tambm oferece um
poderoso antdoto contra o enfeitia-
mento de nosso entendimento". Me
lhor do que ningum, certamente, ele
mesmo teve conscincia disso. No
toa que ele resistiu a todas as tenta
tivas de aprisionamento de sua obra,
a comear pelas do Crculo de Viena.
Outro sintoma de sua lucidez quanto ao
carter libertador de sua obra o fato
de afirmar, no Prefcio das Investigaes
filosficas, que depois de ter relido seu
primeiro livro,o Tractatus,viu claramente
que devia publicar seus novos pensamen
tos, pois estes s podiam ser verdadei
ramente compreendidos por oposio
ao seu velho modo de pensar.
Data_^sL-JQ-__ 20lZ ~
TR R T f S t e x o ____________
_____ _____ _
FORNgfEnnR: H - f t . P>K>rg.<,
R Sg .g s^ ___________
Ludwig Wittgenstein
G RAM ATI C A
FILO S FIC A
PA RTE I
A proposio e seu sentido
PA RTE II
Sobre a lgica e a m atem tica
O rganizao:
Rush Rhees
Traduo inglesa:
Anthony Kenny
Traduo:
Lus Carlos Borges
Edies Loyola
Ttulo original:
Philosophical Grammar
1974, 1980 by Blackwell Publishers Ltd.
108 Cowley Road
Oxford 0X 41JF, UK
ISBN 0-631-11891-8
1
UNIVERSIDADE PSDERAL DO PAR
BIBLIOTECA CENTRAL
Edies Loyola
Rua 1822, 341 - Ipiranga
04216-000 So Paulo, SP
T 55 11 3385 8500
F 55 11 2063 4275
editorial@loyola.com.br
vendas@loyola.com.br
www.ioyola.com.br
ISBN 978-85-15-02606-7
2 edio: maio de 2010
EDIES LOYOLA, So Paulo, Brasil, 2003
UNIVERSIDADE FEDERAL D PAR
IBUGTECA CEMT8M
Sum rio
PA R T E I
A proposio e seu sentido
II
III
36 Se, para nossos propsitos, desejamos regular o uso de uma palavra por meio 55
de regras definidas, ento, juntamente com seu uso flutuante, estabelece
mos um uso diferente. Mas essa no como a maneira como a fsica fornece
uma descrio simplificada de um fenmeno natural. No como se esti
vssemos dizendo alguma coisa que s seria vlida a respeito de uma lingua
gem ideal.
37 Entendemos a pintura de gnero se reconhecemos o que esto fazendo as 55
pessoas que esto no quadro. Se esse reconhecimento no vem facilmente, h
um perodo de dvida seguido por um processo familiar de reconhecimento.
Se, por outro lado, ns o captamos primeira vista, difcil dizer do que o
entendimento o reconhecimento, digamos composto. No h nenhu
m a coisa que acontea que pudesse ser chamada de reconhecimento.
Se quero dizer Entendo-a desse jeito, ento, o desse jeito representa uma
traduo em uma expresso diferente. Ou trata-se de um tipo de entendi
mento intransitivo?
38 Esquecer o significado de uma palavra. Casos diferentes. O homem sente, 57
enquanto olha para objetos azuis, que a ligao entre a palavra azul e a cor
foi rompida. Poderiamos restaurar a ligao de vrias maneiras. A ligao no
feita por um nico fenmeno, mas pode manifestar-se em vrios processos.
Quero dizer, ento, que no h algo como o entendimento, mas apenas mani
festaes de entendimento? uma questo sem sentido.
39 Como funciona uma definio ostensiva? Ela reposta em funcionamento 57
todas as vezes que a palavra usada? A definio como parte do clculo age
apenas ao ser aplicada.
40 Em que casos diremos que o homem entende a palavra azul? Em que cir- 58
cunstncias ele poder diz-la? Ou dizer que ele a entendeu no passado?
Se ele diz Peguei abola por adivinhao; no entendi a palavra devemos acre
ditar nele? Ele no pode estar errado se diz que no entendeu a palavra; uma
observao a respeito da gramtica do enunciado no entendi a palavra.
41 Chamamos entendimento um estado mental e o caracterizamos como um pro- 58
cesso hipottico. A comparao entre a gramtica dos processos mentais e a
gramtica dos processos cerebrais.
Em certas circunstncias, tanto tirar um objeto vermelho de entre outros quan
do nos pedem como sermos capazes de oferecer a definio ostensiva da pa
lavra vermelho so considerados signos de entendimento.
Sumrio
IV
Sumrio
Pode-se dizer que quando algum est pintando certa nuan de verde est
copiando o vermelho de um rtulo?
Uma amostra no usada como um nome.
50 Cpia pode significar vrias coisas. Vrios mtodos de comparao. 65
No entendemos o que se quer designar com esta nuana de cor uma cpia
desta nota no violino No faz nenhum sentido falar de um mtodo de proje
o para a associao.
51 Podemos dizer que nos comunicamos por signos se usamos palavras ou amos-
tras, mas o jogo de agir em conformidade com as palavras diferente do jogo
de agir em conformidade com amostras.
52 Deve haver algum tipo de lei para ler o grfico. De outra maneira, como se 67
saberia como a tabela devia ser usada? parte da natureza humana entender
o apontar com o dedo da maneira como o entendemos.
O grfico no me compele a us-lo sempre da mesma maneira.
53 A palavra vermelho suficiente para nos capacitar a procurar por algo ver- 68
melho? Precisamos de uma imagem da memria para faz-lo?
Uma ordem. a ordem real Faa agora o que voc se lembra de ter feito
ento?
Se a amostra de cor parece mais escura do que me lembro de ter sido ontem,
no preciso concordar com minha memria.
54 Pinte de memria a cor da porta do seu quarto no uma ordem mais des- 68
provida de ambiguidade que pinte o verde que voc v neste grfico.
Vejo a cor da flor e reconheo-a.
Mesmo se digo no, esta cor mais brilhante do que a que vi l, no h
nenhum processo de comparar duas nuanas de cor dadas simultaneamente.
Pense em ler em voz alta a partir de um teste escrito (ou escrever um ditado).
55 Por que voc escolhe esta cor quando recebe esta ordem? Porque essa 69
cor est na frente da palavra vermelho no meu grfico. Nesse caso, no h
nenhum sentido nesta pergunta: Por que voc chama vermelha a cor em
frente da palavra vermelho no grfico?
A ligao entre linguagem e realidade formada por definies de palavras
que pertencem gramtica.
56 Uma linguagem gestual usada para a comunicao com as pessoas que no 69
tm nenhuma linguagem de palavras em comum conosco. Sentimos a tam
bm a necessidade de sair da linguagem para explicar seus signos?
A correlao entre objetos e nomes uma parte do simbolismo. D idia er
rada se voc diz que a ligao uma ligao psicolgica.
57 Algum copia uma figura na escala de 1 a 10. O entendimento da regra geral 70
de tal mapeamento est contida no processo de copiar?
Ou o processo meramente estava em concordncia com essa regra, mas tam
bm em concordncia com outras regras?
58 Mesmo se o meu lpis nem sempre faz justia ao modelo, minha inteno 70
sempre faz.
Sumrio
59 Para os nossos estudos nunca pode ser essencial que um fenmeno simblico 7/
ocorra na mente, no no papel.
Uma explicao de um signo pode substituir o prprio signo isso contras
ta com a explicao causai.
60 Ler. Derivando uma traduo do original tambm pode ser um processo 7/
visvel.
Sempre o que representa o sistema em que o signo usado.
Se os processos mentais podem ser verdadeiros e falsos, suas descries tam
bm devem poder ser.
61 Todo caso de derivar uma ao de um comando o mesmo tipo de coisa que 72
a derivao escrita de um resultado.
Escrevo o nmero 16 aqui porque ali diz x2.
Podera parecer que alguma causalidade estava em operao ali mas isso seria
uma confuso entre razo e causa.
O pensamento s pode ser algo trivial. Mas somos afetados-por esse conceito
como somos pelo do nmero um.
67 Para que o homem pensa? No h algo como um experimento do pensamen- 80
to. Acredito que mais caldeiras explodiram se as pessoas no calculassem ao
fazer caldeiras. Decorre que haver realmente menos? A crena de que o fogo
me queimar da mesma natureza que o temor de que me queimar.
68 Minha suposio de que esta casa no ruir pode ser a emisso de uma senten- 81
a que parte de um clculo. Realmente tenho razes para isso. O que conta
como razo para uma suposio determina um clculo. Ento, o clculo
algo que adotamos arbitrariamente? No mais do que o medo do fogo.
Contanto que permaneamos no domnio dos jogos de falso-verdadeiro, uma
mudana da gramtica s pode nos levar de um jogo para outro, e nunca de
algo verdadeiro para algo falso. .
VI
75 O significado como algo que se coloca diante das nossas mentes quando ouvi- 88
mos uma palavra.
Mostre um jogo s crianas.
A sentena Os assrios conheciam vrios jogos soaria curiosa para ns, j
que no estaramos certos de poder dar um exemplo.
76 Exemplos do uso da palavra desejar. Nosso objetivo no oferecer uma teo- 88
ria do desejar, a qual teria de explicar todo caso de desejar.
O uso das palavras proposio, linguagem etc. tem a impreciso do uso
normal de palavras-conceito em nossa linguagem.
77 A filosofia da lgica fala de sentenas e palavras no sentido em que falamos 89
delas na vida comum.
(No estamos justificados em ter mais escrpulos a respeito da nossa lingua
gem do que os enxadristas tm a respeito do xadrez, ou seja, nenhum.)
78 Soar como uma sentena. No chamamos tudo o que soa como uma senten- 90
a uma sentena. Se desconsiderarmos soar como uma sentena, ainda
temos um conceito geral de proposio?
O exemplo de uma linguagem em que a ordem das palavras em uma sentena
o inverso da presente.
79 A definio Uma proposio qualquer Coisa que possa ser verdadeira ou 90
falsa. As palavras verdadeiro e falso so itens em uma notao particu
lar das funes de verdade.
p verdadeiro enuncia alguma coisa a respeito do signo p?
80 No esquema assim que as coisas esto o que as coisas esto uma mani- 92
vela para as funes de verdade.
Uma forma propositiva geral determina uma proposio como parte de um
clculo.
81 As regras que dizem que tal e tal combinao de palavras no resulta em ne- 92
nhum sentido.
Como sei que o vermelho no pode ser cortado em pedaos? no uma
pergunta. Devo comear com a distino entre sentido e nenhum sentido.
No posso dar-lhe um fundamento.
82 Como devemos fazer as regras gramaticais para as palavras para que elas 93
ofeream um sentido de sentena?
Uma proposio mostra a possibilidade do estado de coisas que descreve.
Possvel no caso significa o mesmo que concebvel, representvel em um
sistema particular de proposies.
A proposio Posso imaginar que tal e tal transio de cor liga a represen
tao lingilstica a outra forma de representao uma proposio da gra
mtica.
83 como se pudssemos dizer: A linguagem das palavras permite combinaes 95
de palavras sem sentido, mas a linguagem do imaginar no nos permite ima
ginar qualquer coisa sem sentido.
Voc consegue se imaginar sendo de outra maneira? muito estranho
que algum seja capaz de dizer que tal e tal estado de coisas inconcebvel!
UNIVERSIDADE FEDERAL DO R A jtf
B IB L IO T E C A CSHTSAA
Sumrio
VII
VII
109 Uma descrio da linguagem deve chegar ao mesmo resultado que a prpria 119
linguagem.
Suponha que algum diga que se pode inferir a partir de uma proposio o
fato que a verifica. O que se pode inferir a partir de uma proposio alm dela
mesma?
A antecipao sombria de um fato consiste em j sermos capazes de pensar
que acontecer justamente aquela coisa que ainda no aconteceu.
110 Sejam quantos forem os passos que eu inserir entre o pensamento e sua apli 120
cao, cada passo intermedirio sempre seguir o anterior sem qualquer vn
culo intermedirio e, portanto, tambm a aplicao segue o ltimo passo inter
medirio. No podemos cruzar a ponte para a execuo (de uma ordem)
at estarmos l.
111 o clculo de pensamento que se liga realidade extramental. Um passo em 120
um clculo da expectativa para a realizao.
112 Surpreendemo-nos por assim dizer no por algum conhecer o futuro, 120
mas por ser capaz de profetiz-lo (correta ou incorretamente).
Sumrio
IX
142 Estamos dispostos a chamar uma srie de sinais independentes uma lin- I 46
guagem?
Imagine um dirio mantido com sinais. As explicaes so dadas de modo
que os sinais sejam ligados a outra linguagem?
Uma linguagem composta de comandos. No diriamos que uma srie de tais
sinais, sozinha, me capacitaria a derivar uma imagem do movimento de um
homem obedecendo-as, a menos que, alm do sinal, exista alguma coisa que
possa ser chamada uma regra geral para a traduo em desenho.
A gramtica explica o significado dos signos e, portanto, torna pictrica a
linguagem.
A P N D IC ES
PA RTE II
Sobre a lgica e a matemtica
I A inferncia lgica
II A generalidade
V A prova matemtica
22 Em outros casos, se estou procurando algo, ento, mesmo antes que ele seja 285
encontrado, posso descrever o que encontr-lo; o mesmo no ocorre se estou
procurando a soluo de um problema matemtico.
Expedies matemticas e expedies polares.
23 Prova, verdade e falsidade das proposies matemticas. 29 /
24 Se voc quer saber o que est provado, olhe a prova. 2 93
25 Problemas matemticos. Tipos de problemas. Procura. Projetos na mate- 299
mtica.
26 A prova de Euler. 303
27 A trisseco de um ngulo etc. 307
28 Procurar e tentar. 3 13
UNIVERSIDADE f e d e r a l d P A R |
IBL1QTECA CENTRAL
Sumrio
29 At que ponto uma prova por induo uma prova de uma proposio? 3 15
30 A prova recorrente e o conceito de proposio. A prova uma prova de que 3 17
uma proposio verdadeira e seu contrrio falso?
3 1 Induo, (x) .cpx e (3x) .(px. A prova de induo prova ser verdadeira a propo* 321
sio geral e falsa a proposio existencial?
32 H um passo adicional do escrever a prova recorrente para a generalizaao? 325
O esquema da recorrncia j diz tudo o que h para ser dito?
33 At que ponto uma prova recorrente merece o nome de prova? At que ponto 329
um passo em conformidade com o paradigma A justificado pela prova de B?
34 A prova recorrente no reduz o nmero de leis fundamentais. 341
35 Decimais recorrentes 1/3 = 0.3. 343
36 A prova recorrente como uma srie de provas. 345
3 7 Ver ou visualizar um signo de uma maneira particular. Descobrir um aspecto 351
de uma expresso matemtica. Ver uma expresso de uma maneira particular.
Marcas de nfase.
38 Prova por induo, aritmtica e lgebra. 361
PA R TE I
A proposio e seu sentido
UNIVERSIDADE FEDERAL DO PA&j
biblioteca cent &l
Faz sentido apontar um grupo de rvores e perguntar: Voc entende o que esse
grupo de rvores diz?. Em circunstncias normais, no; mas no seria possvel ex
pressar um sentido por meio de um arranjo de rvores? No podera ser um cdigo?
Suponha que a pergunta seja: O que voc quer dizer com esse gesto? e a
resposta seja: Quero dizer que voc deve ir embora. A resposta no teria sido
28 A proposio e seu sentido
formulada mais corretamente: Quero dizer o que quero dizer com a sentena
voc deve ir embora.
Se dou uma ordem a algum sinto que suficiente dar-lhe signos. E, se recebo
uma ordem, nunca digo: Isto so apenas palavras e eu tenho de descobrir o que
est por trs das palavras. E, quando, depois de eu perguntar algo a algum, ele
me oferece uma resposta que me satisfaz que seja justamente o que eu esperava
eu no fao a objeo: Mas essa uma mera resposta.
Mas, se voc diz: Como vou saber o que ele quer dizer, quando no vejo nada
alm dos signos que ele oferece?, ento, digo: Como ele vai saber o que quer
dizer, quando tambm ele no tem nada alm dos signos?.
O que falado s pode ser explicado na linguagem e, portanto, nesse sentido,
a prpria linguagem no pode ser explicada.
3 Pode-se dizer que o significado ultrapassa a linguagem; porque o que uma pro
posio significa revelado por outra proposio.
O que voc quis dizer com essas palavras? Voc quis dizer essas palavras?
A primeira pergunta no uma especificao mais precisa da segunda. A primeira
respondida por uma proposio que substitui a proposio que no foi entendida.
A segunda pergunta como esta: Voc quer dizer isso mesmo, ou est brincando?
Compare: Voc quis dizer algo com esse gesto? Se quis, o qu?
Posso falar de experienciar uma sentena. No estou falando por falar. Falo
srio. Quando consideramos o que est acontecendo em ns quando queremos
izer (e no falamos por falar) palavras, parece-nos como se houvesse algo conju
gado s palavras, que, de outra maneira, permaneceram ociosas. Como se elas se
ligassem a alguma coisa em ns.
4 Entender uma sentena est mais prximo de entender uma pea musical do
que se podera pensar. Por que esses acordes devem ser tocados exatamente assim?
Por que quero produzir justamente esse padro de variao na altura e no com
passo? Gostaria de dizer: Porque sei do que se trata. Mas do que se trata? No
sabera dizer. Como explicao, s posso traduzir a imagem musical em uma ima
gem de outro meio e deixar que uma imagem lance luz sobre a outra.
O entendimento de uma sentena tambm pode ser comparado com o que
chamamos entender um quadro. Pense em uma natureza morta e imagine que no
consegussemos v-la como uma representao espacial e vssemos apenas frag
mentos e linhas na tela. Poderiamos dizer, nesse caso, no entendemos o quadro.
Mas dizemos a mesma coisa em um sentido diferente quando, apesar de vermos a
imagem espacialmente, no reconhecemos os objetos espaciais como coisas conhe
cidas, como livros, animais e garrafas.
Suponha que o quadro seja um quadro de gnero e que as pessoas nele te
nham cerca de uma polegada de comprimento. Se eu j tivesse visto pessoas reais
desse tamanho, podera reconhec-las no quadro e consider-lo uma representa
o delas em tamanho natural. Nesse caso, minha experincia visual do quadro
no seria a mesma que tenho quando vejo o quadro da maneira normal como
uma representao em miniatura, embora a iluso de viso espacial seja a mesma
em cada caso. Contudo, a familiaridade com pessoas reais de uma polegada
proposta aqui apenas como uma possvel causa da experincia visual; excetuando
isso, a experincia independente. Similarmente, pode ser que apenas algum
que j tenha visto muitos cubos reais possa ver espacialmente um cubo desenha
do; mas a descrio da apresentao visual espacial no contm nada para dife
renciar um cubo real de um cubo pintado.
As diferentes experincias que tenho quando vejo um quadro, primeiro de
uma maneira, depois de outra, so comparveis com a experincia que tenho quan
do leio uma sentena com entendimento e sem entendimento.
(Lembre como quando algum l uma sentena com uma entonao erra
da, que o impede de entend-la e, depois, percebe como deve ser lida.)
Leio uma sentena do meio de uma histria: Depois de ter dito isso, ele a
deixou, como fizera no dia anterior. Eu entendo a sentena? No de todo fcil
dar uma resposta. uma sentena em ingls e, nessa medida, eu a entendo. Eu
saberia como a sentena poderia ser usada, poderia inventar um contexto para ela.
E, contudo, no a entendo no sentido em que entendera se tivesse lido a histria.
(Compare com vrios jogos de linguagem: descrever um estado de coisas, inventar
uma histria etc. O que conta como sentena significante nos diversos casos?)
Uma resposta pergunta Como isto significado? exibe a relao entre duas
expresses lingsticas. Portanto, a questo tambm uma questo a respeito des
sa relao.
9 Suponha que a ordem de elevar uma srie de nmeros ao quadrado seja escrita
na forma de uma tabela, assim:
X 1 2 3
X2 ,
A proposio e seu sentido 33
I 0 Entender uma palavra pode significar: saber como usada; ser capaz de
aplic-la.
Voc pode erguer esta bola? Sim. Ento, tento e falho. Ento, talvez, eu
diga Eu estava errado, no posso. Ou, talvez, Agora no posso porque estou muito
cansado mas, quando eu disse que podia, eu realmente podia. Similarmente, Pen
sei que podia jogar xadrez, mas agora esqueci mas, por outro lado, Quando eu
disse Posso jogar xadrez, eu realmente podia, mas agora perdi. Mas qual o
critrio para eu ser capaz nesse tempo determinado? Como eu sabia que podia?
A essa pergunta eu respondera Eu sempre pude erguer esse tipo de peso, Eu o
ergui h pouco, Joguei xadrez recentemente e minha memria boa, Tinha
acabado de recitar as regras etc. O que considero uma resposta a essa questo
demonstrar a mim de que maneira uso o verbo poder.
Saber, ser capaz de fazer algo, uma capacidade o que chamaramos um estado.
Comparemos entre si outras proposies que, todas, em vrios sentidos, descre
vem estados:
Estou com dor de dente desde ontem.
UNIVERSIDADE FEDERAL DO PAR
Tenho ansiado por ele desde ontem.
Tenho esperado por ele desde ontem. BIBLIOTECA CENTRAL
i r l l l M ____________
34 A proposio e seu sentido
Posso usar a palavra amarelo como Sei como mover o rei no xadrez.
I 2 Suponha que se perguntasse: Quando voc sabe jogar xadrez? O tempo todo?
Ou apenas quando diz que sabe? Ou apenas durante um movimento no jogo?
Como estranho que saber jogar xadrez durasse to pouco tempo e um jogo de
xadrez durasse tanto mais!
(Agostinho: Quando meo um perodo de tempo? )
I 3 O xadrez se caracteriza por suas regras (pela lista das regras). Se defino o jogo
(se o diferencio do jogo de damas) por meio de suas regras, ento essas regras
pertencem gramtica da palavra xadrez. Isso significa que, se algum usa a
palavra xadrez inteligentemente, deve ter uma definio da palavra em mente?
Certamente no. Ele s oferecer uma se lhe perguntarem o que quer dizer
com xadrez.
Suponha que eu ento pergunte: Quando voc emitiu a palavra, o que quis
dizer com ela? Se ele respondesse Quis referir-me ao jogo que jogamos com
36 A proposio e seu sentido
freqncia etc., eu sabera que essa explicao no estava em sua mente quando
usou a palavra e que ele no estava dando uma resposta minha pergunta no
sentido de me contar o que acontecia dentro dele enquanto proferia a palavra.
Ele disse essas palavras, mas no pensou nenhum pensamento com elas.
Sim, eu realmente pensei um pensamento enquanto as dizia. Que pensamen
to? S o que disse.
Ao ouvir a assero Esta sentena faz sentido voc no pode realmente per
guntar que sentido? Exatamente como, ao ouvir a assero esta combinao de
palavras uma sentena, no pode perguntar que sentena?
II
14 O que as regras da gramtica dizem a respeito de uma palavra pode ser des
crito de outra maneira, quando se descreve o processo que tem lugar quando o
entendimento ocorre?
Suponha que a gramtica seja a geometria da negao, por exemplo. Posso
substitu-la pela descrio do que se encontra por trs da palavra no quando
ela aplicada?
Dizemos: Qualquer um que entenda a negao sabe que duas negaes re
sultam em uma afirmao.
Isso soa como Carbono e oxignio produzem cido carbnico. Mas, na rea
lidade, uma negao duplicada no produz nada, ela algo.
Algo, no caso, nos d a iluso de um fato da fsica. como se vssemos o
resultado de um processo lgico. Ao passo que o nico resultado o resultado do
processo fsico.
I 5 A geometria no fala mais sobre cubos do que a lgica fala sobre negao.
A geometria define a forma de um cubo, mas no o descreve. Se a descrio
de um cubo diz que ele vermelho e duro, ento uma descrio da forma de um
cubo uma sentena como Esta caixa tem a forma de um cubo.
38 A proposio e seu sentido
Mas, se descrevo como fazer uma caixa cbica, isso no contm uma descri
o da forma de um cubo? Uma descrio, apenas na medida em que diz que essa
coisa cbica e, de resto, uma anlise do conceito de cubo.
Que duas negaes produzam uma afirmao j deve estar contido na nega
o que estou usando agora. No caso, estou prestes a inventar uma mitologia do
simbolismo.
como se pudssemos inferir a partir do significado da negao que ----p
significa p. Como se as regras para o signo de negao decorressem da natureza da
negao. De modo que, em certo sentido, h, antes de mais nada, a negao e,
depois, as regras de gramtica.
Tambm como se a essncia da negao tivesse uma expresso dupla na
linguagem: aquela cujo significado apreendo ao entender a expresso da negao
em uma sentena e as conseqncias desse significado na gramtica.
permitidos pela forma dos corpos de vidro. Eu poderia, ento, expressar a regra
para os possveis arranjos dos quadrados vermelhos sem mencionar os cubos; mas
a regra, no obstante, conteria a essncia da forma do cubo no, claro, o fato de
que h cubos de vidro por trs dos quadrados vermelhos, mas a geometria do cubo.
Mas suponha que vejamos tal cubo: apresentam-se imediatamente a ns as
regras para as possveis combinaes, isto , a geometria do cubo? Posso ler a
geometria do cubo a partir de um cubo?
Mas como pode o cubo (ou o desenho) servir como notao para uma regra
geomtrica? Apenas se pertencer, como proposio ou parte de uma proposio, a
um sistema de proposies.
p
Por exemplo, este signo para a negao: V F
F V
no vale mais nem menos que qualquer outro signo de negao; um complexo
de linhas exatamente como a expresso no-p e transformado em signo de
negao apenas pela maneira como funciona quero dizer, a maneira como
usado no jogo.
(O mesmo vlido para os esquemas VF para a tatologia e a contradio.)
O que quero dizer que, para ser um signo, uma coisa deve ser dinmica,
no esttica.I
I 8 No caso, pode facilmente parecer que o signo contm toda a gramtica, como
se a gramtica estivesse contida no signo como um colar de prolas em uma caixa,
e ele tivesse apenas de tir-la de l. (Mas esse tipo de imagem justamente o que
40 A proposio e seu sentido
1. Sofista, 261E, 262A. [Substitu tipos de palavra, que aparece na traduo das pas
sagens paralelas em Investigaes filosficas 1, por partes do discurso, que parece ter sido
a traduo preferida de Wittgenstein. Devo esta informao a R. Rhees. (N. do T. ingl.)]
A proposio e seu sentido 4 1
Pense em uma linha em um mapa que atravessa um signo para mostrar que
vazio.
Pode nos parecer que as outras regras gramaticais para uma palavra tivessem
de decorrer de sua definio ostensiva, j que, afinal, uma definio ostensiva, por
exemplo, daquilo que chamado vermelho1 determina o significado da palavra
vermelho.
Mas essa definio apenas usar essas palavras mais apontar para um objeto
vermelho, por exemplo um pedao de papel vermelho. E essa definio realmen
te isenta de ambigidade? Eu no podera ter usado a mesma para dar palavra
vermelho o significado da palavra papel, ou quadrado, ou brilhante, ou
leve ou fino etc. etc.?
Posso definir ostensivamente uma palavra para uma cor ou uma forma ou um
nmero etc. etc. (as crianas recebem explicaes ostensivas dos numerais e saem-
se perfeitamente bem); a negao tambm, a disjuno, e assim por diante. A mes
ma ostentao poderia definir um numeral ou nome de uma forma ou o nome de
uma cor. Mas, na gramtica de cada parte diferente do discurso, a definio osten
siva tem um papel diferente, e, em cada caso, apenas uma regra.
Eu tambm poderia dizer a respeito de uma criancinha: Ela sabe usar a pala
vra, ela sabe como aplicada, Mas s vejo o que significa se pergunto qual o
critrio para esse conhecimento? Nesse caso, no a capacidade de enunciar regras.
Qual o signo de que algum entende um jogo? Ele deve poder recitar as re
gras? No tambm um critrio que ele possa jogar o jogo, isto , que ele realmente
o jogue, mesmo que fique atarantado quando lhe perguntarem as regras? Aprende
mos o jogo apenas porque nos contam as regras e no tambm quando o vemos ser
jogado? Naturalmente, uma pessoa muitas vezes dir a si mesma enquanto observa
Ah!, ento essa a regra, e ela pode, talvez, anotar as regras enquanto as obser
va, mas, com certeza, existe algo como aprender o jogo sem regras explcitas.
os jogos primitivos so jogados sem que suas regras sejam codificadas e at mes
mo sem a formulao de uma nica regra.
mas palavras, houvssemos lhe dado um pedao de acar, ela teria aprendido a
entender a palavra de maneira diferente. (Dessa maneira, ela aprendeu a usar a
palavra, mas tambm a associar um sentimento particular a ela, a experiment-la
de uma maneira particular.)
O que constitui o significado de uma palavra como talvez? Como uma crian
a aprende o uso da palavra talvez? Ela pode repetir uma sentena que ouviu de
um adulto como talvez ela venha; ela pode faz-lo no mesmo tom de voz que o
adulto. (Isso um tipo de jogo.) Em tal caso, s vezes se pergunta: ela j entende a
palavra talvez ou est apenas repetindo? O que demonstra que ela realmente
entende a palavra? Bem, o fato de que a usa em circunstncias particulares, de
uma maneira particular em certos contextos e com uma entonao particular.
O que significa entender a palavra talvez? Eu entendo a palavra tal
vez ? E como julgo que sei? Bem, algo assim: sei como usada, posso explicar
seu uso a algum, dizer descrevendo-a em casos inventados. Posso descrever as
ocasies de seu uso, sua posio nas sentenas, a entonao que tem no discurso.
Naturalmente, isso s significa que Entendo a palavra talvez equivale a: Sei
como usada etc.; no que eu tente chamar mente toda a sua aplicao para
responder se entendo a palavra. Mais provavelmente, eu reagiria a essa questo
imediatamente com a resposta sim, talvez depois de ter dito a palavra para mim
mesmo outra vez e como se, por assim dizer, tivesse me convencido de que fami
liar ou, ento, pudesse pensar em uma nica aplicao e pronunciasse a palavra
com a entonao correta e um gesto de incerteza. E assim por diante.
como o caso em que uma pessoa est me explicando um clculo que no
entendo inteiramente e, quando ela chega a um ponto particular da explicao,
eu digo: Ah! agora entendo; agora sei como prosseguir. Como sei que sei como
prosseguir? Percorri o resto do clculo nesse momento? Naturalmente, no. Tal
vez um pouco dele tenha passado de relance pela minha mente, talvez uma aplica
o particular ou um diagrama. Se me perguntassem: como voc sabe que pode
usar a palavra talvez, eu talvez respondesse simplesmente Usei-a cem vezes.
No momento, digamos, sei apenas como os homens usam essa palavra. Mas
poderia ser um jogo ou uma frmula de etiqueta. No sei por que se comportam
dessa maneira, como a linguagem se entrelaa com sua vida.
O significado, ento, apenas o uso de uma palavra? No o modo como esse
uso se entrelaa com nossa vida?
Mas seu uso no parte de nossa vida?
Eu poderia dizer: em muitos casos, entender uma palavra envolve ser capaz
de us-la em certas ocasies em um tom de voz especial.
Poderia ser dito que o propsito da palavra ei! na nossa linguagem chamar
a ateno da pessoa com quem falamos. Mas a que equivale o fato de ela ter esse
propsito? Qual o critrio para ele? A palavra propsito, como todas as pala
vras de nossa lngua, usada de vrias maneiras mais ou menos relacionadas.
Mencionarei dois jogos caractersticos. Poderiamos dizer que o propsito de fazer
algo o que a pessoa que est fazendo diria se lhe perguntassem qual era seu
propsito. Por outro lado, se dizemos que a galinha cacareja para reunir os pinti-
nhos, inferimos esse propsito do efeito do cacarejar. No diriamos que a reunio
dos pintinhos o propsito do cacarejar se o cacarejar no tivesse esse resultado
sempre ou, pelo menos, comumente ou em circunstncias especificveis. Po
deriamos dizer agora que o propsito, o efeito da palavra ei! a coisa importan
te a respeito da palavra, mas explicar o propsito ou o efeito no o que chama
mos explicar o significado.
Pode ser que, para alcanar seu efeito, uma palavra particular no possa ser
substituda por qualquer outra, exatamente como pode ser que um gesto no pos
sa ser substitudo por qualquer outro. (A palavra tem uma alma e no apenas um
significado.) Ningum acreditaria que um poema permanecera essencialmente
inalterado se suas palavras fossem substitudas por outras, em conformidade com
uma conveno adequada.
digamos, entreter certas pessoas. Mas est claro que, quando falamos do sen
tido dos signos, no quisemos nos referir a nenhuma parte desse propsito. Est
vamos pensando, antes, no propsito dos signos dentro do mecanismo da pianola.
E, portanto, voc pode dizer que o propsito de uma ordem seu sentido,
apenas na medida em que o propsito possa ser expresso por uma regra da lin
guagem. Estou dizendo V embora porque quero que voc me deixe sozinho,
Estou dizendo talvez porque no estou inteiramente certo.
Como ele vai saber que cor deve escolher quando ouve a palavra vermelho?
Muito simples: ele deve escolher a cor cuja imagem lhe ocorre quando ouve a
palavra Mas como ele ir saber o que significa e qual cor a que lhe ocorre
quando ouve a palavra?
Certamente, h um processo como escolher a cor que lhe ocorre quando voc
ouve essa palavra. E a sentena vermelho a cor que ocorre quando voc ouve a
palavra vermelho uma definio.
Em nossa linguagem, uma das funes da palavra vermelho trazer essa cor
particular mente; e, na verdade, poderia ser descoberto que essa palavra faz isso
melhor que outras, mesmo que apenas ela sirva a esse propsito. Mas, em vez do
mecanismo de associao, poderiamos tambm usar uma tabela cromtica ou
algum aparato do tipo, e, ento, nosso clculo teria de se harmonizar com a amos
tra cromtica associada ou visvel. A eficcia psicolgica de um signo no nos diz
respeito. Eu nem sequer teria escrpulos de inventar esse tipo de mecanismo.
Mas, ainda assim, para entender uma sentena, tenho de entender as palavras
nela! E, quando leio, entendo algumas palavras e no as outras.
Ouo uma palavra e algum me pergunta Voc a entendeu? e eu respondo,
verdadeiramente, sim. O que aconteceu quando entendi? Como o entendimento
foi diferente do que acontece quando no entendo uma palavra? Suponha que
a palavra fosse rvore. Se devo dizer verdadeiramente que a entendi, a imagem
de uma rvore deve ter aparecido minha mente? No; nem deve ter aparecido
qualquer outra imagem. Tudo o que posso dizer que, quando me perguntaram
voc entende a palavra rvore? eu teria respondido sim sem pensar e sem mentir.
Se a outra pessoa tivesse me perguntado ainda e o que uma rvore? eu teria
descrito uma para ela, ou mostrado, ou desenhado; ou, talvez, eu teria respondido
Sei, mas no quero explicar. E pode ser que, quando dei a minha resposta, a
imagem de uma rvore tenha vindo minha mente, ou, talvez, eu tenha procura
do por algo que tivesse alguma similaridade com uma rvore, ou, talvez, outras
palavras tivessem vindo minha mente etc. etc.
Olhemos apenas como usamos efetivamente a palavra entender.
Tambm podera ter sido uma palavra sobre a qual eu diria Costumava saber
o que significa, e vou me lembrar outra vez, e, ento, mais tarde, eu diria agora
lembrei. O que aconteceu, ento? Talvez tenha vindo minha mente a situa
o em que a palavra me foi explicada pela primeira vez: Vi-me em uma sala com
outros etc. etc. (Mas se, agora, leio e entendo a palavra em uma sentena, essa
imagem no teria vindo minha mente; talvez no venha minha mente absolu
tamente nenhuma imagem.)
Ou era uma palavra em uma lngua estrangeira, e j a ouvi muitas vezes, mas
nunca a entendi. Talvez eu tenha dito a mim mesmo o que pode significar? e
tenha tentado dar-lhe um significado que se ajustasse ao contexto (novamente,
vrias possibilidades). Talvez, agora, essa situao venha minha mente e eu diga
No entendo a palavra Mas tambm podera reagir imediatamente palavra
estrangeira com a resposta No a entendo, exatamente como reagi palavra r
vore com a resposta contrria.
Suponha que seja a palavra vermelho e eu diga automaticamente que a en
tendo; ento, a pessoa pergunta, outra vez, voc realmente a entende? Ento,
invoco uma imagem vermelha na minha mente, como uma espcie de verifica
o. Mas como sei que a cor certa que surge a mim? E, contudo, digo agora com
plena convico que a entendo. Mas tambm podera olhar uma tabela crom
tica com a palavra vermelho escrita embaixo da cor. Eu podera continuar a
descrever tal processo para sempre.
35 O problema que nos diz respeito poderia ser resumido toscamente assim:
Devemos ver uma imagem da cor azul em nossa mente sempre que lemos a pala
vra azul com entendimento? As pessoas muitas vezes fizeram essa pergunta e
responderam comumente no; concluram a partir dessa resposta que o processo
caracterstico de entender apenas um processo diferente que ainda no apreen
A proposio e seu sentido 53
demos. Suponha, ento, que com entendimento queremos designar o que faz
a diferena entre ler com entendimento e ler sem entendimento; o que realmente
acontece quando entendemos? Bem, entendimento no o nome de um nico
processo que acompanha a leitura ou a audio mas de processos mais ou menos
inter-relacionados contra um pano de fundo ou, num contexto, de fatos de um
tipo particular, por exemplo o uso efetivo de uma lngua ou lnguas aprendidas.
Dizemos que o entendimento um processo psicolgico, e esse rtulo deso-
rientador, neste como em inmeros outros casos. Ele compara o entendimento
com um processo particular, como a traduo de uma lngua para outra, e sugere a
mesma concepo de pensar, saber, desejar, pretender etc. Isto , em todos esses
casos, vemos que aquilo que talvez ingenuamente sugeririamos como a marca de
tal processo no est presente em todos os casos ou mesmo na maioria dos casos.
E nosso prximo passo concluir que a essncia do processo algo difcil de ser
captado, que ainda aguarda ser descoberto. Pois dizemos: j que uso a palavra
entender em todos esses casos, deve haver alguma coisa que acontece em todos
os casos e que a essncia do entendimento (ter a expectativa, desejar etc.). De
outra maneira, por que deveriamos cham-los todos pelo mesmo nome?
Esse argumento est baseado na noo de que o que necessrio para justifi
car a caracterizao de certo nmero de processos ou objetos por meio de uma
palavra-conceito geral algo comum a todos.
Essa noo, de certa maneira, muito primitiva. O que uma palavra-conceito
indica , certamente, um parentesco entre objetos, mas esse parentesco no preci
sa ser o compartilhar uma propriedade ou um constituinte comum. Ela pode li
gar os objetos como os elos de uma corrente, de modo que um pode estar ligado
ao outro por meio de elos intermedirios. Dois membros vizinhos podem ter ca
ractersticas comuns e ser similares, ao passo que membros distantes pertencem
mesma famlia sem ter mais nada em comum. Na verdade, mesmo que uma ca
racterstica seja comum a todos os membros da famlia, no precisa ser essa a
caracterstica que define o conceito.
A relao entre os membros de um conceito pode ser estabelecida pelo com
partilhar de caractersticas que se destacam na famlia do conceito, cruzando-se e
sobrepondo-se de maneiras muito complicadas.
de especific-lo talvez seja: com conhecimento, queremos nos referir a esses pro
cessos, e a processos sim ilaresE, em vez de e a processos similares, eu poderia ter
dito e a outros aparentados a esses de muitas maneiras.
Mas, se desejamos traar fronteiras no uso de uma palavra, para esclarecer
paradoxos filosficos, ento, lado a lado com a imagem efetiva do uso (no qual,
por assim dizer, as diferentes cores.se interpenetram sem fronteiras ntidas), po
demos colocar outra imagem que, de certa maneira, como a primeira, mas cons
truda com cores com fronteiras claras entre si.
III
Se, para nossos propsitos, desejamos regular o uso de uma palavra por meio
de regras definidas, ento, juntamente com seu uso flutuante, devemos estabe
lecer um uso diferente codificando um de seus aspectos caractersticos.
Assim, poderiamos dizer que o uso da palavra bom (num sentido tico)
uma combinao de um grande nmero de jogos inter-relacionados, sendo cada
um deles, por assim dizer, uma faceta do uso. O que faz um conceito nico no
caso precisamente a ligao, a relao entre essas facetas.
Mas isso no igual maneira como a fsica oferece uma descrio simplifi
cada de um fenmeno natural, abstraindo a partir de fatores secundrios. No se
pode dizer que a lgica retrata uma realidade idealizada ou que vlida apenas
para uma linguagem ideal e assim por diante. Pois onde conseguimos o conceito
desse ideal? O mximo que poderia ser dito que estamos construindo upfa lin
guagem ideal que contrasta com a linguagem comum; mas no se pode ckzer que
estamos dizendo algo que s seria vlido numa linguagem ideal.
A maneira como a linguagem foi aprendida no est contida no seu uso. (No
mais do que a causa est contida no efeito.)
4 0 Mais uma vez: em que casos diremos que o homem entende a palavra azul ?
Bem, se ele destaca um objeto dentre outros quando lhe pedem; ou se ele diz
com credibilidade que ele agora podera destacar o objeto azul mas no quer
fazer isso (talvez percebamos que, enquanto diz isso, ele olha involuntariamente
para o objeto azul; talvez acreditemos nele simplesmente por conta de sua con
duta anterior). E como ele sabe que entende a palavra? Isto , em que circuns
tncias ele ser capaz de diz-la? Ele pode justificar-se em tais casos, dizendo que
realmente entendeu a palavra quando disse que entendeu, mas que o significa
do depois escapou da sua memria? Bem, o que ele pode oferecer como critrio
(prova) de que ele entendeu a palavra da outra vez? Talvez ele diga Naquela
vez, eu vi a cor no olho da minha mente mas agora no consigo lembrar-me
dela. Bem, se isso implica que ele a entendeu, ele, ento, realmente a entendeu.
Ou ele diz: S posso dizer que usei a palavra cem vezes ou Eu a tinha usado
antes e, enquanto estava dizendo que a entendia, estava pensando nessa oca
sio. O que considerado a justificativa de uma assero o que constitui o
sentido da assero.
Suponha que digamos ele entende a palavra azul, ele destacou a bola azul
das outras imediatamente e, ento, ele diz Eu s a destaquei por adivinhao,
no entendi a palavra. Que tipo de critrio ele teve para no ter entendido a
palavra? Devemos acreditar nele? Se algum se pergunta Como sei que no
entendo essa palavra? isso produz uma sensao de pensamento muito estra
nha. Queremos dizer No ligo nada a isso, isso no me diz nada, um mero
rudo e, para entender essas emisses, temos de trazer mente como quan
do algum liga alguma coisa a uma palavra, quando uma definio transfor
mou o som em uma palavra significativa, quando podemos fazer alguma coisa
com a palavra.
Voc dir: Mas ele certamente no pode estar errado quando diz que no
entendeu a palavra. E essa uma observao a respeito da gramtica do enuncia
do No entendi a palavra. Tambm uma observao a respeito da gramtica
quando dizemos Se ele entendeu, algo que ele sabe, que ns no podemos saber,
mas apenas adivinhar. Alm disso, o enunciado No entendi a palavra no des
creve um estado na ocasio em que ouvida a palavra; h muitas maneiras dife
rentes em que possa ter ocorrido posteriormente a caracterstica do processo de
no entender.
No caso, voc pode fazer a objeo de que o pensar , afinal, privado, mesmo
que se trate apenas da experincia visual de escrever e que, embora outra pessoa
possa perceber o que a minha mo fsica est escrevendo, ela no pode ter a minha
experincia visual. Essas questes devem ocupar-nos em outro lugar.
Mas, para nosso presente propsito, no podemos dizer ele est escrevendo
e eu estou escrevendo em vez de ele entende e eu entendo?
Ento, deixamos a questo da experincia completamente de lado. Tambm,
por exemplo, a questo do entendimento privado. Porque ela parece no ter im
portncia no caso.
60 A proposio e seu sentido
Perguntamos Como voc usa a palavra, o que voc faz com ela isso nos
dir como voc a entende.
(Eu poderia imaginar um filsofo que pensasse que deve ter uma proposio
a respeito da essncia do saber impressa em vermelho j que, de outra maneira,
no expressaria realmente o que se pretendia que expressasse.)
IV
A definio ostensiva pode ser considerada uma regra para traduzir da lin
guagem do gesto para a linguagem da palavra. Se digo a cor deste objeto cha
mada violeta, j devo ter denotado a cor, j a apresentei para o batizado, com as
palavras a cor desse objeto para que a nomeao possa acontecer. Pois eu tam
bm podera dizer o nome dessa cor voc deve decidir, e o homem que d o
nome, nesse caso, j teria de saber o que deve nomear (onde na linguagem ele est
colocando o nome).
Soa como um trusmo ridculo dizer que um homem que pensa que os gestos
so os signos primitivos subjacentes a todos os outros no seria capaz de substi
tuir uma sentena comum por gestos.
4 7 Dizemos que algo como um rtulo vermelho o signo primrio para a cor
vermelha e a palavra o signo secundrio, porque o significado da palavra ver
melho explicado se aponto etc. para um rtulo vermelho mas no se digo que
vermelho significa o mesmo que rouge. Mas no explico o significado da pala
vra vermelho a um francs justamente dessa maneira? Sim, mas apenas porque
ele aprendeu o significado de rouge pela definio ostensiva. Mas se ele entende
a minha explicao, vermelho = rouge, ele tem de ter essa definio ou uma
imagem vermelha presente a sua mente? Se no, mera histria. Ele deve ter
tal imagem presente sempre que disser que estava usando a palavra rouge com
entendimento? (Pense na ordem: Imagine um retalho vermelho redondo.)
Est claro que uma amostra no usada como uma palavra (um nome). E
uma definio ostensiva, uma tabela que nos leva de palavras a amostras usada
diferentemente de uma tabela que substitui um nome por outro.
Por outro lado, certamente concebvel que os seres humanos possam con
cordar to exatamente um com o outro ao associar cores com notas de violino que
um possa dizer ao outro: No, voc no representou essa nota de violino correta
mente; ela era mais amarela do que voc a pintou e a outra responda algo como
voc tem razo, o mesmo pensamento me ocorreu.
Mas, nesse caso, esse esquema de setas no deve ser dado antecipadamente?
Bem, voc deve dar esse esquema antes de seguirmos o uso normal?
------------ > -
-----
----->
Mas, nesse caso, no deve haver pelo menos uma regularidade de tempo no
uso da tabela? Funcionaria se usssemos a tabela em conformidade com esque
mas diferentes em tempos diferentes? De queforma algum sabera nesse caso como
a tabela deve ser usada? Bem, como algum sabe, afinal? As explicaes dos sig
nos chegam ao fim em algum lugar.
Naturalmente, se eu mostrasse o caminho a algum, apontando o dedo no
da direo em que ele devia ir, mas no direo oposta, na falta de uma combinao
especial, eu causaria uma incompreenso. parte da natureza humana entender o
apontar com o dedo da maneira como o entendemos. (Como tambm parte da
natureza humana jogar jogos de tabuleiro e usar linguagens de signos que consis
tem em signos escritos sobre uma superfcie plana.)
A tabela no garante que passarei de uma parte dela para outra de maneira
uniforme. Ela no me compele a us-la sempre da mesma maneira. Est l, como
um campo, com caminhos que conduzem atravs dela: mas tambm posso cortar
caminho. Cada vez que aplico a tabela, fao uma nova transio. As transies
no so feitas, por assim dizer, definitivamente na tabela (a tabela apenas Sugere
que eu as faa).
(Que tipo de proposies so essas? So como a observao de que as ex
plicaes dos signos chegam ao fim em algum lugar. E isso um tanto como dizer
Qual a vantagem de postular um criador? Isso s faz recuar o problema do
incio do mundo. Essa observao revela um aspecto de minha explicao que eu
68 A proposio e seu sentido
talvez nao tenha notado. Tambm poderiamos dizer: Observe a sua explicao
desta maneira agora, ainda est satisfeito com ela? )
5 3 a palavra vermelho suficiente para nos capacitar a procurar por algo ver
melho? Precisamos de uma imagem da memria para fazer isso?
Para podermos obedecer a uma ordem falada, precisamos de algo como uma
imagem da memria daquilo que fizemos quando a obedecemos pela ltima vez?
Assim, a ordem real Faa agora o que se lembra de ter feito ento? Essa
ordem poderia ser dada. Mas isso significa que, para obedec-la, preciso de uma
imagem da memria do investigar a minha memria?
A ordem faa agora o que se lembra de ter feito ento diz que devo procurar,
num lugar particular, por uma imagem que me dir o que devo fazer. Portanto, a
ordem muito similar a Faa o que est escrito no pedao de papel nessa gaveta.
Se no h nada no pedao de papel, ento a ordem no tem sentido.
Se a amostra com a qual devo trabalhar parece mais escura do que lembro ter
sido ontem, no preciso concordar com a memria e, na verdade, no preciso
fazer isso sempre. E poderia muito bem falar de um obscurecimento de minha
memria.
Se me dizem: Procure por uma flor vermelha nesse prado e traga-a para
mim e, ento, eu encontro uma eu a comparo com a imagem de minha me
mria da cor vermelha? E devo consultar ainda outra imagem para ver se a
primeira correta? Nesse caso, por que eu precisaria da primeira? Vejo a cor
da flor e reconheo-a. (Naturalmente, seria concebvel que algum imaginasse
alucinatoriamente uma amostra de cor e a comparasse, como uma amostra real,
com o objeto pelo qual ele estava procurando.)
Mas se digo no, essa cor no a cor certa; mais brilhante do que a cor
que vi l isso no significa que vejo a cor no olho da minha mente e atravesso
um processo de comparar duas nuanas de cor simultaneamente dadas. Nova
mente, no como se, ao encontrar a cor, um sino soasse em algum lugar da
minha mente e eu carregasse uma imagem desse soar, de modo a poder julgar
quando ele soasse.
Investigar com uma amostra que se coloca ao lado dos objetos para testar se
as cores se igualam um jogo; agir em conformidade com as palavras de uma
linguagem de palavras sem uma amostra outro. Pense em quando voc l em voz
alta um texto escrito (ou escreve a partir de ditado). Poderiamos, naturalmente,
imaginar um tipo de tabela que nos guiasse nisso; mas, na verdade, no h uma,
no h nenhum ato de memria nem qualquer outra coisa que atue como inter
mediria entre o signo escrito e o som.
5 5 Suponha que agora me perguntassem por que voc escolhe essa cor quando
recebe essa ordem; como voc justifica a escolha? No primeiro caso, posso res
ponder porque esta cor est diante da palavra vermelho na minha tabela. No
outro caso, no h nenhuma resposta pergunta e a pergunta no faz nenhum
sentido. Mas, no primeiro jogo, no h nenhum sentido nesta questo: Por que
voc chama vermelho a cor na tabela diante da palavra vermelho? Uma razo
pode ser dada apenas dentro de um jogo. Os elos da corrente de razes chegam a
um fim, na fronteira do jogo. (Razo e causa.)
5 9 Para os propsitos de nossos estudos, nunca pode ser essencial que um fen
meno simblico ocorra na mente e no no papel, de modo que outros possam v-
lo. Somos constantemente tentados a explicar um processo simblico por meio de
um processo psicolgico especial, como se a mente pudesse fazer muito mais
nessas questes do que podem os signos.
Somos desorientados pela idia de um mecanismo que funciona em meios
especiais e, portanto, podem explicar movimentos especiais. Como quando dize
mos: este movimento no pode ser explicado pelo arranjo das alavancas.
Uma descrio do que psicolgico deve ser algo que pode ser, ele prprio,
usado como um smbolo.
6 0 Poderia ser dito que no se pode decidir por meio de observao exterior se
estou lendo ou meramente produzindo sons enquanto um texto passa diante de
meus olhos. Mas o que nos interessa na leitura no pode ser algo essencialmente
interno. Derivar uma traduo a partir do original tambm pode ser um processo
visvel. Por exemplo, deve ser possvel considerar como derivao o que ocorre no
papel quando os termos da srie 100,121, 144,169 so derivados dos termos da
srie 10,11,12,13 pelos seguintes clculos
10 x 10 11x11 12 X 12 13 x 13
00 11 24 39
100 121 144 169
__________ 16
64
Escrevo o nmero T6 aqui porque l diz x2, e 64 aqui porque l diz x3.
assim que parece qualquer justificativa. Em certo sentido, no nos leva adiante.
Mas, na verdade, no pode nos levar adiante, isto , para o domnio da metalgica.
(A dificuldade, no caso, : no estou tentando justificar o que no admite
nenhuma justificativa.)
Que ligao pretendo na sentena Estou saindo porque ele est mandando?
E como essa sentena se relaciona com Estou saindo embora ele tenha manda
do? (Ou Estou saindo mas no porque ele mandou, Estou saindo porque ele
mandou no sair )
V
Pensei que Napoleo tinha sido coroado no ano de 1805. O que seu pen
samento tem a ver com Napoleo? Que ligao h entre seu pensamento e
Napoleo? Pode ser, por exemplo, que a palavra Napoleo ocorra na expres
so do meu pensamento, mais a ligao que essa palavra tinha com seu portador;
por exemplo, que essa era a maneira como ele assinava seu nome, que era como
lhe falavam etc.
Mas quando voc emite a palavra Napoleo voc designa esse homem e ne
nhum outro Como, ento, esse ato de designar funciona, a seu ver? instan
tneo? Ou leva tempo? Mas, afinal, se algum lhe pergunta voc se referia
precisamente ao homem que venceu a batalha de Austerlitz? voc dir sim. En
to, voc quis referir-se a esse homem quando emitiu a sentena. Sim, mas ape
nas na espcie de modo em que eu tambm sabia que 6 x 6 = 36.
A resposta Referia-me ao vitorioso de Austerlitz um novo passo em nosso
clculo. O tempo passado ilusrio porque parece como se estivesse dando uma
descrio do que ocorreu dentro de mim enquanto eu emitia a sentena.
Mas, dada esta resposta, Mas voc sabe como as sentenas o fazem pois nada
est oculto, poderiamos querer dizer sim, mas tudo passa to rapidamente, e eu
gostaria de v-lo, por assim dizer, como que aberto viso.
1. A passagem paralela em Zettel 606 traduzida de uma maneira que nao se ajusta a
este contexto. (N. do T. ingl.)
A proposio e seu sentido 79
66 Um poltico francs disse uma vez que era uma caracterstica especial da ln
gua francesa que, nas sentenas francesas, as palavras ocorressem na seqncia em
que se pensam nelas.
A idia de que uma lngua, em contraste com outras, tenha uma ordem de
palavras que corresponde ordem do pensamento surge da noo de que o pen
samento um processo essencialmente diferente, ocorrendo de maneira indepen
dente da expresso dos pensamentos.
(Ningum perguntaria se a multiplicao escrita de dois nmeros no sistema
decimal corre paralelamente ao pensamento da multiplicao.)
estranho, porm: voc pode querer dizer alguma coisa com cada palavra e a
combinao delas ainda pode ser sem sentido!
Quando voc disse a sentena, voc pensou no fato de que...
Pensei apenas no que disse.
(Ficamos perplexos que no haja nenhum momento em que o pensamento
de uma sentena esteja completamente presente. Aqui, vemos que estamos com
parando o pensamento com uma coisa que produzimos e possumos como um
todo; mas, na verdade, to logo uma parte passa a existir, a outra desaparece. Isso
nos deixa, de certa maneira, insatisfeitos, j que somos levados por um smile
plausvel a esperar algo diferente.)
Ser que no jogo realmente xadrez, uma vez que as peas poderiam ter uma
forma diferente?
80 A proposio e seu sentido
6 7 Para que o homem pensa? Qual a utilidade disso? Por que ele calcula a den
sidade das paredes de uma caldeira e no deixa que o acaso ou o capricho decidam?
Afinal, um mero fato da experincia que caldeiras no explodem com tanta fre-
qncia se feitas de acordo com os clculos. Mas, assim como no poria a mo no
fogo se tivesse me queimado alguma vez, tambm faria qualquer coisa mas no
deixaria de fazer os clculos para uma caldeira. Como no estamos interessa
dos em causas, poderiamos dizer: os seres humanos realmente pensam: esta, por
exemplo, a maneira como procedem quando fazem uma caldeira. Ora, uma
caldeira construda desse jeito no pode explodir? Claro que sim.
Pensamos nas nossas aes antes de faz-las. Fazemos imagens delas mas
por qu? Afinal, no existe algo como um experimento do pensamento.
Esperamos algo e agimos em conformidade com a expectativa; a expectativa
deve tornar-se verdadeira? No. Ento, por que agirmos em conformidade com a
expectativa? Porque somos impelidos a faz-lo, assim como somos impelidos a sair
da trajetria de um carro, a sentar-nos quando estamos cansados, a pular se senta
mos em um espinho.
A coisa que to difcil de entender pode ser expressada assim. Contanto que
permaneamos no domnio dos jogos de verdadeiro-falso, uma mudana na gra
mtica s pode nos levar de um tal jogo para outro e nunca de algo verdadeiro
para algo falso. Por outro lado, se samos do domnio desses jogos, no o chama
mos mais linguagem e gramtica, e, mais uma vez, no entramos em contradi
o com a realidade.
Mas conheo uma proposio quando vejo uma, portanto tambm devo ser
capaz de desenhar as fronteiras do conceito precisamente. Mas realmente o
caso de no permitir nenhuma dvida? Imagine uma linguagem em que todas
as sentenas so comandos para ir em uma direo particular. (Essa linguagem
poderia ser usada por um tipo primitivo de seres humanos exclusivamente em
guerra. Lembre quo restrito j foi o uso da linguagem escrita.) Bem, ainda cha
maramos os comandos venha aqui, v l, sentenas1. Mas suponha agora
que a linguagem consistisse apenas em apontar o dedo em uma direo ou em
outra. Esse signo ainda seria uma proposio? E uma linguagem como a
linguagem inicial das crianas, cujos signos expressassem apenas desejo por obje
tos particulares, uma linguagem que consistisse simplesmente em signos para es
ses objetos (de nomes, por assim dizer)? Ou considere um sistema composto de
Se um homem observa que uma palavra usada com vrios significados dife
rentes ou que certa imagem enganosa vem mente quando usamos certa expres
so, se ele dispe (tabula) regras segundo as quais certas palavras so usadas, ele
no se comprometeu a dar uma explicao (definio) das palavras regra, pro
posio palavra etc.
86 A proposio e seu sentido
-me permitido usar a palavra regra sem primeiro tabular as regras para o
uso da palavra. E essas regras no so super-regras.
que se trata de uma questo de traar uma fronteira entre regras e o que no so
regras e, em todos os casos, fcil oferecer a marca distintiva. Usamos a palavra
regra em contraste com palavra, projeo e algumas outras palavras, e essas
demarcaes podem ser claramente traadas. Por outro lado, comumente no tra
amos fronteiras onde no precisamos delas. (Exatamente como em certos jogos
uma nica linha traada no meio do campo para separar os lados, mas, de outra
maneira, o campo no delimitado j que no necessrio.)
Podemos usar a palavra planta de uma maneira que d origem a incom
preenso; contudo, podem ser construdos inmeros casos limtrofes em que nin
gum ainda decidiu se alguma coisa se classifica no conceito planta. Isso quer
dizer que o significado da palavra planta em todos os outros casos est infectado
pela incerteza, de modo que se podera dizer que usamos a palavra sem compreen
d-la? Uma definio que delimitasse esse conceito de vrios lados tornaria o sig
nificado da palavra mais claro para ns em todas as sentenas? Entenderiamos
melhor todas as sentenas em que ocorresse?
O lugar gramatical das palavras jogo, regra etc. dado por exemplos, mais
ou menos da mesma maneira que o lugar de um encontro especificado dizendo
que ocorrer ao lado de tal e tal rvore.
88 A proposio e seu sentido
7 5 Imaginamos o significado de algo que surge diante das nossas mentes quando
ouvimos uma palavra.
O que surge diante de nossas mentes quando ouvimos uma palavra certa
mente algo caracterstico do significado. Mas o que surge diante de minha mente
um exemplo, uma aplicao da palavra. E esse surgir diante da mente realmente
no consiste em uma imagem estar presente sempre que emito ou ouo a palavra,
mas no fato de que, quando me perguntam o significado da palavra, as aplicaes
da palavra ocorrem a mim.
Algum me diz: Mostre s crianas o jogo. Eu lhes ensino a jogar com dados
e o outro diz No me referia a essa espcie de jogo. A excluso do jogo com
dados deve ter vindo mente dele quando ele me deu a ordem?
Mas no podemos tambm usar a palavra jogo no seu sentido mais amplo?
Mas qual esse? Nenhuma fronteira foi traada, a menos que propositadamente
fixemos uma.
Se encontrssemos uma sentena como Os assrios conheciam vrios jogos
num livro de histria, sem mais qualificaes, isso nos causaria uma impresso
muito curiosa pois no teramos certeza de que poderiamos oferecer um exemplo
que, mesmo toscamente, correspondesse ao significado da palavra jogo nesse caso.
Quando falo sobre a linguagem (palavras, sentenas etc.) devo falar da lin
guagem de todos os dias. Essa linguagem , de certa maneira, muito rude e mate
rial para o que queremos dizer? Ento, como se deve construir outra? E quo
estranho que devssemos poder fazer qualquer coisa com a que temos!
Ao dar explicaes filosficas a respeito da linguagem, j tenho de usar a lin
guagem plenamente desenvolvida (no algum tipo de linguagem preparatria,
provisria); isto, por si, demonstra que posso aduzir apenas fatos exteriores sobre
a linguagem.
Sim, mas, ento, como essas explicaes podem nos satisfazer? Bem, suas
prprias questes foram estruturadas nessa linguagem! E seus escrpulos so
incompreenses. Suas perguntas referem-se a palavras, portanto tenho de falar
sobre palavras.
Voc diz: o ponto no a palavra, mas seu significado, e voc pensa no signi
ficado como uma coisa do mesmo tipo que a palavra, embora tambm diferente
da palavra. Aqui, a palavra, ali, o significado. O dinheiro e a vaca que voc pode
comprar com ele. (Mas contraste: o dinheiro e seu uso.)
Imagine a lngua inglesa alterada de tal maneira que a ordem das palavras
numa sentena seja o inverso da presente ordem. O resultado seria a srie de pala
vras que obtemos se lemos um livro ingls da direita para a esquerda. Est claro
que a multiplicidade de maneiras de expresso possveis nessa lngua deve ser exa
tamente a mesma que em ingls; mas, se uma sentena um tanto longa fosse lida
assim, poderiamos compreend-la apenas com grande dificuldade e talvez nunca
aprendssemos apensar nessa lngua. (O exemplo de uma lngua desse tipo pode
esclarecer muito a respeito da natureza do que chamamos pensamento )
7 9 A definio Uma proposio tudo o que pode ser verdadeiro ou falso fixa
o conceito de proposio em um sistema de linguagem particular como o que,
nesse sistema, pode ser um argumento de uma funo de verdade.
A proposio e seu sentido 9 1
p verdadeiro = p
p falso = ~ p
O que ele diz verdade = As coisas so como ele diz.
faz sentido. Pois algo s poderia ser decidido por esse experimento se verdadeiro
e falso j tm significados definidos, e eles s podem ter isso se os contextos em
que ocorrem j esto estabelecidos. (Pense tambm em identificar partes do
discurso por meio de perguntas. Quem ou o qu...?)
Se deixo assim que as coisas esto contar como a forma geral da proposi
o, ento devo contar 2 + 2 = 4 como proposio. So necessrias regras adi
cionais se devemos excluir as proposies da aritmtica.
Podemos dar a forma geral de uma proposio? Por que no? Da mesma
maneira como poderiamos dar a forma geral de um nmero, por exemplo, por
meio do signo | 0, <;,,+ 1 1. Sou livre para restringir o nome nmero a isso e,
da mesma maneira, posso oferecer Uma frmula anloga para a construo de
proposies ou leis e usar a palavra proposio ou lei como equivalente a essa
frmula Se algum objeta e diz que isso apenas demarcar certas leis frente a
outras, eu replico: naturalmente, voc no pode traar uma fronteira se decidiu
antecipadamente no reconhecer uma. Mas, naturalmente, permanece a questo:
como voc usa a palavra proposio? Em contraste com o qu?
nha saindo dos crculos na pgina no faz nenhum sentido nessa projeo. Pode
riamos tambm expressar assim: nenhuma estipulao foi feita a respeito disso.
Como sei que a cor vermelha no pode ser cortada em pedaos? Isso tam
pouco uma pergunta.
Gostaria de dizer: Devo comear com a distino entre sentido e sem sentido.
Nada possvel antes disso. No posso dar-lhe um fundamento.
O H2
Muitas vezes possvel demonstrar que uma proposio tem inteno meta
fsica perguntando O que voc afirma pretende ser uma proposio emprica?
96 A proposio e seu sentido
Voc pode conceber (imaginar) de outra maneira? Voc quer dizer que a subs
tncia nunca foi destruda ou que inconcebvel que seja destruda? Voc quer
dizer que a experincia demonstra que os seres humanos sempre preferem o agra
dvel ao desagradvel?
Quo estranho que devamos poder dizer que tal e tal estado de coisas incon
cebvel! Se consideramos o pensamento como essencialmente um acompanha
mento de uma expresso, as palavras no enunciado que especificam o estado de
coisas inconcebvel devem estar desacompanhadas. Ento, que espcie de sentido
deve ter? A menos que essas palavras sejam sem sentido. Mas no , por assim
dizer, seu sentido que no tem sentido; elas esto excludas de nossa linguagem
como um rudo arbitrrio e a razo para sua excluso explcita s pode ser que
somos tentados a confundi-las com uma sentena de nossa linguagem.
apenas em uma linguagem que algo uma proposio. Entender uma pro
posio entender uma linguagem.
Uma proposio um signo em um sistema de signos. uma combinao de
signos entre muitas possveis e em oposio a outras possveis. Como se fosse uma
posio de um indicador em oposio a outras possveis.
Gostaria de dizer: Minha expectativa tal que tudo que for que acontea tem
de estar em concordncia com ela ou no.
Eu disse que uma proposio era confrontada com a realidade como uma
rgua. E uma rgua como todas as comparaes lgicas para uma proposio
, ela prpria, em um caso particular, um signo propositivo. Ora, gostaramos
de dizer: Compare a rgua com um corpo: ela no diz que o corpo tem tal e tal
comprimento. Antes, ela, em si, morta e no alcana nada do que o pensamento
alcana. como se tivssemos imaginado que o essencial a respeito de um ser
vivo fosse a forma externa. Ento, fizemos um amontoado de madeira nessa for
ma e ficamos desconcertados ao ver o estpido bloco, que nem sequer tem alguma
similaridade com a vida.
Quando damos uma ordem, pode parecer como se a coisa final buscada pela
ordem tivesse de permanecer inexpressada, j que h sempre um abismo entre
uma ordem e sua execuo. Digamos que eu queira que algum faa um movi
mento particular, por exemplo erguer o bra. Para tornar isso inteiramente cla
ro, fao o movimento. Essa imagem no parece ambgua at que perguntamos:
como ele sabe que ele deve fazer esse movimento? Como ele sabe que uso deve
fazer dos signos que lhe dou, sejam quais forem? Talvez eu v agora tentar suple
mentar a ordem por meio de signos adicionais, apontando de mim para ele, fa
zendo gestos de encorajamento etc. No caso, como se a ordem estivesse come
ando a gaguejar.
Suponha que eu quisesse dizer a algum que elevasse ao quadrado o nmero 4
e o fizesse por meio do esquema:
x_ 4
.?
Ora, sou tentado a dizer que o ponto de interrogao apenas sugere algo que
no expressa.
Como se o signo estivesse tentando precariamente produzir entendimento
em ns. Mas, se agora o entendemos, de que maneira o entendemos?
descrio vlida para ambos. (Por outro lado, compare o significado de: Estas
calas no combinam com esta jaqueta !)
Vejo algum apontando uma arma e digo espero um disparo. O tiro dado.
Bem, isso era o que voc esperava. Portanto, esse estrondo, de alguma maneira,
j existe em sua expectativa? Ou h simplesmente outro tipo de concordncia
entre sua expectativa e o que ocorreu, o barulho no estava contido na expectativa
e no meramente ocorreu por acidente quando a expectativa estava sendo cum
prida? Mas no, se o barulho no tivesse ocorrido, a minha expectativa no teria
sido cumprida; o barulho a cumpriu; no foi um acompanhamento do cumpri
mento, como um segundo hspede acompanhando o que eu esperava. A coisa
a respeito do evento que no estava na expectativa foi tambm um acidente, um
item extra fornecido pelo destino? Mas, ento, o que no foi um item extra?
Alguma coisa do tiro j ocorre na minha expectativa? Ento, o que foi extra? Pois
eu no estava esperando o tiro inteiro?
O disparo no foi to alto quanto eu esperava. Ento, houve um estrondo
mais alto em sua expectativa?
Scrates: ento, se algum tem uma idia do que no , ele tem uma idia de
nada? Teeteto: Assim parece. Scrates: Mas, certamente, se ele tem uma idia
de nada, ento ele no tem idia alguma? Teeteto: Isso parece claro.1
Se coloco a palavra matar, digamos, no lugar de ter uma idia de nesse
argumento, ento h uma regra para o uso dessa palavra: no faz nenhum sentido
dizer Estou matando algo que no existe. Posso imaginar um cervo que no est
ali, naquele prado, mas no matar um que no est ah. E imaginar um cervo
naquele prado significa imaginar que um cervo est l. Mas matar um cervo no
significa matar que. .. Mas, se algum diz para eu poder imaginar um cervo, ele
deve, afinal, existir em algum sentido, a resposta : no, ele no tem de existir em
nenhum sentido. E se se respondesse: Mas a cor marrom, de qualquer modo,
deve existir para que eu possa ter uma idia dela ento podemos dizer que a
cor marrom existe no significa absolutamente nada, exceto que existe aqui ou
ali como a colorao de um objeto e que no necessria para eu imaginar um
cervo marrom.
9 I Posso procurar por ele quando ele no est, mas no posso enforc-lo quando
ele no est.
Poderiamos querer dizer: Mas ele deve estar em algum lugar, se estou procu
rando por ele. Ento, ele deve estar em algum lugar tambm se no o encontro
e, mesmo, se no existe.
Uma busca por uma coisa particular (por exemplo, minha bengala) um tipo
particular de busca e difere de uma busca por alguma outra coisa, por causa do
que fazemos (dizemos, penSamos) enquanto buscamos, no por causa do que
encontramos.
Suponha que, enquanto estou procurando, carrego comigo um retrato ou ima
gem muito bem. Se digo que o retrato um retrato do que estou procurando,
Voc estava procurando por ele7. Voc nem sequer pode ter sabido se ele es
tava ali! (Contraste com procurar pela trisseco do ngulo.)
O que caracteriza todos esses casos que a definio pode ser usada para ler o
objeto da expectativa a partir do comportamento de espera. No uma experin
cia posterior que decide o que estamos esperando.
E eu posso dizer: na linguagem que a expectativa e seu cumprimento fa
zem contato.
Se digo Estive esperando por ele o dia todo, esperar no caso no significa
uma condio persistente, incluindo como ingrediente a pessoa esperada e sua
chegada, da maneira como uma massa pode conter farinha, acar e ovos mistu
rados como uma pasta. O que constitui a expectativa uma srie de aes, pensa
mentos e sentimentos.
Mas talvez eu tambm esteja preparado para dizer Estive esperando N num
caso em que a nica coisa que o liga com minha atividade de expectativa , por
exemplo, que, num dia particular, preparo uma refeio para mim e uma para
outra pessoa, e que N anunciou sua inteno de tomar essa refeio comigo.
95 O mesmo tipo de coisa deve ser dito da inteno. Se se pretende que um meca
nismo atue como um freio mas, por alguma razo, no diminua o movimento da
mquina, ento o propsito do mecanismo no pode ser encontrado imediata
mente a partir dele e de seu efeito. Se voc dissesse isso um freio, mas no funcio
na voc estaria falando de inteno. Mas agora suponha que sempre que o me
canismo no funcionasse como um freio uma pessoa particular ficasse zangada.
A proposio e seu sentido 107
A inteno do mecanismo no seria expressa agora em seu efeito? No, pois ago
ra poderiamos dizer que a alavanca s vezes aciona o freio e s vezes aciona a
raiva. Pois como ocorre que o homem fique zangado porque a alavanca no acio
na o freio? Estar irritado porque o aparelho no funciona algo como desejar
que funcionasse daquela maneira. Aqui, temos o velho problema, que gos
taramos de expressar da seguinte maneira: O pensamento de que p o caso
no pressupe que seja o caso; contudo, por outro lado, deve haver algo no fato
que seja um pressuposto at mesmo de ter o pensamento (No posso pensar que
algo vermelho se a cor vermelha no existir). Trata-se do problema da har
monia entre o mundo e o pensamento. A isso pode-se responder que os pen
samentos esto no mesmo espao que as coisas que admitem dvida; so con
frontados com elas da mesma maneira que uma rgua confrontada com o que
deve ser medido.
O que realmente quero dizer isto: o desejo de que ele venha o desejo de que
realmente ele realmente venha. Se for necessria mais uma explicao dessa cer
teza, eu diria e com ele quero dizer aquele homem ali, e com vir quero dizer
fazer isto... Mas estas so apenas explicaes gramaticais, explicaes que criam
a linguagem.
rncias de agir mais o fazer (que no uma experincia) e tdas essas experincias
sem o elemento do fazer. Pense se voc ainda precisa desse elemento ou se ele est
comeando a parecer redundante. Naturalmente, voc pode dizer, corretamente,
que no h nada acontecendo com voc, porque os fenmenos do fazer so dife
rentes dos fenmenos do observar algo como um movimento reflexo. Mas isso
no se torna claro at que consideremos as espcies muito diferentes de coisas que
as pessoas chamam atividades voluntrias e que as pessoas chamam processos
no-intencionais ou involuntrios em nossa vida. (Mais a respeito disto alhures.)
(Isso est ligado ao fato de que o que chamamos uma imagem por similari
dade no uma imagem em conformidade com algum mtodo de projeo esta
belecido. Nesse caso, a semelhana entre dois objetos significa algo como a pos
sibilidade de tomar um pelo outro erroneamente.)
(Nos sonhos s vezes acontece que primeiro lemos uma histria e, ento, so
mos ns mesmos participantes dela. E, depois de acordar aps um sonho, s vezes
como se tivssemos recuado do sonho e agora o vssemos diante de ns como
um quadro estranho.) E tambm significa alguma coisa falar de viver nas pginas
de um livro. Isso est ligado ao fato de que nosso corpo no todo essencial para
a ocorrncia da nossa experincia. (Cf. olho e campo visual.)
(Compare tambm a observao: se entendemos uma sentena, ela tem certa
profundidade para ns.)
9 9 O que acontece no que este smbolo no possa ser mais interpretado mas:
No fao nenhuma interpretao. No interpreto porque me sinto natural no pre
sente quadro. Quando interpreto, passo de um nvel do pensamento para outro.
Quando disse que minha imagem no seria um retrato a menos que portasse
o nome de seu sujeito, no quis dizer que tenho de imagin-lo e seu nome ao
mesmo tempo. Suponha que eu diga algo como: O que vejo em minha mente
no apenas uma imagem que como N (e talvez como outras tambm). No, sei
que ele, que ele a pessoa que ela retrata. Eu poderia, ento, perguntar: quando
sei isso e a que equivale saber isso? No h necessidade nenhuma de que ocorra
algo durante o imaginar que possa ser chamado saber dessa maneira. Algo desse
tipo pode acontecer depois do imaginar; posso ir de uma imagem para o nome
ou, talvez, dizer que imaginei N, embora, na ocasio do imaginar, no houvesse
nada, exceto um tipo de similaridade, para caracterizar a imagem como a imagem
de N. E, portanto, a interpretao no algo que acompanha a imagem; o que d
imagem a sua interpretao o caminho em que se encontra.
Tudo isso torna-se mais claro se imaginamos imagens substitudas por dese
nhos, se imaginamos pessoas que preferem desenhar a imaginar.
Digamos que o desejo de que esta mesa seja um pouco mais alta o ato de eu
colocar a mo acima da mesa, na altura em que desejo que esteja. Surge agora a
objeo: A mo acima da mesa no pode ser o desejo: no expressa que a mesa
deve ser mais alta; est onde est e a mesa est onde est. E qualquer outro gesto
que eu tenha feito no faria nenhuma diferena.
Mas agora algum dir: mesmo que a expresso do desejo seja o desejo, ainda
assim a linguagem toda no est presente durante essa expresso, mas o desejo
certamente est!
Ento, como a linguagem ajuda? Bem, simplesmente no necessrio que
alguma coisa deva estar presente, exceto a expresso.
I 0 2 Voc poderia, por assim dizer, localizar (consultar) todas as ligaes da gra
mtica da linguagem. L, voc pode ver toda a rede a que pertence a sentena.
Dizemos: como essa maneira de colocar a mo, essa imagem pode ser o de
sejo de que tal e tal seja o caso? No se trata de nada mais alm de uma mo sobre
uma mesa, e l est, s e sem um sentido. Como um pedao abandonado do cen
rio da produo de uma pea. Tinha vida apenas na pea.
103 Podemos dizer que, enquanto estou desejando, meu desejo parece prefigurar
o cumprimento? Enquanto estou desejando, ele no parece fazer nada; no observo
nada estranho nele. apenas o considerar a manifestao lingstica do desejo que
produz essa aparncia.
Algum descreve para mim o que aconteceu quando, como ele diz, teve o
desejo de que a mesa fosse lOcm mais alta. Ele diz que colocou a mo lOcm acima
da mesa. Eu respondo: Mas como voc sabe que no estava apenas desejando que
a mesa fosse mais alta, j que, nesse caso tambm, voc teria colocado a mo a
certa altura acima da mesa? Ele diz: Afinal, devo saber o que desejei. Eu respon
do: Muito bem, mas quero saber de que maneira voc lembra quando lembra seu
desejo. O que aconteceu quando voc desejou e o que o faz dizer que desejou jus
tamente isso? Ele diz: Sei que intencionalmente coloquei a mo exatamente lOcm
acima. Eu digo: Mas o que constituiu justamente essa inteno? e Tambm
podera perguntar: certeza que, quando voc estava desejando, estava usando a
escala 1:1? Como voc sabe disso?
Se ele tivesse descrito o processo de desejar dizendo: Eu disse gostaria que a
mesa fosse lOcm mais alta, ento, no teria surgido a questo de como ele podia
saber o que desejou. (A menos que algum perguntasse: E voc quis dizer com
essas palavras o mesmo que elas costumam querer dizer?.)
No fim, sempre resulta que, sem nenhum significado adicional, ele chama o
que aconteceu de o desejo de que isso acontecesse. [Manifestao, no descrio.]
Como sei que dele que estou me lembrando, se o lembrar uma imagem?
Em que medida eu o sei? (Quando dois homens so perfeitamente semelhantes,
como posso lembrar-me de um deles em particular?)
104 Dizemos: Uma proposio no apenas uma srie de sons, algo mais.
Pensamos na maneira como uma sentena chinesa uma mera srie de sons para
ns, que s significa que no a entendemos, e dizemos que assim porque no
temos nenhum pensamento em ligao com a sentena chinesa (por exemplo, a
palavra chinesa para vermelho no evoca nenhuma imagem em ns). Portanto,
o que distingue uma sentena significante de meros sons so os pensamentos
114 A proposio e seu sentido
que evoca. A sentena como uma chave cujos dentes fossem construdos para
mover alavancas no esprito de uma maneira particular. A sentena, por assim
dizer, toca uma melodia (o pensamento) no instrumento do esprito. Mas por
que eu agora deveria hipotetizar, alm da srie ordenada de palavras, outra srie
de elementos mentais paralelos? Isso simplesmente duplica a linguagem com ou
tra coisa do mesmo tipo.
Suponha que a sentena seja: Esta tarde, N foi Casa do Senado. A sentena
no um mero rudo para mim, ela evoca uma imagem de um homem na vizi
nhana da Casa do Senado ou algo similar. Mas a sentena e a imagem no so
apenas um rudo mais uma imagem imprecisa; evocar a imagem e ter certas ou
tras conseqncias algo, por assim dizer, interior sentena; isso o que o sen
tido . A imagem parece apenas uma dbil cpia do sentido ou, digamos, apenas
uma viso nica do sentido. Mas o que quero dizer com isso? Eu simplesmente
no vejo a sentena como parte de um sistema de conseqncias?
tamos: Por que uma sentena no nos d a impresso d ser isolada e morta
quando estamos refletindo sobre sua essncia, seu sentido, o pensamento etc.,
pode-se dizer que continuamos a nos mover no sistema da linguagem.
105 Essa coisa esquisita, o pensamento : mas no nos parece esquisito enquan
to o estamos pensando. Parece-nos esquisito quando dizemos a ns mesmos que
ele liga objetos na mente, porque o prprio pensamento de que essa pessoa est
fazendo isso; ou que no um signo ou uma imagem porque eu ainda teria de
saber como se pretendia que significassem, por sua vez; ou que o pensamento no
algo morto porque, para mim, o que penso realmente acontece.
Qual a fonte dessa estranha maneira de olhar para as coisas?
O que nos faz pensar que um pensamento, ou uma proposio que pensa
mos, contm a realidade? porque estamos todos prontos para passar dele para a
realidade e sentimos essa transio como algo j potencialmente contido nele
(quando, isto , refletimos sobre ele) porque dizemos essa palavra significava el'\
Sentimos essa transio como algo to legtimo quanto um movimento permitido
em um jogo.
No enquanto estamos olhando para ele que ele parece um processo estra
nho; mas quando nos deixamos guiar pela linguagem, quando olhamos para o
que diz a respeito dele.
Erroneamente, localizamos esse mistrio na natureza do processo.
(Interpretamos o enigma criado por nossa incompreenso como o enigma de
um processo incompreensvel.)
Para mim, este retrato eZe? O que significa isso? Tenho a mesma postura
diante do retrato que diante do prprio homem. Pois, naturalmente, fao distin
o entre ele e a sua imagem.
O sentido dessa proposio estava presente para mim. O que foi que acon
teceu?
Apenas algum que est convencido pode dizer isso. Como a convico o
ajuda quando ele o diz? Est em algum lugar por perto, ao lado da expresso
falada? (Ou est mascarada por ela, como um som baixo seguido por um som
alto, de modo que no mais possa, por assim dizer, ser ouvido quando o expressa
mos em voz alta?) E se algum dissesse Para poder cantar de cor uma msica
temos de ouvi-la em nossa mente e cantar a partir disso?
Tente o seguinte experimento: Diga uma sentena, talvez O tempo est muito
bom hoje; certo, e agora pense o pensamento da sentena, mas sem adulterao,
sem a sentena.
107 como se a inteno nunca pudesse ser reconhecida cmo inteno a par
tir de fora, como se devssemos estar fazendo o significado dela ns mesmos para
entend-lo como significado.4
quase como se dissssemos: no podemos nos ver indo para ali e para l
porque somos ns que estamos fazendo isso (e, portanto, no podemos ficar pa
rados e observar). Mas, nesse caso, como em tantas outras vezes, estamos sofren
do de uma forma inadequada de expresso, que estamos usando ao mesmo tem
po em que queremos descart-la. Ns vestimos o protesto contra nossa forma de
expresso com uma proposio aparentemente factual expressada nessa prpria
forma. Pois, se dizemos vemo-nos indo para l, queremos simplesmente dizer
que vemos o que algum v quando ele mesmo est indo, no o que ele v se
alguma outra pessoa est indo. E realmente temos uma experincia visual parti
cular se ns mesmos estamos praticando o ato de ir.
Suponha que algum diga que se pode inferir de uma ordem a ao que lhe
obedece e de uma proposio, o fato que a verifica. O que, afinal, se pode inferir de
uma proposio alm dela mesma? Como algum pode tirar a ao da ordem antes
que ela acontea? A menos que o que se queira dizer seja uma forma diferente de
descrio da ao, como, digamos, fazer um desenho, em conformidade com essa
ordem, do que devo fazer. Mas mesmo essa descrio adicional no est ali at que
eu a tenha desenhado; ela no tem uma existncia esboada na prpria ordem.
Ser capaz de fazer algo parece com uma sombra do fazer efetivo, exatamen
te como o sentido de uma sentena parece com a sombra de um fato, e o entendi
mento de uma ordem, com a sombra de sua execuo. Na ordem, o fato, por assim
dizer, lana sua sombra diante de si ! Mas essa sombra, qualquer que seja, no
o evento.
A antecipao esboada do fato consiste em j podermos pensar que essa prpria
coisa, que ainda no aconteceu, acontecer. Ou, como enganosamente expresso,
em sermos agora capazes de pensar no (ou sobre) o que ainda no aconteceu.
120 A proposio e seu sentido
I I I como clculo que o pensar tem interesse para ns, no como atividade da
imaginao humana.
e o seu resultado, 625, exatamente a mesma que entre a expectativa e seu cum
primento. A expectativa uma imagem de seu cumprimento exatamente no mes
mo grau em que esse clculo uma imagem de seu resultado, e o cumprimento
determinado pela expectativa exatamente no mesmo grau em que o resultado
determinado pelo clculo.
desejo ou no. Ficamos por assim dizer surpresos no por algum conhe
cer o futuro, mas por poder profetiz-lo (certa ou erradamente).
Como se a mera profecia, no importa se verdadeira ou falsa, prenunciasse o
futuro; visto que no sabe nada do futuro e no pode saber menos que nada.
Em que sentido posso dizer que uma proposio uma imagem? Quando
penso a respeito dela, quero dizer: deve ser uma imagem se deve mostrar-me o
que devo fazer, se sou capaz de agir em concordncia com ela. Mas, nesse caso,
tudo o que voc quer dizer que age em conformidade com uma proposio, no
mesmo sentido em que age em conformidade com uma imagem.
Dizer que uma proposio uma imagem d proeminncia a certos traos da
gramtica da palavra proposio.
Pensar inteiramente comparvel a desenhar imagens.
Tambm podemos dizer, porm, que o que parece uma analogia de uma pro
posio realmente um caso particular de nosso conceito geral. Quando compa
rei a proposio com uma regra, o que fiz, estritamente falando, foi considerar o
124 A proposio e seu sentido
(Scrates: E se voc tem uma idia no deve ser uma idia de alguma coisa?
Teeteto: Necessariamente. Scrates: E se voc tem uma idia de alguma
coisa no deve ser de alguma coisa real? Teeteto: Parece que sim.1)
A pintura me diz, por exemplo, dus pessoas esto sentadas em uma estala
gem bebendo vinho? Apenas se essa proposio, de alguma maneira, entra no
processo de entendimento fora da pintura, digamos, se digo qual, olho a pintura
aqui duas pessoas esto sentadas etc. Se a pintura me diz algo nesse sentido, ela
me diz palavras. Mas at que ponto ela se declara nessas palavras? Afinal, se a reali
dade est se declarando por meio da linguagem, est fazendo um grande contorno.
Ento, para que a pintura me diga algo, no essencial que me ocorram pala
vras enquanto olho para ela; supe-se que a pintura seja a linguagem mais direta.
O que significa: este objeto me familiar? Bem, sei que uma mesa.
Mas isso pode significar muitas coisas, tais como Sei como se usa, Sei que pare
ce uma mesa quando se abre, Sei que o que as pessoas chamam uma mesa.
Que tipo de coisa a familiaridade? O que constitui uma viso me ser fami
liar? (A prpria questo peculiar; no soa como uma questo gramatical.)
Gostaria de dizer: Vejo o que vejo. E a familiaridade s pode consistir em eu
estar vontade no que vejo.
I 6 Vejo o que vejo: digo isso porque no quero dar um nome ao que vejo.
No quero dizer Vejo uma flor porque isso pressupe uma conveno lings-
tica e eu quero uma forma de expresso que no faa nenhuma referncia his
tria da impresso.
Por outro lado, gostaria de dizer: O que vejo aqui diante de mim no qual
quer velha forma de uma maneira particular; o que vejo so meus sapatos, que eu
conheo, e nada mais. Mas, no caso, o que acontece apenas que duas formas de
expresso lutam entre si.
Mas o fato de eu carregar comigo o padro seria apenas uma explicao cau
sai da presente impresso. como dizer: este movimento feito to facilmente
como se tivesse sido praticado.
120 Dizemos: Este rosto tem uma expresso bastante particular e procuramos,
talvez, por palavras que a caracterizem.
Aqui, chegamos facilmente quele beco sem sada da filosofia, em que acre
ditamos que a dificuldade da tarefa consiste nisto: termos de descrever fenme
nos, difceis de apreender, da experincia presente que rapidamente se vai, ou al
guma coisa do tipo. Quando achamos a linguagem comum muito crua e parece
que estamos lidando, no com fenmenos cotidianos, mas com fenmenos que
facilmente nos escapam e que, no seu vir a ser e desaparecer, produzem aqueles
outros como um efeito mdio.
28 A proposio e seu sentido
E, no caso, devemos lembrar que todos os fenmenos que agora nos parecem
to notveis so os fenmenos muito familiares que no nos surpreendem nem
um pouco quando acontecem. Eles no nos parecem notveis at que os coloque
mos sob uma luz estranha, ao filosofar.
121 O que a imagem me conta ela mesma o que eu quero dizer. Isto , o
fato de ela dizer-me algo consiste em sua prpria estrutura, em suas prprias
formas e cores.
como se, por exemplo, ela me diz alguma coisa ou uma imagem signi
ficasse: ela mostra certa combinao de cubos e cilindros.
Ela me diz algo pode significar: ela me narra algo, uma histria.
Ela se conta a mim, exatamente como uma proposio, uma histria se con
ta a mim.
A imagem me diz algo : ela usa palavras, por assim dizer: aqui esto olhos,
boca, nariz, mos etc. Estou comparando o quadro com uma combinao de for
mas lingsticas.
Ora, essa srie de signos diz-me alguma coisa; primeiro, antes de eu apren
der a linguagem, ela no me dizia nada. Suponhamos que o que queremos dizer
com isso que a sentena agora lida com uma experincia particular. Certa
mente, antes de aprender a linguagem, essa srie de signos costumava no causar
a mesma impresso em mim. Naturalmente, se desconsideramos o elemento cau
sai, a impresso muito independente do sistema de linguagem. E h algo em
mim que reluta em dizer: a sentena dizer-me algo constitudo por ela causar
essa impresso em mim.
apenas numa linguagem que alguma coisa uma proposio o que
quero dizer.
Uma proposio pertence a uma linguagem. Mas isso significa apenas: sao
unidades das linguagens que chamo proposies.
Mas devemos prestar ateno ao uso da expresso lngua inglesa por exem
plo, do contrrio faremos perguntas como Que a linguagem? Todas as senten
as que foram faladas at agora? Ou o conjunto de regras e palavras? Etc. etc. Que
o sistema? Onde est? Que o xadrez? Todos os jogos que j foram jogados? A
lista de regras?
Uma sentena numa histria nos d a mesma satisfao que uma imagem.
124 Podemos, por outro lado, imaginar uma linguagem em cujo uso a impres
so produzida sobre ns pelos signos no desempenhasse nenhum papel; na qual
no houvesse questo nenhuma de entendimento, no sentido de tal impresso. Os
signos so, por exemplo, escritos e transmitidos a ns e somos capazes de not-los.
130 A proposio e seu sentido
(Isto , a nica impresso que entra no caso o padro do signo.) Se o signo uma
ordem, ns o traduzimos em ao por meio de regras, tabelas. No chega to
longe como impresso quanto a de um quadro; nem as histrias escritas nessa
linguagem. Mas h talvez um tipo de leitura para entretenimento que consiste em
certas sries de signos que so traduzidos em movimentos corporais para fazer
um tipo de dana. (Compare a observao a respeito de traduo e cdigo.)
Nesse caso, poderiamos realmente dizer a srie de signos est morta sem o
sistema.
(Eu poderia dizer a meus alunos: Quando voc passar por esses exerccios
pensar diferentemente.)
Tambm podemos expor a questo assim: Qual o sinal de que a soluo foi
encontrada?
Vamos supor gue to logo esteja solucionada tornarei a soluo bvia traan
do certas linhas no quebra-cabea e, talvez, colocando algumas sombras. Por que
voc chama de soluo a imagem que esboou nele?
A proposio e seu sentido 13 1
(Todo aquele que no compreender por que falamos a respeito dessas coisas
deve sentir o que dizemos como mera insignificncia.)
Suponha que a viso de um rosto tenha um forte efeito sobre ns, inspiran
do-nos, digamos, medo. Devo dizer: antes de mais nada, deve ocorrer uma im
presso de familiaridade, a forma do rosto humano como tal deve produzir uma
impresso de familiaridade em mim, e apenas ento a impresso de medo acres
centada a essa impresso? No assim que o que chamo de impresso de fami
liaridade especfica uma caracterstica de toda impresso forte que um rosto pro
132 A proposio e seu sentido
Digo a mim mesmo: quero tentar olhar uma palavra inglesa impressa e v-la
como se no tivesse aprendido a ler, como se as formas negras no papel fossem
desenhos estranhos, cujo propsito eu no pudesse imaginar ou adivinhar. E, ento,
o que acontece que no posso olhar para a palavra impressa sem que o som da
palavra ou da letra para a qual estou efetivamente olhando venha minha mente.
A proposio e seu sentido 133
128 Se digo que determinado rosto tem uma expresso de delicadeza, bondade
ou covardia, no parece que eu queira dizer apenas que associamos tais e tais sen
timentos aparncia do rosto; sinto-me tentado a dizer que o rosto , ele prprio,
um aspecto da covardia, da bondade etc. (Compare, por exemplo, com Weininger.)
possvel dizer: vejo covardia nesse rosto (e poderia ver em outro tambm), mas,
de qualquer modo, ela no parece estar meramente associada, exteriormente liga
da ao rosto; o medo tem a multiplicidade dos traos faciais. E se, por exemplo, os
traos mudam levemente, podemos falar de uma mudana correspondente no
medo. Se nos perguntassem: Voc consegue pensar nesse rosto como uma ex
presso de coragem tambm? devamos, por assim dizer, no saber como-in
fundir coragem nesses traos. Ento, talvez, eu diga No sei o que significaria se
esse fosse um rosto corajoso. [Esta sentena no pode ser corrigida dizendo para
este ser um rosto corajoso em vez de se este fosse um rosto corajoso2.] Mas qual
seria a resposta a uma pergunta como essa? Talvez digamos: Sim, agora entendo:
o rosto, por assim dizer, exibe indiferena pelo mundo exterior. Portanto, de al
guma maneira, lemos coragem no rosto. Agora, mais uma vez, poderiamos dizer,
a coragem ajusta-se ao rosto. Mas o que se ajusta a o que no caso?
ora considero o sorriso como bom, ora como mau? No o imagino com um con
texto espacial e temporal que chamo bom ou mau? Assim, eu poderia dar ao qua
dro a fantasia de que o sorridente estaria sorrindo para uma criana que brincava
ou, por outro lado, do sofrimento de um inimigo.
Isto no alterado, de maneira alguma, pelo fato de que tambm posso con
siderar a situao primeira vista graciosa e interpret-la de maneira diferente,
colocando-a num contexto mais amplo, Se nenhuma circunstncia especial
inverte minha interpretao, posso conceber um sorriso particular como bom,
cham-lo de bom, e reagir de acordo com isso.
Isso est ligado ao contraste entre dizer e querer dizer.
Qualquer expresso pode mentir : mas voc deve pensar no que quer dizer
com mentir. Como imagina uma mentira? No est contrastando uma expres
so com outra? De qualquer modo, est contrastando com a expresso algum outro
processo que poderia muito bem ser uma expresso.
129 O que significa: ler bondade no sorriso? Talvez signifique: fao um rosto
que est coordenado com o rosto sorridente de uma maneira particular. Coorde
no o meu rosto com o outro de maneira a exagerar um ou outro de seus traos.
Uma boca afvel, olhos afveis. Como pensaramos em uma mo afvel? Pro
vavelmente aberta, no com o punho cerrado. E poderiamos pensar na cor dos
cabelos de um homem como uma expresso de afabilidade ou seu contrrio? Ex
pressa assim, a questo parece perguntar se podemos conseguir fazer isso. A pergun
ta devia ser: Queremos chamar algo uma cor de cabelo afvel ou no-afvel? Se
quisssemos dar sentido a tais palavras, talvez devssemos imaginar um homem
cujo cabelo escurecesse quando ele ficasse zangado. A leitura de uma expresso zan
gada no cabelo escuro, porm, funcionaria via concepo previamente existente.
Poderia ser dito: os olhos afveis, a boca afvel, o balanar de cauda de um co
esto entre os smbolos mutuamente independentes da afabilidade; quero dizer:
Eles so parte dos fenmenos chamados de afabilidade. Se queremos imaginar
mais aparncias como expresses de afabilidade, introduzimos esses smbolos nelas
em nossa leitura. Dizemos: Ele tem um olhar negro talvez porque os olhos este
jam mais fortemente sombreados pelas sobrancelhas; e agora transferimos a idia
da escurido para a cor do cabelo. Ele tem cabelo ameaador. Se me perguntassem
se poderia imaginar uma cadeira com uma expresso afvel, seria, acima de tudo,
com uma expresso fa cia l afvel que eu iria querer imagin-la; iria querer ler nela
um rosto afvel.
Digo Posso pensar nesse rosto (que, a princpio, d uma impresso de timi
dez) como corajoso tambm. N o queremos dizer com isso que posso imaginar
algum com esse.rosto salvando a vida de algum (isso, naturalmente, imagin
vel em ligao com qualquer rosto). Falo, antes, de um aspecto do prprio rosto.
Tampouco quero dizer que posso imaginar que o rosto desse homem poderia
A proposio e seu sentido 135
Suponha que nos perguntemos que nome prprio se ajustaria ao carter deste
homem e o retratssemos em som? O mtodo de projeo que usamos para
retratar algum algo que, por assim dizer, permanece firme. (Um escritor pode
ra perguntar-se que nome quer dar a uma pessoa.) Mas, s vezes, projetamos o
carter no nome que foi dado. Assim, parece-nos que os grandes mestres tm
nomes que se ajustam singularmente ao carter de suas obras.
130 Este objeto familiar para mim como dizer este objeto est retratado
em meu catlogo. Nesse caso, consistira no fato de ser uma imagem arquivada
com outras em uma pasta particular, nesta gaveta. Mas se realmente isso que
imagino se penso que simplesmente comparo o objeto visto com imagens em
meu catlogo e descubro que concorda com uma delas algo bem diferente do
fenmeno da familiaridade. Isto , estamos fazendo a suposio de que a imagem
em nosso catlogo , ela prpria, familiar. Se fosse algo estranho, ento o fato de
estar nesta pasta, nesta gaveta, no significaria nada para ns.
132 Se consideramos bvio que um homem aufira prazer de suas prprias fan
tasias, lembremos que a fantasia no corresponde a uma imagem pintada, a uma
escultura ou a um filme, mas a uma formao complicada, de componentes hete
rogneos palavras, imagens etc. Ento, no contrastaremos o operar com sig
nos escritos e falados com o operar com imagens da imaginao de eventos.
(A feira de um ser humano pode ser repelente num quadro, numa pintura,
como na realidade, mas pode tambm ser repelente numa descrio, em palavras.)
133 Uma definio ostensiva pode colidir com as outras regras sobre o uso de
uma palavra? Pode parecer que sim; mas as regras no podem colidir, a menos
que se contradigam mutuamente. Fora isso, so elas que determinam um signifi
cado; no h um significado pelo qual sejam responsveis e possam contradizer.
2. A diz a B que ganhou na loteria; viu uma caixa cada na rua com os nmeros 5 e 7
nela. Calculou que 5 ^ 7 = 64 e pegou o nmero 64.
B: Mas 5 x 7 no 64!
A: Eu ganhei na loteria e ele quer me dar lies!
A proposio e seu sentido 141
(Pois, no caso, pode-se dizer: como seria se essas cores no tivessem essa simila
ridade? ) (Pense em um grupo contendo as quatro cores primrias mais preto e
branco, ou as cores visveis mais o ultravioleta e o infravermelho.)
Ningum negar que estudar a natureza das regras dos jogos deve ser til
para o estudo das regras gramaticais, j que est fora de dvida que existe alguma
similaridade entra elas. O certo deixar essa sensao de que h um parentesco
levar-nos a olhar para as regras do jogo sem nenhum julgamento preconcebido
ou preconceito a respeito da analogia entre os jogos e a gramtica. E, no caso,
novamente, devamos simplesmente relatar o que vemos e no ter medo de sola
par uma intuio significativa e correta, ou, por outro lado, de desperdiar nosso
tempo com algo suprfluo.
vras como pressionar teclas em um teclado para fazer uma mquina humana
trabalhar para ns, ento podemos dizer que a gramtica descreve essa parte da
mquina. Nesse caso, uma linguagem correta seria aquela que estimulasse as ati
vidades desejadas.
Posso estabelecer claramente, pela experincia, que um ser humano (ou ani
mal) reage a um signo como quero que reaja e no a outro. Que, por exemplo, um
ser humano vai para a direita diante do signo e para a esquerda diante do
signo mas que no reage ao signo Q como a
Nem sequer preciso fabricar um caso, tenho apenas de considerar o que, na
verdade, o caso; por exemplo, que posso dirigir um homem que aprendeu ape
nas alemo, usando apenas a lngua alem. (Pois, no caso, estou olhando o apren
der alemo como ajustar [condicionar] um mecanismo a reagir a certo tipo de
influncia; e, par a ns, pode ser a mesma coisa se algum aprendeu a lngua ou foi,
talvez, desde o nascimento constitudo para reagir, a sentenas em alemo como
uma pessoa normal que tenha aprendido essa lngua.)
o de a outra pessoa olhar para mim de boca aberta, no a chamo, por causa
disso, ordem de olhar e ficar de boca aberta, mesmo que seja precisamente esse o
efeito que eu queria produzir,
Quando uma pessoa aprende uma linguagem, ela aprende ao mesmo tempo o
que sentido e ausncia de sentido? Quando ela usa a linguagem, em que medida
emprega a gramtica e, em particular, a distino entre sentido e ausncia de sentido?
144 A proposio e seu sentido
entre o topo da nota e a pauta no significa nada, e assim por diante. Podemos ver
essa instruo como parte dos preparativos que transformam o aluno em uma
mquina de tocar.
Portanto, ele pode falar de uma gramtica no caso em que tuna linguagem
ensinada a uma pessoa por um mero exerccio de repetio? Est claro que, se
quero usar a palavra gramtica no caso, s posso faz-lo num sentido degene
rado, porque apenas num sentido degenerado que posso falar de explicao
ou de conveno.
E uma criana ou animal treinado no est familiarizado com nenhum pro
blema de filosofia.
I 3 9 Quando disse que, para ns, uma linguagem no era algo que atingisse um
fim particular, mas um conceito definido por certos sistemas que chamamos de
linguagens e que tais sistemas so construdos em analogia com elas tambm
podera ter expressado a mesma coisa da seguinte maneira: ligaes causais no
mecanismo da linguagem so coisas que no tenho escrpulo de inventar.
sempre para os seres vivos que os signos existem, de modo que isso deve
ser algo essencial a um signo. Sim, mas como se define um ser vivo? Parece que,
no caso, estou preparado para usar a sua capacidade de usar uma linguagem de
signos como marca definidora de ser vivo.
E o conceito de ser vivo realmente tem uma indeterminao muito similar do
conceito de linguagem.
A proposio e seu sentido 145
Novamente, imagine uma linguagem que consista em comandos. Ela deve ser
usada para dirigir os movimentos de um ser humano; um comando especifica a
distncia e adiciona as palavras para diante, para trs, direita e esquerda e
uma das palavras rpido e devagar. Ora, naturalmente, todos os comandos
que sero efetivamente usados para dirigir os movimentos de um ser humano;
um comando usa tais signos, em primeiro lugar, como abreviaes de sentenas
da primeira linguagem, retraduzindo-as, talvez, antes de obedecer a elas e, depois,
atuando imediatamente em resposta aos sinais. Nesse caso, poderiamos falar
de duas linguagens e dizer que a primeira mais pictrica que a segunda. Isto ,
no diriamos que uma srie de tais sinais, por si s, me capacitariam a derivar
uma imagem do movimento de um homem obedecendo a elas, a menos que,
alm dos sinais, houvesse algo que se pudesse chamar de regra geral para traduzir
para o desenho. No diriamos: do signo a b b c d voc pode derivar a figura
< ------------
O uso das palavras fato e ato Esse foi um ato nobre. Mas ele nunca acon
teceu.
natural querer usar a palavra ato de modo que s corresponda a uma pro
posio verdadeira. De modo que, ento, no falamos de um ato que nunca foi
executado. Mas a proposio Esse foi um ato nobre ainda deve ter algum sentido,
mesmo que eu esteja errado ao pensar que o que chamo de ato ocorreu. E isso, em
si, contm tudo o que importa, e posso fazer apenas a estipulao de que s usarei
as palavras fato, ato (talvez, tambm, evento) em uma proposio que, quando
completa, afirma que esse fato existe.
. . NI
Seria melhor pr de lado a restrio ao uso dessas palavras, j que leva apenas <
confuso, e dizer muito alegremente: Este ato nunca foi executado, Este fato
no existe, Este evento no ocorreu.
Chamo uma flor, uma casa, uma constelao de complexos: mais do que isso,
complexos de ptalas, de tijolos, de estrelas etc.
O fato de que esta constelao esteja localizada aqui pode, naturalmente, ser
descrito por uma proposio na qual apenas suas estrelas sejam mencionadas e
nem a palavra constelao nem seu nome ocorram.
Ora, voc pode, naturalmente, apontar uma constelao e dizer: esta conste
lao composta inteiramente de objetos que j conheo; mas voc no pode
apontar um fato e dizer isso.
igualmente impossvel que signifique: apontar o fato de que esta flor est
situada ali.
Apontar um fato significa afirmar algo, enunciar algo. A pontar uma flor no
significa isso.
Uma corrente, tambm, composta dos seus elos, no destes e de suas rela
es espaciais.
Quando Frege e Russell falam de conceito e objeto, eles realmente querem dizer
propriedade e coisa; e, no caso, estou pensando, em particular, em um corpo espa
cial e em sua cor. Ou podemos dizer: conceito e objeto so o mesmo que predica
do e sujeito. A forma sujeito-predicado uma das formas de expresso que ocor
rem nas linguagens humanas. a forma x y (x e y ): Meu irmo alto, A
tempestade est prxima, Este crculo vermelho, Augusto forte, 2 um
nmero, Esta coisa um pedao de carvo.
O conceito de ponto material na fsica uma abstrao dos objetos materiais
da experincia; da mesma maneira, a forma sujeito-predicado da lgica uma
abstrao a partir da forma sujeito-predicado de nossas linguagens. A forma sujei
to-predicado pura supostamente a e f(x), onde a o nome de um objeto. Pro
curemos agora por uma aplicao desse esquema. As primeiras coisas que vm
cabea como nomes de objetos so os nomes de pessoas e de outros objetos espa
ciais (o Koh-i-Noorj. Tais nomes so dados por definies ostensivas (que / *
chamado N ). Tal definio podera ser concebida como uma regra que substi
tusse a palavra N por um gesto de apontar para o objeto, com a condio de que
o gesto sempre pudesse ser usado no lugar do nome. Assim, posso explicar este
homem chamado N e continuar, dizendo que N um matemtico, N 7
preguioso e, em cada uma dessas sentenas, podera ter dito este homem (com
o gesto ostensivo) em vez de N . (Nesse caso, incidentalmente, teria sido melhor
exprimir a definio ostensiva este homem chamado N 1 ou Quero chamar
este homem N 777porque a verso acima tambm a proposio de que este ho
mem tem este nome.)
Contudo, essa no a maneira normal de usar um nome; uma caracterstica
essencial do uso normal que no posso recorrer a um signo da linguagem gestual
no lugar do nome. Isto , da maneira como usamos o nome N , se N sai da sala e
1. Parece haver algo errado com o texto alemo aqui. Possivelmente Wittgenstein te
nha querido escrever que esse homem seja chamado N e, inadvertidamente, escreveu
uma verso que a mesma que est corrigindo. (N. do T. ingl.)
154 Apndices
mais tarde um homem entra na sala, faz sentido perguntar se esse homem N, se
o mesmo homem que saiu da sala antes. E a sentena N voltou sala s faz
sentido se posso decidir a questo. E o seu sentido variar segundo o critrio de
ser esse o objeto que anteriormente chamei N. Diferentes tipos de critrios tor
naro diferentes regras vlidas para o signo N , faro dele um nome em um
sentido diferente da palavra. Assim, a palavra nome e a palavra correspondente,
objeto, so, cada uma, ttulos para inmeras listas de regras.
Se damos nomes a objetos espaciais, o uso que fazemos de tais nomes depende
de um critrio de identidade que pressupe a impenetrabilidade dos corpos e a
continuidade de seu movimento. Assim, se pudesse tratar dois corpos A e B como
posso tratar suas sombras na parede, transformando dois em um e um em dois
novamente, no faria sentido perguntar qual dos dois, aps a diviso, A e qual
B, a menos que eu introduzisse um critrio de identidade totalmente novo, por
exemplo, a direo dos seus movimentos. (H uma regra para o nome de um rio
que surge da confluncia de dois rios, assim;
parte da forma, e arbitrrio para mim estabelecer que o centro deva permane
cer fixo e as nicas mudanas na forma sejam mudanas no raio.
Mais uma vez, devemos nos prender linguagem comum e dizer que um
retalho circular.
Est claro que, aqui, a expresso portador de uma propriedade, nesse con
texto, expressa uma imagem completamente errada impossvel. Se tenho um
torro de argila, posso consider-lo como o portador de uma forma e disso, gros
so modo, que vem a imagem.
O retalho muda sua forma e o torro de argila muda sua forma so for
mas diferentes de proposies.
Voc pode dizer Mea se isso um crculo ou Veja se aquilo ali um chapu.
Tambm pode dizer Mea se isso um crculo ou uma elipse, mas no ... se
isso um crculo ou um chapu; nem Veja se isso um chapu ou vermelho.
Se aponto uma curva e digo Isso um crculo, ento algum pode objetar
que se no fosse um crculo no seria mais isso. Isto , o que quero dizer com a
palavra isso deve ser independente do que afirmo a respeito dela.
(Isso foi trovo ou disparo? No caso, voc no podera perguntar Isso foi
um barulho? )
Por outro lado, voc, naturalmente, pode dizer No o barulho, mas a cor
que me deixa nervoso e, no caso, podera parecer como se uma varivel assumis
se uma cor e um barulho como valores. (Os sons e as cores podem ser usados
como veculos de comunicao ) Est claro que essa proposio do mesmo tipo
que se ouvir um disparo ou vir-me acenar, corra. Pois esse o tipo de coordena
o em cuja base uma linguagem ouvida ou vista funciona.
Ento, o que estou dizendo significa: o vermelho no pode ser descrito. Mas
no podemos represent-lo na pintura, pintando algo de vermelho?
160 Apndices
Ainda assim, no por acaso que, para definir o significado da palavra ver
melho, a coisa natural seja apontar para um objeto vermelho.
(O que natural a respeito dele que retratado nessa sentena por meio da
ocorrncia dupla da palavra vermelho ).
Se voc pode chamar a cor verde de objeto, deve estar dizendo que um
objeto que ocorre no simbolismo. De outra maneira, o sentido do simbolismo e,
portanto, sua prpria existncia como simbolismo no estaria garantida.
Mas o que isso afirma a respeito do verde ou da palavra verde? ((Essa sen
tena est ligada a uma concepo particular da relao de significado e de uma
formulao particular do problema que a relao suscita)).
4
Proposies elementares
A1
A proposio este lugar agora vermelho (ou este crculo agora verme
lho ) pode ser chamada de proposio elementar se isso significa que no uma
funo de verdade de outras proposies nem definida como tal. (No caso, estou
desconsiderando combinaes como p . : q v ~ q e similares.)
Podemos dizer: um projeto serve como imagem do objeto que o artfice deve
fazer a partir dele.
E, no caso, poderiamos chamar a maneira como o artfice transforma tal
desenho em um artefato de mtodo de projeo. Poderiamos agora expressar-
nos assim: o mtodo de projeo faz a mediao entre o desenho e o objeto, ele
alcana do desenho ao artefato. Aqui, estamos comparando o mtodo de proje
o com as linhas de projeo que vo de uma figura a outra. Mas, se o mto
do de projeo uma ponte, uma ponte que no construda at que a aplica
o seja feita. Essa comparao oculta o fato de que a imagem mais as linhas
de projeo deixam abertos vrios mtodos de aplicao, faz parecer como se o
que retratado, mesmo que no exista na realidade, fosse determinado pela
imagem e pelas linhas de projeo de um a maneira etrea, isto , cada pedao
to determinado como se realmente existisse4. ( determinado d ou tome um
sim ou no ) Nesse caso, o que podemos chamar imagem o projeto mais o
mtodo da sua aplicao. E agora imaginamos o mtodo como algo que est vin
culado ao projeto, seja ou no usado. (Podemos descrever uma aplicao mes
mo que no exista).
Ora, gostaria de perguntar Como o projeto pode ser usado como repre
sentao, a menos que j exista uma concordncia com o que deve ser feito?
Mas o que isso significa? Bem, talvez isto: como eu podera tocar as notas da
pauta no piano se elas j no tivessem uma relao com tipos particulares de
movimento da mo? Naturalmente, tal relao s vezes consiste em certa concor
dncia, mas, s vezes, em nenhuma concordncia, mas meramente em termos
aprendido a aplicar os signos de uma maneira particular. O que faz a compara
o entre o mtodo de projeo e as linhas de projeo que ligam a figura com o
objeto tornar todos esses casos semelhantes porque isso o que nos atrai.
3. Cf. p. 123.
4. Cf. Tractatus 2.1513. (Ed.)
164 Apndices
Voc pode dizer: considero as linhas de projeo como parte da imagem mas
no o mtodo de projeo.
Naturalmente, voc tambm pode dizer: considero uma descrio do mtodo
de projeo como parte da imagem.
Portanto, estou imaginando que a diferena entre a proposio e a realidade
aplainada pelas linhas de projeo que pertencem imagem, ao pensamento, e
que no h mais nenhum espao para um mtodo de aplicao, mas apenas para
a concordncia e a discordncia.
5
0 tempo essencial para as proposies?
Comparao entre o tempo e as funes de verdade
Mas isso mostra o que quero dizer com proposio ou natureza da pro
posio.
Ter dois tipos de generalidade da maneira como falo seria to estranho como
se houvesse duas regras de jogo igualmente sem excees e uma delas fosse decla
rada como mais fundamental. Como se pudssemos perguntar qual, no xadrez,
mais importante o rei ou o tabuleiro; qual dos dois mais essencial e qual dos
dois mais acidental.
H, pelo menos, uma questo que parece em ordem: suponha que eu tivesse
escrito a gramtica e que os diferentes captulos sobre as palavras de cor etc. etc.
estivessem ah, um aps o outro, como regras para cada uma das peas de xadrez,
como eu saberia que aqueles eram todos os captulos? Se se revela haver uma pro
priedade comum em todos os captulos at ento existentes, parece termos en
contrado uma generalidade lgica que no essencial, isto , uma generalidade a
priori. Mas no podemos dizer que o fato de o xadrez ser jogado com 16 peas
menos essencial a ele do que ser jogado em um tabuleiro.
Vale a pena notar que o tempo de que estou falando aqui no o tempo num
sentido fsico. No estamos preocupados com a medio do tempo. suspeito
supor que algo que no tem ligao com medio tenha um papel em proposies
como a de tempo fsico na hiptese da fsica.
Discuta:
A distino entre a lgica do contedo e a lgica da forma preposicional em
geral. A primeira parece, por assim dizer, de colorao brilhante, e a segunda,
apagada; a primeira parece estar interessada no que a imagem representa, a se
gunda, em uma caracterstica da forma pictrica, como uma moldura.
Voc podera explicar uma hiptese por meio de imagens. Quero dizer, voc po
dera, por exemplo, explicar a hiptese h um livro aqui com imagens mostran
do o livro em plano, elevao e vrios cortes transversais.
Tal representao fornece uma lei. Exatamente como a equao de uma curva
fornece uma lei, por meio da qual voc pode descobrir as ordenadas, se cortar em
diferentes abscissas.
Caso em que a verificao de casos particulares corresponde a cortes que fo
ram feitos efetivamente.
Se nossas experincias resultam em pontos sobre uma linha reta, a proposio
de que essas experincias so vrias vises de uma linha reta uma hiptese.
A hiptese uma maneira de representar essa realidade, pois uma nova expe
rincia pode coincidir com ela ou no ou, possivelmente, tornar necessrio modi
ficar a hiptese.
Segundo meu princpio, duas suposies devem ter o mesmo sentido se toda
experincia possvel que confirma uma tambm confirma a outra, se, isto , ne
nhuma deciso entre as duas concebvel com base na experincia.
A representao de uma curva como uma linha reta com desvios. A equao
da curva inclui um parmetro cujo curso expressa os desvios de uma linha reta.
170 Apndices
No essencial que esses desvios sejam leves. Podem ser to grandes que a curva
no parea uma linha reta. Linha reta com desvios apenas uma forma de des
crio. Ela torna mais fcil para mim eliminar ou negligenciar um componente
particular da descrio, se eu assim desejar. (A forma regra com excees ).
O que significa algum ter certeza de que tem uma dor de dente? (Se al
gum no pode ter certeza, a gramtica no permite o uso da palavra certo nesse
contexto.)
A gramtica da expresso ter certeza.
Dizemos Se digo que vejo uma cadeira, estou dizendo mais do que sei com
certeza. E, comumente, isso significa Mas, do mesmo jeito, h uma coisa que sei
com certeza. Mas, se agora tentamos dizer o que , achamo-nos em certo embarao.
Vejo algo marrom isso certeza. Isso quer dizer que a cor marrom vista
e, talvez, no meramente conjeturada a partir de outros sintomas. E ns realmente
dizemos, bem simplesmente: Vejo algo marrom.
Se algum me diz Olhe neste telescpio e faa para mim um esboo do que
v, o esboo que fao a expresso de uma proposio, no de uma hiptese.
Se digo Aqui h uma cadeira, quero dizer mais as pessoas dizem do que
a mera descrio do que percebo. Isso s pode significar que a proposio no tem
de ser verdadeira, embora a descrio se ajuste ao que visto. Bem, em que cir
cunstncias eu diria que essa proposio no verdadeira? Aparentemente, se cer
tas outras proposies, que estavam implcitas na primeira, no so verdadeiras.
Mas no como se a primeira revelasse ter sido um produto lgico o tempo todo.
H uma distino entre uma proposio como Aqui h uma esfera diante de
mim e Parece que h uma esfera diante de mim. A mesma coisa se revela tam
bm assim: podemos dizer Parece haver uma esfera diante de mim, mas no tem
sentido dizer Parece como se parecesse haver uma esfera aqui. Portanto, tam
bm podemos dizer Aqui provavelmente h uma esfera, mas no Aqui, prova
velmente parece estar uma esfera. Em tal caso, as pessoas diriam Afinal, voc
deve saber se parece estar ou no.
Pode ser duvidoso se o corpo que vejo uma esfera, mas no pode ser duvi
doso que, daqui, parea ser algo como uma esfera. O mecanismo da hiptese
no funcionaria se a aparncia tambm fosse duvidosa, de modo que no puds
semos verificar para alm da dvida mesmo uma faceta da hiptese. Se houvesse
uma dvida no caso, o que eliminaria a dvida? Se tambm essa ligao fosse
frouxa, no haveria nada com que confirmar uma hiptese e ela pairaria no ar
inteiramente, inteiramente sem objetivo (e, portanto, intil).
Um postulado deve ser tal que nenhuma experincia concebvel possa refu
t-lo, embora possa ser extremamente inconveniente manter-se agarrado ao postu
lado. Na medida em que podemos falar, no caso, de maior ou menor convenincia,
h uma probabilidade maior ou menor do postulado.
174 Apndices
No tem sentido falar de uma medida para essa probabilidade neste momento.
A situao, no caso, como aquela no caso de dois tipos de nmeros, onde pode
mos, com certa justia, dizer que um mais como o outro (est mais prximo
dele) do que um terceiro, mas no h nenhuma medida numrica da similaridade.
Naturalmente, voc poderia imaginar uma medida sendo construda em tais ca
sos tambm, digamos, contando os postulados ou axiomas comuns aos dois sis
temas etc. etc.
Dou a algum a seguinte informao, e nada mais: em tal e tal tempo, voc
ver um ponto de luz aparecer no intervalo AB.
Agora faz sentido a pergunta mais provvel que este ponto v surgir no inter
valo AC que no CB? Creio, obviamente, que no. Posso, naturalmente, decidir
que a probabilidade de o evento acontecer em CB deve estar na razo CB/AC para
a probabilidade acontecer em AC; contudo, essa uma deciso que tenho funda
mentos empricos para fazer, mas a respeito da qual no h nada a ser dito apriori.
possvel que a distribuio de eventos observada no leve a essa suposio. A
probabilidade, onde infinitamente muitas possibilidades entram em considera
o, deve, naturalmente, ser tratada como um limite. Isto , se divido a extenso
AB arbitrariamente em muitas partes de extenses arbitrrias e considero igual
mente provvel que o evento ocorra em qualquer uma dessas partes, temos ime
diatamente o caso simples dos dados diante de ns. E agora posso arbitraria
mente estabelecer uma lei para construir partes de igual probabilidade. Por
exemplo, a lei segundo a qual, se as extenses das partes so iguais, elas so igual
mente provveis. Mas qualquer outra lei igualmente permissvel.
Probabilidade 175
Eu no poderia, tambm no caso dos dados, juntar cifico faces como uma
possibilidade e op-las sexta como a segunda possibilidade? E o que existe, alm
da experincia, para me impedir de considerar igualmente provveis essas duas
possibilidades?
Imaginemos o arremesso, digamos, de uma bola vermelha com apenas um
retalho verde bem pequeno nela. No muito mais provvel nesse caso que a
rea vermelha atinja o cho em vez da rea verde? Mas como sustentaramos
essa proposio? Presumivelmente demonstrando que, quando atiramos a bola,
o vermelho bate no cho com muito mais freqncia que o verde. Mas isso no
tem nenhuma relao com a lgica. Sempre podemos projetar as superfcies
vermelha e verde e o que ocorre a elas em uma superfcie de tal maneira que a
projeo da superfcie verde seja maior que a vermelha ou igual a ela; de modo
que os eventos, tal como vistos nessa projeo, parecem ter uma razo de proba
bilidade inteiramente diferente da que tinham na superfcie original. Se, por exem
plo, reflito os eventos em um espelho adequadamente curvo e agora imagino o
que eu teria considerado o evento mais provvel se apenas tivesse visto a imagem
no espelho.
A nica coisa que o espelho no pode alterar o nmero de possibilidades
claramente demarcadas. De modo que, se tenho n retalhos coloridos na minha bola,
o espelho tambm mostrar n, e se eu decidi que estes devem ser considerados igual
mente provveis, ento apego-me a essa deciso tambm na imagem do espelho.
Para me fazer mais claro: se executo o experimento com um espelho cnca
vo, isto , fao as observaes em um espelho cncavo, talvez parea que a bola
cai com mais freqncia na superfcie pequena do que na superfcie muito maior;
e est claro que nenhum experimento no espelho ou fora dele tem direito
a precedncia.
Quando as pessoas dizem que a proposio provvel que p ocorra diz algo
a respeito do evento p, elas esquecem que a probabilidade permanece mesmo quan
do o evento p no ocorre.
176 Apndices
Se digo parece que vai chover, digo algo a respeito do clima futuro? No; digo
algo a respeito do clima presente, por meio de uma lei que liga o clima em qualquer
tempo com o clima de um tempo anterior. Essa lei j deve existir e ns a estamos
usando para construir certos enunciados a respeito de nossa experincia.
Poderiamos dizer o mesmo tambm a respeito de enunciados histricos. Mas
disse muito rapidamente que a proposio parece que vai chover no diz nada
sobre o clima futuro. Tudo depende do que se quer dizer com dizer algo a respei
to de alguma coisa. A sentena diz apenas o que diz.
A sentena p provavelmente ocorrer diz algo a respeito do futuro apenas
no sentido em que sua verdade e sua falsidade so completamente independentes
do que acontecer no futuro.
Parbola
Posso dizer que uma extenso proporciona a impresso geral de uma linha
reta, mas no posso dizer: Este pedao de linha parece reto pois podera ser um
pedao de uma linha que, como um todo, me d a impresso de ser reta. (Monta
nhas na terra e na lua. A terra uma bola.)
Suponha que a medida demonstre que o dado preciso e regular, que os nme
ros em seus lados no influenciam os lances e que ele atirado por uma mo cujos
movimentos no seguem nenhuma regra definida: decorre da que a distribuio
entre os lances de cada um dos lances de 1 a 6 ser uniforme na mdia? De onde se
espera que venha a distribuio uniforme? A preciso e a regularidade do dado no
podem estabelecer que a distribuio dos lances ser uniforme na mia. (Seria,
por assim dizer, uma premissa monocromtica com uma concluso colorida.) E
no fizemos nenhuma suposio a respeito dos movimentos durante os arremes-
sos. (Tornar iguais os montes de feno no oferece nenhuma razo para crer que o
burro morrer de fome entre eles; no oferece razo para crer que comer de cada
um com mais ou menos igual freqncia.) perfeitamente compatvel com
nossas suposies que um seja lanado cem vezes sucessivamente, se a frico, os
movimentos da mo e a resistncia do ar coincidirem aproximadamente. O fato
experimental de que isso nunca acontece um fato a respeito desses fatores, e a
hiptese de que os lances sero distribudos uniformemente uma hiptese a res
peito da operao desses fatores.
Suponha que algum diga que uma alavanca com braos de comprimento
igual deve permanecer em repouso sob a influncia de foras iguais e opostas, j
que no h nenhuma causa para mov-la mais para um lado do que para o outro.
Isso s significa que, se a alavanca se mover para um lado depois de termos veri
ficado a igualdade dos braos e a natureza igual e oposta das foras, ento no po
demos explicar isso com base nas precondies que conhecemos ou supomos. (A
forma que chamamos explicao deve ser assimtrica: como a operao que faz
2a + 3b a partir de a + b). Mas, com base em nossos pressupostos, podemos
realmente explicar a permanncia em repouso da alavanca. Poderiamos tam
bm explicar um balanar para esquerda e direita com freqncia, grosso modo-,
igual? No porque, mais uma vez, o balano envolve assimetria; s explicaramos a
simetria nessa assimetria. Se a alavanca tivesse girado para a direita com um movi
mento uniforme, poderiamos ter dito, de maneira similar: dada a simetria das con
dies, posso explicar a uniformidade do movimento, mas no sua direo.
Uma ausncia de uniformidade na distribuio dos lances no deve ser expli
cada pela simetria do dado. apenas nessa medida que a simetria explica a unifor
midade da distribuio. Pois podemos, naturalmente, dizer: se os nmeros nos
lados do dado no tm nenhum efeito, ento a diferena entre eles no pode expli
car uma irregularidade na distribuio, e, naturalmente, circunstncias similares
180 Apndices
Suponha que um homem que jogasse dados todos os dias no tirasse mais
nada alm de um durante uma semana, usando dados que provaram ser bons por
todos os outros mtodos de teste e que dessem resultados usuais quando jogados
por outros. Ele tem fundamentos, agora, para supor que h uma lei da natureza
segundo a qual ele sempre tirar um? Ele tem fundamentos para crer que prosse
guir assim ou tem fundamentos para crer que essa regularidade no pode durar
muito mais? Ele tem razo para abandonar o jogo, j que se tornou claro que ele s
pode tirar um, ou tem razo para continuar a jogar, j que, nessas circunstncias,
muito mais provvel que v tirar um nmero mais alto no prximo lance? Na
verdade, ele se recusar a aceitar a regularidade como uma lei natural: pelo menos,
ter de continuar por muito tempo antes que ele considere a possibilidade. Mas
por qu? Creio que porque toda a sua experincia anterior de vida depe contra
haver uma lei natural de tal tipo, e temos por assim dizer de superar toda essa
experincia antes de abraar uma maneira totalmente nova de olhar as coisas.
o mesmo tipo de incerteza que ocorre quando se oferece o ponto mais alto
de uma curva. Simplesmente no estamos no espao euclidiano e, no caso, no h
um ponto mais alto no sentido euclidiano. A resposta significar O ponto mais
alto est mais ou menos l, e a gramtica da expresso mais ou menos nesse
contexto parte da geometria de nosso espao.
to, mas esse no o limite real da tolerncia permissvel; ento, qual ? a resposta
seria, por exemplo, No sei de nenhum; s sei que 2 muito.
Imagine o seguinte experimento psicolgico.
I) os intervalos so separados
II) so separados com um contato defacto
III) no decidido
IV) no decidido
V) no decidido
VI) eles se sobrepem
VII) eles se sobrepem
Faa aqui um amontado de areia para mim. Muito bem; isso certamen
te algo que chamaramos de amontado. Pude obedecer ao comando; portanto,
ele estava em ordem. Mas e este comando Faa para mim o menor amontado que
ainda pudesse ser chamado de amontoado? Eu diria: isso sem sentido; s posso
determinar um limite superior e um inferior defacto.
PA R TE II
Sobre a lgica e a matemtica
I A INFERNCIA LGICA
I
E porque entendemos as proposies que sabemos que q implica p?
Um sentido d origem implicao?
q (p v q)
II II
p q pvq q (p v q ).q (p v q) v q
V V V Y V V
V F V F F V
F V V V V V
F F F F F F
(3x) .x v fa. = . (3x) (3x) .fx.fa = fa. Como sei disso? (Porque para a equa
o acima eu ofereci uma prova). Poderiamos dizer algo como: S entendo
(3x).fx. (Um exemplo excelente do que significa entender ).
Mas eu poderia, igualmente, perguntar Como sei que (3x).fx decorre de fa?
e responder porque entendo c(3x) ,fx.
Mas, realmente, como sei que decorre? Porque desse modo que calculo.
Como sei que (3x).fx decorre de fa? que eu, por assim dizer, vejo por trs do
signo (3x).fx, que vejo o sentido por trs dele e percebo a partir dele que ele
decorre de fa? isso que entender?
No, o que essa equao expressa parte do entendimento (que , assim, de-
sempacotada diante dos meus olhos).
Compare a idia de que o entendimento , antes de mais nada, entender num
timo algo que, ento, tem de ser empacotado desse jeito.
Se digo Sei que (3x) .fe decorre porque o entendo isso significaria que, quando
o entendo, vejo algo diferente do signo que recebo, um tipo de definio do signo
que d origem decorrncia.
No se trata, antes, de que a ligao estabelecida e prescrita pelas equaes?
Pois no existe ligao oculta. ,
188 Sobre a lgica e a matemtica
(3x).fx fa
V V
V F
r
\r
V
F F
Mas, eu costumava pensar, (3x) .fx no deve ser uma funo de verdade de fa
para que isso seja possvel, para que essa ligao seja possvel?
Voc no pode procurar por trs das regras porque no h nada atrs.
No primeiro caso, deve ser a estrutura que faz com que decorra, digamos,
porque fE definido de modo a ter a estrutura adequada. Mas a decorrncia pode
realmente ser um tipo de resultado da estrutura visvel dos signos, da maneira
como uma reao fsica o resultado de uma propriedade fsica? No depende,
antes, de estipulaes como a equao fE. fa. = .fa? Pode-se ler a partir de p v q que
decorre de p, ou apenas a partir das regras que Russell oferece para as funes
de verdade?
E por que a regra fE.fa. = .fa devia ser um efeito de outra regra em vez de ser
ela prpria a regra primria?
Pois o que se supe que significa fE deve, de alguma maneira, conter fa?
Ela no a contm, na medida em que podemos trabalhar com fE sem mencionar
fa; mas contm, na medida em que a regra fE.fa seja vlida.
Mas a idia que fE.fa. = .fa s pode ser vlida em virtude de uma defini
o de fE.
Lembre-se de que uma proposio geral pode acarretar uma soma lgica de uns
cem termos, e que certamente no pensamos nisso ao emitir a proposio geral.
Contudo, no podemos dizer que decorre dela?
Qualquer que seja o lugar em que atinja o alvo, voc venceu. Voc o atingiu
na seo direita superior, portanto...
relao consiste em o tiro cair dentro dos limites da possibilidade geral que previ-
mos. Mas o tiro, em si, no foi previsto e no ocorreu ou, pelo menos, no precisa
ter ocorrido, na primeira imagem. Pois, mesmo supondo que, na ocasio em que
pensei em mil possibilidades diferentes, era pelo menos possvel que o posterior
mente realizado fosse omitido. E se prever essa possibilidade fosse realmente es
sencial desprezar esse nico caso daria premissa o sentido errado e a concluso
no mais decorrera dela.
Mas o que se supe que queira dizer Se uma proposio decorre de outra,
pensar a segunda deve envolver pensar a primeira j que, na proposio Tenho
l,70m de altura, no necessrio pensar em nenhum dos enunciados negativos
de altura que decorrem dele?
A idia toda de que uma proposio tem de ser pensada juntamente com
qualquer proposio que a acarrete baseia-se em uma noo falsa e psicologizante.
Devemos nos ocupar apenas com o que est contido nos signos e nas regras.
I I I I I _I
C B A F A B C
No decorre disso que F tambm est entre BB e CC, e assim por diante? No
decorrem de uma nica proposio infinitamente muitas? Isso a torna infinita
mente significativa? Da proposio H um retalho entre os limites AA decor
rem tantas proposies do tipo h um retalho entre os limites BB quanto eu
escrever e no mais do que eu escrever. De modo similar, de p decorrem tantas
proposies da forma p v ^ quanto eu escrever (ou emitir etc.)
(Uma prova por induo prova tantas proposies da form a... quanto eu
escrever.)
3
0 caso de infinitamente muitas proposies decorrendo de uma nica
A B
O todo branco; portanto, uma parte limitada por tal e tal linha branca.
O todo era branco; portanto, essa parte dele tambm foi branca, mesmo que eu,
ento, no a tenha percebido limitada dentro dele.
sido previsto como um possvel lugar a ser atingido. Devamos antes dizer: Voc
acertou o alvo, portanto...
O lugar no alvo no tem de ser necessariamente dado por uma marca no alvo,
como um crculo. Pois sempre h descries como mais perto do centro, mais
perto da borda, do lado direito, em cima etc. Onde quer que o alvo seja atingido,
tais descries devem ser sempre possveis, (Mas no infinitamente muitas des
cries desse tipo.)
Faz sentido dizer: Mas se voc atingir o alvo deve atingi-lo em algum lugar
ou Sempre que ele acertar a superfcie, no ser uma surpresa; no teremos de
dizer No esperava isso. No sabia que havia tal lugar1? O que isso significa que
no pode ser uma surpresa geomtrica.
Que tipo de proposio : Nesta tira voc pode ver todas as nuanas de cinza
entre preto e branco? No caso, parece como se, primeira vista, estivssemos
falando sobre infinitamente muitas nuanas.
Na verdade, estamos sendo confrontados com o paradoxo de que podemos
apenas, claro, distinguir um nmero finito de nuanas, e, naturalmente, a distin
o entre elas no infinitamente leve e, contudo, vemos uma transio contnua.
dizer que a rgua deve ter aparecido a mim em t e, ento, se estou falando sobre
a posio no espao visual, ela, ento, no decorre minimamente da premissa.
Mas, se estou falando a respeito da rgua fsica, ento, naturalmente, possvel a
rgua ter pulado a posio t e, contudo, o fenmeno do espao visual ter perma
necido contnuo.
4
Uma experincia pode demonstrar que uma proposio decorre de outra?
O nico ponto essencial que no podemos dizer que foi por meio da experincia
que tivemos conhecimento de uma aplicao extra da gramtica. Pois, ao fazer o
enunciado, teramos de descrever a aplicao e, mesmo se essa for a primeira vez
que percebi que a descrio verdade, devo ter podido compreend-la mesmo
antes da experincia. .
Como posso saber tudo o que decorrer? O que puder saber depois tam
bm posso saber agora.
Se a segunda proposio, por assim dizer, surgisse sem ser esperada pela pri
meira, no poderia decorrer dela.
A primeira proposio deve reconhecer a segunda como sua conseqncia.
Ou, antes, elas devem estar unidas em uma nica gramtica, que permanea a
mesma antes e depois da inferncia.
(No caso, muito difcil no contar contos de fadas a respeito de processos
simblicos, exatamente como, alhures, difcil no contar contos de fadas a res
peito de processos psicolgicos. Mas tudo simples e familiar (no h nada novo
a ser descoberto). Isso o terrvel sobre a lgica, que sua dificuldade extraor
dinria se encontre no fato de que nada deve ser construdo e que tudo est pre
sente e familiar.)
5
A proposio "0 crculo est no quadrado" , em certo sentido,
independente da atribuio de uma posio particular.
(Em certo sentido, totalmente desligada.)
Gostaria de dizer: uma figura geral como | o | no tem a mesma mtrica que uma
particular.
O desenho | o | pode ser visto como uma representao do caso geral. como
se ele no estivesse em um espao mensurvel: as distncias entre o crculo e as
linhas no tm nenhuma importncia. A imagem, considerada assim, no vista
como ocorrendo no mesmo sistema, como quando a vemos como a representa
o de uma posio particular do crculo entre as linhas. Ou, antes, considerada
assim, parte de um clculo diferente. As regras que governam as variveis no
so as mesmas que governam seus valores particulares.
I X - - - - - 1 I- - - - - X 1 I- - - - - - - - K l I- - - - - - - K H
Cada um desses casos, por exemplo, tem a sua prpria individualidade. H
alguma maneira pela qual essa individualidade entre no sentido da sentena ge
ral? Obviamente, no.
Todos esses padres podem ser o mesmo estado de coisas distorcido. (Ima
gine as duas tiras brancas e a tira negra mdia como elsticas.)
fa decorrer de (x) .fx significa que a mencionado em (x). fie? Sim, se a propo
sio geral pretendida de tal maneira que a sua verificao consista em uma
enumerao.
rido e no as distines entre as cores, tal vidro pode ser chmado de peneira, e
se pensamos no quadrado como visto atravs de um vidro que transmite apenas
a distino entre posies ou tamanhos do crculo, no caso, tambm, podemos
falar de uma peneira.
Quero dizer que o retalho parece ter uma relao com a borda que indepen
dente da sua distncia. Quase como se eu estivesse usando uma geometria na
qual no houvesse algo como distncia, mas apenas dentro e fora. Vistas dessa
Por si, a proposio O retalho est no quadrado no faz mais nada alm de
segurar o retalho no quadrado, por assim dizer; apenas dessa maneira que limita
a liberdade do retalho; dentro do quadrado, concede-lhe completa liberdade. A
proposio constri uma estrutura que limita a liberdade do retalho mas, dentro
da estrutura, deixa-o livre, isto , no tem nada a ver com sua posio. Para que
seja assim, a proposio deve ter a natureza lgica da estrutura (como uma caixa
encerrando o retalho). E ela tem porque pude explicar a proposio a algum e
expor as possibilidades, independentemente de tal proposio ser verdadeira ou
no, independentemente de um fato.
Onde quer que o retalho esteja no quadrado... significa contanto que este
ja no quadrado ... e, no caso, tudo o que se quer dizer a liberdade (falta de
restrio) no quadrado, no um conjunto de posies.
Nenhum grau de brilho abaixo deste fere os meus olhos. Teste esse tipo de
generalidade.
Se digo que o retalho est no quadrado, sei e devo saber que ele pode ter
vrias posies possveis. Sei tambm que no podera dar um nmero definido
de todas essas posies. No sei antecipadamente quantas posies Eu podera
distinguir. E tentar tampouco me diria o que quero saber no caso.
A escurido que oculta as posies possveis etc. a corrente da situao lgica,
exatamente como a iluminao fraca um tipo particular de iluminao.
Portanto, se ouo que o livro est em algum lugar na mesa, e, ento, encon
tro-o em uma posio particular, no possvel eu ficar surpreso e dizer oh, no
sabia que havia esta posio; e, contudo, eu no previra essa posio particu
lar, isto , no a contemplara antecipadamente como uma possibilidade parti
cular. So as possibilidades fsicas, no as lgicas que me pegam de surpresa!
Mas qual a diferena entre o livro est em algum lugar na mesa e o evento
ocorrer em algum tempo no futuro? Obviamente, a diferena que, num caso,
204 Sobre a lgica e a matemtica
Qual , ento, o critrio para a proposio geral, para o crculo estar no qua
drado? Ou que nada tem qualquer coisa que ver com um conjunto de posies
(ou tamanhos) ou algo que lide com um nmero finito de tais posies.
Dizer O crculo est ou entre as duas linhas ou aqui (onde aqui um lugar
entre as linhas) obviamente no significa nada mais que O crculo est entre as
duas linhas e a adio ou aqui suprflua. Voc dir: o aqui j est includo no
algum lugar. Mas isso estranho, j que no mencionado nela.
Como quando dizemos este teorema vlido para todos os nmeros e pen
samos que, em nosso pensamento, abrangemos todos os nmeros, como mas
em uma caixa.
Agora, porm, pode-se perguntar: como posso saber de antemo quais pro
posies acarretam essa proposio geral se no posso especificar as proposies?
Ela no pode ser caracterizada pela enumerao de casos porque, por mais
que enumeremos, ainda poderia estar errada quanto ao produto dos casos cita
dos. A sua generalidade, portanto, encontra-se em uma propriedade (uma pro
priedade geomtrica) das variveis.
7
A inadequao da notao de generalidade de Frege-Russel!
Faz sentido dizer escreva qualquer nmero cardinal mas no escreva todos
os nmeros cardinais. H um crculo no quadrado [(Bx).fx)] faz sentido mas
no ~ 3x. ~ 6 c: todos os crculos esto no quadrado. H um crculo vermelho
sobre um fundo de cor diferente faz sentido, mas no no h uma cor de fundo
que no o vermelho que no tenha um crculo vermelho em si.
Neste quadrado h um crculo negro. Se essa proposio tem a forma (3x) .x
um crculo negro em um quadrado que tipo de coisa que tem a propriedade
de ser um crculo negro (e, portanto, tambm pode ter a propriedade de no ser
um crculo negro)? um lugar no quadrado? Mas, ento, no h nenhuma pro
posio (x) .x um ... negro. Por outro lado, a proposio poderia significar H
uma mancha no quadrado que um crculo negro. Como essa proposio
verificada? Bem, tomamos as diferentes manchas no quadrado por sua vez e in
vestigamos se so negras e circulares. Mas que tipo de proposio No h uma
mancha no quadrado? Pois, se no primeiro caso o x em (3x) significava man
cha no quadrado, ento, embora (3x).fx seja uma proposio possvel, tanto
(3x) como ~ (3x) no so. Ou, novamente, eu poderia perguntar: que tipo de
coisa que tem (ou no tem) a propriedade de ser uma mancha no quadrado?
E se podemos dizer H uma mancha no quadrado tambm faz sentido di
zer Todas as manchas esto no quadrado? Todas quais?
A linguagem comum diz Neste quadrado h um crculo vermelho; a nota
o russelliana diz H um objeto que um crculo vermelho neste quadrado.
Essa forma de expresso obviamente modelada sobre H uma substncia que
brilha no escuro H um crculo neste quadrado que vermelho. Talvez at
mesmo a expresso h seja enganosa. H significa realmente o mesmo que
Entre esses crculos h um ... ou .. .existe u m ...
Portanto, se vamos tanto quanto podemos na direo do modo de expresso
russelliano e dizemos Neste quadrado h um lugar onde h um crculo verme
lho, isso significa realmente entre esses lugares h um onde... etc.
(Em lgica, o ponto de vista mais difcil o do senso comum arrazoado. Pois,
para justificar sua viso, ele exige a verdade inteira; no ajudar com a menor
concesso ou construo.)
Minha viso a respeito das proposies gerais era a de que (3x).(px uma soma
lgica e que, embora seus termos no sejam enumerados aqui, eles so capazes de
ser enumerados (a partir do dicionrio e da gramtica da linguagem).
Pois, se no podem ser enumerados, no temos uma soma lgica. (Uma re
gra, talvez, para a construo de somas lgicas.)
(px. =3 .(3z).(pz
(pxv (py. r> ,(3z).(pz
Toda regra de tal tipo uma expresso da analogia entre (3x).(px e uma
soma lgica.
210 Sobre a lgica e a matemtica
Portanto, intil usar a palavra todos para clarificao, a menos que conhe
amos sua gramtica nesse caso particular.
9
A explicao da generalidade com exemplos
Seria possvel dizer agora no vejo isso como uma rosa mas como uma planta.
Ou agora vejo isso como uma rosa e no mais como esta rosa.
2 12 Sobre a lgica e a matemtica
Sim, mas realmente verdade que ele v apenas essas caractersticas nas
coisas? Em uma folha, digamos, ele v apenas o que comum a todas as folhas?
Iss seria como se ele visse todas as coisas vazias, como um forma incompleta,
com as caractersticas essenciais j impressas. (Mas a funo f ( ...) exatamente
uma tal forma.)
Mas que tipo de processo esse em que algum me mostra muitas coisas
diferentes como exemplos de um conceito para fazer-me perceber o que comum
a elas e quando o procuro e ento o vejo efetivamente? Ele pode chamar a minha
ateno para o que comum. Mas, ao fazer isso, ele me faz ver o objeto de
maneira diferente? Talvez pois, com certeza, posso dar uma olhada especial em
uma das partes, quando, de outra maneira, eu teria visto o todo com igual clareza.
Mas esse ver no o entendimento do conceito. Pois o que vemos no alguma
coisa com um lugar de argumento vazio.
Pois se digo: ao dar-nos alguns exemplos, ele nos faz ver o elemento comum
neles e desconsiderar o resto, isso realmente significa que o resto vai para o segun
do plano, torna-je, por assim dizer, mais dbil (ou desaparece inteiramente
por que no?) e o elemento comum, digamos, a forma oval, permanece sozinho
no primeiro plano.
A generalidade 2 13
Mas, por enquanto, de qualquer maneira, se algum me diz algo como faa a
forma de um ovo, a palavra nua do conceito, sem nenhuma ilustrao, suficien
te para fazer-se compreendida (e a histria passada desse entendimento no tem
nenhum interesse para ns): e no quero dizer que, quando entendo o comando
(e a palavra ovo), vejo o conceito de um ovo diante do olho da minha mente.
Quando fao uma aplicao do conceito ovo ou planta, certamente no
existe alguma imagem geral dele perante a minha mente antes que eu o faa e,
quando ouo a palavra planta, no vem minha mente uma imagem de certo
objeto que, ento, descrevo como uma planta. No, fao a aplicao, por assim
dizer, espontaneamente. Ainda assim, no caso de certas aplicaes, eu podera di
zer No, no quis referir-me a isso com planta ou Sim, eu me referia a isso
tambm. Mas isso significa que essas imagens surgem diante da minha mente e
que, na mente, eu as rejeitei e admiti expressamente? E, contudo, o que pare
ce, quando digo: Sim, eu me referia a todas essas coisas, mas no a essa. Mas
poderiamos, ento, perguntar: Mas voc previu todos esses casos? e, ento, a
resposta poderia ser sim ou no, mas imaginei que deve haver alguma coisa
entre essa forma e aquela ou algo assim. Mas, comumente, nesse momento, no
tracei limites, e eles s podem ser produzidos de uma maneira enviesada aps a
reflexo. Por exemplo, eu digo Traga-me uma flor mais ou menos grande assim;
ele me traz uma e eu digo: Sim, esse o tamanho que eu queria dizer. Talvez eu
realmente me lembre de uma imagem que veio minha mente, mas no isso que
torna aceitvel a flor que foi trazida. O que estou fazendo uma aplicao da
imagem e a aplicao no foi antecipada.
Mas como resulta em nossas regras que os casos de 6 ccom que estamos lidando
no so classes essencialmente fechadas? Na verdade, apenas na generalidade da
regra geral. Como resulta que eles no tm a mesma significao para o clculo
que um grupo fechado de signos primitivos (como os nomes das seis cores bsicas)?
2 14 Sobre a lgica e a matemtica
De que outra maneira isso podera resultar, exceto nas regras dadas para eles?
Suponha que, em algum jogo, tenho permisso para servir-me de tantas peas quan
tas quiser de certo tipo, ao passo que apenas um nmero limitado de outro tipo
est disponvel; ou suponha que um jogo seja ilimitado no tempo, mas delimitado
espacialmente, ou algo similar. O caso exatamente o mesmo. A distino entre os
dois tipos diferentes de pea no jogo deve ser estabelecida nas regras; elas diro, a
respeito de um tipo, que voc pode servir-se de tantas peas quantas quiser desse
tipo. E no devo procurar por outra expresso mais restritiva dessa regra.
Isso significa que a expresso para ilimitao dos casos particulares em ques
to ser uma expresso geral; no pode haver outra expresso na qual os outros
casos no considerados surjam de alguma maneira sombria.
Est claro que no reconheo nenhuma soma lgica como definio da pro
posio a cruz est entre as linhas. E isso diz tudo o que tem de ser dito.
H uma coisa que sempre quero dizer para esclarecer a distino entre casos
oferecidos como exemplos de um conceito e casos que constituem um grupo fe
chado definido na gramtica. Suponha que, depois de explicar a, b, c, d so li
vros, algum diga Agora traga-me um livro. Se a pessoa traz um livro que no
um dos mostrados a ela, ainda se pode dizer que ela agiu corretamente, de acordo
com a regra dada. Mas se o que tivesse sido dito fosse a, b, c, d so os meus livros.
Traga-me um de meus livros, teria sido incorreto trazer um livro diferente e
teriam lhe dito Eu disse a voc que a, b, c, d so meus livros. No primeiro caso,
no contra a regra trazer outro objeto que no os nomeados, no segundo caso .
Mas se, na ordem, voc nomeou apenas a, b, c e d e, contudo, considerou o com
portamento fie) como obedecendo ordem, isso no significa que com F(a, b, c,
d ,...) voc quis dizer F(a, b, c, d, e), afinal? Novamente, como essas ordens se
distinguem entre si se a mesma coisa obedece a ambas? Mas fig) tambm teria
estado de acordo com a ordem e no apenas fie). Certo, ento, a sua primeira or
dem deve ter significado F(a, b, c, d, e, g) etc. Seja o que for que voc me trouxer
trata-se de algo que eu podera ter includo em uma disjuno. Portanto, se cons
trumos a disjuno de todos os casos que efetivamente usamos, como ela diferi
ra sintaticamente da proposio geral? Pois no podemos dizer: pelo fato de que
a proposio geral tambm tornada verdadeira por r (o que no ocorre na disjun
o) porque isso no distingue a proposio geral de uma disjuno que contm r.
(E toda resposta similar impossvel tambm.) Mas far sentido dizer: F(a, b, c, d,
e) a disjuno de todos os casos que usamos efetivamente, mas h tambm ou
tros casos (no mencionaremos nenhum, naturalmente) que tornam verdadeira
a proposio geral F(a, b, c, d,...) . E, aqui, naturalmente, no podemos colocar a
proposio geral no lugar de F(a, b, c, d, e).
torna o comando mais explcito). Na verdade, foi apenas a proposio geral que
me deu a justificativa para colocar esse caso particular ao seu lado. O que todo o
meu argumento almeja que algum possa crer que a adio do caso particular
suplanta a por assim dizer, imprecisa generalidade da proposio, que voc
possa dizer no precisamos mais dela; agora temos o caso particular. Sim, mas
digamos que eu admita que a razo que coloquei no caso particular seja a de que
ele concorda com a proposio geral! Ou suponha que eu admita que reconheo
que f(a) um caso particular de f(3)! Pois no posso dizer: isso s significa que
f(3) uma disjuno com f(a) como um de seus termos pois, se assim, a disjuno
deve poder ser enunciada e f{3) deve ser definida como uma disjuno. No have
ra nenhuma dificuldade em dar tal definio mas ela no correspondera ao uso
de f(3) que temos em mente. No que a disjuno sempre deixe alguma coisa para
trs; que ela simplesmente no toca a coisa essencial na generalidade e, mesmo
se acrescentada a ela, ela depende da proposio geral para sua justificao.
Primeiro, eu ordeno f(3); ele obedece ordem e faz fia). Ento, penso que
tambm poderia ter-lhe dado a ordem f(3) v fia). (Pois eu sabia de antemo que
fia) obedecia f(3) e ordenando-lhe f(3) v fia) daria na mesma.) Nesse caso, quan
do ele obedecesse ordem, estaria agindo com base na disjuno faa algo ou fia) .
E, se ele obedece ordem fazendo fia), tem importncia o que mais desjunta-
do com fia)? Se ele faz fia) em qualquer caso, a ordem obedecida seja qual for a
alternativa.
Tambm gostaria de dizer: na gramtica, nada suplementar, nenhuma esti-
pulao vem depois de outra, tudo est l simultaneamente.
Portanto, no posso sequer dizer que dei primeiro a ordem f(3) e s depois
percebi que fia) era um caso de f(3); de qualquer modo, minha ordem foi e con
tinuou a ser f(3) e eu acrescentei fia) a ela com o conhecimento de que fia) estava
de acordo com f(3). E a estipulao d que fia) esteja de acordo com f(3) pressupe
o sentido que pertence proposio f(3) se for considerada como uma unidade
independente e no definida como substituvel por uma disjuno. E minha pro
posio, de qualquer modo, minha ordem foi e continuou a ser f(3) etc. significa
apenas que no substitu a ordem geral por uma disjuno.
Suponha que eu d a ordem p v fia), e o destinatrio no compreenda clara
mente a primeira parte da ordem, mas compreenda que a ordem diz , v fia).
Ele, ento, poderia fazer fia) e dizer Sei, com certeza, que obedeci ordem, em
bora no tenha compreendido a primeira parte. E assim tambm que imagino
quando digo que a outra alternativa no tem importncia. Mas, nesse caso, ele
no obedeceu ordem quefoi dada mas simplesmente tratou-a como fia)! Pode
riamos perguntar: se algum faz fia) ao comando f(3) v fia), est obedecendo
ordem porque (isto , na medida em que) a ordem da forma t, v fia) ou porque
f(3) v fia) = f(3)? Se voc entende f(3) e, portanto, sabe que f(3) v fia) = f(3), en
to, ao fazer fia), voc est obedecendo f(3), mesmo se eu o escrever f(3) v fia)
porque voc no pode no menos que fia) um caso de f(3). E, agora, algum pode
ria objetar; se voc percebe que Fa um caso de F (3) isso significa apenas que fia)
A generalidade 217
est contida disjuntivamente em f(3) e, portanto, que f(3) definida por meio e
f(a). As partes restantes da disjuno ele ter de dizer no me interessam
porque os termos que vejo so os nicos de que preciso agora. Ao explicar que
f(a) um caso de f(3), voc no disse mais nada alm de que f(a) ocorre em f{3)
juntamente com certos outros termos. Mas isso precisamente o que no que
remos dizer. No como se nossa estipulao fosse uma definio incompleta de
f(3), pois isso significaria que uma definio completa era possvel. Essa seria a
disjuno que tornaria a adio v f(3) por assim dizer, ridcula, j que s seriam
enumerados casos que nos interessassem. Mas, segundo nossa idia de f(3), a esti
pulao de que f(a) seja um caso de f(3) no uma definio incompleta de f(3);
ela simplesmente no uma definio de f(3). Isso significa que no me aproximo
do sentido de f(3) multiplicando o nmero de casos na disjuno; embora a dis
juno dos casos v f(3) seja equivalente a f(3), ela nunca equivalente disjuno
dos casos somente; ela uma proposio totalmente diferente.
Mas posso dar as regras de vinculao que so vlidas nesse caso? Como sei
que (3x).fx realmente decorre de fa? Afinal, no posso dar todas as proposies
das quais ela decorre. Mas isso no necessrio; se (3x).fx decorre de fa, essa,
de qualquer modo, era uma coisa que podia ser conhecida de antemo sobre qual
quer experincia particular e enunciada na gramtica.
Podemos, naturalmente, estabelecer uma regra para o uso das variveis e o fato de
que, para faz-lo, precisamos do mesmo tipo de varivel no a torna pleonstica.
Pois, se no a usssemos, ento a varivel seria definida pelas regras e no supo
mos que ela possa ser definida ou que deva ser definida (pois mais cedo ou mais
tarde as definies chegam a um fim).
Pois suponha que eu tenha enumerado sete casos particulares e dito mas
sua soma lgica no a proposio geral, isso ainda no seria suficiente; e ainda
quero dizer que nenhum outro nmero de casos tampouco resulta na proposi
o geral. Mas, nesta clusula adicional, mais uma vez, pareo percorrer uma
enumerao, de uma maneira obscura, se no na realidade. Mas no assim que
porque as palavras que ocorrem na clusula adicional so inteiramente dife
rentes dos numerais.
Mas como posso proibir um numeral particular de ser inserido em tal e tal
lugar? Certamente, no posso prever que nmero algum vai querer inserir, de
modo que no posso proibi-lo. Voc pode proibi-lo quando surgir. Mas, aqui,
j estamos falando do conceito geral de nmero!
Nas regras para a varivel a pode ocorrer uma varivel b e numerais parti
culares, mas no uma totalidade de nmeros.
Mas agora parece como se isso envolvesse negar a existncia de algo na lgica:
talvez a prpria generalidade ou o que os pontos indicam, seja o que for que seja
incompleto (solto, capaz de ampliao adicional) na srie de nmeros. E, natural
mente, no nos permitido e no temos como negar a existncia de nenhuma
coisa. Portanto, como essa indetermnao se expressa? Grosso modo, assim: se in
troduzimos nmeros substituveis pela varivel a, no dizemos sobre nenhum deles
que o ltimo ou o mais elevado.
Mas suponha que algum nos perguntasse, aps a explicao de uma forma
de clculo, e 103 o ltimo signo que posso usar? O que devemos responder?
No, no o ltimo ou no h um ltimo? No devemos responder a ele Se
no o ltimo, o que viria a seguir? E, ento, se ele diz 104 devo dizer Perfeito,
pode continuar a srie sozinho.
(Em filosofia, a nica coisa da qual devemos nos precaver a falta de sentido.
Uma regra que possa ser aplicada na prtica sempre est em ordem.)
Est claro que podemos seguir uma regra como |a, + l|. Quero dizer,
realmente seguindo a regra para constru-la sem poder escrever a srie de ante
mo. Nesse caso a mesma coisa que eu comear uma srie com um nmero
como 1 e, ento, dizer agora acrescente 7, multiplique por 5, tire a raiz quadrada
A generalidade 2 2 1
A expresso e assim por diante nada mais que a expresso e assim por dian
te (nada mais, isto , que um signo em um clculo que no pode fazer mais do que
ter significado por meio das regras que so vlidas a seu respeito, que no pode
dizer mais do que mostra).
Isto , a expresso e assim por diante no abriga um poder secreto pelo qual
a srie continuada sem ser continuada.
Naturalmente, ela no contm isso, voc dir, mas, ainda assim, contm o
significado da continuao infinita.
Mas poderiamos perguntar: como que algum que agora aplica a regra geral
a um nmero adicional ainda est seguindo essa regra? Como que nenhuma
regra adicional foi necessria para permitir-lhe aplicar a regra geral a esse caso,
apesar do fato de que esse caso no foi mencionado na regra geral?
Mas o que , ento, que imaginamos? Qual o erro que cometemos? Que tipo
de coisa consideramos ser o signo 1,1 + 1 ...? Isto : onde realmente ocorre o que
pensamos que vemos? Algo como quando eu digo ele contou 1,2,3,4 e assim por
diante at 1 .0 0 0 , onde tambm seria realmente possvel escrever todos os nmeros.
Mas eu tambm queria dizer que o conceito de nmero no poderia ser dado
independentemente dos nmeros, e isso no verdade. Uma varivel numrica
independente de nmeros particulares no sentido de que realmente existe um
clculo com uma classe de nossos numerais e sem a varivel numrica geral. Nes
se clculo, naturalmente, nem todas as regras vlidas para os nossos numerais sero
vlidas, mas esses numerais correspondero aos nossos do mesmo modo que as
peas no jogo de damas correspondem s peas perdidas no jogo de damas.
Dizemos este teorema est provado para os nmeros cardinais. Mas vejamos
apenas como o conceito de nmeros cardinais entra na prova. Apenas porque fa
lamos de 1 e da operao x + 1 na prova no em contraste com qualquer coisa
que os nmeros racionais tenham. Assim, se usamos a palavra-conceito nmero
cardinal para descrever a prova em prosa, vemos no vemos? que nenhum
conceito corresponde a essa palavra.
importante que eu possa entender (ver) a regra da projeo sem ter diante
de mim uma notao geral. Posso descobrir uma regra geral na srie 1/1,2/4,3/9,
4/16 naturalmente posso descobrir qualquer nmero de outras tambm mas,
ainda assim, posso descobrir uma particular e isso significa que essa srie, de algu
ma maneira, era para mim a expresso dessa regra.
Inclinamo-nos a crer que a notao que d uma srie escrevendo alguns ter
mos mais o signo e assim por diante essencialmente inexata, em contraste com
a especificao do termo geral. No caso, esquecemos que o termo geral especi
ficado por referncia a uma srie bsica que no pode, por sua vez, ser descrita por
um termo geral. Assim, 2n + 1 o termo geral dos nmeros mpares, se n abrange
os nmeros cardinais mas seria bobagem dizer que n o termo geral da srie de
nmeros cardinais. Se voc quer definir essa srie, no pode faz-lo especificando
termo geral n mas, naturalmente, apenas por meio de uma definio como
1, 1 + 1, 1 + 1 + 1 e assim por diante. E, naturalmente, no h nenhuma dife
A generalidade 225
(3x).<px: ~ (3x,y).cpx.(py
(3x, y). cpx. cpy: ~ (3x, y, z). tpx. <py. cpz
(3x, y, z).(px.cpy.cpz: ~ (3x,y, z, uj.tpx.tpy.tpz.cpu
(3x).tpx
(3x,y,z).<px.cpy.cpz
(3x, y, z, u, v).(px.<py.<pz.<pu.cpv
Esta notao inexata? No se espera que ela, por si, torne qualquer coisa
grfica; tudo o que importa so as regras para o seu uso, o sistema no qual usada.
Os escrpulos ligados a ela datam de uma linha de pensamento que dizia respeito
ao nmero de signos primitivos no clculo de Principia Mathematica.
II
A comparao entre a matemtica e um jogo
O que estamos tirando da matemtica quando dizemos que ela apenas um jogo
(ou: um jogo)?
Ele pode ser expresso por outra proposio? Ou apenas por esta proposio?
Ou no pode? Nesse caso, no nos interessa.
Se voc diz que os processos mentais que acompanham o uso dos smbolos
matemticos so diferentes dos que acompanham o xadrez, eu no saberia o que
dizer a respeito.
O que fazemos nos jogos deve corresponder ao que fazemos ao calcular. (Quero
dizer: l que a correspondncia deve estar ou, novamente, assim que os dois
devem ser correlacionados.)
Bem, poderiamos querer comparar isso com um jogo como o tnis. No tnis,
o jogador faz um movimento particular, que faz a bola viajar de um modo par
ticular, e podemos ver a batida na bola como um experimento, que leva desco
berta de uma verdade particular, ou como um golpe, com o propsito nico de
vencer o jogo.
Mas essa, comparao no serviria porque no consideramos um movimento
no xadrez como um experimento (se bem que tambm isso poderiamos fazer);
ns o consideramos como um passo num clculo.
Fundamentos da matemtica 229
(No caso, podemos nos lembrar de que, nas escolas elementares, nunca tra
balham com inequaes. Pede-se s crianas apenas que efetuem multiplicaes
corretamente e nunca ou quase nunca que provem uma inequao.)
Ora, a regra que diz O primeiro que tem suas peas na metade do outro o
vencedor um enunciado? Como seria verificado? Como sei que algum venceu?
Porque est satisfeito ou algo do tipo? Realmente o que a regra diz : voc deve
tentar conseguir as suas peas to logo quanto possvel etc.
Nessa forma, a regra liga o jogo vida. E poderiamos imaginar que, na escola
elementar em que uma das matrias ensinadas fosse xadrez, o professor reagiria
aos maus movimentos de um aluno exatamente da mesma maneira que a uma
soma calculada erradamente.
Certa vez, disse que era imaginvel que as guerras fossem combatidas em um
tipo de grande tabuleiro de xadrez segundo as regras do xadrez. Mas, se tudo fosse
mesmo simplesmente segundo as regras do xadrez, voc no precisaria de um
campo de batalha para a guerra, ela no poderia ser jogada em um tabuleiro co
mum, e, ento, no seria uma guerra no sentido comum. Mas voc realmente
poderia imaginar uma batalha conduzida em conformidade com as regras do xa
drez se, digamos, o bispo pudesse lutar com a rainha apenas quando sua
posio em relao a ela fosse tal que lhe fosse permitido tom-la no xadrez.
A regra a respeito de vencer e perder s faz uma distino entre os dois plos.
No diz respeito ao que acontece posteriormente ao vencedor (ou perdedor)
se, por exemplo, o perdedor tem de pagar alguma coisa.
(E, similarmente, ocorre o pensamento com certo e errado nas somas.)
Esto sempre nos dizendo que um matemtico trabalha por instinto (ou que
no procede mecanicamente como um enxadrista ou coisa assim), mas no nos
dizem o que se supe que isso tenha a ver com a natureza da matemtica. Se tal
fenmeno psicolgico realmente desempenha um papel na matemtica, precisa
mos saber at que ponto podemos falar a respeito da matemtica com exatido
completa e at que ponto s podemos falar com a indeterminao que devemos
usar ao falar de instintos etc.
p 3 p : q . = .q
p : p v q. = .p etc.
13
Provas de relevncia
Podemos dizer: Uma prova de relevncia altera o clculo que contm a pro
posio qual se refere. Ela no pode justificar um clculo que contenha a propo
sio, no sentido em que levar a cabo a multiplicao 17 X 23 justifica escrever a
equao 17 X 23 = 391. Isto , no a menos que demos expressamente palavra
justificar esse significado. Mas, nesse caso, no devemos crer que, se a matem
tica carece dessa justificativa, ela , em algum sentido mais geral e amplamente
estabelecido, ilegtima ou suspeita. (Isso seria como algum querer dizer: o uso
da expresso monte de pedras fundamentalmente ilegtimo at que tenhamos
estabelecido oficialmente quantas pedras formam um monte. Tal estipulao
modificaria o uso da palavra monte, mas no o justificaria em nenhum sentido
geralmente reconhecido, e, se tal definio oficial fosse dada, no significaria que
o uso anteriormente feito da palavra seria estigmatizado como incorreto.)
Algo me diz que uma contradio nos axiomas de um sistema no pode realmente
fazer nenhum mal at ser revelada. Pensamos em uma contradio oculta como
uma doena oculta, que faz mal, embora (e, talvez, justamente porque) no se mos
tre de maneira bvia. Mas duas regras num jogo que, em circunstncias especiais, se
contradizem esto perfeitamente em ordem at que isso acontea, e apenas ento
que se toma necessrio tomar uma deciso entre elas por uma regra adicional.
No se pode demonstrar, provar que essas regras podem ser usadas como as
regras dessa atividade.
Exceto demonstrando que a gramtica da descrio da atividade ajsta-se
s regras.
Nas regras no deve haver uma contradio parece com uma instruo: Em
um relgio, o ponteiro no deve estar frouxo no eixo. Esperamos uma razo:
porque, do contrrio... Mas, no primeiro caso, a razo teria de ser: porque, do
contrrio, no seria um conjunto de regras. Mais uma vez, temos uma estrutura
gramatical qual no se pode oferecer um fundamento lgico.
Na prova indireta de que uma linha reta pode ter apenas uma continuao em
direo a certo ponto, fazemos a suposio de que uma linha reta podera ter duas
continuaes. Se fazemos essa suposio, ento a suposio deve fazer senti
do. Mas o que significa fazer essa suposio? No fazer uma suposio que vai
contra a histria natural, como a de que um leo tem duas caudas. O que isso
significa supor uma regra, e no h nada contra isso exceto o fato de que contra
diz outra regra, e, por essa razo, eu a rejeito.
Suponha que na prova ocorra o seguinte desenho--------------------~ 'para
representar tuna linha reta bifurcando-se. No h nada absurdo (contraditrio)
nisso, a menos que tenhamos feito alguma estipulao que o contradiga.
Voc poderia dizer: por que se incomodar com limitar a aplicao da aritm
tica? Isso se resolve sozinho. (Posso fazer uma faca sem me preocupar com os
tipos de material que cortarei com ela; isso ser evidente em breve.)
O que depe contra demarcarmos uma regio de aplicao o sentimento de
que podemos entender a aritmtica sem termos tal regio em mente. Ou, expres
sando da seguinte maneira: o nosso instinto rebela-se contra qualquer coisa que
no se restrinja a uma anlise dos pensamentos j diante de ns.
A forma geral de sua aplicao parece ser representada pelo fato de que nada
dito a seu respeito. (E, se essa uma representao possvel, ento tambm a certa.)
(No sentido em que podemos falar de linhas que so possveis e linhas que
so efetivamente desenhadas tambm podemos falar de nmeros possveis e efe
tivamente representados.)
242 Sobre a lgica e a matemtica
Suponha que eu deseje usar este clculo para solucionar o seguinte problema:
se tenho 11 mas e quero dividi-las entre algumas pessoas, de tal maneira que
cada uma receba 3 mas, quantas pessoas pode haver? O clculo fornece-me a
resposta 3. Agora suponha que eu tivesse de percorrer todo o processo de diviso e,
no fim, 4 pessoas tivessem, cada uma, 3 mas nas mos. Eu diria, ento, que o
cmputo deu um resultado errado? Naturalmente, no. E isso, naturalmente, sig
nifica que o cmputo no foi apenas um experimento.
Podera parecer que o cmputo matemtico nos d o direito de fazer uma
predio, digamos, de que eu poderia dar a trs pessoas a sua parte e restariam
duas mas. Mas no assim. O que nos justifica ao fazer essa previso uma
hiptese da fsica, que se encontra fora do clculo. O clculo apenas um estudo
de formas lgicas, de estruturas e, por si, no pode resultar em nada novo.
Como podemos fazer preparativos para a recepo de algo que pode aconte
cer de existir no sentido em que Russell e Ramsey sempre quiseram fazer isso?
Aprontamos a lgica para a existncia de relaes de muitos lugares ou para a
existncia de um nmero infinito de objetos ou algo assim.
Bem, podemos fazer preparativos para a existncia de uma coisa: por exem
plo, posso fazer um escrnio para jias que podem ser feitas em um tempo ou
outro Mas, nesse caso, posso dizer qual deve ser a situao qual a situao
para a qual estou me preparando. No mais difcil descrever a situao agora
do que depois de ter ocorrido; mesmo, at, se nunca ocorrer. (Soluo de proble
mas matemticos) Mas aquilo para que Russell e Ramsey esto fazendo prepara
tivos uma gramtica possvel.
Por um lado, pensamos que a natureza das funes e dos argumentos con
siderados na matemtica parte de seu negcio. Mas no queremos nos deixar
prender s funes que agora conhecemos, e no sabemos se as pessoas algum dia
descobriro uma funo com 100 casas de argumento e, portanto, temos de fazer
preparativos e construir uma funo para aprontar tudo para uma relao de 100
casas, se surgir uma. Mas o que uma relao de 100 casas surge (ou existe)
significa, afinal? Que conceito temos de uma? Ou de uma relao de 2 casas, falan
do nisso? Como exemplo de uma relao de duas casas oferecemos algo como
a relao entre pai e filho. Mas qual o significado desse exemplo para o trata
mento lgico adicional das relaes de duas casas? Em vez de todo aRb, devemos
agora imaginar a o pai de b? Se no, esse exemplo ou qualquer exemplo
essencial? Esse exemplo no tem o mesmo papel que um exemplo na aritmtica,
quando uso 3 fileiras de 6 mas para explicar a algum 3 x 6 = 18?
No caso, trata-se de uma questo de nosso conceito de aplicao. Temos
uma imagem de um motor que primeiro roda em falso e, ento, funciona co
mo uma mquina.
tido essencial matemtica (lgica)? Se for assim, como podemos abstrair da apli
cao, mesmo que apenas temporariamente?
Suponha que, para dar um exemplo, eu diga o amor uma relao de duas
casas estou dizendo alguma coisa sobre o amor? Naturalmente, no. Estou
dando uma regra para o uso da palavra amor e quero dizer, talvez, que usamos
esta palavra de tal e tal maneira.
Ento, o que acontece quando encontrada uma relao de seis casas? como
a descoberta de um metal que tenha as propriedades (o peso especfico, a fora
Fundamentos da matemtica 245
Tudo isso est ligado ao conceito falso de anlise lgica que Russell, Ramsey e
eu costumavamos usar, segundo o qual estamos escrevendo para uma anlise l
gica final dos fatos, como uma anlise qumica de compostos uma anlise que
nos permitir descobrir uma relao de sete casas, como um elemento que real
mente tem o peso especfico 7.
Como podemos fazer preparativos para algo que pode ou no existir? sig
nifica: como podemos ter esperana de fazer uma construo a priori para lidar
com todos os resultados possveis, enquanto baseamos a aritmtica numa lgica
na qual ainda estamos esperando pelos resultados de uma anlise de nossa propo
sio em casos particulares? Queremos dizer: no sabemos se pode ocorrer
que no haja funes com quatro casas de argumento, ou que existam apenas 1 0 0
argumentos que possam ser inseridos significativamente em funes de uma va
rivel. Suponha, por exemplo (a suposio realmente parece possvel), que exista
apenas uma funo de quatro casas F e quatro argumentos a, b, c, d; faz sentido,
nesse caso, dizer 2 + 2 = 4\ j que no h nenhuma funo que realize a diviso
em 2 e 2? Ora, ento, dizemos a ns mesmos, vamos tomar providncias para
todos os casos possveis. Mas, naturalmente, isso no tem nenhum sentido. Por
um lado, o clculo no toma providncias para a existncia possvel; ele constri
para si toda a existncia de que necessita. Por outro lado, o que parecem suposi
es hipotticas a respeito dos elementos lgicos (a estrutura lgica) do mundo
so meramente especificaes de elementos em um clculo, e, naturalmente, voc
pode faz-las de tal maneira que o clculo no contenha nenhum 2 + 2 .
Suponha que faamos preparativos para a existncia de 100 objetos, introdu
zindo 1 0 0 nomes e um clculo para acompanh-los. Ento, suponhamos que se
jam realmente descobertos 1 0 0 objetos. O que acontece, agora que os nomes tm
relacionados a si objetos que no estavam relacionados a eles antes? O clculo
muda? O que a correlao tem a ver com tudo isso? Ela o faz ter mais realidade?
Ou o clculo anteriormente pertencia apenas matemtica e agora pertence tam
bm lgica? Que tipos de perguntas so h relaes de 3 objetos? h 1.000
objetos? Como se deve decidir? Mas, certamente, um fato que podemos
especificar uma relao de duas casas, digamos, o amor, e uma relao de 3 casas,
246 Sobre a lgica e a matemtica
digamos, o cime, mas, talvez, no uma relao de 27 casas! Mas o que significa
especificar uma relao de 2 casas? Soa como se pudssemos apontar uma coisa
e dizer veja, esse o tipo de coisa (o tipo de coisa que descrevemos anteriormen
te). Mas nada desse tipo ocorre (a comparao com o apontar inteiramente er
rada). A relao de cime no pode ser reduzida a relaes de 2 casas soa como
o lcool no pode ser decomposto em gua mais uma substncia slida. Isso
algo que seja parte da natureza do cime? (No esqueamos: a proposio A tem
cime de B por causa de C no mais nem menos redutvel que a proposio A
no tem cime de B por causa de C ) O que se aponta , digamos, o grupo de
pessoas A, B e C. Mas suponha que os seres vivos, no incio, conhecessem,
apenas superfcies planas mas, no obstante, desenvolvessem uma geometria tri
dimensional e que, de repente, tomassem conhecimento do espao tridimensio
nal! Isso alteraria a sua geometria; ela se tornaria mais rica em contedo?
No assim que ? Suponha que, certa vez, eu tenha feito regras arbitrrias para
mim mesmo, proibindo-me de me mover no quarto em certas direes, onde no
havia nenhum empecilho no caminho; e, ento, suponha que as condies fsicas
mudassem, digamos, com a introduo de moblia no quarto, de maneira a obri
gar-me a me deslocar de acordo com as regras que eu originalmente me impusera
de maneira arbitrria. Assim, enquanto o clculo tridimensional era apenas um
jogo, ainda no havia trs dimenses na realidade porque x, y, z pertenciam s
regras apenas porque eu assim decidira; mas, agora que os ligamos s 3 dimenses
reais, nenhum outro movimento possvel para eles. Mas isso pura fico. No
h nenhuma questo, no caso, de uma ligao com a realidade que mantenha a
gramtica nos trilhos. A ligao da linguagem com a realidade por meio de de
finies ostensivas e coisas assim no torna a gramtica inevitvel nem prov uma
justificativa para ela. A gramtica continua a ser um clculo deriva, que s pode
ser estendido e nunca sustentado. A ligao com a realidade meramente estende
a linguagem, no fora nada nela. Falamos de descobrir uma relao de 27 casas
mas, por um lado, nenhuma descoberta pode forar-me a usar o signo ou o clcu
lo para uma relao de 27 casas e, por outro lado, posso descrever a operao do
prprio clculo simplesmente usando a sua notao.
tf*
A teoria da identidade de Ramsey
A teoria da identidade de Ramsey comete o erro de algum que dissesse que voc
pude usar tuna pintura tambm como espelho, mesmo que apenas para uma ni
ca posio. Se dizemos disso, negligenciamos que o essencial num espelho preci
samente que voc possa inferir dele a posio de um corpo diante dele, ao passo
que, no caso da pintura, voc tem de saber que as posies condizem antes de voc
poder interpretar o quadro como uma imagem de espelho.
(cpe).cpeX = q>ey
Portanto, tudo o que ele conseguiu com essa definio foi o que estabeleci
do pelas duas definies
x = x. = . Tautologia
x = y. = , Contradio
(Aqui, a palavra tautologia pode ser substituda por qualquer tautologia arbitr
ria e, similarmente, contradio ) At agora, tudo o que aconteceu que foram
fa = p Df.
fb = q Def.
fc = r Def.
Para comear, o signo (3x) .fx no tem nenhum significado porque, no caso,
as regras para as funes no antigo sentido da palavra no so vlidas. Segundo
elas, uma definio como fa = ... seria absurda. Se no lhe for dada nenhuma
definio explcita, o signo (3x).fx s pode ser compreendido como um rbus
no qual os signos tm algum tipo de significado esprio.
Cada um dos signos a = a, a = c etc., nas definies (a = a). =f .Taut. etc.
uma palavra.
Alm disso, o propsito da introduo das funes na extenso foi analisar
proposies a respeito de extenses infinitas, e falha nesse propsito quando uma
funo na extenso introduzida por uma lista de definies.
Se dizemos deve ser essencial para a matemtica que ela possa ser aplicada, dize
mos que sua aplicabilidade no o tipo de coisa que quero dizer sobre um pedao
de madeira quando digo Conseguirei encontrar muitas aplicaes para ele.
(Uma proposio baseada num clculo errado (tal como ele cortou uma placa
de 3 metros em 4 partes de um metro) absurda e isso lana luz sobre o que se
quer dizer com fazer sentido e querer dizer algo com uma proposio )
1. A aritmtica no mencionada nesta seo, ento pode-se conjeturar que nunca foi
completada. (Ed.)
252 Sobre a lgica e a matemtica
18
Tipos de nmero cardinal
(Frege ainda teria dito: talvez haja pessoas que no foram alm dos primeiros
cinco no seu contato com a srie dos nmeros cardinais (e vejam o resto da srie
apenas de uma forma indeterminada ou algo do tipo), mas essa srie existe inde
pendentemente de ns. O xadrez existe independentemente de ns ou no? )
Dizer a respeito de uma parte de meu campo visual que ele no tem nenhuma
cor bobagem, e, naturalmente, igualmente bobagem dizer que tem cor (ou
uma cor). Por outro lado, faz sentido dizer que tem apenas uma cor ( monocrom
tico ou uniforme na cor) ou que tem, pelo menos, duas cores, apenas duas cores etc.
Ento, na sentena este quadrado no meu campo visual tem, pelo menos,
duas cores, no posso substituir duas por uma. Ou, novamente: o quadrado
tem apenas uma cor no significa na analogia de (3x).cpx. ~ (3 x , y).<px.cpy
o quadrado tem uma cor, mas no duas cores.
Estou falando aqui do caso em que sem sentido dizer que parte do espao
no tem nenhuma cor. Se estou contando os retalhos uniformemente coloridos
(monocromticos) no quadrado, a propsito, faz sentido dizer que no h absolu
tamente nenhum, se a cor do quadrado est mudando continuamente. Nesse caso,
Sobre os nmeros cardinais 255
0 1 2 3 4 _________ 1_________
1 2 3 4 5 0
256 Sobre a lgica e a matemtica
Mas eu tambm podera imaginar uma maneira de contar que, por assim dizer,
considera a primeira parte natural e no a conta ou a conta como 0 e conta
apenas as partes acrescentadas a isso pela diviso. Novamente, poderiamos ima
ginar um costume segundo o qual, digamos, soldados rasos fossem sempre con
tados dando o nmero de soldados em uma fila acima e abaixo do primeiro
soldado (talvez porque quisssemos o nmero de possveis combinaes do chefe
de fila com outro soldado do batalho.) Mas tambm poderia existir um costu
me de sempre dar o nmero de soldados como 1 a mais que o real. Talvez isso
acontecesse originalmente para enganar um oficial particular a respeito do n
mero real e, mais tarde, tornou-se de uso geral como maneira de contar solda
dos. (O quarto de hora acadmico1.) O nmero de cores diferentes numa super
fcie tambm poderia ser dado pelo nmero de suas possveis combinaes em
pares e, nesse caso, os nicos nmeros que contariam seriam nmeros da forma
n /2 (n - 1); seria to sem sentido, ento, falar das 2 ou 4 cores de uma superfcie
como agora falar das cores ou i. Quero dizer que no o caso de os nmeros
cardinais serem essencialmente primrios e o que poderiamos chamar os nme
ros de combinao 1 ,2 , 6 ,10 etc. serem secundrios. Poderiamos construir
uma aritmtica dos nmeros de combinao e ela seria to contida em si quanto
a aritmtica dos nmeros cardinais. Mas, do mesmo modo, naturalmente, po
deria haver uma aritmtica dos nmeros mpares ou dos nmeros 1, 3, 4, 5, 6 ,
7... Naturalmente, o sistema decimal est mal adaptado para a escrita desses ti
pos de nmero.
Imagine uma mquina de calcular que no calcule com contas, mas com co
res em uma tira de papel. Exatamente como agora usamos os dedos ou as contas
em um baco, para contar as cores em uma tira, usaramos as cores em uma tira
para contar as contas em uma barra ou os dedos na mo. Mas como essa mquina
de calcular com cores teria de ser feita para funcionar? Precisaramos de um signo
para o caso de no haver nenhuma conta na barra. Devemos imaginar o baco
como uma ferramenta prtica e como um instrumento na linguagem. Exatamen
te como agora podemos representar um nmero como 5 pelos cinco dedos da
mo (imagine uma linguagem gestual), ns o representaramos com uma tira com
cinco cores. Mas, preciso de um signo para o 0 pois, do contrrio, no tenho a
multiplicidade necessria. Bem, posso estipular que uma superfcie preta deve
denotar o 0 (isto, naturalmente, arbitrrio e uma superfcie vermelha mono
cromtica servira igualmente): ou que qualquer superfcie de uma cor deve de
notar zero, uma superfcie de duas cores 1 etc. irrelevante qual mtodo de deno-
tao escolho. No caso, vemos como a multiplicidade das contas projetada na
multiplicidade das cores em uma superfcie.
1. Uma aluso ao costume acadmico alemo de anunciar uma palestra para, diga
mos, U h l5 marcando-a p araTlhOO c.t. (N. do T. ingl.)
Sobre os nmeros cardinais 257
No faz nenhum sentido falar de uma figura preta de dois lados num crculo
branco; to sem sentido quanto dizer que o retngulo composto de 0 partesr
(nenhuma parte). No caso, temos algo como um limite de contar inferior antes de
chegar ao nmero um.
Contar partes em I o mesmo que contar pontos em IV? O que faz a dife
rena? Podemos considerar contar as partes em I como contar retngulos; mas,
nesse caso, tambm podemos dizer; nesta fileira no h nenhum retngulo, e,
ento, no estamos contando partes. Somos perturbados pela analogia entre con
tar os pontos e contar as partes e pela ruptura da analogia.
H algo estranho em contar a superfcie indivisa como um; por outro lado,
no encontramos nenhuma dificuldade em ver a superfcie aps uma nica divi
so como uma imagem de 2. No caso, prefeririamos contar 0, 2, 3 etc. E isso
corresponde srie de proposies o retngulo indiviso, o retngulo dividi
do em 2 partes etc.
a superfcie indivisa, ento o segundo aparece como um inteiro com uma diviso
(uma distino) e diviso, no caso, no significa necessariamente linha divisria.
Estou prestando ateno nas distines e, aqui, h uma srie de um nmero cres
cente de distines. Nesse caso, contarei os retngulos em I 0 ,1 ,2 etc.
Isso est bem quando as cores em uma tira so vizinhas, como no esquema
com o esquema vm[ p etc. E essa maneira de pensar, apesar de, certa-
mente, no natural, perfeitamente correta.
A coisa mais natural conceber a srie de esquemas como
A
A B
A B C
A B C D
etc. E, aqui, podemos denotar o primeiro esquema por 0, o segundo por 1, mas
o terceiro, digamos, com 3, se pensamos em todas as distines possveis, e o
quarto por 6 . Ou podemos chamar o terceiro esquema de 2 (se estivermos
preocupados simplesmente com um arranjo) e o quarto de 3.
A B
A B C
etc. comea com uma letra, ao passo que a srie | |, | [, | | etc. no comea
com um ponto. Por outro lado, posso representar qualquer fato a respeito da diviso
tambm por meio dessa srie, s que, nesse caso, no estou contando as partes.
A
A B e
A B C
e assim por diante
e assim por diante
remove a obscuridade.
O que importa se, para contar, uso uma srie numrica que comea com 0
ou uma que comea com 1 .
Tanto faz se estou contando o comprimento de bastes ou o tamanho de
chapus.
260 Sobre a lgica e a matemtica
Imagine que uma pessoa nos d uma soma para fazer em uma notao de
traos, digamos 1111111111 + 11111111111 e> enquanto estamos calculando, ela se di
verte tirando e acrescentando traos sem percebermos. Ela continuaria a dizer:
mas a soma no est certa e ns continuaramos a fazer, errando sempre. Na
verdade, falando estritamente, no teramos nenhum conceito de um critrio para
a correo do clculo.
Aqui, algum poderia levantar questes como: apenas muito provvel que
464 + 272 = 736? E, nesse caso, 2 + 3 = 5 no tambm apenas muito provvel?
E onde est a verdade objetiva de que essa probabibdade se aproxima? Isto , como
conseguimos um conceito de 2 + 3 ser realmente certo nmero, alm do que nos
parece ser?
Como posso saber que [ [ 111 [ ] 111 e 1111111111 so o mesmo signo? Afinal, no
suficiente que paream iguais. Pois ter mais ou menos a mesma gestalt no pode
ser o que constituir a identidade dos signos, mas apenas eles serem os mesmos
em nmero.
Definies abreviadas:
(3x) .(px: ~(3x, y) .cpx.cpy. = f.(ex).(px
(3x, y ).(px.(py: ~ (3 x , y, z ).cpx.cpy.<pz. =f . ( e x , y ).cpx.(py etc.
(ex).(px.I^.(E|x).q)x
(ex, y). cpx. (py. =f . (e 11x). (px. '= . (e2x ) .(px etc.
como uma tautologia. Mas isso nos d a equao 17 + 28 = 45? Certamente, no.
Ainda tenho de calcular. De acordo com essa regra geral, tambm faz sentido escrever
2.83. zr> .5 como uma tautologia se, por assim dizer, ainda no sei em que 2 + 3
resulta, pois 2 + 3 s tem sentido na medida em que ainda tem de ser calculado.
Portanto, a equao 11 + 111 = 1111 s tem um objetivo se o signo | 1111 puder
ser reconhecido como o signo 5, isto , independentemente da equao.
Qual prova de e 11.e 111. 3 .e 11111 expressa o nosso conhecimento de que esta
uma proposio lgica correta?
Obviamente, uma que faa uso do fato de que podemos tratar (3x)... como
uma soma lgica. Podemos traduzir de um simbolismo como (se h
A srie de proposies
(3x ): aRx.xRb
(3x, y) : aRx.xRy.yRb
(3x, y, z ); aRx.xRy.yRz.zRb etc.
pode ser perfeitamente bem expressa da seguinte maneira:
H um termo entre a e b.
H dois termos entre a e b etc., e pode ser escrita de uma maneira como:
(3 lx) .aRxRb, (32x). aRxRb etc.
Mas est claro que, para entender essa expresso, precisamos da explicao
acima porque, do contrrio, por analogia com (32x).tpx. = ,(3x, y).<px.(py, voc
podera crer que (32x).aRxRb equivalente expresso (3x, y).aRxRb.aRyRb.
Naturalmente, eu tambm podera escrever (32x, y).F(x, y) em vez de
(3x, y).F(x, y). Mas, ento, a questo seria: o que devo considerar que significa
(33x, y).F(x, y) ? Mas, aqui, uma regra pode ser dada, e, na verdade, precisa
264 Sobre a lgica e a matemtica
mos de uma que nos leve adiante na srie numrica, tanto quanto quisermos ir.
Por exemplo:
(33x, y).F(x, y). = .(3x, y, z) : F(x, y).F(x, z),F(y, z)
(34x, y ).F (x, y ). = . (3x, y, z, u ): F(x, y).F(x, z )....
seguido pelas combinaes dos dois elementos e assim por diante. Mas tambm
poderiamos dar a seguinte definio:
Adicione a isso que um enunciado como voc pode ver dois crculos pretos
em um retngulo branco no tem a forma (3x, y) etc. Pois, se dou nomes aos
crculos, os nomes referem-se localizao precisa dos crculos e no posso dizer
a respeito deles que esto neste retngulo ou no outro. Posso realmente dizer
h 4 crculos em ambos os retngulos tomados conjuntamente mas isso no
significa que posso dizer a respeito de cada crculo individual que est em um re
tngulo ou no outro. Pois, no caso suposto, a sentena este crculo est neste retn
gulo sem sentido.
estar aqui se isto e aqui no significam a mesma coisa. Por contraste, esta linha
pode ser correlacionada um crculo neste retngulo porque continua a ser esta
linha, mesmo se estiver correlacionada a um crculo no outro retngulo.
266 Sobre a lgica e a matemtica
Ento, por exemplo, 2 pontos no meu campo visual, que vejo como 4 e no
como 2 e 2, so compostos de 2 e 2 ? Bem, o que isso significa? Est perguntando
se, de alguma maneira, so dividididos em grupos de 2 pontos cada? Naturalmen
te, no (pois, nesse caso, presumivelmente, teriam de ser divididos tambm de
todas as maneiras concebveis). Significa que podem ser divididos em grupos de 2
e 2, isto , que faz sentido falar de tais grupos no quatro? De qualquer modo,
Suponha que eu costumasse crer que no havia nada exceto uma funo e os
4 objetos que a satisfazem. Posteriormente, percebo que satisfeita tambm por
uma quinta coisa: isso faz o signo 4 tornar-se sem sentido? Bem, se no h
nenhum 4 no clculo, ento, 4 no tem sentido.
Se voc diz que seria possvel, quando somando, fazer uso da tautologia (E2x).
(px.(E3x).\|/x.Ind. d .(E5x).cpx v \|/x... A) isso como teria de ser compreendido:
primeiro possvel estabelecer, segundo certas regras, que (Ex) .(px. (Ex) .\|/x.Ind.
.Z3 .(E x ,y ): (px vrjrx.cpy v vj/y. tautolgico. (Ex).cpxuma abreviao para (Bx).
<px. ~ (3x, y) . <px. (py. Abreviarei mais tautologias como A assim: (E ). (E ). m . (E ).
Portanto
5 4 3
pois esta construo tem justamente a mesma multiplicidade que toda outra pro
va dessa proposio.
A B C D E F G H I J K L M N O
A B C D E, A B C D
A I, A B C
A A B C D, A B C
A A G
A E, A G
A L
Se dou nome a cada nmero por sua ltima letra, isso uma prova de que
(E + D) + C = E + (D + C) = L,
Essa uma boa forma de prova porque demonstra claramente que o re
sultado realmente calculado e porque, a partir dela, voc pode ler tambm a
prova geral.
Pode soar estranho mas um bom conselho neste ponto: no faa filosofia
aqui, faa matemtica.
O lado direito (o lado direita de z> ) pode, ento, ser encontrado a partir do
lado esquerdo por um clculo como:
Sobre os nmeros cardinais 2 6 9
a b c d e f ... z
a b - --
a b c
a b c d e B)
Este clculo podera ser derivado das regras para a construo de tautologias
como uma simplificao. Se pressuponho essa lei para construir um fragmen
to da srie a partir de dois outros, posso, ento, introduzir como designao desse
fragmento a expresso soma dos dois outros e, assim, dar a definio:
a+
a+
e assim por diante at z.
Se as regras para o clculo B tivessem sido explicadas por exemplos, poderia
mos considerar tambm essas definies como casos particulares de uma regra
geral e, ento, colocar problemas como abc + ab =?. Agora tentador confundir
a tautologia
a ) (Ea, b ). (Ea, b ). 3 . (Ea, b, c, d)
com a equaao
(3) ab + ab = abcd
Mas a segunda uma regra de substituio, a primeira no uma regra mas apenas
uma tautologia. O signo n em a no corresponde de forma alguma ao em (3.
Esquecemos que o signo => em a no diz que os dois signos esquerda e
direita dele resultam em uma tautologia.
podera ser a proposio 3 + 2 = 5. Pois o que nos capacita a dizer que essa ex
presso uma tautologia no pode ser o resultado de um exame de conceitos,
mas deve ser reconhecvel a partir do clculo. Pois a gramtica um clculo. Isto
, nada do que o clculo de tautologia contm, exceto o clculo numrico, serve
para justific-lo e, se no nmero que estamos interessados, o resto mera
decorao.
A B C
A C B
B A C
B C A
C A B
C B
Pois impossvel saber o nmero de permutas possveis sem saber quais elas
so. E, se no fosse assim, a teoria das combinaes no seria capaz de chegar s
276 Sobre a lgica e a matemtica
suas frmulas gerais. A lei que vemos na formulao das permutas representa
da pela equao p = n! No mesmo sentido, creio, que aquela na qual um crculo
dado por sua equao. Naturalmente, posso correlacionar o nmero 2 com
as permutas AB, BA exatamente como posso correlacionar 6 com o conjunto
completo de permutas de A, B, C, mas isso no me d o teorema da teoria da
combinao. O que vejo em AB, BA uma relao interna que, portanto, no
pode ser descrita. Isto , o que no pode ser descrito aquilo que torna completa
essa classe de permutas. S posso considerar o que est efetivamente li, no
possibilidades. Mas posso, por exemplo, calcular quantas fileiras um homem
deve escrever se, em cada srie, ele coloca uma permuta de 3 elementos e prossegue
at no poder mais ir adiante sem repeties. E isso significa, ele precisa de 6 fi
leiras para escrever as permutas A B C, A C B etc., j que estas so apenas as per
mutas de A, B, C. Mas no faz nenhum sentido dizer que estas so todas as permu
tas de A B G.
Voc tambm podera conceber o nmero 6 nesse caso como outro tipo de
nmero, o nmero de permutas de A, B, C. A permuta como outro tipo de con
tagem.
Se voc quer saber o que significa uma proposio, sempre pode perguntar
Como sei disso? Sei que h 6 permutas de 3 elementos da mesma maneira que
sei que h 6 pessoas nesta sala? No. Portanto, a primeira proposio de um tipo
diferente da segunda.
o o o
o o o
o o o
o o o
A B
I O o
o o o
l
o o 0
o o o o o o o o
o o o o o o o o
III o o o o o o o o
o o o o o o o o
o o o o o o o o
o o o o o o o o
o o o o o o r?n 0 O
o o o o oQo o Oc OO
IV o o o o OOoo 0o
0 oo 0 0 L o oo0 o 0
9,000 3 o 0 o o o o o
o o o o o o oo o o o o
/ oV V
V ' \ o / \ o r A v/ Vv
Y / \ o r
Algo similar, ainda que no exatamente o mesmo, vlido para o ser igual
entre dois nmeros.
Mas, se for assim, ento, em primeiro lugar, por que Ho definimos S sem
mais delongas como o que sustenta tal relao? E se voc responde que essa defini
o no incluiria o ser o mesmo nmero no caso de nmeros infinitos, temos de
dizer que isso apenas se resume a uma questo de elegncia porque, para nme
ros finitos, no fim, tenho de me refugiar em relaes extensivas. Mas estas tam
pouco nos levam a algum lugar porque dizer que entre 9 e 9 vlida uma relao,
por exemplo, da forma x = a.y = b. v .x = c.y = d diz apenas que
(3x, y).cpx.\j/y. ~ (3 x , y, z).<px.<py.<pz: (3x, y).\|/x.cpy, ~ (3x , y, z).\|ix.t|/y.t|/z
(Que escrevo na forma
(3n2x ).9x .(3n2x).9x.)
E dizer que entre 9 e 9 vlida uma das relaes x = a.y = b; x = a.y = b. v .x
= c.y = d; etc. etc. significa apenas que existe um dos fatos (pl <p2 .t| /2 etc. etc.
Ento, recuamos para a generafidade maior, dizendo que entre 9 e 9 vlida al
guma relao 1 1 , esquecendo que, para especificar essa generafidade, temos de
fazer a regra de que alguma relao tambm inclui relaes da forma x = a.y = b
etc. Ao dizer mais no evitamos dizer o menos que se supe estar contido no mais.
A lgica no pode ser enganada.
Portanto, no sentido de S em que S decorre de 9 5 .\|/5 , no definido pela
definio de Russell. Em vez disso, o que precisamos de uma srie de definies.
Por outro lado, EI usado como critrio de ser igual em nmero e, natural
mente, em outro sentido de S, tambm pode ser igualado a S. (E, ento, s pode
mos dizer: se, em uma dada notao, S = II, ento S significa o mesmo que EI.)
Embora II no decorra de 9 5 . 9 5 , 9 5 . 9 5 decorre de I I . 9 5 .
n.95 = n .95.95 = n .9 5
etc.
Podemos, portanto, escrever:
II. 9 O= II. 9 O.9 O= II. 9 O.S
1 1 .9 1 = 1 1 . 9 1 .9 1 = 1 1 . 9 1 . 8 ..(3
I I . 9 2 = II. 9 2 . 9 2 = II. 9 2 .S
e assim por diante ad inf.
E podemos expressar isso dizendo que o ser igual em nmero decorre de II. E
tambm podemos dar a regra II. S = II; est de acordo com as regras, ou a regra, (3
e a regra a.
Poderiamos muito bem descartar a regra S decorre de II, isto , II.S = II;
a regra (3 faz o mesmo servio.
284 Sobre a lgica e a matemtica
Se escrevemos S na forma
cp0.\|/0. v ,cpl.\j/l. v .tp2.\|/2. v ...a inf.
podemos facilmente derivar II. S = II por meio de regras gramaticais que cor
respondam linguagem comum. Pois
((pO.xyO. v .<pl.\|/l. v .etc. ad in /.).II= (p0.t|/0.II. v ,(pl.\|/l
II. v .etc.adinf. = cpO.II. v .cpl.II. v .(p2.II. v .etc.ainf.
= II. (cpO v (pl v <p2 etc. ad inf.) = II
A proposio (pO v (pl v (p2 v etc. ad inf. deve ser tratada como uma tautologia.
Isso realmente no tem mais ligao com nmeros particulares do que a igual
dade ou a desigualdade do comprimento no campo visual tem com a medida
numrica. Podemos, mas no precisamos, lig-lo com os nmeros. Se o ligamos com
a srie numrica, ento a relao de incluso mtua ou igualdade de compri
mento entre as fileiras torna-se uma relao de ser igual em nmero. Mas, ento,
no apenas que \|i5 decorre de I I . 9 5 . Tambm temos II decorrendo de <p5.\jf5-
Isso significa que, aqui, S = II.
V A PROVA MATEMTICA
22
Em outros casos, se estou procurando algo, ento, mesmo antes que
ele seja encontrado, posso descrever o que encontr-lo; o mesmo
no ocorre se estou procurando a soluo de um problema matemtico.
Expedies matemticas e expedies polares
Pode haver conjeturas na matemtica? Ou melhor, que tipo de coisa parece uma
conjetura na matemtica? Tal como fazer uma conjetura a respeito da distribui
o dos nmeros primos.
Eu podera, por exemplo, imaginar que algum est escrevendo nmeros
primos em srie diante de mim sem eu saber que so nmeros primos eu
podera, por exemplo, acreditar que ele est escrevendo nmeros simplesmente
medida que lhe ocorrem e agora tento descobrir uma lei neles. Agora eu pode
ra efetivamente formar uma hiptese a respeito dessa seqncia numrica, exa
tamente como poderia a respeito de qualquer seqncia que resultasse de um
experimento na fsica.
Ora, em que sentido eu, ao faz-lo, fiz uma hiptese a respeito da distribuio
dos nmeros primos?
Voc poderia dizer que uma hiptese na matemtica tem o valor de treinar
seus pensamentos em um objeto particular refiro-me a uma regio particular
e poderiamos dizer certamente descobriremos algo interessante a respeito
dessas coisas.
O problema que nossa linguagem usa cada uma das palavras, questo, pro
blema, investigao, descoberta, para referir-se a coisas basicamente diferen
tes. o mesmo com inferncia, proposio, prova.
Por outro lado, quando fornecemos uma prova, ela no prova o que foi conjetura-
do j que no posso conjeturar at o infinito. S posso conjeturar o que pode ser
confirmado, mas a experincia s pode confirmar um nmero finito de conjetu-
ras e voc no pode conjeturar a prova at consegui-la, e, a, tampouco pode.
Suponha que algum, sem ter provado o teorema de Pitgoras, tenha sido
levado, pela medio dos lados e hipotenusas dos tringulos de ngulos retos, a
conjetur-la. E suponha que, mais tarde, ele descobrisse a prova e dissesse que
tinha provado o que conjeturara antes. Surge pelo menos uma questo notvel:
em que ponto da prova surgiu o que ele confirmara antes por ensaios individuais?
Pois a prova essencialmente diferente do mtodo anterior. Onde esses mto
dos fazem contato, se a prova e os testes so apenas aspectos diferentes da mesma
coisa (a mesma generalizao) se, como alegado, h algum sentido no qual eles
do o mesmo resultado?
Eu disse: de uma nica fonte flui apenas uma corrente, e poderiamos dizer
que seria singular se a mesma coisa viesse de fontes to diferentes. O pensamento
de que a mesma coisa pode vir de fontes diferentes familiar a partir da fsica,
isto , das hipteses. Nessa rea estamos sempre concluindo dos sintomas para as
doenas e sabemos que os sintomas mais diferentes podem ser sintomas da mes
ma coisa.
imagine que algum coloque para si o seguinte problema. Ele deve descobrir
um jogo jogado em um tabuleiro de xadrez, no qual cada jogador tenha 8 peas; as
duas peas brancas que esto nas filas mais externas no incio do jogo (os cnsu
les ) devem receber alguma posio importante pelas regras, para que tenham maior
liberdade de movimento que as outras peas; uma das peas pretas (o general )
deve ter uma posio especial; uma pea branca come uma pea preta ao ser colo
cada no lugar desta (e vice-versa); o jogo todo deve ter certa analogia com as guer
ras pnicas. Essas so as condies que o jogo deve satisfazer. No h dvida
alguma de que isso um problema, no como o problema de descobrir como, sob
certas condies, as brancas podem vencer no xadrez. Mas agora imagine o pro
blema: Como as brancas podem vencer em 20 movimentos no jogo de guerra cujas
regras ainda no conheo com preciso? Esse problema seria inteiramente an
logo aos problemas da matemtica (exceto os problemas de clculo),
Alm disso, o que est oculto deve poder ser descrito completamente antes de
ser encontrado, no menos do que se j tivesse sido encontrado.
Faz sentido dizer que um objeto est to bem escondido que impossvel
ach-lo; mas, naturalmente, a impossibilidade no caso no uma impossibilidade
lgica, isto , faz sentido falar de achar um objeto para descrever o achado; esta
mos meramente negando que acontecer.
mos de tai e tai cor e tal e tal tamanho. Nesse caso, tambm, cmo se a expectativa
(a busca) dissesse respeito apenas a um conhecimento indireto, no ao prprio
objeto; como se fosse algo que eu realmente no conheo (conhecimento por fami
liaridade) at t-lo diante de mim (tendo estado anteriormente apenas indireta
mente familiarizado com ele). Mas isso bobagem. L, seja o que for que eu possa
perceber na medida em que seja um cumprimento de minha expectativa
tambm posso descrever antecipadamente. E, aqui, descrever no significa dizer
uma ou outra coisa a respeito dele mas, antes, express-lo. Isto , se estou procu
rando por alguma coisa, devo ser capaz de descrev-la completamente.
Com espao quero referir-me quilo de que posso estar certo enquanto
procuro.
23
Prova, verdade e falsidade das proposies matemticas
Uma proposio matemtica que foi provada tem uma propenso para a ver
dade em sua gramtica. Para entender o sentido de 25 X 25 = 625 posso pergun
tar: como se prova essa proposio? Mas no posso perguntar como seu contra
ditrio ou seria provado, porque no faz nenhum sentido falar de uma prova
do inverso de 25 X 25 = 625. Portanto, se quero levantar uma quento que no
dependa da verdade da sua proposio, tenho de falar de verificar sua verdade,
no de prov-la ou no. O mtodo de verificar corresponde ao que podemos cha
mar de sentido da proposio matemtica. A descrio desse mtodo uma des
crio geral e introduz um sistema de proposies, por exemplo, de proposies
da forma a X b = c. .
No existe nada como uma fico lgica e, portanto, voc no pode trabalhar
com fices lgicas; voc tem de calcular completamente cada exemplo.
, na maioria dos casos, enganosa porque oculta o real teor da prova, que pode ser
visto com plena clareza na prpria prova.
x2 + y2 + 2 xy = (x + y ) 2
x2 + 3x + 2 = 0
x2 + ax + b = 0
x2 + xy + z = 0 ?
A prova maxemtica 295
Mas no posso dizer a respeito de uma equao Sei que no vlida para
algumas substituies esqueo agora quais; mas se ou no vlida em geral
eu nao sei? Mas o que voc quer dizer quando diz que sabe disso? Como voc
sabe? Por trs das palavras Eu sei... no h certo estado de esprito para ser o
sentido dessas palavras. O que voc pode fazer com esse conhecimento? Isso
o que mostrar em que consiste o conhecimento. Voc conhece um mtodo para
apurar que a equao no vlida em geral? Voc se lembra de que a equao
no vlida para alguns valores de x entre 0 e 1.000? Ou algum simplesmente
lhe mostrou a equao e disse que encontrara valores de x que no satisfaziam a
equao, de modo que, talvez, voc mesmo no saiba estabelec-la para um dado
valor? etc. etc.
de ver o erro, eu sabera que nenhum dos nmeros tinha a propriedade. Mas, nesse
ponto, a analogia simplesmente desaba.
(Isso est ligado ao fato de que no posso, eo ipso, usar as negaes das equa
es em todo clculo em que uso equaes. Pois 2 x 3 ^ 7 no significa que a
equao 2 x 3 = 7 no deve ocorrer, como a equao 2 x 3 = sine; a negao
uma excluso dentro de um sistema predeterminado. No posso negar uma de
finio como posso negar uma equao derivada por regras.)
Se voc diz que, em uma prova de existncia, o intervalo no essencial por
que outro intervalo tambm podera ter servido, isso naturalmente no signi
fica que no especificar um intervalo tambm teria servido. A relao de uma
prova de no-existncia no a mesma que a relao de uma prova de p com
uma prova do seu inverso.
Devamos supor que, em uma prova do inverso de (Hn) deve ser possvel
esgueirar-se uma negao que tornaria ~ (3 n ) capaz de ser provado erronea
mente. Vamos, uma vez, comear no outro extremo com as provas e supor que
elas nos foram mostradas primeiro e que depois nos perguntaram: o que esses
clculos provam? Olhe as provas e, ento, decida o que provam.
No preciso afirmar que deve ser possvel construir as n razes das equaes
do ensimo grau; meramente digo que a proposio esta equao tem n razes
no tem o mesmo significado se a provei de maneira diferente. Se encontro uma
frmula para as razes de uma equao, constru um novo clculo; no preench
uma lacuna em um velho.
Toda prova de existncia deve conter uma construo daquilo cuja existn
cia ela prova. Voc s pode dizer No chamarei nada de prova de existncia a
menos que contenha tal construo. O erro encontra-se em fingir possuir um
conceito claro de existncia.
Pensamos que podemos provar uma coisa, existncia, de tal maneira que so
mos, ento, convencidos dela independentemente da prova. (A idia de provas
independentes entre si e, portanto, presumivelmente independentes do que
provado.) Realmente, a existncia o que provado pelos procedimentos que
chamamos provas de existncia. Quando os intuiconstas e outros falam a res
peito disso eles dizem: Este estado de coisas, a existncia, s pode ser provado
assim, no assim. E no percebem que, ao dizer isso, simplesmente definiram o
que eles chamam de existncia. Pois no como dizer s se pode provar que um
homem est na sala olhando dentro, no escutando na porta.
Por que digo que no descobrimos uma proposio corrio o teorema funda
mental da lgebra e que meramente o construmos? Porque ao prov-lo damos-
lhe um novo sentido que no tinha antes. Antes da assim chamada prova havia
apenas uma padro tosco desse sentido na linguagem das palavras.
Suponha que algum dissesse: o xadrez s tinha de ser descoberto; ele sem
pre esteve ali! Ou: o jogo de xadrez puro sempre esteve l; s ligamos o jogo mate
rial matria.
Uma questo matemtica no deve ser menos precisa que uma proposio
matemtica. Voc pode perceber a maneira enganosa como o modo de expresso
da lingugem das palavras representa o sentido das proposies matemticas se
voc traz mente a multiplicidade de uma prova matemtica e considera que a
prova pertence ao sentido da proposio provada, isto , determina esse sentido.
No algo que faz com que acreditemos em uma proposio particular, mas algo
que nos mostra aquilo em que acreditamos se que podemos falar em acreditar
no caso. Na matemtica h palavras-conceito: nmero cardinal, nmero primo
etc. por isso que parece fazer sentido imediatamente se perguntamos quantos
nmeros primos h? (Os seres humanos acreditam se ouvem palavras...) Na reali
dade, essa combinao de palavras , at aqui, absurda, at lhe ser dada uma sintaxe
especial. Examine a prova de que h infinitamente muitos nmeros primos e,
ento, a questo a que ela parece responder. O resultado de uma prova intricada
pode ter uma expresso verbal simples apenas se o sistema de expresses ao qual
essa expresso pertence tiver uma multiplicidade correspondente a um sistema de
tais provas. As confuses nessas questes so inteiramente o resultado de tratar
a matemtica como um tipo de cincia natural. E isso est ligado ao fato de que a
matemtica se separou da cincia natural pois, enquanto feita em ligao ime
diata com a fsica, est claro que ela no uma cincia natural. (Similarmente, voc
no pode confundir uma vassoura com parte da moblia de um quarto enquanto a
usa para limpar a moblia.)
Ora, parte da natureza o que chamamos proposies que elas sejam capa
zes de ser negadas. E a negao do que provado tambm deve estar ligada
prova, isto , devemos poder demonstrar em que condies diferentes, contras
tantes ela teria sido o resultado.
25
Problemas matemticos
Tipos de problema
Procura
"Projetos na matemtica
Onde voc pode perguntar pode procurar uma resposta e onde no pode procu
rar uma resposta no pode perguntar. Tampouco pode encontrar uma resposta.
para a multiplicao a 25 X 25. Mas, nesse caso, essas regras devem ser-me dadas
antes que a palavra resulta tenha um significado e antes que a questo de ter
sentido ou no a equao resultar em S.
impossvel fazer descobertas de novas regras vlidas para uma forma com
que j estamos familiarizados (digamos o seno de um ngulo). Se so novas re
gras, ento no a velha frma.
Se um aluno conhece uma regra para assegurar uma soluo para J sen2 x.dx
no tem nenhum interesse; o que realmente nos interessa se o clculo que temos
diante de ns (e que ele est usando) contm tal regra.
A prova matemtica 301
Eu consegui provar isto uma expresso notvel. (Isso algo que ningum
diria no caso de 25 X 16 = 400.)
Sei que h uma soluo para esse problema, embora eu no saiba ainda que
tipo de soluo 1 Em que simbolismo voc o sabe?
Sei que deve haver uma lei. Esse conhecimento um sentimento amorfo
que acompanha a emisso da sentena?
Da desigualdade
1 + 4 r + -5 - + - T + * C1 + 4 - + + 4 - + .- .)(! + \ + + )
2 3 4 2 22 23 3 32
podemos derivar um nmero que ainda esteja ausente das combinaes do lado
direito? A prova de Euier de que h infinitamente muitos nmeros primos pretende
ser uma prova de existncia, mas como tal prova possvel sem uma construo?
'1 + + + . . . = (1 + + - ^ + .,.)(! + 4 - + - V + )
2 3 2 22 3 32
O argumento assim: o produto direita uma srie de fraes 1 /n em cujos
denominadores todos os mltiplos da forma 2 V3Rocorrem; se no houvesse ne
nhum nmero alm desses, ento essa srie seria necessariamente a mesma que
a srie l + l / 2 + 1 / 3 + . . . e , nesse caso, as somas tambm seria necessariamente
as mesmas. Mas o lado esquerdo e o lado direito apenas um nmero finito
2 /1 .3 /2 = 3, de modo que faltam infinitamente muitas fraes na srie do lado
direito, isto , h no lado esquerdo fraes que no ocorrem no direito1. Se fosse
uma questo de srie finita, tudo seria perspcuo. Pois, ento, o mtodo de soma
nos capacitaria a descobrir quais termos que ocorrem no lado esquerdo estavam
ausentes da srie do lado direito. Agora poderiamos perguntar: como que a srie
da esquerda d ? O que deve conter alm dos termos direita para torn-la
infinita? Na verdade, surge a questo: uma equao como 1 + 1/2 + 1/3 ... = 3,
acima, tem algum sentido? Com certeza, no posso descobrir a partir dela quais
so os termos extra na esquerda. Como sabemos que todos os termos direita
tambm ocorrem na esquerda? No caso da srie finita, no posso dizer at ter
verificado termo por termo e se o fao, percebo, ao mesmo tempo, quais so os
termos extra. Aqui, no h nenhuma ligao entre o resultado da soma e os ter-
1. Aqui e em certo ponto mais adiante, corrigi uma confuso no texto datilografado
de Wittgenstein entre esquerda e direita. (N. do T. ingl.)
304 Sobre a lgica e a matemtica
mos, e apenas tal ligao poderia fornecer uma prova. Tudo se torna mais claro se
imaginamos o negcio feito com uma equao finita:
l +^ +^ + ^ + i +J - * ( l + J-).(l+J-) = l +J- + J- + i-
2 3 4 5 6 2 ' v 3' 2 3 6
No caso, novamente, temos aquele fenmeno notvel que poderiamos chamar de
prova por indcios circunstanciais na matemtica algo que absolutamente nunca
permitido. Tambm poderia ser chamada de prova por sintomas. O resultado da
soma (ou considerado) um sintoma de que h termos na esquerda ausentes
na direita. A ligao entre o sintoma e o que gostaramos de ter provado uma
ligao frouxa. Isto , nenhuma ponte foi construda, mas nos damos por satis
feitos em ver a outra margem.
Todos os termos no lado direito ocorrem no esquerdo, mas a soma no lado
esquerdo ^ e a soma no lado direito apenas um nmero finito, portanto, deve. .
mas, na matemtica, nada pode ser inferido, a menos que possa ser visto.
A ponte deve ser construda.
Na matemtica no existem sintomas: s em sentido psicolgico que pode
haver sintomas para matemticos.
Poderiamos dizer o mesmo do seguinte modo: na matemtica nada pode ser
inferido a no ser que seja visto.
Poderiamos tambm fazer a pergunta assim: se voc tivesse apenas essa pro
va, o que apostaria nela? Se descobrssemos os nmeros primos at N, poderia
mos depois continuar procurando para sempre por mais um nmero primo j
que a prova garante que encontraremos um? Certamente isso bobagem. Pois,
se procuramos por tempo suficiente no tem nenhum significado. (Isso serve
para as provas de existncia em geral.)
mas no resulta... O que decorre disso? (A lei do meio excludo). Nada decorre,
exceto que os valores limitadores das somas so diferentes, isto , nada. Mas agora
poderiamos investigar como isso ocorre. E, ao faz-lo, podemos atingir nmeros
que no so representveis como 2V.3V\Assim, atingiremos nmeros primos maio
res, mas nunca veremos que nenhuma quantidade de tais nmeros originais ser
suficiente para a formulao de todos os nmeros.
1 + - - + + . . . * 1 + + -L + J -
2 3 2 2 2 2S ^
Sejam quantos forem os termos da forma 1/2Vque eu tome, eles nunca soma
ram mais de 2 , ao passo que os quatro primeiros termos da srie da esquerda j
somam mais de 2. (Portanto, isso j deve conter a prova.) Isso tambm nos d, ao
mesmo tempo, a construo de um nmero que no uma potncia de 2 pois a
regra agora diz: encontre um segmento da srie que some mais de 2 : isso deve
conter um nmero que no uma potncia de 2 .
( i + ! + ^ + ...).( i + ! 4 + . . . ) ..(1 + + J r - ) = n
n n2
Se estendo a soma 1 + 1/2 + 1/3 + ... at se tornar mais que n, essa parte deve
conter um termo que no ocorre na srie do lado direito, pois se a srie do lado
direito contivesse todos esses termos, ela resultaria em uma soma maior, no menor.
A condio para um segmento da srie 1 + 1/2 + 1/3 + ..., digamos,
1 1 1
-1+- + .
n n+ 1 n -i- 2 n+v
sendo igual ou maior que 1 a seguinte.
Para fazer:
1 . 1 . 1 1
+ +
- + ... S 1
n n+ 1 n+ 2 n+ v
transforme o lado esquerdo em:
1 + ^ - +^ - + ... n
n+ 1 n+ 2 n+ v
n
+ + ^ + - + ...
2n 2n + 1 2n + 2 n+ v
n
306 Sobre a lgica e a matemtica
n - n ( n - 1 ) ---- 1- ( v - r + 1 )
2 n+ 1 v________ y n + v
n
l - ^ i - + V ~ n + 1
2n + 2 n+v
2 nv + 2 v - 2 n2 - 2 n + 2 n + 2 - n 2- n v + n + v 5 0
nv + 3v - 3n2 + 2 + n & 0
3n2 - (n + 2) < 3 n _ 1
n+ 3
27
A trisseco de m ngulo etc.
l .p . 253.
310 Sobre a lgica e a matemtica
esses nmeros forem, eles mesmos, o nosso sistema numrico pois, nesse caso,
ns, ou o nosso sistema, no estamos familiarizados com o nmero 3. Mas se a
nossa pergunta : um dos nmeros 2, 22 etc. igual a 3, ento, no caso, nada
realmente dito a respeito de uma trisseco da linha. No obstante, poderiamos
olhar dessa maneira a pergunta a respeito da possibilidade da trisseco. Con
seguimos uma viso diferente, se juntamos ao sistema a uma sistema no qual as
linhas sejam divididas como nesta figura:
A iB
Pode-se, ento, perguntar: uma diviso em 180 sees uma diviso do tipo a?
E essa pergunta, novamente, poderia equivaler a: 108 uma potncia de 2? Mas
tambm poderia indicar uma deciso de procedimento diferente (ter um sentido
diferente) se ligssemos os sistemas a e |3 a um sistema de construes geom
tricas, de tal maneira que se pudesse provar no sistema que as duas construes
devem resultar nos mesmos pontos de diviso B, C, D.
,b e
A prova matemtica 3 11
que tornaria possvel formar grupos de sees que parecessem do mesmo com
primento). A resposta a essa pergunta seria uma prova de que 2 3 no divisvel
por 3 ou uma indicao de que as sees esto na razo 1:3:4. E agora voc pode
ra perguntar: mas, com certeza, tenho realmente um conceito de trisseco no
sistema, um conceito de diviso que resulta nas partes a, b, c, na razo 1 : 1 : 1 ?
Certamente, agora introduz um novo conceito de trisseco de uma linha ; po
deriamos muito bem dizer que, ao dividir a linha AB em oito partes, dividimos a
linha CB em 3 partes iguais, se isso s tem de significar que produzimos uma linha
composta de 3 partes iguais.
A C , . B
i \ i - i 1 H i i
A perplexidade em que nos encontramos na relao com o problema da
trisseco era, grosso modo, esta: se a trisseco de um ngulo impossvel
logicamente impossvel como podemos fazer perguntas a respeito dela? Como
podemos descrever o que logicamente impossvel e levantar significativamente
a questo da sua possibilidade? Isto , como podemos juntar logicamente concei
tos disparatados (violando a gramtica e, portanto, absurdamente) e perguntar
significativamente a respeito da possibilidade da comunicao? Mas o mesmo
paradoxo surgira se perguntssemos 25 x 25 = 620? pois, afinal, logicamente
impossvel que essa equao esteja correta; certamente no posso descrever como
seria se... Bem, uma dvida se 25 x 25 = 620 (ou se = 625) no tem mais nem
menos sentido do que o mtodo de verificao lhe d. perfeitamente correto
que, no caso, no imaginamos nem descrevemos como 25 X 25 ser 620; o que
isso significa que estamos lidando com um tipo de pergunta que diferente
(logicamente) de esta rua tem 620 ou 625 metros comprimento?
Se voc diz a algum, que nunca tentou, tente mover suas orelhas, ele, primeiro,
mover alguma outra parte do corpo perto das orelhas que j movera antes e suas
orelhas se movero imediatamente ou no se movero. Voc poderia dizer desse
processo: ele est tentando mover as orelhas. Mas se isso pode ser chamado tentar
no tentar no mesmo sentido que tentar mover as orelhas (ou as mos) em um
caso em que voc j sabe como faz-lo, mas em que algum as est segurando, de
modo que voc s pode mov-las com dificuldade ou nem um pouco. o primeiro
sentido de tentar que corresponde a tentar resolver um problema matemtico
quando no h nenhum mtodo para sua soluo. Sempre podemos ponderar
sobre o aparente problema. Se algum me disser tente apenas com fora de von
tade mover aquele bule no outro lado da sala, eu olharei para ele e talvez faa
movimentos esquisitos com os msculos do rosto, de modo que, mesmo nesse
caso, parece haver algo como tentar.
Podemos tentar marcar o compasso errado de uma melodia? Como tal tenta
tiva se compara com tentar erguer um peso que pesado demais?
cesso inteiramente definido de tentar faz-lo sem sucesso. De modo similar, voc
pode, se pedirem, ver a figura abaixo de tal maneira que primeiro uma e depois
outra linha vertical seja o nariz, e primeiro uma e depois a outra linha se torne a
boca; em certas condies, voc pode tentar em vo fazer uma ou outra.
O essencial aqui que essa tentativa o mesmo tipo de coisa que tentar er
guer um peso com a mo; no como o tipo de tentar em que fazemos coisas
diferentes, experimentamos diferentes meios, para (por exemplo) erguer um peso.
Nos dois casos, a palavra tentar tem sentidos inteiramente diferentes. (Um fato
gramatical extremamente significativo.)
V I PROVAS INDUTIVAS E PERIODICIDADE
V
29
At que ponto uma prova por induo uma prova de uma proposio?
Nesse caso, o mtodo geral de calcular j deve ser conhecido e devemos ser
capazes de calcular a + (b + c) imediatamente, da maneira como podemos cal
cular 25 X 16. Ento, primeiro, h uma regra geral ensinada para calcular todos
problemas de tal tipo e, depois, os casos particulares so calculados. Mas qual
o mtodo geral de calcular no caso? Deve estar baseado nas regras gerais para os
signos ( digamos, a lei associativa ).
A
cp(c) = \|/(c)
1. Begrnung er Elementaren Arithmetik von Th. Skolem, Skrifter utg. Av. Vid.-Selsk
i Kristiana 1923.1 Mat.-na. K. No. 6, p. 5. Traduzido em van Hejenoort, From Frege to
Gel, Harvard University Press, 1967, pp. 302-333.
3 18 Sobre a lgica e a matemtica
2. O trao embaixo enfatiza que o resto igual ao dividendo. Ento, a expresso tor
na-se o smbolo para a diviso peridica. (Ed.)
Provas indutivas e periodicidade 3 19
Tambm podemos dizer: temos uma regra para construir, em certo jogo, fra
es decimais compostas apenas de 3 mas, se voc considera essa regra como um
tipo de nmero, ela no pode ser o resultado de uma diviso; o nico resultado
seria o que podemos chamar diviso peridica, que tem a forma a/d = c.
a
31
Induo. (x ) . x e (3x).q>x.A prova de Induo prova ser
verdadeira a proposio geral e falsa a proposio existencial?
3X2=5+1
3 X (a + 1) = 3 + (3 X a) = (5 + b) + 3 = 5 + (b + 3)
Por que voc chama essa induo de prova de que (n) :n > 2 . D . 3 x n ^ 5 ? ! Bem,
voc no percebe que se a proposio vlida para n = 2 , tambm vlida para
n = 3 e, ento, tambm para n = 4, e que vai continuar assim para sempre? (O que
estou explicando quando explico a maneira como funciona uma prova por indu
o?) Ento, voc pode cham-la de prova de f(2).f(3) .f(4) etc. mas essa no a
forma das provas f(2) e f(3) e f(4) etc.? Ou d na mesma? Bem, se chamo a
induo de prova de uma proposio, posso faz-lo apenas se isso no significar
mais nada alm de que prova toda proposio de certa forma. (E minha expresso
vale-se da analogia com a relao entre a proposio todos os cidos deixam
vermelho o papel de tornassol e a proposio o cido sulfurico deixa vermelho o
papel de tornassol.)
Suponha que algum dissesse vamos verificar se f(n) vlido para todo n e
comeasse a escrever a srie
3X2=5+1
3 X (2 + 1) = (3 x 2) + 3 = (5 + 1) + 3 = 5 + (1 + 3)
3 X (2 + 2) = (3 X (2 + 1)) + 3 = (5 + (1 + 3)) + 3 = 5 + ((1 + 3) + 3)
e, ento, parasse e dissesse Vejo que vlida para todo n Ento, ele viu uma
induo! Mas ele estava procurando por uma induo? Ele no tinha nenhum m
todo para procurar por uma. E se no tivesse descoberto um, ele ipso facto teria
encontrado um nmero que no satisfizesse a condio? A regra para verificar
no pode ser: vejamos se h uma induo ou um caso para o qual a lei no
vlida. Se a lei do meio excludo no vlida, isso s pode significar que nossa
expresso no comparvel a uma proposio.
Quando dizemos que a induo prova a proposio geral, pensamos: ela prova
que essa proposio, no seu inverso, verdadeira. Mas qual seria o inverso da pro
posio provada? Bem, que (3n) ~ fn o caso. Aqui, combinamos dois conceitos:
um derivado do meu presente conceito da prova de (n ).fiie outro tirado da ana
322 Sobre a lgica e a matemtica
logia com (3x). (px. (Naturalmente, temos de lembrar que (n). fh no uma pro
posio at eu ter um critrio para sua verdade, e, ento, s tem o sentido que o
critrio lhe d. Embora eu pudesse, antes de conseguir o critrio, procurar por
algo como uma analogia com (x) .fx1). Qual o contrrio do que a induo prova?
A prova de (a + b ) 2 = a 2 + 2ab + b 2 resolve essa equao em contraste com algo
como (a + b ) 2 = a2 + 3ab + b2. 0 que a prova indutiva resolve? As equaes: 3 x 2 =
5 + 1,3 x (a + 1) = (3 x a) + 3, (5 + b) + 3 = 5 + (b + 3) ao contrrio de coisas co
mo 3 x 2 = 5 + 6 , 3 x ( a + l ) = ( 4 X a ) + 2 etc. Mas esse contrrio no correspon
de proposio (3x).(px Alm disso, o que realmente entra em conflito com a
induo toda proposio da forma ~ f(n), isto , as proposies ~ f(2 ), ~ f(3 )
etc., isto , a induo o elemento comum ao calcular f(2), f(3) etc.; mas no
calcular todas as proposies da forma f(n) j que, naturalmente, no ocorre na
prova nenhuma classe de proposies que eu chame todas as proposies da for
ma f(n). Cada um desses clculos uma verificao de uma proposio da forma
f(n). Pude investigar a correo dessa proposio e empregar um mtodo para
verific-la; tudo o que a induo fez foi coloc-la em uma forma simples. Mas, se
chamo a induo de prova de uma proposio geral, no posso perguntar se a
proposio est correta). Porque as coisas que chamo de provas indutivas no me
do nenhum mtodo para verificar se a proposio geral correta ou incorreta; em
vez disso, o mtodo tem de me mostrar como calcular (verificar) se uma induo
pode ou no ser construda para um caso particular dentro de um sistema de pro
posies. (Se posso expressar assim, o que verificado dessa maneira se todo n tem
essa ou aquela propriedade, no se todos eles a tm ou se h alguns que no a tm.
Por exemplo, calculamos que a equao x 2 + 3x + 1 - 0 no tem nenhuma raiz ra
cional (que no h nenhum nmero racional que...), e a equao x 2 + 2 x + l / 2 = 0
no tem nenhuma, mas a equao x 2 + 2 x + 1 = 0 tem etc.)
Portanto, achamos singular se nos dizem que a induo uma prova da pro
posio geral, pois sentimos, corretamente, que, na linguagem da induo, nem
sequer poderiamos levantar a questo. No que tenhamos comeado com uma
alternativa entre as quais tnhamos de decidir. (Apenas parecia assim, na medida
em que tnhamos em mente um clculo com classes finitas.)
Antes da prova, perguntar a respeito da proposio geral no fazia nenhum
sentido e, portanto, nem sequer era uma pergunta porque a pergunta s faria sen
tido se um mtodo geral de deciso fosse conhecido antes que a prova particular
fosse descoberta.
A prova por induo no algo que solucione uma pergunta discutida.
1. ? (x).cpx. (Ed.)
Provas indutivas e periodicidade 323
E isso no significa que entre a prova recorrente e a proposio que ela prova
h sempre a mesma relao (interna)?
De qualquer modo, perfeitamente claro que deve haver uma prova recor
rente ou, melhor, interativa desse tipo. (Uma prova comunicando o discernimento
de que desse modo que deve ser com todos os nmeros )
Isto , parece claro para mim, e parece que, por um processo de iterao, eu
poderia tornar a correo desses teoremas para os nmeros cardinais inteligvel
para alguma outra pessoa. .
Mas como sei que 28 + (45 + 17) = (28 + 45) + 17 sem t-lo provado? Como
uma prova geral pode me dar uma prova particular? Eu poderia, afinal, percorrer
a prova particular, e como as duas provas se encontrariam nela? O que acontece se
no concordam?
Em outras palavras: suponha que eu quisesse mostrar a algum que a lei asso
ciativa realmente parte da natureza do nmero e no algo que apenas acidental
mente seja vlido em um caso particular; eu no usaria um processo de iterao
para tentar demonstrar que a lei vlida e deve continuar a ser vlida? Bem
isso nos mostra o que queremos dizer aqui, ao dizer que uma lei deve ser vlida
para todos os nmeros.
Esse conceito de tomar algo compreensvel um presente num caso como este.
Pois poderiamos dizer: o critrio para alguma coisa ser ou no prova de uma
proposio se ela podera ou no ser usada para torn-la compreensvel. (Natural
mente, aqui, novamente, tudo o que est envolvido uma extenso de nossa inves
tigao gramatical da palavra prova e no algum interesse psicolgico no processo
de tornar coisas compreensveis.)
Pelo menos tenho de dizer que qualquer objeo que seja vlida contra a pro
va B 1 tambm vlida, por exemplo, contra a frmula (a + b)n = etc.
No caso, tambm, eu teria de dizer, estou meramente supondo uma regra
algbrica que concorde com as indues da aritmtica.
f(n) x (a + b) = f(n + 1 )
f(l) = a+b
portanto f(l) x (a + b) = (a + b ) 2 = f( 2 )
portanto f(2) X (a + b) = (a + b ) 3 = f(3) etc.
Quero dizer: assim que voc conseguiu a induo, tudo est terminado.
(Nota do organizador: o que segue entre colchetes extramos de um dos livros manuscri
tos que Wittgenstein usou para este captulo, apesar de no estar no texto datilografado
A e B so dados acima, na p. 317.)
[(R) a + ( b + 1) = (a + b) + 1
(I)
a + (b + (c + 1 )) = a + ((b + c) + 1 ) = (a + (b + c)) + 1
a + (b + c) = (a + b) + c
(a + b) + (c + 1 ) = (a + b) + c + 1
(a + 1 ) + 1 (a + 1 ) + 1 1
a+ 1 = 1 + a
1 + (a + 1 ) = ( 1 + a) + 1 J
(III)
a + (b + 1 ) = (a + b) + 1
( b + l ) + a * ( b + ( l + a ) b + ( a + l ) = (b + a) + l
a.l = a ... (D)
a.(b + 1) = a.b + a(M)
(IV)
a.(b + (c + 1 )) = a.((b + c) + 1 ) = a.(b + c) + a
a.(b + c) = a.b + a.c
a.b + (a.(c + 1 )) = a.b + (a.c + a) = (a.b + a.c) + a
(Uma investigao passo a passo desta prova seria muito instrutiva.) O pri
meiro passo em I, a + (b + (c + 1 )) = a + ((b + c) + 1 ), se feita em conformidade
com R, demonstra que as variveis em R no so do mesmo jeito que nas equa
es de I j que, do contrrio, R s permitira a substituio de a + (b + 1) por
(a + b) + 1 e no a substituio deb + (c + 1 ) por (b + c) + l 1. 0 mesmo surge nos
outros passos da prova.
Se eu dissesse que a prova das duas linhas da prova justifica que eu infira a
regra a + (b + c) = (a + b) + c, isso no significaria nada, a menos que eu o tivesse
deduzido com uma regra previamente estabelecida. Mas essa regra s podera ser
F 1( l ) = F 2 ( l ) , F 1( x + l ) = f { F 1(x)} 1
Fi(x) = F2(x ) ... (p).
F2(x + 1) = f{F 2 (x)j J
Suponha que, para certo jogo de tabuleiro, sejam dadas regras contendo ape
nas palavras sem nenhum r, e que chamo justificada uma regra se ela no conti
ver nenhum r. Suponha que algum ento dissesse que ele estabelecera apenas
uma regra para certo jogo, a saber, que os seus movimentos devem obedecer a
regras que no contenham nenhum r. Essa uma regra do jogo (no primeiro
sentido)? O jogo no jogado em conformidade com a classe de regras em que
todas elas s tm de satisfazer a primeira regra?
Em um sentido, isso significa que voc usou a[p ] para construir o paradigma
de tal e tal maneira, em outro significa, como antes, que uma equao est em
conformidade com o paradigma.
O fato que uma equao decorre j tem um significado (tem a sua gram
tica definida).
Derivarei Ab Ari, Amde uma nica proposio. 2 Isso, naturalmente, nos faz
pensar em uma derivao que faa uso dessas proposies Pensamos que nos
daro elos de algum tipo, menores, que substituiro esses elos grandes na cadeia.
No caso, temos uma imagem definida, e nos oferecem algo inteiramente di
ferente.
A prova indutiva monta a equao, por assim dizer, na diagonal em vez de
no comprimento.
Digo que Al7 An etc. so usados para provar (a + b ) 2 = etc. porque os passos de
(a + b ) 2 para a2 + 2ab + b 2 so todos da forma At ou An etc. Nesse sentido, o passo
em III de (b + 1) + a para (b + a) + 1 tambm feito em conformidade com At
mas o passo de a + n para n + a no !
Nada, exceto uma transio definida para uma equao a partir de outras
equaes uma prova dessa equao. No caso, no h tal coisa e nada mais pode
fazer coisa nenhuma para tornar B uma prova de A.
Mesmo ento no posso dizer que o passo de (pr para \|/r tomado com base em p
(se o passo em a , P, yfoi feito em conformidade com p em casos particulares
p = a ). Ainda em conformidade com a equao A que feito e s posso dizer
que corresponde ao complexo B se considero esse como outro signo no lugar da
equao A.
O que significa dizer que R justifica um passo da forma A? Sem dvida, signi
fica que decidi permitir no meu clculo apenas passos em conformidade com um
esquema B, no qual as proposies a , p, ^so derivveis em conformidade com p.
(E, naturalmente, isso s significaria que permiti apenas os passos, Ab An etc., e
que estes tinham esquemas B correspondentes a eles).
Seria melhor escrever e esses esquemas tinham a forma R correspondente a
eles. A sentena acrescentada entre parnteses tinha como inteno dizer que a
aparncia de generalidade quero dizer a generalidade do conceito do mtodo
indutivo desnecessria pois, no fim, s equivale ao fato de que as construes
particulares Bd Bd etc. so construdas flanqueando as equaes AI; An etc. Ou que,
nesse caso, suprfluo destacar a caracterstica comum das construes; tudo o
que relevante so as prprias construes pois no h nada ah exceto essas provas,
e o conceito sob o qual as provas se classificam suprfluo porque nunca fizemos
nenhum uso dele. Exatamente como se eu s quisesse dizer apontando trs
objetos coloque isso e isso e isso no meu quarto, o conceito cadeira suprfluo
ainda que os trs objetos sejam cadeiras. (E se no forem moblia adequada para
sentar, isso no ser mudado por algum chamar a ateno para uma similaridade
entre eles.) Mas isso s significa que a prova individual precisa da nossa aceitao
dela como tal (se prova deve significar o que significa); e, se no a tem, nenhuma
descoberta de analogia com outras tais construes pode lhe dar. A razo por que
parece uma prova que a , P, y e A so equaes e que pode ser oferecida uma regra
geral, segundo a qual podemos construir (e, nesse sentido, derivar) A de B.
Aps o evento, podemos ficar sabendo dessa regra geral. (Mas isso nos faz sa
ber que os B so realmente provas de A?) O que ficamos sabendo de uma regra
com a qual poderiamos ter comeado e que, em conjuno com a , teria permitido
que construssemos AT,An etc. Mas a teramos chamado de prova nesse jogo.
Ento, quando dissemos acima que poderiamos comear com R, esse comeo
com R , de certa maneira, um embuste. No como comear um clculo calcu
lando 526 X 718. Pois, neste ltimo, expor o problema o primeiro passo no cami
nho para a soluo. Mas, no primeiro caso, descarto imediatamente o R e tenho de
comear outra vez em algum outro lugar. E, quando construo um complexo da
Provas indutivas e periodicidade 335
Algum nos mostra Bj e nos explica a relao com A,, isto , que o lado direito
de A foi obtido de tal e tal maneira etc. etc. Ns o entendemos, e ele nos pergunta:
isso uma prova de A? Responderiamos: certamente nol
3. aV denota uma definio que ser dada abaixo, p. 354. No manuscrito, essa passa
gem vem um tanto antes da observao acima. A passagem diz: E se agora estabelecemos
por definio:
[a + (b + 1 ) = (a + b) + 1 ] & [a + (b + (c + 1 )) - (a + (b + c)) + 1 ] & [(a + b) + (c + 1 )
= ((a + b) + c) + l]. = a + ( b + c).3.(a + b ) + c . . . U)
e, em geral:
[fi(l) - f 2(l)] & [fi(c+ 1) - fi(c) + 1 ] &[f 2(c+ 1) f 2(c) + 1], D
Af (f:(c).3.f 2(c) ...V)
3 mencionado no contexto abaixo. V aqui uma definio de 3). (Ed.)
336 Sobre a lgica e a matemtica
mos (lados) dos passos relacionam-se entre si das maneiras caracterizadas pelo
esquema B. B, ento, assume o lugar de A: E como dissemos antes: o passo per
mitido no meu clculo se corresponde a um dos B.
Mas isso no significaria que conquistamos alguma simplificao ou reduo.
Portanto, no podemos dizer que Skolem colocou o sistema algbrico sobre uma
fundao menor pois ele no lhe deu fundaes no sentido que se usa na lgebra.
Se ele diz que o primeiro e o terceiro passos na terceira linha so justificados segun
do a lei associativa j provada, isso no nos revela mais do que se ele dissesse que
os passos foram feitos em conformidade com o paradigma a + (b + c) = (a + b) + c
(isto , correspondem ao paradigma) e um esquema a , (3, y foi derivado pelos
passos segundo o paradigma a . Mas B justifica esses passos ou no? O
que voc quer dizer com a palavra justificar? Bem, o passo justificado se foi
provado um teorema que seja vlido para todos os nmeros Mas em que caso
isso teria acontecido? O que voc chama de prova de que um teorema vlido
para todos os nmeros cardinais? Como voc sabe se um teorema realmente
vlido para todos os nmeros cardinais, j que voc no pode test-lo? O seu nico
critrio a prpria prova. Ento, voc estipula uma forma e a chama de forma da
prova de que uma proposio vlida para todos os nmeros cardinais. Nesse
caso, realmente no ganhamos nada quando nos demonstram primeiro a forma
geral dessas provas pois isso no nos mostra que a prova individual realmente nos
d o que queremos dela, porque, quero dizer, ela no justifica a prova nem de
monstra que uma prova de um teorema para todos os nmeros cardinais. Em
vez disso, a prova recorrente tem de ser a sua prpria justificativa. Se realmente
queremos justificar o nosso procedimento de prova como prova de uma generali
zao desse tipo, fazemos algo diferente: damos uma srie de exemplos e, ento,
ficamos satisfeitos com os exemplos e a lei que reconhecemos neles, e dizemos:
sim, a nossa prova realmente nos d o que queremos. Mas devemos lembrar que,
ao dar essa srie de exemplos, s traduzimos as notaes B e C para uma notao
diferente. (Pois a srie de exemplos no uma aplicao incompleta da forma
geral, mas outra expresso da lei.) Uma explicao da prova (ou do que ela prova)
na linguagem das palavras s traduz a prova para outra forma de expresso: por
causa disso, podemos descartar a explicao inteiramente. E, se o fazemos, as rela
es matemticas tornam-se muito mais claras, no mais obscurecidas pelas ex
presses equivocadas da linguagem das palavras. Por exemplo, se coloco B logo ao
lado de A, sem interpor nenhuma expresso da linguagem das palavras como para
todos os nmeros cardinais etc, ento, a aparncia enganosa de uma prova de
A por B no pode surgir. Vemos, ento, muito sobriamente, at que ponto vo as
relaes entre B e A e a + b = b + ae onde elas se detm. Apenas assim descobrimos
a estrutura real e as caractersticas importantes dessa relao e escapamos con
fuso causada pela forma da linguagem das palavras, que torna tudo uniforme.
Aqui, percebemos, antes de mais nada, que estamos interessados na rvore
das estruturas B, C etc., e que nela visvel em todos os lados, como um tipo
particular de ramificao, a seguinte forma
<p(l) = V (l)
<p(n + 1) = F((pn)
\|/(n + 1) = F(\|/n)
Essas formas surgem em diferentes arranjos e combinaes mas no so elementos
da construo no mesmo sentido que os paradigmas na prova de (a + (b + ( c + 1 )))
= (a + (b + c)) + 1 ou (a + b ) 2 = a2 + 2 ab + b 2. 0 objetivo das provas recorrentes
340 Sobre a lgica e a matemtica
algo assim: tudo o que a prova de uma proposio fundamental ci-evant faz
continuar o sistema de provas para trs. Mas as provas recorrentes no conti
nuam para trs o sistema de provas algbricas (com as velhas leis fundamentais);
elas so um novo sistema, que apenas parece correr paralelamente ao primeiro.
Imagine uma corrente composta de elos que podem, cada um, ser substitu
dos por dois menores. Qualquer coisa que seja ancorada pela corrente tambm
pode ser ancorada inteiramente pelos elos menores no lugar dos elos grandes.
Mas tambm poderiamos imaginar todo elo na corrente sendo feito de duas par
tes, cada uma, talvez, com a forma de meio-anel, que, juntas, formam um elo, mas
que, individualmente, no poderiam ser usadas como elos.
Ento, no significaria a mesma coisa dizer, por outro lado: a ancoragem feita
pelos elos grandes pode ser feita inteiramente por elos menores e, por outro lado:
a ancoragem pode ser feita inteiramente por meios-elos grandes. Qual a diferena?
motivo para pensar que um signo como 0.3 seja suficiente para fazer o que preci
samos. No um mero substituto no clculo; no clculo no h nenhum substituto.
Se voc pensa que a propriedade peculiar da diviso 1/3 = 0.3 um sintoma
"l
da periodicidade da frao decimal infinita, ou das fraes decimais da expanso,
ela realmente um sinal de que algo regular, mas o qu? As extenses que constru?
Mas no h outras. Seria uma maneira muito absurda de falar dizer: a proprie
dade da diviso uma indicao de que o resultado tem a forma [0 . a, 0 ., 0 .a|;
isso como querer dizer que uma diviso um indicador de que o resultado
um nmero. O signo 0.3 no expressa o seu significado a maior distncia que
0 . 3 3 3 . . porque esse signo oferece uma extenso de trs termos e tuna regra; a
extenso 0.333 no essencial para os nossos propsitos e, portanto, continua a ser
apenas a regra, que dada tambm por |0.3, 0., 0.^3|. A proposio Aps a
primeira casa, a diviso peridica significa apenas O primeiro resto igual ao
dividendo. Ou, novamente: a proposio Aps a primeira casa, a diviso resul
tar no mesmo nmero at o infinito significa O primeiro resto igual ao divi
dendo, exatamente como a proposio Esta rgua tem um raio infinito significa
que reta.
Agora, poderiamos dizer: as casas de um quociente de 1/3 so necessariamen
te todas 3s, e tudo o que isso podera significar seria, novamente, que o primeiro
resto como o dividendo e a primeira casa do quociente 3. A negao da primei
ra proposio, portanto, equivalente negao da segunda. Ento, o oposto de
necessariamente todas no , por assim dizer, uma palavra. S tenho de pergun
tar: qual o critrio da generalizao necessria e qual podera ser o critrio da
generalizao acidental (o critrio para todos os nmeros que tem incidentalmente
a propriedade e )?
36
A prova recorrente como uma srie de provas
Uma prova recorrente o termo geral de uma srie de provas. Ento, uma lei
para a construo de provas. questo de como essa forma geral pode poupar-
me a prova de uma proposio particular, por exemplo, 7 + (8 + 9) = (7 + 8) + 9,
a resposta que ela meramente deixa tudo pronto para a prova da proposio, ela
no a prova (na verdade, a proposio no ocorre nela). A prova composta antes
das formas gerais mais a proposio.
Portanto, sempre podemos escrever a prova recorrente como uma srie limi
tada com e assim por diante sem que ela perca nada de seu rigor. Ao mesmo
tempo, essa notao mostra mais claramente a sua relao com a equao A. Pois,
ento, a prova recorrente no mais parece uma justificativa de A no sentido de
uma prova algbrica como a prova de (a + b)2= a2 + 2ab + b2. Essa prova com
regras de clculo algbrico bem parecida com o clculo numrico.
5 + (4 + 3) = 5 + (4 + (2 + 1)) = 5 + ((4 + 2) + 1) =
= (5 + (4 + 2)) + 1 = (5 + (4 + (1 + 1))) + 1 =
346 Sobre a lgica e a matemtica
Como dissemos, poderiamos escrever a prova indutiva sem usar letras (sem
nenhuma perda de rigor). Ento, a definio recorrente a + (b + 1) = (a + b) + 1
teria de ser escrita como uma srie de definies. Como esto as coisas, essa srie
est oculta na explicao do seu uso. Naturalmente, podemos manter as letras na
definio por convenincia mas, nesse caso, na explicao, temos de introduzir
um signo como 1,(1) + 1,((1) + 1) + l e assim por diante ou, o que d no mesmo,
11, , ^ + 11 ! Mas, aqui, no devemos nos esquecer de que esse signo deveria
realmente ser (*),| 1, ^ + 11!
A essncia da nossa formulao , naturalmente, que o conceito todos os
nmeros dado apenas por uma estrutura como 11, ;, + 11 A generalidade
exposta no simbolismo por essa estrutura e no pode ser descrita por um (x).fx.
Naturalmente, a chamada prova recorrente no tuna definio no sentido
costumeiro da palavra porque no uma equao, j que a equao a + (b + 1) =
(a + b) + 1 apenas uma parte dela. Tampouco um produto lgico das equa
es. Em vez disso, uma lei para a construo de equaes, exatamente como
11, ^ + 11no um nmero mas uma lei etc. (O surpreendente na prova de a +
(b + c) = (a + b) + c , naturalmente, que se supe que provenha da definio ape
nas. Mas a no uma definio, mas uma regra geral para a adio).
Por outro lado, a generalidade dessa regra no diferente daquela da diviso
peridica 1/3 = 0.3. Isto , no h nada que a regra deixe em aberto ou precisando
"l
ser completado ou algo assim.
No esqueainos: o signo |l, c;, + 11 . . .N no nos interessa como uma ex
presso notvel do termo geral da srie de nmeros cardinais mas apenas na me
dida em que contrastado com signos de construo similar. N como em oposio
Provas indutivas e periodicidade 347
1 + (1 + 1) (1 + 1)+ 1,2 + (1 + 1) (2 + 1) + 1, 3 + (1 + 1) = (3 + 1) + 1
... e assim por diante
1 + (2 + 1) = (1 + 2)+ 1,2 + (2 + 1) = (2 + 2) + 1, 3 + (2 + 1) = (3 + 2) + 1
... e assim por diante
1 + (3 + 1) = (1 + 3)+ 1,2 + (3 + 1) = (2 + 3) + 1, 3 + (3 + 1) = (3 + 3) + 1
... e assim por diante
e assim por diante.
a + ( + l) (a + ) + l R
a + (( + l) + l) ((a + ;) + !) + !
Na aplicao da regra R (e a descrio da aplicao, claro, parte inerente do
signo para a regra), a percorre a srie 11 , , \ + 1 1 e, naturalmente, isso poderia ser
formulado expressamente por um signo adicional, digamos a >N. (Poderiamos
chamar a segunda e a terceira linhas da regra R, juntas, de operao, como o segundo
e o terceiro termo do signo N.) Assim tambm a explicao do uso da definio
recorrente a + (b + 1 ) = (a + b) + 1 uma parte dessa regra, ou, se quiser, uma
repetio da regra em outra forma, exatamente como 1 , 1 + 1 , 1 + 1 + 1 e assim
por diante significa u mesmo que (isto , traduzvel para) 11, , t, + 11. A tra
duo para a linguagem das palavras lana luz sobre o clculo com os novos signos
porque j dominamos o clculo com os signos da linguagem das palavras.
O signo de uma regra, como qualquer outro signo, um signo que pertence a
um clculo; seu trabalho no hipnotizar as pessoas para que aceitem uma apli
cao, mas ser usado no clculo em conformidade com um sistema. Portanto, a
forma exterior no mais essencial que a de uma seta o que essencial o
sistema no qual o signo para a regra empregado. O sistema de contrrios por
assim dizer do qual o signo distinguido etc.
O que estou chamando aqui de descrio da aplicao , ela prpria, uma
coisa que contm um e assim por diante e, portanto, no pode ser mais que um
suplemento ou substituto do signo da regra.
e, ento, negada. Se a consideramos como (x) .fx, ento, estamos tratando-a como
um produto lgico e o seu oposto a soma lgica das negaes de p u, p l2 etc. Essa
disjuno pode ser combinada com qualquer produto aleatrio Pn.p 21.p 22-- -Pum-
(Certamente, se voc comparar a proposio com um produto lgico, torna-se
infnitamente mais significativo e o seu oposto, vazio de significao). (Mas lem
bre que o e assim por diante na proposio vem aps uma vrgula, no aps um
e (, ) O e assim por diante no um signo de incompletude.)
A regra R infinitamente significativa? Como um produto lgico enorme
mente longo? .
Que podemos percorrer a srie numrica atravs da regra uma forma que
dada; nada afirmado a seu respeito e nada pode ser negado a seu respeito.
Percorrer a corrente de nmeros no algo que eu possa dizer que posso
provar. S posso provar alguma coisa a respeito da forma, ou padro, atravs do
qual percorro os nmeros.
Mas no podemos dizer que a regra numrica geral a + (b + e) = (a + b) + c
.. .A) tem a mesma generalidade que a + ( l + l) = ( a + l ) + l (no sentido de que
esta vlida para todo nmero cardinal e aquela para todo triplo de nmeros
cardinais) e que a prova indutiva de A justifica a regra A? Podemos dizer que po
demos dar a regra A, j que a prova demonstra que est sempre certa? 1/3 = 0.3
1 2 3 1
justifica a regra 1/3 = 0.3,1/3 = 0.333,1/3 = 0.333 e assim por diante? ...P)
A uma regra completamente inteligvel, exatamente como a regra de subs
tituio P. Mas no posso oferecer tal regra, pela razo de que j posso calcular
os casos particulares de A por meio de outra regra, exatemente como no posso
1
oferecer P como regra se ofereci uma regra pela qual possa calcular 1/3 = 0.3 etc.
a + (b + ) = (a + b) + 1
a + (b + (c + 1 )) = (a + (b + c)) +
I 1
(a + b) + (c + 1 ) ((a + b) + c) + 1
Ou em
X P v e
(a + 1 ) + 1 = (a + 1 ) + 1
s
i i * i m- ti e
1 + ( a + 1 ) = ( 1 + a) + 1
E um clculo como
(5 + 3) 2 = (5 + 3).(5 + 3) = 5.(5 + 3) = 5.(5 + 3) + 3.(5 + 3) =
= 5.5-1-5.3 + 3.5 + 3.3 = 52 + 2.5.3 + 32 ... R)
a partir do qual tambm podemos ler uma regra geral para a quadratura de um
binmio?
Podemos, por assim dizer, olhar esse clculo aritmtica ou algebricamente.
352 Sobre a lgica e a matemtica
Essa diferena entre as duas maneiras de olh-lo seria revelada, por exemplo,
se o exemplo tivesse sido escrito
O P p
(5 + 2) 2 = 52 + 2.2,5 + 2 2
Na maneira algbrica de olh-lo, teramos de distinguir o 2 na posio a dos 2 nas
posies (3 mas, na. aritmtica, eles no precisariam ser distinguidos. Estamos
acredito usando um clculo diferente em cada caso.
Segundo uma, mas no a outra, maneira de olh-lo, o clculo acima, por exem
plo, seria uma prova de (7 + 8 ) 2 = 8 2 + 2.7.8 + 8 2.
fj (D (1)
a + (b + 1 ) = (a + b) + 1
| (C + 1) fj- (c) + 1
a + (b + (c + 1 )) = ]a + (b + c) ] + 1
^ % (c -C1 ) f2 (c) + 1
(a + b) + (c + 1 ) = |(a + b) + c| + 1
Naturalmente, tambm teria sido suficiente (isto , teria sido um smbolo da mes
ma multiplicidade) se tivssemos escrito B e adicionado
f = a + (b + ),f = (a + b) +
(Aqui, devemos lembrar tambm que todo smbolo por mais explcito que
seja pode ser compreendido erroneamente.)
A primeira pessoa a chamar a ateno para o fato de que B pode ser visto
dessa maneira introduz um novo signo, vincule ou no marcas especiais a B ou
escreva o esquema R ao lado dele. No ltimo caso, o prprio R o novo signo, ou,
se preferir, B mais R. a maneira como ele chama a ateno para o fato que pro
duz o novo signo.
O que significa dizer: Estou chamando a sua ateno para o fato de que o
mesmo signo ocorre aqui em ambos os signos de funo (talvez voc no tenha
notado)? Significa que ele no entendeu a proposio? Afinal, o que ele no
notou foi algo que pertencia essencialmente proposio; no era como se fosse
alguma propriedade externa da proposio que ele no notara (Aqui, novamente,
percebemos que tipo de coisa chamada compreender uma proposio )
Quando eu disse que o novo signo com as marcas de nfase deve ter sido
derivado do antigo sem as marcas, isso no significou nada porque, claro, posso
considerar o signo com as marcas sem considerar a sua origem. Nesse caso, ele se
apresenta a mim como trs equaes [Frege]2, isto , como a forma de trs equa
es com certas sublinhas etc.
Certamente significativo que essa forma seja bem similar s trs equaes
sem as sublinhas; tambm significativo que o nmero cardinal 1 e o nmero ra
cional 1 sejam governados por regras similares mas isso no impede que o que
temos aqui seja um novo signo. O que estou fazendo agora com esse signo algo
inteiramente novo.
No como a suposio que fiz certa vez de que as pessoas podiam ter opera
do o clculo das funes de verdade de Frege-Russell com os signos e com
binados em ~ p . ~ q sem ningum perceber, e que Sheffer, ao invs de oferecer
uma nova definio, havia meramente chamado a ateno para uma propriedade
dos signos j em uso.
Poderiamos ter continuado a dividir sem nos darmos conta dos decimais re
correntes. Quando os vimos, vimos algo novo.
[a + (b + 1 ) = (a + b) + 1 ] & [a + (b + (c + 1 ))
= (a + (b + c)) + 1 ] 8 c [(a + b) + (c + 1 ) ((a + b) + c) + 1 ]. =
= .a + (b + c ).3 .(a + b) + c ...U )
e em geral:
[fi(l) f2(l)] 8 c [fi(c + 1 ) =1 f,(c) + 1 ] 8 c [f2(c + 1 ) ^
= f2 (c) + l ] . D
=f .f 1(c ).3 .f 2(c )...V )
Voc poderia ver a definio U sem saber por que uso essa abreviao.
2. Cf. talvez: Grundgesetze der Arithmetik, II, p. 114,115 107,108. Waismann citou
trechos desses . (Wittgenstein und der Wiener Kreis, pp. 150-1). Cf. aqui observaes de
Wittgenstein sobre eles. (Ed.)
Provas indutivas e periodicidade 355
Voc podera ver a definio sem entender o seu objetivo. Mas o seu objetivo
algo novo, no algo j contido nela como uma regra de substituio especfica.
Uma pessoa que descobre que uma proposio p decorre de uma das formas
q n p.q constri um novo signo, o signo para essa regra. (Estou supondo que um
clculo com p, q, r?, j esteve em uso, e que essa regra agora acrescentada para
fazer um novo clculo.)
Mas tambm poderiamos imaginar algum tendo escrito toda a lgica fregeana
ou russelliana nesse sistema e, no obstante, como Frege, chamando e de
seus signos primitivos porque no percebeu o outro sistema na sua proposio.
No percebemos que uma coisa pode ser vista de certa maneira at que ela
seja vista dessa maneira.
No percebemos que um aspecto possvel at que ele esteja l.
(Poderiamos ter operado um clculo com cubos sem ter tido a idia de colo
c-los juntos para formar prismas.)
Apndice 1
Tudo o que se quer dizer com o que escrevi acima que a razo pela qual
parece uma prova algbrica de A pensarmos que encontramos as mesmas va
riveis a, b, c nas equaes A que em a , p, y, e, ento, consideramos A como re
sultado de uma transformao dessas equaes. (Ao passo que, naturalmente,
Contudo, uma coisa est clara: se a prova recorrente nos d o direito de calcu
lar algebricamente, ento a prova aritmtica L 1 faz o mesmo.
Mais uma vez: a prova recorrente diz respeito claro essencialmente a
nmeros. Mas que utilidade tm os nmeros para mim quando quero operar de
maneira puramente algbrica? Ou, novamente, a prova de recorrncia til para
mim apenas quando quero us-la para justificar um passo em um clculo numrico.
Bem, antes da prova de Skolem, a lei associativa, por exemplo, era simplesmen
te aceita, sem que ningum fosse capaz de calcular o passo correspondente no cl
culo numrico? Isto , anteriormente ramos incapazes de calcular 5 + (4 + 3) =
(5 + 4) + 3 e o tratvamos como um axioma?
Isso significa que a e A esto separados pelo golfo entre a aritmtica e a lge
bra2, e se B deve ser considerado como prova de A, esse golfo tem de ser transposto
por uma estipulao.
perfeitamente claro que realmente usamos uma idia desse tipo de concor
dncia quando, por exemplo, calculamos rapidamente um exemplo numrico para
verificar a correo de uma proposio algbrica.
E, nesse sentido, eu podera, por exemplo, calcular
25x16 16x25
25 32
150 80
400 400
e dizer: sim, est certo, a.b igual a b.a se imagino que esquec.
2. Para repetir, a : a + (b + 1) = (a + b) + 1
A:a + (b + c) = (a + b) + c. (Ed.).
V II O INFINITO NA MATEMTICA
O PONTO DE VISTA EXTENSIVO
39
A generalidade na aritmtica
nhum mtodo para decidir se a proposio verdadeira ou falsa, ento ela des
propositada, isto , sem sentido. Mas, ento, iludimo-nos de que h realmente um
mtodo de verificao, um mtodo que no pode ser empregado, mas apenas por
causa da fraqueza humana. Essa verificao consiste em verificar todos os (infnita-
mente muitos) termos do produto e ( 0 ) . e ( l ) . e ( 2 ) . . . No caso, h confuso entre
impossibilidade fsica e o que chamado impossibilidade lgica. Pois pensamos
que demos sentido expresso verificao do produto infinito porque adotamos
a expresso infinitamente muitos para a designao de um nmero enormemente
grande. E quando ouvimos falar da impossibilidade de verificar o nmero infinito
de proposies surge perante a nossa mente a impossibilidade de verificar um
grande nmero de proposies, digamos, quando no temos tempo suficiente.
Lembre que no sentido em que impossvel verificar um nmero infinito de
proposies tambm impossvel tentar fazer isso. Se estamos usando as pala
vras Mas voc sabe o que tudo significa para recorrer aos casos em que esse
modo de discurso usado, no podemos considerar como questo de indiferena
se observamos uma distino entre os casos e o caso para o qual o uso das palavras
deve ser explicado. Naturalmente, sabemos o que quer dizer verificar um n
mero de proposies quanto correo e a essa entendimento que estamos
recorrendo quando afirmamos que se deve entender tambm a expresso ... in
finitamente muitas proposies. Mas o sentido da primeira expresso no de
pende das experincias que correspondem a ela? E essas experincias so deficien
tes no emprego (clculo) da segunda expresso; se alguma experincia for corre
lacionada a ela, uma fundamentalmente diferente.
Ramsey certa vez props expressar a proposio de que infinitamente mui
tos objetos satisfaziam uma funo f(^) pela negao de todas as proposies como
~ (3 x ).fx
(3x).fx. ~ (3 x , yj.fx.fy
(3x, yj.fx.fy. ~ (3 x ,y , zj.fx.fy.fc
e assim por diante.
(3x, y, z).fx.fy.fz, mas um signo cuja similaridade com esSa forma parece pro-
positadamente enganosa.
Podemos imaginar uma proposio matemtica como uma criatura que sabe,
ela prpria, se verdadeira ou falsa 'em contraste com proposies da experincia).
Uma proposio matemtica sabe que verdadeira ou que falsa. Se a res
peito de todos os nmeros, tambm deve fazer o exame de todos os nmeros. A
sua verdade ou falsidade deve estar contida nela como est o seu sentido.
Uma proposio que lida com todos os nmeros no pode ser tida como ve
rificada por um caminhar infinito pois, se o caminhar infinito, no leva a meta
nenhuma.
Imagine uma fileira infinitamente longa de rvores e, para que possamos
inspecion-las, um caminho ao seu lado. Tudo bem, o caminho deve ser sem fim.
Mas se sem fim, ento, isso significa justamente que voc no pode andar at o
fim dele. Isto , ele no me coloca em posio de examinar a fileira. Isto , o caminho
sem fim no tem um fim infinitamente distante, ele no tem nenhum fim.
Voc tampouco pode dizer: Uma proposio no pode lidar com todos os
nmeros, um por um; ento, tem de lidar com eles por meio do conceito de nme
ro, como se fosse um pis aller. Como no podemos fazer assim, temos de fazer de
outro jeito. Mas realmente possvel lidar com os nmeros um por um, s que isso
no leva totalidade. Esta no se encontra no caminho em que vamos passo a pas
so, nem mesmo no fim infinitamente distante desse caminho. (Tudo isso s signi
fica queg( 0 ) . e ( l ) . e ( 2 ) e assim por diante no o signo para um produto lgico.)
No pode ser uma questo contingente que todos os nmeros possuam uma
propriedade; se possuem, deve ser essencial a eles. A proposio homens que
tm nariz vermelho so de boa natureza no tem o mesmo sentido que a propo
sio homens que bebem vinho so de boa natureza, mesmo se os homens que
tm nariz vermelho so os mesmos homens que bebem vinho. Por outro lado, se
os nmeros m, n, o so a extenso do conceito matemtico, de modo que o caso
que fm.fn.fo, ento, a proposio de que os nmeros que satisfazem f tm a pro
priedade e tem o mesmo sentido que e(m ).e(n).e(o). Isso porque as proposi
es f(m) .f(n) .f(o) e e(m ).e(n) .e(o) podem ser transformados um no outro
sem deixar o domnio da gramtica.
Agora, considere a proposio: todos os n nmeros que satisfazem a condi
o F(^) tm, por acaso, a propriedade e. No caso, o que importa se a condio
F(^) uma condio matemtica. Se , ento, posso realmente derivar e(x) de
F(x), ainda que apenas pela disjuo dos n valores de F(). (Pois o que temos neste
caso , na verdade, uma disjuno). Ento, no chamarei isso de acaso. Por
outro lado, se a condio uma condio no-matemtica, podemos falar de aca
so. Por exemplo, se digo: todos os nmeros que vi hoje nos nibus eram nmeros
primos. (Mas, naturalmente, no podemos dizer: os nmeros 17,3,5,31 so por
acaso nmeros primos mais do que posso dizer o nmero 3 por acaso um
nmero primo.) Por acaso , na verdade, o oposto de em conformidade com
uma regra geral mas, por mais singular que parea, podemos dizer que a pro
posio 17, 3, 5, 31 so nmeros primos derivvel por uma regra geral exata
mente como a proposio 2 + 3 = 5.
Isto , se algum fica aturdido com nossa conversa de classe de pontos que se
encontram direita de um dado ponto e no tm nenhum comeo e diz: d-nos
um exemplo de tal classe samos da classe dos nmeros racionais, mas essa no
uma classe de pontos no sentido original.
Afinal, j disse, pode soar trivial se agora eu disser que o erro na abordagem
da teoria dos conjuntos consiste em repetidamente tratar as leis e enumeraes
(bstas) como essencialmente o mesmo tipo de coisa e ordenando-as em sries
paralelas para que uma preencha lacunas deixadas pela outra.
Para sua forma de expresso o clculo de conjuntos vale-se, tanto quanto pos
svel, da forma de expresso do clculo de nmeros cardinais. De certa maneira,
isso instrutivo, j que indica certas similaridades formais, mas tambm enga
noso, como chamar de faca uma coisa que no tem lmina nem cabo (Lichtenberg).
Mas, afinal, o mximo mais alto que quaisquer outros pontos arbitrrios
da curva. Mas a curva no composta de pontos, ela uma lei a que os pontos
obedecem ou, novamente, uma lei segundo a qual pontos podem ser construdos.
Se agora voc pergunta: quais pontos? s posso dizer bem, por exemplo, os
pontos P, Q, R etc. Por um lado, no podemos dar um nmero de pontos e dizer
que so todos os pontos que se encontram na curva e, por outro lado, no pode
mos falar de uma totalidade de pontos como algo descritvel que, embora ns,
humanos, no possamos contar, pode ser chamada a totalidade de todos os pon
tos da curva uma totalidade grande demais para ns, seres humanos. Por um
lado, h uma lei e, por outro, pontos na curva mas no todos os pontos da
curva. O mximo mais alto que qualquer ponto da curva que seja construda
mas no mais alto que uma totalidade de pontos, a menos que o critrio para
isso e, assim, o sentido da assero, seja, mais uma vez, simplesmente construo
segundo a lei da curva.
Isto , a definio finge que se uma classe finita ou infinita decorre do sucesso
ou fracasso da tentativa de correlacionar uma subclasse adequada com a classe in
teira; ao passo que simplesmente no h absolutamente tal processo de deciso.
Classe infinita e classe finita so categorias lgicas diferentes; o que pode ser
afirmado significativamente a respeito de uma categoria no pode ser afirmado
significativamente a respeito da outra.
Na teoria do conjunto o que clculo deve ser separado do que tenta ser (e,
naturalmente, no pode ser) teoria. As regras do jogo tm de ser separadas dos
enunciados no-essenciais a respeito das peas de xadrez.
Como que algum, por assim dizer, verifica as vriaS leis para a construo
de fraes binrias por meio do conjunto de combinaes finitas dos numerais
0 e 1? Os resultados de uma leipercorrem as combinaes finitas e, portanto,
as leis so completas, no que diz respeito s suas extenses, assim que todas as
combinaes finitas foram percorridas.
(As leis que correspondem aos nmeros irracionais pertencem todas ao mes
mo tipo na medida em que devem ser todas, por fim, receitas para a construo
sucessiva de fraes decimais. Em certo sentido, a notao decimal comum d
origem a um tipo comum.)
Tambm poderiamos expressar assim: todo ponto em uma extenso pode ser
aproximado por passos irracionais de um tipo especfico. Naturalmente, isso
apenas uma maneira de vestir com palavras diferentes a explicao segundo a
qual, com nmeros irracionais, designamos fraes decimais sem fim, e essa ex
plicao, por sua vez, apenas uma explicao tosca da notao decimal mais,
talvez, uma indicao de que distinguimos leis que resultam em decimais recor
rentes de leis que no o fazem.
Sinto-me tentado a dizer, os dgitos individuais da expanso (de 7t, por exem
pio) so sempre apenas os resultados, a casca da rvore plenamente crescida. O
que conta, ou o que ainda pode surgir de novo, o interior do tronco, onde est a
energia vital da rvore. Alterar a superfcie no muda a rvore. Para mud-la, voc
tem de penetrar no tronco ainda vivo.
At onde devo expandir t i para ter alguma familiaridade com ele? Natu
ralmente, isso bobagem. J estamos familiarizados com ele sem expandi-lo. E,
no mesmo sentido, eu poderia dizer que no estou familiarizado com t i. Aqui,
est claro que t i pertence a um sistema diferente de t i; isso algo que reconhece
mos se mantemos os olhos na natureza das leis em vez de comparar as expanses
de ambos.
Duas formas matemticas, das quais uma, mas no a outra, pode ser compa
rada no meu clculo com todos os nmeros racionais, no so nmeros no mesmo
sentido da palavra. A comparao de um nmero com um ponto na linha num
rica vlida apenas se podemos dizer a respeito de todos os dois nmeros a e b se a
est direita de b ou b direita de a.
O infinito na matemtica 383
a imagem incorreta da extenso infinita perante nossas mentes, pode parecer que
acrescentar a regra de substituio 7 - 5 a \ f l a alterasse muito menos que trocar
_____ ? - 5
|No que diz respeito aos nmeros irracionais, minha investigao diz apenas
que incorreto (ou enganoso) falar de nmeros irracionais de maneira a contrast-
los com os nmeros cardinais e os nmeros racionais como um tipo diferente de
nmero porque o que so chamados nmeros irracionais so espcies de nme
ros que so realmente diferentes to diferentes um do outro quanto os nme
ros racionais so diferentes de cada um deles. |
Deus pode conhecer todas as casas da expanso de n? teria sido uma boa
pergunta para os escolsticos.
que vejo uma lei, nao o que descrevo. Essa a nica coisa que me impede de
expressar em meus signos mais do que posso entender.)
O que quero dizer tambm poderia ser expressado nas palavras: no pode
mos descobrir nenhuma ligao entre partes da matemtica ou da lgica que no
estivesse l sem sabermos.
e em que casos (na experincia) digo que um intelecto apreende alguma coisa?
Voc, ento, perceber que a descrio do apreender ela prpria um problema.
(Compare: a soluo de um problema matemtico.)
bm est nas Observaes, isso no significa que est apenas repetindo o que disse
l. O pargrafo pode ter uma importncia diferente, pode pertencer discusso
de maneira diferente. (Sabemos que h mais a ser dito sobre esta questo.)
Wittgenstein refere-se a meu livro vrias vezes no seu original, desde o incio
de 1929 at as passagens mais tardias das Investigaes. Era o que seu escrito produ
zira. A primeira tentativa de dar ao material a forma de livro foi o volume datilogra
fado que fez no vero de 1930 as Observaes filosficas (publicadas em alemo
em 1964). O grande texto datilografado de 1933 o que mencionamos como
fonte deste volume parece um livro. Todos os que o vem pela primeira vez
pensam que . Mas est incompleto, de muitas maneiras. E Wittgenstein evidente
mente o via como uma etapa no ordenamento do seu material. (Cf. a smile de
ordenar livros nas prateleiras de uma biblioteca, no Caderno Azul, pp. 44-45.)
A maioria das passagens que constituem o texto do original datilografado de
1933 (chamado 213 no catlogo), eles as escrevera em volumes manuscritos en
tre julho de 1930 e julho de 1932, mas no na ordem em que esto no texto datilo
grafado. A partir dos volumes manuscritos, ele ditou dois textos datilografados,
um razoavelmente pequeno e o outro muito maior cerca de 850 pginas ao
todo. J havia um texto datilografado feito a partir dos manuscritos escritos antes
de julho de 1930 no o texto datilografado que eram as Observaes filosficas,
mas um texto datilografado que ele cortou em pedaos e peneirou e reuniu de ma
neira diferente paraJazeras Observaes filosficas. Dessa vez usou uma cpia intacta
desse texto datilografado juntamente com os dois posteriores da mesma maneira,
cortando-os em tiras: tiras pequenas, s vezes com apenas um pargrafo ou uma
sentena, s vezes grupos de pargrafos; e, colocando-os na ordem que percebia
que deviam ter. Grupos de tiras na sua ordem foram unidos para formar cap
tulos e ele deu a cada captulo um ttulo. Ento, juntou os captulos em uma or
dem definida para formar sees. Deu a cada seo um ttulo e colocou-as
tambm em uma ordem definida. Nessa ordem, o todo finalmente foi datilografa
do. Mais tarde, fez um sumrio com os ttulos das sees e captulos.
Certos captulos, em especial, deixam uma sensao de que ele no pode ter
pensado que, datilografada a cpia consecutiva, o trabalho chegara ao fim, exceto
pelos detalhes burocrticos. Ele agora escrevia, vezes e vezes, entre as linhas do texto
ou na margem: No daqui, Vai para a pgina... acima, Faz parte de Significa
do, 9, Junto com O que uma proposio emprica?, Junto de 14, p. 58 ou
89, p. 414, e assim por diante. Mas, mais do que isso, cerca de 350 pginas a
maior parte da primeira metade do texto datilografado encontram-se to cober
tas de mudanas, acrscimos, supresses, perguntas e novas verses que ningum
jamais conseguira encontrar o texto correto e copi-lo a no ser que o prprio
autor o reescrevesse, incluindo as novas verses e resumindo tudo.
Ele agora no faz nenhuma diviso em captulos e sees. Deixou de lado n
meros de pargrafos e qualquer sugesto de sumrio. No sabemos por qu. (No
encontramos captulosnem sumrios em nenhum outro lugar dos escritos de Witt
genstein. Ele pode ter encontrado desvantagens na experincia que tentou aqui.)
Os espaos extra entre pargrafos e grupos de pargrafos so dele, e ele achou
Nota sobre a edio 391
Londres, 1969
Nota do tradutor ingls
Oxford, 1973
Correes edio alem de 1969
h
| www.loyola.com.br_
ISBN 978-85-15-02606-7
llllllllll
788515 026067