Escolar Documentos
Profissional Documentos
Cultura Documentos
Tractatus Logico Philosophicus
Tractatus Logico Philosophicus
Logico-Philosophicus
Obra publicada
com a colaborao da
UNIVERSIDADE DE SO PAULO
REITOR:
VICE-REITOR
LUDWIG WITTGENSTEIN
13IBL OTECA UNIVERSITRIA
Srie 1.. Filosofia
Volume 10
Direo:
Dr. CRUZ COSTA
(da Universidade de Sdo Paulo)
Tractatus
Logico-Philosophieus
Traduo e apresentao de
Jos
ARTHUR GIANNOTTI
Tftulo original:
Logisch-Philosophische Abhandlung
publicado em 1921 na revista de Oatwald
Annalen der Naturphilesephie
SUMRIO
1961
Introduo
Prefdcio
53
Tractatus Logico-Philosophicus
55
capa de
nus/cisco G. SOLERA
19
88
'Ingresso no Brasil
Notas traduo
131
Glossdrio
135
ndice remissivo
137
INTRODUO
certo desnortear aquele que no o abordar de uma perspectiva crtica que s a histria pode oferecer. Considerando
Asse provvel estranhamento que fomos levados a preparar
a longa introduo que se segue. Correndo o risco de impa-,
cientar o leitor com um texto relativamente grande, pretendemos apenas reconstruir os principais problemas semnticos
tais como Wittgenstein os encontrou. Com a publicao dos
inditos anteriores ao Tractatus, estamos, ademais, em condies de traar sua evoluo desde o ponto de partida, com
Frege e Russell, at o momento em que se formulam suas
principais teses. Retornando, pois, s origens, esboando uma
genealogia de seus conceitos bsicos, nada mais pretendemos
do que familiarizar o leitor com certas questes lgicas que
o formalismo moderno tem em geral negligenciado. Conduzido at a fronteira dsse livro, o leitor dever, sAzinho e
contando com seus prprios recursos, penetrar ento num
terreno em que impera, absoluta, a palavra de Wittgenstein.
As inovaes de Frege.
A obra de Gottlob Frege ocupa sem dvida um dos
pontos mais altos na histria da lgica, podendo apenas ser
comparada com a de Aristteles ou a de Leibniz; mas,
apesar disso, ou talvez por isso mesmo, sua penetrao foi
lenta e penosa.. Basta lembrar que smente hoje que se
publica um volume reunindo seus artigos dispersos em revistas'alems, de acesso dificlimo. Seu primeiro livro de
1879 Begriffschrift: Eine der arithmetischen neOgebildete
Formelsprache de8 reinen 1)enkfkns (Ideografia: uma linguagem
formal do pensamento puro imitada da linguagem da aritmUca) que no teve a mnima repercusso. Em 1884 publica
Grundktgen (ler Arithmetik: Eine logisch-mathematische Uneersuchung itber deu' Begriff der Zahl (Fundamentos da ar itmtica:
ur investigao lgico-matemdtica sbre o conceito de nm ero)(2).
Depois de uma intensa participao nas revistas da poca,
M
publica em 1893 sua obra mxima em dois volumes:
Grundgesetze der A.ritionetik (Princpios da aritmtica).
1959:
(2) }b1 uma traduo inglsa publicada por Basil Blackwell, Oxford,
(3) Cf. a coletnea feita por Peter Geach e Max Black: Translations
Basil Blackwell,
Oxford, 1952.
expresses = 4 e 3> 2 denotariam o verdadeiro, enquanto s outras denotariam o falso. Com isto se introduz
a noo de valor de verdade, uma das maiores conquistas
do pensamento lgico contemporneo.
Como distinguir, porm, 2 2 = 4 e 3 > 2, se ambas possuem
a mesma denotao (Bedeutung) verdadeira ? Graas a seu
sentido (Sinn), forma de comunicar alguma coisa independentemente de seus valres de verdade, isto , da relao
com o valor falso ou o valor verdadeiro. De sorte que Frege
conduzido a distinguir nitidamente a denotao de um
nome, isto , o objeto significado, da maneira pela qual ste
objeto logicamente apresentado. Da poder dizer: o nome
exprime (ausdrfcekt) seu sentido e denota (bedeutet) sua denotao.
Uma teoria da funo no depende da exata distino
entre sentido e denotao; tanto assim que sses conceitos
srnente aparecem nas ltimas obras de Frege, quando a
teoria da funo j estava terminada; o mesmo no acontece,
todavia, com o estudo do nome, das expresses que podem
aparecer como argumento das funes. Vejamos como se d
essa ligao.
A expresso 2x ambgua, na medida em que designa
vrios nmeros conforme forem dados valres a x: maior,
porm, a ambigidade de expresses do tipo 2x = y, sobretudo porque fazem intervir a complicada noo de igualdade.
No Begrzifsehrift Frege a interpreta como sinal a unir smbolos
diferentes postos pelo mesmo objeto. Mas a introduo da
noo de sentido, leva-o a reformular esta primeira teoria
insuficiente, passando a igualdade a representar a ligao de
dois sentidos diferentes que se reportam ao mesmo objeto
denotado. Podemos dizer que "Scott" equivale a "o autor
de Waverley" porque stes dois sentidos diferentes se reportam ao mesmo objeto.
Nem todos os nomes, porm, possuem denotao. "O
corpo mais distante da terra", "Bucfalo", "Aquiles" so
palavras inteligveis a que, entretanto, no corresponde objeto
algum. A primeira tornamse significante graas composio
de nomes denotativos, mas a prpria composio no deve
eo ipso possuir denotao prpria. As ,outras so nomes
de figuras lendrias, cujo sentido se apreende consultando
os. poetas ou um bom dicionrio. Alm do mais, h, uma
4
5
Isso psto, seguem-se conseqncias as mais imprevisveis. Primeiramente preciso distinguir a relao que um
argumento mantm com a funo (relao subter, ou e na
notao de Peano), da relao que um contedo mantm
com outro mais extenso (relao sub ou de incluso)( 6). A
antiga noo filosfica de subsuno, a relao que o conceito mantm com seus elementos, entendida na base da
relao entre predicado e sujeito, d lugar a duas noes
totalmente distintas que revolucionam a teoria do juzo.
Assim que "Scrates mortal", onde o argumento "Scrates"
satisfaz a funo "... mortal", no pode mais ser posta
no mesmo nvel, como fazia a silogstica tradicional, com a
proposio "Todos os homens so mortais", em que dois
conceitos so relacionados em virtude de suas respectivas
extenses. Do mesmo modo, a relao de parte e todo a
que, desde Aristteles, estava subordinada a noo de conceito, perde importncia para a lgica em vista de sua ambigidade. Os diagramas de Euler constituem apenas uma
analogia imperfeita das verdadeiras relaes que as propo-,
sies no silogismo mantm entre si(7).
Em segundo lugar, a prpria extenso passa por uma
reforma radical, deixando de constituir na coleo de objetos
que caem sob o conceito, para vir a ser determinada por uma
propriedade do prprio conceito; firma -sei por conseguinte, a
absoluta anterioridade da intenso sbre a extenso. Aqui
preciso recorrer importantssima distino entre propriedades (Eigenschaften) e marcas caractersticas (Merkmale) de
um conceito, estas sendo propriedades das coisas que caem
sob o conceito, aquelas, propriedades do prprio conceito,
ou melhor conceitos de conceitos ou conceitos de segunda
ordem. Cumpre no confundir, por exemplo, "retangular"
como propriedade dos objetos que caem sob o conceito "tringulo retngulo" com a propriedade expressa pela frase "no
ha tringulos retangulares acutngulos" que se refere diretamente caracterstica do conceito em questo de no possuir
sob si conceito algum(8). Em outras palavras, preciso no
confundir as qualidades dos objetos cujos nomes so argumento do conceito com as propriedades do prprio conceito.
(6) Ibid., p. 94.
(7) Ibid., p. 106.
(8) Grundlagen, 53; Translations, p. 51.
A extenso figura entre as segundas, pois consiste na propriedade de o conceito dispor sob sua gide tantos e tais objetos.
Alm do mais, a introduo de conceitos de segunda
ordem resolve uma srie de dificuldades que o simbolismo
matemtico havia levantado: 1) a classe nula, cuja compreenso se torna difcil de um ponto de vista extensional, na
medida em que afirma a existncia de uma coleo que no
possui elementos, passa a corresponder propriedade peculiar
a certos conceitos, como " um decaedro regular", de no
terem nada sob si; 2) o membro de uma classe no se confunde com a classe de um nico elemento, pois o primeiro
um elemento da classe enquanto que a ltima determinada pela propriedade de certos conceitos serem predicados
de um nico elemento; 3) a existncia dos objetos matem
ticos passa a ser determinada por um conceito de segunda
ordem, de modo que se torna totalmente independente das
formas da sensibilidade, ao contrrio do que errneamente
pensava o kantismo; 4) finalmente o nmero cardinal recebe
uma definio satisfatria, baseada na propriedade de os conceitos possurem sob si determinada quantidade de objetos.
No entanto, a clivagem radical entre coisas e conceitos,
que se estriba no carter predicativo dsses ltimos, no se,
faz sem dificuldades. Contra ela se levanta a seguinte objeo
que o lgico Kerry apontou: o conceito tambm pode surgir
como sujeito, como na proposio "o conceito de nmero
de segunda ordem". A resposta de Frege() reafirma: 1), h
trmos que s podem ocorrer como sujeitos, isto , como.
nomes; 2) podemos ainda ter um conceito subordinado a
outro, mas, neste caso, estamos operando com o nome e no
Com o prprio conceito. No exemplo acima, o predicado "de
segunda ordem" seria dito do nome "conceito de nmero".
Apesar de esta .soluo estar de acrdo com nossos hbitos
atuais, moldados pelo neopositivismo que tanto insistiu na
diferena entre lngua objetal e metalngua, ela no d conta
do fato de a predicao se fazer sbre o objeto nomeado pelo
sujeito e no sbre o prprio nome sujeito. Alm do mais,
preciso salientar outra dificuldade apontada pelo primeiro
Russell(9: o 'carter predicativo do conceito dificilmente se
coaduna com a situao de sujeito. E o prprio Frege quem
(9) Translations, pp. 42 e seg.
(10) Cf. Principies, p. 507.
10
11
janeiro-maro 1966.
12
14
15
16
17
58,
57,
60,
57,
p.
p.
p.
p.
56.
54.
59.
62.
18 .19
38, p. 35.
18, p. 16.
478, p. 503.
16, pp. 14-15.
bilidade da definio cruzada dos conectivos lgicos e a reduo de todos les a um s, resultado obtido muito mais
tarde, no foi difcil a Russell tomar a implicao como indefinvel.
O carter formal da matemtica faz, contudo, com que
a implicao material somente possa operar em casos muito
particulares. "Na matemtica assertamos que, se uma certa
assero p verdadeira para uma entidade x ou para um
conjunto de entidades x, y, z( . . .) ento alguma outra assero q verdadeira para tais entidades. Assertamos uma
relao entre as asseres p e q, que chamo implicao formal"(34). Tomemos um exemplo: "Para todos os valres
de x, se x fr um tringulo eqingulo, x um tringulo
eqiltero", esta frmula, que interpreta a proposio corrente "Todos os tringulos eqilteros so eqingulos",
afirma que as duas asseres " um tringulo eqiltero" e
" um tringulo eqingulo" so ditas da entidade x, ou
melhor, das vrias entidades representadas por x. Como,
entretanto, explicar a implicao formal ? Quais so suas
relaes com a material ?
Antes de tudo preciso salientar que a implicao formal
supe a anlise interna da proposio. Ora, essa anlise
difere totalmente em Frege e em Russell. Para o primeiro
a unidade proposieional sempre se resolve num trmo e num
conceito ou, conforme as expresses do segundo, num trmo
e numa assero. Esta ltima palavra designa a parte restante da proposio depois de subtrado o trmo-sujeito, de
forma que possui um significado totalmente diferente daquele
que o toma como a asseverao do contedo proposicional.
Para ambos os filsofos, todavia, a proposio configura
uma unidade, uma maneira peculiar de totalizao de seus
elementos. Mas enquanto Frege acredita que a juno do
trmo e do conceito a recompe, Russell nega que isto sempre
ocorra. Na verdade, em tdas as proposies de forma sujeitopredicado, a unidade imediatamente se refaz to logo um
trmo ocupe o lugar do argumento da funo. Isto, porm,
no acontece em todos os casos de proposies mais complexas. A reduo da sentena "todos os homens so mortais"
em seus elementos essenciais redunda em afirmar que "para
todo x, se x homem, ento x mortal"; a saber, dois con(34) Ibid., 5, p. 5.
20
21
22
23
Principia.
26
28
29
nos parece ser de percepo, estejamos seguros de no incorrermos em rro, psto que podemos errar ao pensar que nosso
juzo foi derivado meramente da anlise do que foi percebido. Mas se nosso juzo assim se derivou, ento deve ser
verdadeiro. De fato, podemos definir verdade sempre que
se diga respeito a tais juzos, consistindo no fato de que h
um complexo correspondendo ao pensamento discursivo que
o juzo. Isto , ao julgarmos `aemrelaoRcomb', nosso
juzo dito verdadeiro quando h o complexo 'aemrelaoRcomb' e dito falso quando isto no ocorre. Esta a definio de verdade em relao a juzos dessa espcie"( 54). Dsse
modo, o juzo no tem um nico objeto, a proposio, mas
se defronta com objetos entrelaados por uma relao em
que o sujeito aparece como um dos trmos. "Isto vermelho", por exemplo, se resolve em trs trmos: a mente,
isto, e o vermelho . de modo que at mesmo uma proposio da forma sujeito-predicado se transforma numa relao. Nada mais natural assim do que considerar a proposio
como um trmo incompleto, cujo complemento se oculta na
ao do sujeito. Tda proposio se completa ~ente quando
integra no seu sentido o ato de julgar(55).
Segue-se da a determinao do complexo como todo
objeto da forma "aestemrelaoRcomb", ou "atemaqualidadeq", ou "aouboucestonarelaoS", a saber, tudo o que ocorre no universo sem ser simples(56).
Cumpre finalmente mencionar a hierarquia das funes
e das proposies. Examinemos mais de perto a primeira.
O tipo lgico considerado como a coleo dos argumentos
para os quais uma funo tem valor. Quando numa expresso
surge uma varivel aparente, o domnio dos valres dessa
varivel forma o tipo. Alm do mais, o prprio princpio
do crculo vicioso pode ser expresso em trmos de variveis:
tudo o que contm uma varivel aparente no pode vir a
ser valor dessa varivel. Dado isso, a expresso que contm
uma varivel aparente deve ser de tipo superior qule que
ordena os possveis valres da varivel(57).
(54)
(55)
(56)
(57)
30
Ibid., p. 43.
Ibid., p. 44.
Ibid., p. 44.
"Mathematical Logic", in Logic and Knowledge, p. 75.
32
aquela cuja verdade ou falsidade depende ~ente da extenso de seus argumentos. Neste caso, conveniente encarar
a proposio como concernindo extenso. J que as funes
extensionais so muitas e importantes, natural olhar a
extenso como um objeto, chamado classe, que se supe
ser o sujeito de tdas as sentenas equivalentes sbre as vrias
funes formalmente equivalentes. Dsse modo, se dissermos, por exemplo, h doze apstolos, natural tomar esta
sentena como atribuindo a propriedade de ser doze a uma
certa coleo de homens, nomeadamente daqueles que foram
os apstolos, ao invs de atribuir a propriedade de ser satisfeita por doze argumentos funo 'x era um apstolo'. Esta
viso encorajada pelo sentimento de que existe algo que
idntico no caso de as duas funes 'terem a mesma extenso'.
Se, alm do mais, tomarmos certos problemas simples como
`quantas combinaes possvel fazer com n coisas' parece
primeira vista necessrio que cada 'combinao' fsse um
objeto singular que pudesse ser contado como uno. Isto,
no entanto, no preciso de um ponto de vista tcnico, e
no vemos razo para supor que seja filesdficamente verdadeiro"(60).
Pretendendo mostrar a necessidade de um tratamento
particular das funes extensionais, Russell estabelece uma
frmula para reduzir tdas as funes a funes extensionais,
processo que no convm examinar por aqui. Basta porm
lembrar, primeiramente, que a funo da funo passa a
ser substituda por uma funo derivada que tem por argumento, em vez da funo (ta, a classe determinada por ela
ou pelas outras funes formalmente equivalentes. Em segundo lugar, para que esta funo derivada seja sempre significativa para argumentos de qualquer tipo necessrio e suficiente que o axioma da redutibilidade garanta a existncia
de uma funo predicativa equivalente a (fix, de sorte que a
funo derivada que tem as classes como argumentos no
apenas substitui qualquer funo por uma funo extensional mas ainda, remove prticamente a necessidade de considerar as diferenas de tipo entre as funes cujos argumentos
so do mesmo tipo. Esta conseqncia equivale a uma simplificao na hierarquia dos tipos, de sorte que tudo se passa
como se no considerssemos seno funes predicativas(61).
(60) Ibid., p. 74.
(61) Ibid., p. 75.
33
Convm examinar essa doutrina luz dos correspondentes textos de Frege. O ponto de partida o mesmo: a
passagem formal das funes para o substrato da identidade. Mas essa passagem tem agora o carter prtico, de
convenincia, no respondendo a nenhum imperativo terico.
Alm do mais, operando como funo de funo, ao invs
da funo de Frege, Russell mostra que importa apenas definir
as condies de seu uso e da substituio de seus argumentos,
sem dar a menor ateno a um possvel substrato ontolgico.
Nessas condies, falar do objeto formado pela classe no
mais do que uma concesso ao uso corrente das expresses
matemticas e um artifcio para facilitar o discurso: a funo
derivada que a introduz definida de tal forma que sempre
ser possvel substituir a objetividade inoportuna por uma
expresso que se reporta a indivduos. Em virtude desse
carter vicrio da noo de classe, esta no pode estabelecer
uma propriedade geral de uma funo, no pode ter a espessura de um conceito de segunda ordem, como em Frege; se
ela propriedade, o de uma coleo de objetos que, todavia,
continuam a estar sob o signo da multiplicidade. Do ponto
de vista do clculo ambos os caminhos se equivalem, pois
ambos terminam por garantir a definio de nmero cardinal
como classe de classe (Russell) ou propriedade de uma propriedade (Frege). &mente, graas a uma astuciosa construo simblica, a objetividade discutvel da classe como
unidade excluda do campo dos legtimos problemas matemticos. Mais uma vez o princpio de Occam devasta os
objetos da ontologia formal, mais uma vez se reduz o nmero de objetos necessrios e das frases cujo significado se
d no imediato.
IV Os primeiros passos de Wittgenstein.
conhecida a diversidade de interesses do jovem Wittgenstein. Nos fins de 1911, porm, tendo lido os Principies of
Mathematics, apaixona-se pela filosofia da matemtica e
decide abandonar de vez seus estudos de engenharia. Procura
Frege em Iena que, segundo consta, o aconselha a trabalhar
com Russell. Assim que, no incio do ano seguinte, se matricula na Universidade de Cambridge. Em pouco tempo se
estabelece ntima colaborao entre o professor no apogeu
de sua carreira filosfica e o aluno cujo gnio despertava
34
36
36
37
38
nvel, sua indefinibilidade dependeria dos intersses particulares de cada sistema axiomtico. Mas numa poca como
a nossa, em que o absoluto psto em xeque em todos os
sentidos, em que medida Wittgenstein o recuperar precisamente no campo da lgica, onde tem sofrido os ataques mais
devastadores ?
"A forma da proposio pode ser simbolizada da seguinte
maneira: consideremos smbolos da forma 'xRy' aos quais
correspondem primriamente pares de objetos, dentre os
quais um tem o nome 'x' e o outro o nome 'y'. Os x e os y
esto em vrias relaes mtuas e, entre outras, a relao R
est includa em algumas e em outras no. Determino
sentido de 'xRy' estabelecendo a regra: quando os fatos se
comportam (behave) com referncia a 'xRy' tal que a denotao de 'x' est na relao R com o sentido de 'y', digo
ento que sses fatos so `de mesmo sentido' (gleichsinnig)
que a proposio 'xRy'; no caso contrrio, `de sentido oposto'
(entgegengesetzt). Correlaciono os fatos ao smbolo 'xRy', dividindo-os em aqules de mesmo sentido e os de sentido oposto.
A esta correlao corresponde a correlao do nome e da
denotao. Ambas so psicolgicas. Dsse modo, compre. endo a forma 'xRy' quando sei que discrimina o comportamento de x e de y conforme estejam ou no na relao R.
Por sse meio extraio dentre tdas as possveis relaes a
relao R, da mesma maneira que, por meio do nome, extraio
sua denotao dentre tdas as coisas possveis"("). Essa
teoria explora a qualidade de a proposio ser tambm um
fato, e como tal urna estrutura articulada. Na verdade, a
escrita ou a notao simblica podem sugerir o contrrio,
levando-nos a pensar a proposio como um conjunto de
partes justapostas. Se, porm, no nos enganarmos com as
aparncias, descobrimos que as proposies possuem uma
articulao interna que as torna smbolos de outros fatos
que possuem a mesma articulao(72), de sorte que o smbolo
smbolo de algo porque dos dois fatos possuem a mesma
estrutura. preciso, porm, no pensar a referncia do signo
ao significado nem nos trmos da nominao nem como uma
relao qualquer. O rro fundamental de Frege consistiu
em reduzir essa referncia a um mesmo tipo, fazendo com
(71) Ibid., p. 203.
(72) Ibid., p. 211.
39
40
42
Schriften, I, p. 197.
Ibid., p. 205.
Cf. 2.0201.
Schriften, I, p. 205.
43
44
47
TRACTATUS
LOGICO-PHILO SOPHICUS
TRACTATUS LOGICO-PHILOSOPHICUS
A memria de
DAVID H. PINSENT
PREFCIO
Talvez ste livro ~ente seja compreendido por quem
j tenha cogitado por si prprio os pensamentos aqui expressos,
ou ao menos cogitado pensamentos semelhantes. No ,
pois, um manual. Ter alcanado seu objetivo se agradar
a quem o ler com ateno.
Trata de problemas filosficos e mostra, creio eu, que
o questionar dsses problemas repousa na m compreenso
da lgica de nossa linguagem. Poder-se-ia apanhar todo o
sentido do livro com estas palavras: em geral o que pode
ser dito, o pode ser claramente, mas o que no se pode falar
deve-se calar.
Pretende, portanto, estabelecer um limite ao pensar, ou
melhor, no ao pensar mas expresso do pensamento, porquanto para traar um limite ao pensar deveramos poder
pensar ambos os lados dsse limite (de sorte que deveramos
pensar o que no pode ser pensado).
O limite ser, pois, traado ricamente no interior da
lngua; tudo o que fica alm dle ser simplesmente absurdo.
No quero julgar at onde meus esforos coincidem com
os de outros filsofos. Por certo o que escrevi no pretende
ser original no pormenor; por isso no dou fonte alguma,
psto que me indiferente se o que pensei j foi pensado por
algum antes de mim.
Quero apenas mencionar que devo grande parte do estmulo a meus pensamentos s grandiosas obras de Frege e
aos trabalhos de meu amigo Sr. Bertrand Russell.
53
Caso meu trabalho tenha valor, le ser duplo. Primeiramente porque exprime pensamentos, valor que ser tanto
maior quanto melhor os pensamentos- forem expressos. Nisto
estou consciente de estar muito aqum do possvel, simplesmente porque minhas fras so poucas para cumprir a tarefa.
Possam outros vir e fazer melhor.
No entanto, a verdade dos pensamentos comunicados
aqui me parece intocvel e definitiva, de modo que penso
ter resolvido os problemas no que essencial. Se no me
engano, o segundo valor dsse trabalho mostrar quo pouco
se consegue quando se resolvem tais problemas..
1(*)
1.1
1.11
1.12
L. W.
1.13
Viena, 1918
1.2
1.21
2
2.01
2.011
2.012
. 2.0121
54
55
57
59
60
2.21
63
A proposio que trata de um complexo achase numa relao interna com a proposio que trata
das partes constituintes dle.
O complexo s6 pode ser dado por sua descrio,
e esta concordar ou no concordar com le. A
proposio que se ocupa de um complexo inexistente no ser absurda, mas simplesmente falsa.
Que um elemento proposicional designa um
complexo, isto pode ser visto graas a uma indeterminabilidade na proposio na qual le aparece.
Sabemos por esta proposio que nem tudo est
determinado. (A designao da universalidade j
contm, com efeito, uma protofigurao.)
A reunio dos smbolos de um complexo em
um smbolo simples pode ser expressa por uma
definio.
Existe apenas uma e uma nica anlise completa
3.25
da proposio.
3.251 A proposio exprime o que expresso de um
modo determinado e dado claramente: A proposio
articulada.
O nome no para ser desmembrado ademais
3.26
por uma definio: um signo primitivo.
3.261 Cada signo definido designa por sbre os signos
pelos quais definido, e as definies mostram o
caminho.
Dis signos, um signo primitivo e outro definido por signos primitivos, no podem designar pela
mesma maneira. Nomes no podem ser decompostos
por definies. (Nenhum signo isolado e autnomo
possui denotao.)
3.262 O que no signo no vem expresso indicado
pela aplicao. O que os signos escondem, a aplicao exprime.
3.263 As denotaes dos signos, primitivos podem ser
esclarecidas por elucidaes. Elucidaes so propo.,
sies que contm os signos primitivos. S podem,
portanto, ser entendidas quando j se conhecem as
denotaes dsses signos.
. 3.24
65
3.317 A fixao dos valres das variveis proposicionais consiste na indicao das proposies, as quais
tm como marca caracterstica comum a varivel.
3.324
A fixao uma descrio dessas proposies.
A fixao se ocupar, pois, finitamente dos
3.325
smbolos, no se ocupando de sua denotao.
E para a fixao essencial ser apenas uma
descrio de smbolos, nada assertando sbre o designado.
4.032
. 4.04
4.041 Esta multiplicidade matemtica no pode naturalmente ser de nvo afigurada. Ao afigurar no
possvel colocar-se fora dela.
4.0411 Se quisssemos, por exemplo, exprimir o que
expresso por "(x) fx" apondo um ndice junto a
"fx", a saber: "Univ. fx", isto no bastaria no
saberamos o que foi universalizado. Se quisssemos
indic-lo por um ndice "a" tal como "Azar,
isto tambm no bastaria no conheceramos o
escopo da designao da universalidade.
Se quisssemos tentar graas introduo de
uma marca no lugar do argumento por exemplo:
"(A, A) . F(A, A)" , isto tambm no bastaria,
pois no poderamos fixar a identidade das variveis. E assim por diante.
Todos sses modos de designao no bastam,
porquanto no possuem a necessria multiplicidade
matemtica.
4.0412 Pelo mesmo motivo no basta a explicao
idealista da viso das relaes espaciais por meia,
de "culos espaciais", j que stes no podem explicar
a multiplicidade que essas relaes possuem.
4.05
4.06 Smente por isso a proposio pode ser verdadeira ou falsa, quando ela uma figurao da realidade.
74
4.064
4.0641
4.1
4.11
4.111
4.112
76
smile falha apenas no ponto seguinte: podemos indicar um ponto do papel sem saber o que
seja branco e o que seja prto; uma proposio
sem sentido, porm, no corresponde a nada, pois
no designa coisa alguma (valor de verdade) cujas
propriedades fssem chamadas "falsas" ou "verdadeiras" o verbo de uma proposio no "
verdadeiro" ou " falso", como acreditava Frege,
mas o verbo j deve conter o que " verdadeiro".
Cada proposio jd deve possuir um sentido;
a afirmao no lho pode dar pois afirma precisamente o sentido. E o mesmo vale para a negao, etc.
possvel dizer: a negao j se reporta ao
lugar lgico determinado pela proposio negada.
A proposio negadora determina outro lugar
lgico do que a negada.
A proposio negadora determina um lugar lgico
com a ajuda do lugar lgico da proposio negada,
quando descreve aqule permanecendo fora dste.
Poder negar de nvo a proposio negada mostra
que o que negado j uma proposio, no sendo
a mera preparao de uma proposio.
A proposio representa a subsistncia e a
no-subsistncia dos estados de coisas.
A totalidade das proposies verdadeiras tda
a cincia da natureza (ou a totalidade das cincias
naturais).
A filosofia no cincia da natureza.
(A palavra "filosofia" deve denotar alguma coisa
que se coloca acima ou abaixo mas no ao lado das
cincias naturais.)
A finalidade da filosofia o esclarecimento
lgico dos pensamentos.
A filosofia no teoria mas atividade.
Uma obra filosfica consiste essencialmente em
comentrios.
A filosofia no resulta em "proposies filosficas" mas em tornar claras as proposies.
"aRb",
"(3x) : aRx . xRb",
"(3x, y) : aRx . xRy . yRb", e assim por diante.
(Estando b numa dessas relaes com a, chamolhe de sucessor de a.)
4.126 No mesmo sentido em que falamos de propriedades formais, podemos tambm nos referir a conceitos formais.
(Introduzo essa expresso com o intuito de
deslindar a confuso dos conceitos formais com os
79
"a = b" equivale pois a: o signo "a" substituvel pelo signo "b".
(Se introduzo por meio de uma equao um
'Avo signo "b", determinando que deve substituir
um signo "a" j conhecido, ento escrevo a equao
definio (como Russell) na forma "a = b Def.".
A definio uma regra a propsito de signos.)
4.242 Expresses de forma "a = b" so, pois, recursos
de representao; nada dizem a respeito da denotao dos signos "a", "b".
4.243
voo
possibilidades.
83
o. A
K:)
(K
L possibilidades
4.442
Por exemplo:
V V V
F V V
V F
F
F
V"
um signo proposicional.
(O "trao de juzo" "1", introduzido por Frege,
do ponto de vista lgico carece inteiramente de
denotao; indica em Frege (e Russell) que tais
autores tomam como verdadeiras as proposies assim
designadas. "1" pertence to pouco construo
da proposio como, por exemplo, a numerao `das
proposies. Uma proposio no pode, de forma
alguma, assertar de si mesma que verdadeira.)
Se as sries de possibilidades de verdade forem
fixadas de vez no esquema, por meio de uma regra
de combinao, a ltima coluna por si s j exprime
as condies de verdade. Ao escrevermos esta coluna
como srie, o signo proposicional ser o seguinte:
("VVV) (p, q)", ou de modo mais ntido "(VVFV)
(p , g)".
(O nmero de posies no interior dos parnteses da esquerda est determinado pelo nmero de
trmos dos da direita)
Para n proposies elementares h L grupos
possveis de condies de verdade.
Os grupos de condies de verdade que pertencem s possibilidades de verdade de um nmero
de proposies elementares ordenam-se numa srie.
Entre os grupos possveis de condies de verdade h dois casos extremos.
No primeiro caso a proposio verdadeira
para tdas as condies de verdade das proposies
elementares. Dizemos ento que as condies de
verdade so tautolgicas.
No segundo caso a proposio falsa para
tdas as condies de verdade: as condies de
verdade so contraditrias.
4.45
4.46
86
(Certo, possvel, impossvel: temos aqui a indicao da gradao que precisamos para a teoria
da probabilidade.)
O produto lgico de uma tautologia e de uma
proposio diz o mesmo que a proposio. O produto , pois, idntico proposio, porquanto no
se pode alterar o essencial do smbolo sem alterar
seu sentido.
4.466 A uma determinada unio lgica de signos
corresponde uma determinada unio da denotao
dles; cada unio arbitrdria corresponde apenas a
signos desunidos.
Isto quer dizer que proposies, verdadeiras
para qualquer situao, no podem ser em geral
unies de signos, pois, caso contrrio, apenas determinadas unies de objetas poderiam a elas corresponder.
(E a nenhuma unio lgica corresponde nenhuma unio de objetos.)
Tautologia e contradio so casos-limites da
unio de signos, a saber, sua dissoluo.
4.4661 Por certo na tautologia e na contradio os
signos ainda esto ligados uns aos outros, isto ,
relacionam-se entre si, mas estas relaes so desprovidas de denotao, so inessenciais para o smbolo.
4.5 Agora parece possvel estabelecer a forma mais
geral da proposio, isto , estabelecer uma descrio das proposies numa linguagem simblica qualquer, de tal modo que cada um dos sentidos possveis poderia ser expresso por um smbolo adequado
descrio e cada smbolo adequado descrio
poderia exprimir um sentido, se as denotaes dos
nomes fssem convenientemente escolhidas.
claro que, descrevendo a forma mais geral,
de uma proposio, admente o que essencial deve
ser descrito caso contrrio no seria a mais geral.
Prova-se a existncia de uma forma geral da
proposio porque no deve haver proposio algumacuja forma no seja antes pressuposta (isto , construda). A forma geral da proposio : isto est
do seguinte modo.
88
5.01
5.1
5.122
90
5.123 Se um deus criasse um mundo em que certas proposies fssem verdadeiras, criaria do mesmo modo
um mundo com o qual concordariam tdas suas
proposies conseqentes. E assim similarmente no
poderia criar um mundo em que a proposio "p"
fsse verdadeira, sem criar todos os objetos dela.
5.124
5.1241
93
5
.22
brancas
tiradas se aproximam progressivamente um
do outro.
Isto no , portanto, um fato matemtico.
Se disser agora: igualmente provvel que
tirarei uma bola branca como uma preta, isso quer
dizer: tdas as circunstncias que me so conhecidas (incluindo as leis da natureza tomadas hipotticamente) no conferem a um acontecimento nenhuma probabilidade a mais do que a outro. A
saber, esto como se compreende fcilmente a
partir das explicaes acima numa relao de
probabilidade de 2
O que verifiquei pela experincia que ambos
os acontecimentos independem das circunstncias
das quais no tenho conhecimento mais prximo.
5.155 A unidade das proposies probabilisticas a
seguinte: as circunstncias de que, alis, no
tenho conhecimento mais amplo conferem a um
determinado acontecimento tal e tal grau de probabilidade.
Dsse modo, a probabilidade uma generali5.156
zao.
Envolve uma descrio geral de uma forma
proposicional.
S na falta de certeza precisamos de probabilidade. Quando no conhecemos um fato completamente, mas ao menos sabemos algo a respeito
de sua forma.
(Uma proposio pode, com efeito, ser uma figurao incompleta de uma certa situao, entretanto
sempre uma figurao completa.)
A proposio probabilistica como se fsse um
extrato de outras proposies.
As estruturas, das proposies mantm entre si
5.2
relaes internas.
5.21 Podemos trazer essas relaes internas para nosso
modo de expresso, representando uma proposio
como resultado de uma operao que a produz de
outras proposies (as bases da operao).
94
5.23
5.231
5.232
5.43
5.44
5.441
de casos, em seguida para outra: permaneceria duvidoso se sua denotao seria a mesma em ambos os
casos, no havendo motivo de utilizar para sses
casos o mesmo modo de vincular os signos.
(Em resumo, para a introduo de signos primitivos vale, mutatis mutandis, o que Frege (nos Princpios da Aritmtica) disse a propsito da introduo
de signos por meio de definies.)
5.452 A introduo de um nvo recurso no simbolismo
da lgica sempre h de ser um acontecimento pleno
de conseqncias. Nenhum recurso nvo h de ser
introduzido na lgica entre parnteses ou margem por assim dizer, com cara inocente.
(Aparecem nos Principia Mathematica de Russell
e Whitehead definies e princpios em palavras.
Por que de repente palavras ? Isto demanda uma
justificao, que falta e deve faltar, pois o procedimento no de fato permitido.)
Se todavia a introduo de nvo recurso se
provou necessria, deve-se perguntar imediatamente:
onde sse recurso deve ser sempre empregado ? Sua
localizao na lgica deve ser esclarecida.
Todos os nmeros da lgica devem deixar-se
5.453
justificar.
Ou .melhor, deve evidenciar-se que no h nmeros na lgica.
No h nmero excelente.
No h na lgica um lado a lado, pois no h
5.454
classificao.
No pode haver na lgica o mais geral ou o
mais especial.
A soluo dos problemas lgicos deve ser sim5.4541
ples, j que stes colocam o padro daJimplicidade.
Os homens sempre tiveram o pressentimento
que deveria haver um domnio de questes cujas
respostas a priori fssem simtricas e unidas
a uma construo acabada e regular.
Um domnio em que vale a sentena: simplex
sigillum veri.
5.46 Caso se introduzam corretamente os signos lgicos, ento j se introduz o sentido de tdas as suas
combinaes; portanto, no apenas "p v q" mas tambm ",-,(pv,--,q)", etc., etc. J se teria introduzido,
pois, o efeito de tdas as combinaes meramentepossveis de parnteses. E assim estaria claro
que os signos primitivos prpriamente universais
no seriam "p v q", "(3x) . fx" mas a forma mais
geral de suas combinaes.
5.461
Muito denota o fato aparentemente desimportante de que as pseudo-relaes lgicas como v ou
precisem de parnteses ao contrrio das relaes reais.
A utilizao de parnteses junto a esses pseudosignos primitivos j indica que no so signos primitivos reais. E ningum acreditar porventura que
os parnteses possuam denotao autnoma.
5.4611
Os signos das operaes lgicas so pontuaes.
5.47
claro que tudo o que se diz de antemo sbre
a forma de tdas as proposies deve ser dito ao
menos uma vez.
Na proposio elementar j esto contidas tdas
as operaes lgicas. Porquanto "fa" diz o mesmo
que "(3x) . fx . x = a".
Onde h composio j h argumento e funo,
e onde esto stes j esto tdas as constantes lgicas.
Poder-se-ia dizer: uma constante lgica aquilo
que tdas as proposies, conforme sua natureza,
possuem em comum.
Isto , porm, a forma proposicional geral.
5.471
A forma proposicional geral a essncia da
proposio.
5.4711 Dar a essncia da proposio quer dizer dar a
essncia de t6das as descries e, por conseguinte,
a essncia do mundo.
5.472
A descrio da forma proposicional mais geral
a descrio de um e um s signo primitivo universal
da lgica.
100
101
5.502
,Q,R))
rivel proposicional
192
5.503 Evidentemente fcil exprimir como proposies podem formar-se graas a esta operao e como
proposies no tm de ser formadas graas a ela;
e isto tambm pode encontrar uma expresso exata.
5.51
5.52
5.521
5.522
104
5.532
5.5321
5.533
106
"a=a", "a=b.b=c.Da=c","(x).x=x",
"( 3x) . x =a", etc., no se deixam inscrever de
5.55
Em particular em certas formas proposicionais
dairpsicologia tais como "A acredita que p ocorre"
ou "A pensa p", etc.
Nelas parece superficialmente que a proposio p se relaciona, de um certo modo, com um
objeto A.
(E na moderna teoria do conhecimento (Russell,
Moore, etc.) essas proposies so assim concebidas.)
5.542 claro porm que "A acredita que p", "A
pensa p", "A diz p" so da forma "p diz p". No
se trata aqui da coordenao de um fato e um objeto,
mas da coordenao de fatos por meio da coordenao de seus objetos.
5.5421 Isto mostra que a alma o sujeito, etc.
tal como compreendida atualmente pela psicologia
superficial, um disparate.
Uma alma composta no seria mais alma.
5.5422 A explicao correta da forma da proposio
"A julga p" deve indicar ser impossvel julgar um
absurdo. (A teoria de Russell no satisfaz essa
condio.)
5.5423 Perceber um complexo quer dizer perceber que
suas partes constituintes esto em relao entre si
de um certo modo.
109
5.633
5.6331
&HO5.634
[P, E, N(E)i
Esta a forma geral da proposio.
6.001 Isto nada mais diz do que: cada proposio
resulta da aplicao sucessiva da operao NO
6.1
sbre as proposies elementares.
112
6.03
6.031
6.11
114
,"-\
V q F,
e a coordenao da verdade ou da falsidade da proposio total e as combinaes de verdade, dos argumentos de verdade, por meio de traos, do modo
seguinte:
115
F
ser:
\q
F
V
claro que as leis lgicas no devem elas prprias depender de outras leis lgicas.
(No h, como Russell imaginou, para cada
type uma certa lei da contradio, mas basta uma,
desde que no se aplique a si mesma.)
6.1231
6.13
6.3
qu com outra mais fina e quadriculada (ou viceversa), e assim por diante. s diversas rdes correspondem diversos sistemas de descrever o mundo.
A mecnica determina uma forma de descrio do
mundo, pois diz : tdas as proposies da descrio
do mundo devem ser obtidas de um nmero de
proposies dadas os axiomas mecnicos segundo um modo dado. Com isto prov as pedras
para a construo do edifcio cientfico, dizendo:
sejam quais forem os edifcios que pretendas levantar, deves constru-los com estas e apenas estas
pedras.
(Assim como se escreve qualquer nmero com
o sistema numrico, com o sistema da mecnica
deve-se poder escrever qualquer proposio da
fsica.)
6.342 Vemos assim a posio oposta da lgica e da
mecnica. (Poder-se-ia tambm fazer a rde composta de figuras diversas, como de tringulos e hexgonos.) Que uma figurao como a mencionada
acima seja descrita por uma rde de uma forma
dada, no asserta nada a respeito da figurao.
(Porquanto isso vale para cada figurao dessa
espcie.) Caracteriza, porm, a figurao poder ser
completamente descrita por uma determinada rde
de determinada finura.
Do mesmo modo, nada asserta a respeito do
mundo poder ser descrito pela mecnica newtoniana; asserta, entretanto, poder ser descrito por
ela tal como precisamente vem a ser. Tambm diz
algo a respeito do mundo poder ser descrito, por
uma mecnica, de maneira mais simples , do que por
outra.
6.343 A mecnica uma tentativa de construir, conforme um plano nico, tdas as proposies verdadeiras que precisamos para a descrio do mundo.
6.3431
Atravs de todo o aparato lgico, as leis fsicas
ainda falam de objetos do mundo.
6.3432
No devemos nos esquecer de que a descrio
do mundo feita pela mecnica sempre inteira123
125
6.3751 Que, por exemplo, duas cres estejam concomitantemente no mesmo lugar do campo visual
impossvel, e por certo lgicamente impossvel, porquanto isto se exclui em virtude da estrutura lgica
da cr.
Consideremos como essa contradio se representa na fsica. Aproximadamente do seguinte modo:
uma partcula no pode ao mesmo tempo possuir
duas velocidades; quer dizer que ela no pode estar
concomitantemente em dois lugares, o que significa
que partculas, que esto em diferentes lugares num
mesmo tempo, no podem ser idnticas.
( claro que o produto lgico de duas proposies elementares no pode ser nem uma tautologia
nem uma contradio. A assero de que um ponto
do campo visual tem, ao mesmo tempo, duas cres
diferentes uma contradio.)
Tdas as proposies tm igual valor.
6.4
6.422
6.423
129
NOTAS A TRADUO(*)
clg
Tracfatas.
131
132
133
de um sucessor, o sucessor de 9 seria 10, uma classe vazia, que por isso
seria tambm igual ao sucessor de 10, tambm uma classe vazia. Para
evitar sse paradoxo que surge o axioma da infinidade, garantindo a
existncia das classes correspondentes a cada nmero n. Isto psto, o
nmero de objetos do mundo no um nmero indutivo (cf. RUSSELL,
Introduction to Mathematical Philosophy, cap. XII).
GLOSSRIO
abbilden afigurar
Abbildung afigurao
abhngig heternomo, dependente
Allgemeinheit universalidade,
generalidade
Angabe indicao
Argumentstelle lugar do argumento
aufweisen exibir
Ausdruck expresso
ausgezeichnet preeminente
Aussage assero
aussagen assertar
aussprechen enunciar
Bedeutung denotao
bedeutungslos sem denotao
bedeutungsvoll denotativo
Begriff conceito
Regriffsschrift ideografia
Begriffswort palavra-conceito
Bereich escopo
Bestandteil parte constituinte
bestehen subsistir
Bestehen subsistncia
Beweis prova
bezeichnen designar
bezeichnend designativo
Bild figurao
Bildhtiftigkeit figuratividade
134
darstellen representar
Ding coisa
Erkenntnistheorie epistemologia
Erscheinung fenmeno
Existenz existncia
Fall (Was der Fall ist) o que
ocorre
folgen seguir
folgern deduzir
Folgern deduo
fordern postular
Forderung postulado
Gedanke pensamento
Gefge construo
Gegenstand objeto
geschehen acontecer
Gesetzmassigkeit conformidade
lei
Glaube crena
Gleichnis smile
Konfiguration configurao
Mannigfaltigkeit multiplicidade
Merkmal marca caracterstica
135
Tatsache fato
NDICE REMISSIVO
136
137
Causalidade, lei de
como limite do descritvel, 6.362
forma de uma lei, 6.32, 6.321,
6.361
Causalidade: no h nexo causal,
5.136, 5.1361 (2)
Cepticismo, 6.51 (1)
Certeza
como caso-limite da probabilidade, 5.152 (3)
da verdade tautolgica, 4.464 (1)
oposta possibilidade e impossibilidade, 4.464 (2)
Cincias naturais
no incluem a filosofia, 4.111
so a totalidade das proposies
verdadeiras, 4.11
Clareza: tudo pode ser pensado
e dito claramente, 4.116
Classes, teoria das
suprflua para a matemtica,
6.031 (1)
Coisas (ver: Objetos)
"Complexo", conceito formal,
4.1272 (7, 8)
Complexo(s)
asseres sbre, so divisveis,
2.0201
dado smente por sua descrio, 3.24 (2)
e definio, 3.24 (4)
percepo de, 5.5423 (1)
proposies que tratam de, em
relao interna com as que
tratam das partes constituintes, 3.24 (1)
Compreenso
de nomes, 4.243
de proposies, 4.02, 4.024
de proposies universais, depende da de proposies elementares, 4.411
de sinnimos, 4.243
de todas proposies, depende
da de proposies elementares, 4.411
138
Conceito formal
como idia primitiva, 4.12721
definido, 4.126 (1)
exemplos de, 4.1272 (7, 8)
expresso por variveis, 4.126 (8),
4.127
marcas caractersticas do, 4.126
(5, 7)
oposto a conceito autntico,
4.126 (2)
questes sbre existncia de,
4.127
sempre dado com o objeto com
o qual aplicado, 4.12721
Condies de verdade
de proposies, e possibilidade
de verdade de proposies
elementares, 4.41
exprimidas, 4.442 (4)
grupos de, podem ser ordenados
em srie, 4.45
relao das, com as possibilidades de verdade, 4.431 (1)
simbolismo para, 4.43
Configurao de objetos, 2.0272,
3.21
(ver tambm: Estrutura)
Constante: expresso como,
3.312 (2)
Constante(s) lgica(s)
apenas uma delas, 5.47 (4),
5.472
desaparecimento de, 5.441
nada substituem, 4.0312 (2)
no h nenhuma, 5.4
Construo, lgica, 4.014 (2),
5.45, 5.5262
Contradio (ver tambm: Negao)
caso-limite da unio de signos,
4.466 (4)
definida, 4.46 (4)
algo comum s proposies,
5.143
no figurao da realidade,
4.462 (1)
Coordenadas lgicas, determinam o lugar lgico, 3.41
CS r
estrutura lgica da, 6.3751 (1)
forma dos objetos, 2.0251
Correspondncia
da configurao dos signos simples e dos objetos, 3.21
entre objetos e elementos da
figurao, 2.13
Deduo, a priori, 5.133
Dedutibilidade
e contedo relativo, 5.14
e estrutura, 5.13
e identidade, 5.141
e obviedade, 5.1363
em relao com as formas das
proposies, ilustrada, 5.1311
(1)
Definio
atua por sbre os signos, 3.261
(1)
como desmembramento, 3.26
como regra para traduo, 3.343
da reunio de smbolos de um
complexo, 3.24 (4)
de "anlise completa" (da proposio), 3.201
de "aplicao sucessiva",
5.2521 (1)
de "campo aberto", 4.463
de "conceito formal", 4.126 (1)
de "contradio", 4.46 (4)
de "estrutura" (do estado de
coisas), 2.032
de "expresso", 3.31 (1)
de "figurao lgica", 2.181
de "forma", 2.033
de "forma da afigurao", 2.151
de "forma de um objeto",
2.0141
de "fundamentos de verdade",
5.101 (2)
de "lugar lgico", 3.41
de "medida de probabilidade",
5.15
de "negao" (no sentido de
negao simultnea), 5.5 (2)
de "nome", 3.202
de "nmero", 6.022 (2)
de nmeros, 6.02
de "operao", 5.23
de "operaes de verdade",
5.234
de "possibilidades de verdade",
4.3
de "proposies independentes",
5.152 (1)
de "srie formal", 4.1252 (1)
de "signo", 3.32
de "signo proposicional", 3.12
de "signo simples", 3.201
de "sucessor", 4.1252 (4)
de "tautologia", 4.46 (4)
de "trao", 4.1221
de "varivel proposicional",
3.313 (3)
e recursos de representao,
4.242
regras para, 5.451 (2)
significao da, 4.241 (3)
Denotao
de signos primitivos, 3.263
dos nomes, 3.3
Descrio
da realidade por uma proposio, 4.023 (2)
de expresses, 3.33
de proposies, 3.317 (2)
de situaes, 3.144
de um estado de coisas por uma
proposio, 4.023 (3)
de um objeto, 4.023 (4)
do complexo, 3.24 (2)
do universo, 6.341
Descries, sistemas de, 6.341
Designao, mtodos de, 3.322
Destino, e os antigos, 6.372 (1)
Deus, 6.432, 6.372 (1)
Dizer
por proposies, 4.022 (2)
possibilidade de no, o que no
podemos pensar, 5.61 (4)
"", sentido de, 3.323 (2)
Elucidao dos signos primitivos, 3.263
139
Equaes
como exprimindo o carter
substitutivo, 6.24 (2)
no necessria para exprimir
uma denotao, 6.232 (2)
revela um ponto de vista, 6.2323
Eqiiiprobabilidade, 5.154 (3)
Espao
congruncia no, 6.36111
figuras geomtricas no podem
contradizer leis do, 3.032
forma dos objetos, 2.0251
lgico (ver: Espao lgico)
objetos espaciais devem estar
no, 2.0131 (1)
objetos espaciais so impensveis fora do, 2.0121 (4)
simetria no, 6.3611 (3)
(campo) visual, 2.0131 (2)
Espao lgico (ver tambm: Lugar lgico)
afigurao representa a situao no, 2.11, 2.202
cada coisa est num, 2.013
dado por tda proposio,
3.42 (1)
e o mundo, 1.13
fatos no, 1.13
lugar no, determinado pela
proposio, 3.4
Essncia
da afigurao, 4.016
da afiguratividade, 4.013
de proposies, 3.341, 4.027,
4.03, 4.016, 4.5 (2), 5.471
do mundo, 5.4711
do smbolo, 3.341 (2), 3.343,
4.465
e forma proposicional geral,
5.471
e' notao, 3.342
Estado(s) de coisas (Sachverhalt)
combinaes de, 4.27 (1)
estrutura do, 2.032
possibilidade de ocorrncia das
coisas em, 2.0121 (2)
possibilidade do, 2.012, 2.0124
possvel infinitude do, 4.2211
relao com a proposio, 4.1
140
Funo
distinta de operao, 5.25 (3)
e composio, 5.47 (3)
no pode apresentar conceitos
formais, 4.126 (4)
no pode ser seu prprio argumento, 3.333, 5.251
proposio elementar uma,
de nomes, 4.24 (2)
proposio uma, de expresses, 3.318
Funo (funes) de verdade
de duas variveis, 5.101 (1)
e operaes de verdade, 5.3
(2, 3)
forma geral de, 6 (1)
introduo do trmo, 5
no so funes materiais, 5.44
(1)
notaes para, 3.3441
podem ser ordenadas em sries,
5.1 (1)
resulta da aplicao sucessiva
da negao, 5.5 (1)
so resultados de operaes,
5.234
Fundamentos de verdade
como medida da probabilidade,
5.15, 5.151
definio de, 5.101 (2)
e deduo, 5.11, 5.12, 5.121
Futuro, desconhecimento do,
5.1361 (1), 5.1362 (1)
142
143
144
145
146
Possibilidade, 2.0122-3
de conexo de coisas, 2.0121 (4)
de estrutura forma, 2.033
de projeo, 3.13 (2)
de proposies, 4.0312 (1)
de situaes, 2.014, 2.202, 2.203
expresso de, 5.525 (2)
de modo de designar, 3.3421
e essncia do mundo, 3.3421
e estado de coisas, 2.012, 2.0124
e forma de afigurao, 2.151
e tudo que precisa ser traduzido, 4.025 (1)
Proposio (preposies)
anlise de, 3.201, 3.25, 4.221
(1)
apanha todo espao lgico,
3.42 (3)
cada, determina um lugar lgico, 3.42
como configuraes de objetos,
2.0231
como figuraes lgicas, 4.01 (1)
como funes de expresses,
3.318
como modelos da realidade, 4.01
(2)
completamente universalizadas,
5.526 (1)
compreenso de, 4.024
contedo da, 3.13 (4)
determina espao lgico, que
dado por ela, 3.42 (1)
diz como, no o que uma coisa
, 3.221
elementar (elementares)
campo deixado pelas, 5.5262
(1)
composio de, no pode ser
dada, 5.55 (2)
conceito de, 5.555 (1)
constitui-se de nomes, 4.22,
5.55 (2)
contm todas operaes lgicas, 5.47 (2)
formas de, no h hierarquia
de, 5.556
formas possveis de, 5.55
importncia de, para entender outros modos de proposies, 4.411
147
148
Prova
,de 2X2, 6.241
de proposio denotativa oposta
prova em lgica, 6.1262
em lgica, um expediente mecnico, 6.1263
Relaes internas
da proposio que trata de um
complexo com a proposio
que trata das partes constituintes, 3.24 (1)
e deduo, 5.131
e definio de sries formais,
4.1252 (1)
entre estruturas de proposies,
5.2
equivalentes a operaes, 5.232
Propriedades formais
dos valres da varivel, 4.1271
e tautologias, 6.12
exposio de, 4.122 (1)
expressa por traos de smbolos,
4.126 (6)
reconhecimento de, 6.122
Propriedade(s) interna(s) (ver
tambm: Propriedades formais)
Realidade
como subsistncia de estado de
coisas, 2.06 (1)
completamente descrita por proposio, 4.023 (2)
descrita por propriedades internas da proposio, 4.023 (4)
emprica, limitada pela totalidade dos objetos, 5.5661 (1)
149
de proposies
apenas a forma do, contida
na proposio, 3.13 (5)
contido no sentido de outras
proposies, 5.122
determinao do, 4.063 (2)
e possibilidades de existncia
de estados de coisas, 4.2
expresso por posio espacial,
3.1431 (2)
independente dos fatos,
4.061 (1)
invertido pela negao,
5.2341 (3)
do signo proposicional, no
necessita explanao, 4.02,
4.021
e deduo, 5.122
expressvel apenas por fatos,
3.142
igualada com representao de
situaes, 4.031 (2)
no pode ser sustentado por
assero, 4.064
nvo, comunicado, 4.03 (1)
objetos que ocorrem no,
4.1211 (1)
oposto, 4.0621 (3)
o que a figurao representa
seu, 2.221
postulado da determinabilidade
do, 3.23
requer substncia, 2.011
Srie formal (sries formais)
definidas, 4.1252 (1)
de funes de verdade, 5.1 (1)
exemplo de, 4.45 (2)
precisa de uma varivel, 4.1273
progresso de um trmo a outro
na, 5.252
representao do trmo geral
de, 5.2522
trmo geral de, 4.1273 (2)
Signo(s)
aplicao do, 3.262
complexo, 3.1432
como determinando uma forma
lgica, 3.327
como parte perceptvel do smbolo, 3.11, 3.32
como smile do designado, 4.012
e smbolo, 3.326
equivalncia de, 5.47321 (2)
identidade da denotao dos,
3.203
no pode receber sentido incorreto, 5.4732
no usado, 3.328 (1)
o mesmo, pode pertencer a smbolos diferentes, 3.321
possvel, 5.473 (2)
primitivo (ver: Signos primitivos)
proposicional (ver: Signo proposicional)
simples, 3.201, 3.202
Signo de assero, sem denotao, 4.442 (2)
Signos primitivos
da lgica
como formas de combinaes,
5.46
precisam ser esclarecidos, 5.45
diferente significao dos,
3.261 (2)
elucidao de sua denotao,
3.263
nomes so, 3.26
regras de definio aplicadas a,
5.451 (2)
Smbolo(s)
como equivalente a regras, 5.541
composto, caractersticas do,
5.5261 (2)
de complexos, definidos, 3.24 (4)
diferena de, 3.323 (3)
diferente, pode ter signo comum,
3.321
e signos, 3.326
igualados a expresses, 3.31
o que designa no, 3.344
pressuposies de, 5.5151 (3)
so traos essenciais, 3.34
signo a parte perceptvel do,
3.32
Smiles, 4.015
Simplicidade de objetos, 2.02,
2.021
Sintaxe lgica
denotao dos signos no desempenha nenhum papel na, 3.33
1505
designao de,
aparece como argumento,
5.523
refere-se a uma protofigurao lgica, 5.522
salienta as constantes, 5.522
essencial
necessria na matemtica,
6.031 (2)
oposta validade acidental,
6.1232
sua designao contm uma
protofigurao, 3.24 (3),
5.522
152
(1)
CRUZ COSTA