Tractatus Logico-Philosophicus (português): Difference between revisions

no edit summary
No edit summary
No edit summary
Line 31: Line 31:




'''1'''<ref>Os algarismos que enumeram as proposições isoladas indicam o peso lógico dessas proposições, a importância que adquirem em minha exposição. As proposições ''n''.1, ''n''.2, ''n''.3, etc., constituem observações à proposição n.° ''n''; as proposições ''n''.''m''1, ''n''.''m''2, etc., observações à proposição n.° ''n''.''m,'' e assim por diante.</ref> O mundo é tudo o que ocorre.
{{ParTLP|1}}<ref>Os algarismos que enumeram as proposições isoladas indicam o peso lógico dessas proposições, a importância que adquirem em minha exposição. As proposições ''n''.1, ''n''.2, ''n''.3, etc., constituem observações à proposição n.° ''n''; as proposições ''n''.''m''1, ''n''.''m''2, etc., observações à proposição n.° ''n''.''m,'' e assim por diante.</ref> O mundo é tudo o que ocorre.


'''1.1''' O mundo é a totalidade dos fatos, não das coisas.
{{ParTLP|1.1}} O mundo é a totalidade dos fatos, não das coisas.


'''1.11''' O mundo é determinado pelos fatos e por isto consistir em ''todos'' os fatos.
{{ParTLP|1.11}} O mundo é determinado pelos fatos e por isto consistir em ''todos'' os fatos.


'''1.12''' A totalidade dos fatos determina, pois, o que ocorre e também tudo que não ocorre.
{{ParTLP|1.12}} A totalidade dos fatos determina, pois, o que ocorre e também tudo que não ocorre.


'''1.13''' Os fatos, no espaço lógico, são o mundo. O mundo se resolve em fatos...
{{ParTLP|1.13}} Os fatos, no espaço lógico, são o mundo. O mundo se resolve em fatos...


'''1.2''' Algo pode ocorrer ou não ocorrer e todo o resto permanecer na mesma.
{{ParTLP|1.2}} Algo pode ocorrer ou não ocorrer e todo o resto permanecer na mesma.


'''2''' O que ocorre, o fato, é o subsistir dos estados de coisas.
{{ParTLP|2}} O que ocorre, o fato, é o subsistir dos estados de coisas.


'''2.01''' O estado de coisas é uma ligação de objetos (coisas).
{{ParTLP|2.01}} O estado de coisas é uma ligação de objetos (coisas).


'''2.011''' É essencial para a coisa poder ser parte consti- tuinte de um estado de coisas.
{{ParTLP|2.011}} É essencial para a coisa poder ser parte consti- tuinte de um estado de coisas.


'''2.012''' Nada é acidental na lógica: se uma coisa ''puder'' aparecer num estado de coisas, a possibilidade do estado de coisas já deve estar antecipada nela.
{{ParTLP|2.012}} Nada é acidental na lógica: se uma coisa ''puder'' aparecer num estado de coisas, a possibilidade do estado de coisas já deve estar antecipada nela.


'''2.0121''' Parece, por assim dizer, acidental que à coisa, que poderia subsistir sozinha e para si, viesse ajus- tar-se em seguida uma situação..
{{ParTLP|2.0121}} Parece, por assim dizer, acidental que à coisa, que poderia subsistir sozinha e para si, viesse ajus- tar-se em seguida uma situação..


Se as coisas podem aparecer em estados de coisas, então isto já deve estar nelas.
Se as coisas podem aparecer em estados de coisas, então isto já deve estar nelas.
Line 61: Line 61:
Se posso pensar o objeto ligando-o ao estado de coisas, não posso então pensá-lo fora da ''possibilidade'' dessa ligação.
Se posso pensar o objeto ligando-o ao estado de coisas, não posso então pensá-lo fora da ''possibilidade'' dessa ligação.


'''2.0122''' A coisa é autônoma enquanto puder aparecer em tôdas as situações ''possíveis'', mas esta forma de autonomia é uma forma de conexão com o estado de coisas, uma forma de heteronomia. (É impossível palavras comparecerem de dois modos diferentes, sòzinhas e na proposição.)
{{ParTLP|2.0122}} A coisa é autônoma enquanto puder aparecer em tôdas as situações ''possíveis'', mas esta forma de autonomia é uma forma de conexão com o estado de coisas, uma forma de heteronomia. (É impossível palavras comparecerem de dois modos diferentes, sòzinhas e na proposição.)


'''2.0123''' Se conheço o objeto, também conheço tôdas as. possibilidades de seu aparecer em estados de coisas.
{{ParTLP|2.0123}} Se conheço o objeto, também conheço tôdas as. possibilidades de seu aparecer em estados de coisas.


(Cada uma dessas possibilidades deve estar na natureza do objeto.)
(Cada uma dessas possibilidades deve estar na natureza do objeto.)
Line 69: Line 69:
Não é possível posteriormente encontrar nova possibilidade.
Não é possível posteriormente encontrar nova possibilidade.


'''2.01231''' Para conhecer um objeto não devo com efeito conhecer suas propriedades externas — mas todas as internas.
{{ParTLP|2.01231}} Para conhecer um objeto não devo com efeito conhecer suas propriedades externas — mas todas as internas.


'''2.0124''' Ao serem dados todos os objetos, dão-se também todos os ''possíveis'' estados de coisas.
{{ParTLP|2.0124}} Ao serem dados todos os objetos, dão-se também todos os ''possíveis'' estados de coisas.


'''2.013''' Cada coisa está como num espaço de estados de coisas possíveis. Posso pensar êste espaço vazio, mas não a coisa sem o espaço.
{{ParTLP|2.013}} Cada coisa está como num espaço de estados de coisas possíveis. Posso pensar êste espaço vazio, mas não a coisa sem o espaço.


'''2.0131''' O objeto espacial deve estar no espaço infinito. (O ponto no espaço é lugar do argumento.)
{{ParTLP|2.0131}} O objeto espacial deve estar no espaço infinito. (O ponto no espaço é lugar do argumento.)


A mancha no campo visual não deve, pois, ser vermelha, mas deve ter uma côr; tem; por assim dizer, ''uma'' espacialidade colorida em volta de si. O som deve possuir ''uma'' altura, o objeto do tato, ''uma'' dureza, e assim por diante.
A mancha no campo visual não deve, pois, ser vermelha, mas deve ter uma côr; tem; por assim dizer, ''uma'' espacialidade colorida em volta de si. O som deve possuir ''uma'' altura, o objeto do tato, ''uma'' dureza, e assim por diante.


'''2.014''' Os objetos contêm a possibilidade de todas as situações.
{{ParTLP|2.014}} Os objetos contêm a possibilidade de todas as situações.


'''2.0141''' A possibilidade de seu aparecer nos estados de coisas é a forma dos objetos.
{{ParTLP|2.0141}} A possibilidade de seu aparecer nos estados de coisas é a forma dos objetos.


'''2.02''' O objeto é simples.
{{ParTLP|2.02}} O objeto é simples.


'''2.0201''' Cada asserção sobre complexos deixa-se dividir numa asserção sobre suas partes constitutivas e naquelas proposições que descrevem inteiramente tais complexos.
{{ParTLP|2.0201}} Cada asserção sobre complexos deixa-se dividir numa asserção sobre suas partes constitutivas e naquelas proposições que descrevem inteiramente tais complexos.


'''2.021''' Os objetos formam a substância do mundo. Por isso não podem ser compostos.
{{ParTLP|2.021}} Os objetos formam a substância do mundo. Por isso não podem ser compostos.


'''2.0211''' Se o mundo não possuísse substância, para uma proposição ter sentido dependeria de outra proposição ser verdadeira.
{{ParTLP|2.0211}} Se o mundo não possuísse substância, para uma proposição ter sentido dependeria de outra proposição ser verdadeira.


'''2.0212''' Seria, pois, impossível traçar uma figuração do mundo (verdadeira ou falsa).
{{ParTLP|2.0212}} Seria, pois, impossível traçar uma figuração do mundo (verdadeira ou falsa).


'''2.022''' É claro que um mundo, pensado muito diferente do real, deve possuir algo — uma forma — comum com êste mundo real.
{{ParTLP|2.022}} É claro que um mundo, pensado muito diferente do real, deve possuir algo — uma forma — comum com êste mundo real.


'''2.023''' Esta forma fixa consiste precisamente em objetos.
{{ParTLP|2.023}} Esta forma fixa consiste precisamente em objetos.


'''2.0231''' A substância do mundo ''pode'' determinar apenas uma forma, mas não propriedades materiais; já que estas são primeiramente representadas pelas proposições — primeiramente formadas pela configuração dos objetos.
{{ParTLP|2.0231}} A substância do mundo ''pode'' determinar apenas uma forma, mas não propriedades materiais; já que estas são primeiramente representadas pelas proposições — primeiramente formadas pela configuração dos objetos.


'''2.0232''' Aproximadamente falando: os objetos são desprovidos de côr.
{{ParTLP|2.0232}} Aproximadamente falando: os objetos são desprovidos de côr.


'''2.0233''' Dois objetos de mesma forma lógica — abstraindo suas propriedades externas — se diferenciam um do outro apenas por serem distintos.
{{ParTLP|2.0233}} Dois objetos de mesma forma lógica — abstraindo suas propriedades externas — se diferenciam um do outro apenas por serem distintos.


'''2.02331''' Ou uma coisa possui propriedades que nenhuma outra possui e dêsse modo é possível sem mais separá- la de outras por uma descrição e referir-se a ela; ou, ao contrário, existem várias coisas que possuem tôdas suas propriedades em comum, sendo então impossível em geral indicar uma delas.
{{ParTLP|2.02331}} Ou uma coisa possui propriedades que nenhuma outra possui e dêsse modo é possível sem mais separá- la de outras por uma descrição e referir-se a ela; ou, ao contrário, existem várias coisas que possuem tôdas suas propriedades em comum, sendo então impossível em geral indicar uma delas.


Se a coisa não se distingue por nada, não posso então distingui-la, pois do contrário estaria distinguida.
Se a coisa não se distingue por nada, não posso então distingui-la, pois do contrário estaria distinguida.


'''2.024''' Substância é o que subsiste independentemente do que ocorre.
{{ParTLP|2.024}} Substância é o que subsiste independentemente do que ocorre.


'''2.025''' Ela é forma e conteúdo.
{{ParTLP|2.025}} Ela é forma e conteúdo.


'''2.0251''' Espaço, tempo e côr (coloridade) são formas dos objetos.
{{ParTLP|2.0251}} Espaço, tempo e côr (coloridade) são formas dos objetos.


'''2.026''' Só se houver objetos, pode haver forma fixa do mundo.
{{ParTLP|2.026}} Só se houver objetos, pode haver forma fixa do mundo.


'''2.027''' O fixo, o subsistente e o objeto são um só.
{{ParTLP|2.027}} O fixo, o subsistente e o objeto são um só.


'''2.0271''' O objeto é o fixo, o subsistente; a configuração é o mutável, o instável.
{{ParTLP|2.0271}} O objeto é o fixo, o subsistente; a configuração é o mutável, o instável.


'''2.0272''' A configuração dos objetos forma o estado de coisas.
{{ParTLP|2.0272}} A configuração dos objetos forma o estado de coisas.


'''2.03''' No estado de coisas os objetos se ligam uns aos outros como elos de uma cadeia.
{{ParTLP|2.03}} No estado de coisas os objetos se ligam uns aos outros como elos de uma cadeia.


'''2.031''' No estado de coisas os objetos estão uns em relação aos outros de um modo determinado.
{{ParTLP|2.031}} No estado de coisas os objetos estão uns em relação aos outros de um modo determinado.


'''2.032''' O modo pelo qual os objetos se vinculam no estado de coisas constitui a estrutura do estado de coisas.
{{ParTLP|2.032}} O modo pelo qual os objetos se vinculam no estado de coisas constitui a estrutura do estado de coisas.


'''2.033''' A forma é a possibilidade da estrutura.
{{ParTLP|2.033}} A forma é a possibilidade da estrutura.


'''2.034''' A estrutura do fato é constituída pelas estruturas dos estados de coisas.
{{ParTLP|2.034}} A estrutura do fato é constituída pelas estruturas dos estados de coisas.


'''2.04''' A totalidade dos subsistentes estados de coisas é o mundo.
{{ParTLP|2.04}} A totalidade dos subsistentes estados de coisas é o mundo.


'''2.05''' A totalidade dos subsistentes estados de coisas determina também quais estados de coisas não subsistem.
{{ParTLP|2.05}} A totalidade dos subsistentes estados de coisas determina também quais estados de coisas não subsistem.


'''2.06''' A subsistência e a não-subsistência dos estados de coisas é a realidade.
{{ParTLP|2.06}} A subsistência e a não-subsistência dos estados de coisas é a realidade.


(Chamamos de fato positivo à subsistência de estados de coisas e de negativo à não-subsistência dėles.)
(Chamamos de fato positivo à subsistência de estados de coisas e de negativo à não-subsistência dėles.)


'''2.061''' Os estados de coisas são independentes uns dos outros.
{{ParTLP|2.061}} Os estados de coisas são independentes uns dos outros.


'''2.062''' Da subsistência ou da não-subsistência de um estado de coisas não é possível concluir a subsistência ou a não-subsistência de outro.
{{ParTLP|2.062}} Da subsistência ou da não-subsistência de um estado de coisas não é possível concluir a subsistência ou a não-subsistência de outro.


'''2.063''' A realidade inteira é o mundo.
{{ParTLP|2.063}} A realidade inteira é o mundo.


'''2.1''' Fazemo-nos figurações dos fatos.
{{ParTLP|2.1}} Fazemo-nos figurações dos fatos.


'''2.11''' A figuração presenta a situação no espaço lógico, a subsistência e a não-subsistência de estados de coisas.
{{ParTLP|2.11}} A figuração presenta a situação no espaço lógico, a subsistência e a não-subsistência de estados de coisas.


'''2.12''' A figuração é um modelo da realidade.
{{ParTLP|2.12}} A figuração é um modelo da realidade.


'''2.13''' Na figuração, seus elementos correspondem aos objetos.
{{ParTLP|2.13}} Na figuração, seus elementos correspondem aos objetos.


'''2.131''' Os elementos da figuração substituem nela os objetos.
{{ParTLP|2.131}} Os elementos da figuração substituem nela os objetos.


'''2.14''' A figuração consiste em que seus elementos estão uns em relação aos outros de um modo determinado.
{{ParTLP|2.14}} A figuração consiste em que seus elementos estão uns em relação aos outros de um modo determinado.


'''2.141''' A figuração é um fato.
{{ParTLP|2.141}} A figuração é um fato.


'''2.15''' Os elementos da figuração estando uns em relação aos outros de um modo determinado, isto representa as coisas estando umas em relação às outras.
{{ParTLP|2.15}} Os elementos da figuração estando uns em relação aos outros de um modo determinado, isto representa as coisas estando umas em relação às outras.


Esta vinculação dos elementos da figuração chama-se sua estrutura e a possibilidade dela, sua forma de afiguração.
Esta vinculação dos elementos da figuração chama-se sua estrutura e a possibilidade dela, sua forma de afiguração.


'''2.151''' A forma de afiguração é a possibilidade de que as coisas estejam umas em relação às outras como os elementos da figuração.
{{ParTLP|2.151}} A forma de afiguração é a possibilidade de que as coisas estejam umas em relação às outras como os elementos da figuração.


'''2.1511''' A figuração enlaça-se com a realidade; ''dêste modo:'' estendendo-se para ela.
{{ParTLP|2.1511}} A figuração enlaça-se com a realidade; ''dêste modo:'' estendendo-se para ela.


'''2.1512''' É como padrão de medida que se aplica à realidade.
{{ParTLP|2.1512}} É como padrão de medida que se aplica à realidade.


'''2.15121''' Somente os pontos mais exteriores das linhas divisórias ''tocam'' o objeto a ser medido.
{{ParTLP|2.15121}} Somente os pontos mais exteriores das linhas divisórias ''tocam'' o objeto a ser medido.


'''2.1513''' Segundo essa concepção, também pertence à figuração a forma afigurante que precisamente a torna figuração.
{{ParTLP|2.1513}} Segundo essa concepção, também pertence à figuração a forma afigurante que precisamente a torna figuração.


'''2.1515''' A relação afigurante consiste nas coordenações dos elementos da figuração e das coisas.
{{ParTLP|2.1515}} A relação afigurante consiste nas coordenações dos elementos da figuração e das coisas.


'''2.1515''' Estas coordenações são, por assim dizer, antenas dos elementos da figuração, com as quais esta toca a realidade.
{{ParTLP|2.1515}} Estas coordenações são, por assim dizer, antenas dos elementos da figuração, com as quais esta toca a realidade.


'''2.16''' Os fatos, para serem figuração, devem ter algo em comum com o que é afigurado.
{{ParTLP|2.16}} Os fatos, para serem figuração, devem ter algo em comum com o que é afigurado.


'''2.161''' Deve haver algo idêntico na figuração e no afigurado a fim de que um possa ser a figuração do
{{ParTLP|2.161}} Deve haver algo idêntico na figuração e no afigurado a fim de que um possa ser a figuração do outro.


outro.
{{ParTLP|2.17}} O que a figuração realidade para poder correta ou falsamente deve ter em comum com a afigurar à sua maneira é sua forma de afiguração.


'''2.17''' O que a figuração realidade para poder correta ou falsamente deve ter em comum com a afigurar à sua maneira é sua forma de afiguração.
{{ParTLP|2.171}} A figuração pode afigurar qualquer realidade cuja forma ela possui.
 
'''2.171''' A figuração pode afigurar qualquer realidade cuja forma ela possui.


A figuração espacial, tudo o que é espacial; a colorida, tudo que é colorido, etc.
A figuração espacial, tudo o que é espacial; a colorida, tudo que é colorido, etc.


'''2.172''' Sua forma de afiguração, contudo, a figuração não pode afigurar; apenas a exibe.
{{ParTLP|2.172}} Sua forma de afiguração, contudo, a figuração não pode afigurar; apenas a exibe.


'''2.173''' A figuração representa seu objeto de fora (seu ponto de vista é sua forma de representação), por isso a figuração representa seu objeto correta ou falsamente.
{{ParTLP|2.173}} A figuração representa seu objeto de fora (seu ponto de vista é sua forma de representação), por isso a figuração representa seu objeto correta ou falsamente.


'''2.174''' A figuração não pode, porém, colocar-se fora de sua forma de representação.
{{ParTLP|2.174}} A figuração não pode, porém, colocar-se fora de sua forma de representação.


'''2.18''' O que cada figuração, de forma qualquer, deve sempre ter em comum com a realidade para poder afigurá-la em geral - correta ou falsamente - é a forma lógica, isto é, a forma da realidade.
{{ParTLP|2.18}} O que cada figuração, de forma qualquer, deve sempre ter em comum com a realidade para poder afigurá-la em geral - correta ou falsamente - é a forma lógica, isto é, a forma da realidade.


'''2.181''' Se a forma da afiguração é a forma lógica, a figuração chama-se lógica.
{{ParTLP|2.181}} Se a forma da afiguração é a forma lógica, a figuração chama-se lógica.


'''2.182''' Tôda figuração ''também'' é lógica. (No entanto, nem tôda figuração é, por exemplo, espacial.)
{{ParTLP|2.182}} Tôda figuração ''também'' é lógica. (No entanto, nem tôda figuração é, por exemplo, espacial.)


'''2.19''' A figuração lógica pode afigurar o mundo.
{{ParTLP|2.19}} A figuração lógica pode afigurar o mundo.


'''2.2''' A figuração tem em comum com o afigurado a forma lógica da afiguração.
{{ParTLP|2.2}} A figuração tem em comum com o afigurado a forma lógica da afiguração.


'''2.201''' A figuração afigura a realidade, pois representa uma possibilidade da subsistência e da não-subsistência de estados de coisas.
{{ParTLP|2.201}} A figuração afigura a realidade, pois representa uma possibilidade da subsistência e da não-subsistência de estados de coisas.


'''2.202''' A figuração representa uma situação possível no espaço lógico.
{{ParTLP|2.202}} A figuração representa uma situação possível no espaço lógico.


'''2.203''' A figuração contém a possibilidade da situação, a qual ela representa.
{{ParTLP|2.203}} A figuração contém a possibilidade da situação, a qual ela representa.


'''2.21''' A figuração concorda ou não com a realidade, é correta ou incorreta, verdadeira ou falsa.
{{ParTLP|2.21}} A figuração concorda ou não com a realidade, é correta ou incorreta, verdadeira ou falsa.


'''2.22''' A figuração representa o que representa, independentemente de sua verdade ou falsidade, por meio da forma da afiguração.
{{ParTLP|2.22}} A figuração representa o que representa, independentemente de sua verdade ou falsidade, por meio da forma da afiguração.


'''2.221''' O que a figuração representa é o seu sentido.
{{ParTLP|2.221}} O que a figuração representa é o seu sentido.


'''2.222''' Na concordância ou na discordância de seu sentido com a realidade consiste sua verdade ou sua falsidade.
{{ParTLP|2.222}} Na concordância ou na discordância de seu sentido com a realidade consiste sua verdade ou sua falsidade.


'''2.223''' Para reconhecer se uma figuração é verdadeira ou falsa devemos compará-la com a realidade.
{{ParTLP|2.223}} Para reconhecer se uma figuração é verdadeira ou falsa devemos compará-la com a realidade.


'''2.224''' Não é possível reconhecer apenas pela figuração se ela é verdadeira ou falsa.
{{ParTLP|2.224}} Não é possível reconhecer apenas pela figuração se ela é verdadeira ou falsa.


'''2.225''' Não existe uma figuração ''a priori'' verdadeira.
{{ParTLP|2.225}} Não existe uma figuração ''a priori'' verdadeira.


'''3''' Pensamento é a figuração lógica dos fatos.
{{ParTLP|3}} Pensamento é a figuração lógica dos fatos.


'''3.001''' "Um estado de coisas é pensável" significa: podemos construir-nos uma figuração dêle.
{{ParTLP|3.001}} "Um estado de coisas é pensável" significa: podemos construir-nos uma figuração dêle.


'''3.01''' A totalidade dos pensamentos verdadeiros figuração do mundo.
{{ParTLP|3.01}} A totalidade dos pensamentos verdadeiros figuração do mundo.


'''3.02''' O pensamento contém a possibilidade da situação que êle pensa. O que é pensável também é possível.
{{ParTLP|3.02}} O pensamento contém a possibilidade da situação que êle pensa. O que é pensável também é possível.


'''3.03''' Não podemos pensar nada ilógico, porquanto, do contrário, deveríamos pensar ilògicamente.
{{ParTLP|3.03}} Não podemos pensar nada ilógico, porquanto, do contrário, deveríamos pensar ilògicamente.


'''3.031''' Já foi dito por alguém que Deus poderia criar tudo, salvo o que contrariasse as leis lógicas. Isto porque não podemos ''dizer'' como pareceria um mundo "ilógico".
{{ParTLP|3.031}} Já foi dito por alguém que Deus poderia criar tudo, salvo o que contrariasse as leis lógicas. Isto porque não podemos ''dizer'' como pareceria um mundo "ilógico".


'''3.032''' Representar na linguagem algo que "contrarie as leis lógicas" é tão pouco possível como representar, na geometria, por meio de suas coordenadas, uma figura que contrarie as leis do espaço; ou, então, dar as coordenadas de um ponto inexistente.
{{ParTLP|3.032}} Representar na linguagem algo que "contrarie as leis lógicas" é tão pouco possível como representar, na geometria, por meio de suas coordenadas, uma figura que contrarie as leis do espaço; ou, então, dar as coordenadas de um ponto inexistente.


'''3.0321''' Podemos perfeitamente representar um estado de coisas espacial contrário às leis da física, nunca, porém, contrário às leis da geometria.
{{ParTLP|3.0321}} Podemos perfeitamente representar um estado de coisas espacial contrário às leis da física, nunca, porém, contrário às leis da geometria.


'''3.04''' Um pensamento correto ''a priori'' seria aquêle cuja possibilidade condicionasse sua verdade.
{{ParTLP|3.04}} Um pensamento correto ''a priori'' seria aquêle cuja possibilidade condicionasse sua verdade.


'''3.05''' Desse modo, só poderíamos conhecer ''a priori'' que um pensamento é verdadeiro se a verdade dêle fosse reconhecível a partir do próprio pensamento (sem objeto de comparação).
{{ParTLP|3.05}} Desse modo, só poderíamos conhecer ''a priori'' que um pensamento é verdadeiro se a verdade dêle fosse reconhecível a partir do próprio pensamento (sem objeto de comparação).


'''3.1''' Na proposição o pensamento se exprime sensível e perceptivelmente.
{{ParTLP|3.1}} Na proposição o pensamento se exprime sensível e perceptivelmente.


'''3.11''' Utilizamos o signo sensível e perceptível (signo sonoro ou escrito, etc.) da proposição como projeção da situação possível.
{{ParTLP|3.11}} Utilizamos o signo sensível e perceptível (signo sonoro ou escrito, etc.) da proposição como projeção da situação possível.


O método de projeção é o pensar do sentido da proposição.
O método de projeção é o pensar do sentido da proposição.


'''3.12''' Chamo signo proposicional o signo pelo qual exprimimos o pensamento. E a proposição é o signo proposicional em sua relação projetiva com o mundo.
{{ParTLP|3.12}} Chamo signo proposicional o signo pelo qual exprimimos o pensamento. E a proposição é o signo proposicional em sua relação projetiva com o mundo.


'''3.13''' A proposição pertence tudo que pertence à projeção, não, porém, o que é projetado.
{{ParTLP|3.13}} A proposição pertence tudo que pertence à projeção, não, porém, o que é projetado.


Portanto, a possibilidade do que é projetado, não, porém, êste último.
Portanto, a possibilidade do que é projetado, não, porém, êste último.
Line 263: Line 261:
Está contida na proposição a forma de seu sentido, não, porém, seu conteúdo.
Está contida na proposição a forma de seu sentido, não, porém, seu conteúdo.


'''3.14''' O signo proposicional consiste em que seus elementos, as palavras, estão relacionados uns aos outros de maneira determinada.
{{ParTLP|3.14}} O signo proposicional consiste em que seus elementos, as palavras, estão relacionados uns aos outros de maneira determinada.


O signo proposicional é um fato.
O signo proposicional é um fato.


'''3.141''' A proposição não é uma mistura de palavras. (Do mesmo modo que o tema musical não é uma mistura de sons.)
{{ParTLP|3.141}} A proposição não é uma mistura de palavras. (Do mesmo modo que o tema musical não é uma mistura de sons.)


A proposição é articulada.
A proposição é articulada.


'''3.142''' Sòmente fatos podem exprimir um sentido, uma classe de nomes não o pode.
{{ParTLP|3.142}} Sòmente fatos podem exprimir um sentido, uma classe de nomes não o pode.


'''3.143''' Que um signo proposicional seja um fato, isto é velado pela forma comum de expressão, escrita ou impressa.
{{ParTLP|3.143}} Que um signo proposicional seja um fato, isto é velado pela forma comum de expressão, escrita ou impressa.


Na proposição impressa, por exemplo, o signo proposicional não parece essencialmente diferente da palavra.
Na proposição impressa, por exemplo, o signo proposicional não parece essencialmente diferente da palavra.
Line 279: Line 277:
(Foi assim possível a Frege chamar à proposição de nome composto.)
(Foi assim possível a Frege chamar à proposição de nome composto.)


'''3.1431''' A essência do signo proposicional se torna muito clara quando, em vez de o pensarmos composto de signos escritos, o pensamos composto de objetos espaciais (tais como mesas, cadeiras, livros).
{{ParTLP|3.1431}} A essência do signo proposicional se torna muito clara quando, em vez de o pensarmos composto de signos escritos, o pensamos composto de objetos espaciais (tais como mesas, cadeiras, livros).


A posição espacial oposta dessas coisas exprime, pois, o sentido da proposição.
A posição espacial oposta dessas coisas exprime, pois, o sentido da proposição.


'''3.1432''' Não: "O signo complexo '''aRb''<nowiki/>' diz que ''a'' por ''R'' se relaciona com ''b''", mas: que "''a''" por um certo ''R'' se relaciona com "''b''", isto quer dizer ''que'' ''aRb''.
{{ParTLP|3.1432}} Não: "O signo complexo ''aRb''<nowiki/> diz que ''a'' por ''R'' se relaciona com ''b''", mas: que "''a''" por um certo ''R'' se relaciona com "''b''", isto quer dizer ''que'' ''aRb''.


'''3.144''' É possível descrever situações, impossível no entanto ''nomeá-las''.
{{ParTLP|3.144}} É possível descrever situações, impossível no entanto ''nomeá-las''.


(Os nomes são como pontos, as proposições, flechas; possuem sentido.)
(Os nomes são como pontos, as proposições, flechas; possuem sentido.)


'''3.2''' Nas proposições os pensamentos podem ser expressos de tal modo que aos objetos dos pensamentos correspondam elementos do signo proposicional.
{{ParTLP|3.2}} Nas proposições os pensamentos podem ser expressos de tal modo que aos objetos dos pensamentos correspondam elementos do signo proposicional.


'''3.201''' A êsses elementos chamo de "signos simples" e à proposição, "completamente analisada".
{{ParTLP|3.201}} A êsses elementos chamo de "signos simples" e à proposição, "completamente analisada".


'''3.202''' Os signos simples empregados nas proposições são chamados nomes.
{{ParTLP|3.202}} Os signos simples empregados nas proposições são chamados nomes.


'''3.203''' O nome denota o objeto. O objeto é sua denotação. ("''A''" é o mesmo signo que "''A''".)
{{ParTLP|3.203}} O nome denota o objeto. O objeto é sua denotação. ("''A''" é o mesmo signo que "''A''".)


'''3.21''' À configuração dos signos simples no signo proposicional corresponde a configuração dos objetos na situação.
{{ParTLP|3.21}} À configuração dos signos simples no signo proposicional corresponde a configuração dos objetos na situação.


'''3.22''' Na proposição o nome substitui o objeto.
{{ParTLP|3.22}} Na proposição o nome substitui o objeto.


'''3.221''' Posso ''nomear'' apenas objetos. Os signos os substituem. Posso apenas falar ''sobre'' êles, não posso, porém, ''enunciá-los''. Uma proposição pode apenas dizer ''como'' uma coisa é, mas não ''o que'' é.
{{ParTLP|3.221}} Posso ''nomear'' apenas objetos. Os signos os substituem. Posso apenas falar ''sobre'' êles, não posso, porém, ''enunciá-los''. Uma proposição pode apenas dizer ''como'' uma coisa é, mas não ''o que'' é.


'''3.23''' Postular a possibilidade de signos simples é postular a determinabilidade do sentido.
{{ParTLP|3.23}} Postular a possibilidade de signos simples é postular a determinabilidade do sentido.


'''3.24''' A proposição que trata de um complexo achase numa relação interna com a proposição que trata das partes constituintes dêle.
{{ParTLP|3.24}} A proposição que trata de um complexo achase numa relação interna com a proposição que trata das partes constituintes dêle.


O complexo só pode ser dado por sua descrição, e esta concordará ou não concordará com êle. A proposição que se ocupa de um complexo inexistente não será absurda, mas simplesmente falsa.
O complexo só pode ser dado por sua descrição, e esta concordará ou não concordará com êle. A proposição que se ocupa de um complexo inexistente não será absurda, mas simplesmente falsa.
Line 313: Line 311:
A reunião dos símbolos de um complexo em um símbolo simples pode ser expressa por uma definição.
A reunião dos símbolos de um complexo em um símbolo simples pode ser expressa por uma definição.


'''3.25''' Existe apenas uma e uma única análise completa da proposição.
{{ParTLP|3.25}} Existe apenas uma e uma única análise completa da proposição.


'''3.251''' A proposição exprime o que é expresso de um modo determinado e dado claramente: A proposição é articulada.
{{ParTLP|3.251}} A proposição exprime o que é expresso de um modo determinado e dado claramente: A proposição é articulada.


'''3.26''' O nome não é para ser desmembrado ademais por uma definição: é um signo primitivo.
{{ParTLP|3.26}} O nome não é para ser desmembrado ademais por uma definição: é um signo primitivo.


'''3.261''' Cada signo definido designa ''por sôbre'' os signos pelos quais é definido, e as definições mostram o caminho.
{{ParTLP|3.261}} Cada signo definido designa ''por sôbre'' os signos pelos quais é definido, e as definições mostram o caminho.


Dois signos, um signo primitivo e outro definido por signos primitivos, não podem designar pela mesma maneira. Nomes ''não podem'' ser decompostos por definições. (Nenhum signo isolado e autônomo possui denotação.)
Dois signos, um signo primitivo e outro definido por signos primitivos, não podem designar pela mesma maneira. Nomes ''não podem'' ser decompostos por definições. (Nenhum signo isolado e autônomo possui denotação.)


'''3.262''' O que no signo não vem expresso é indicado pela aplicação. O que os signos escondem, a aplicação exprime.
{{ParTLP|3.262}} O que no signo não vem expresso é indicado pela aplicação. O que os signos escondem, a aplicação exprime.


'''3.263''' As denotações dos signos primitivos podem ser esclarecidas por elucidações. Elucidações são proposições que contêm os signos primitivos. Só podem, portanto, ser entendidas quando já se conhecem as denotações dêsses signos.
{{ParTLP|3.263}} As denotações dos signos primitivos podem ser esclarecidas por elucidações. Elucidações são proposições que contêm os signos primitivos. Só podem, portanto, ser entendidas quando já se conhecem as denotações dêsses signos.


'''3.3''' Só a proposição possui sentido; só em conexão com a proposição um nome tem denotação.
{{ParTLP|3.3}} Só a proposição possui sentido; só em conexão com a proposição um nome tem denotação.


'''3.31''' A cada parte da proposição que caracteriza um sentido chamo de expressão (símbolo).
{{ParTLP|3.31}} A cada parte da proposição que caracteriza um sentido chamo de expressão (símbolo).


(A própria proposição é uma expressão.)
(A própria proposição é uma expressão.)
Line 337: Line 335:
A expressão caracteriza uma forma e um conteúdo.
A expressão caracteriza uma forma e um conteúdo.


'''3.311''' A expressão pressupõe as formas de tôdas as proposições nas quais pode aparecer. Constitui a marca característica comum a uma classe de proposições.
{{ParTLP|3.311}} A expressão pressupõe as formas de tôdas as proposições nas quais pode aparecer. Constitui a marca característica comum a uma classe de proposições.


'''3.312''' Representa-se, pois, por intermédio da forma geral das proposições que a caracteriza.
{{ParTLP|3.312}} Representa-se, pois, por intermédio da forma geral das proposições que a caracteriza.


E assim a expressão será, nesta forma, ''constante'' e todo o resto, ''variável''.
E assim a expressão será, nesta forma, ''constante'' e todo o resto, ''variável''.


'''3.313''' A expressão será representada por uma variável, cujos valores são as proposições que contêm a expressão.
{{ParTLP|3.313}} A expressão será representada por uma variável, cujos valores são as proposições que contêm a expressão.


(No caso limite, a variável torna-se constante, a expressão, a proposição.)
(No caso limite, a variável torna-se constante, a expressão, a proposição.)
Line 349: Line 347:
A uma tal variável chamo de "variável proposicional".
A uma tal variável chamo de "variável proposicional".


'''3.314''' A expressão tem denotação apenas na proposição. Cada variável pode ser concebida como variável proposicional.
{{ParTLP|3.314}} A expressão tem denotação apenas na proposição. Cada variável pode ser concebida como variável proposicional.


(A variável nome também.)
(A variável nome também.)


'''3.315''' Se transformarmos uma parte constituinte de uma proposição numa variável, existe então uma classe de proposições constituída por todos os valores da proposição variável assim resultante. Esta classe ainda depende em geral do que nós, segundo um ajuste arbitrário, chamamos partes da proposição. Se, no entanto, transformarmos todos aquêles signos, cujas denotações foram determinadas arbitra riamente, em variáveis, ainda continua a existir aquela classe. Esta, porém, não mais depende de qualquer ajuste, mas únicamente da natureza da proposição. Corresponde a uma forma lógica — a uma protofiguração lógica.
{{ParTLP|3.315}} Se transformarmos uma parte constituinte de uma proposição numa variável, existe então uma classe de proposições constituída por todos os valores da proposição variável assim resultante. Esta classe ainda depende em geral do que nós, segundo um ajuste arbitrário, chamamos partes da proposição. Se, no entanto, transformarmos todos aquêles signos, cujas denotações foram determinadas arbitra riamente, em variáveis, ainda continua a existir aquela classe. Esta, porém, não mais depende de qualquer ajuste, mas únicamente da natureza da proposição. Corresponde a uma forma lógica — a uma protofiguração lógica.


'''3.316''' Fixam-se os valores que a variável proposicional deve tomar.
{{ParTLP|3.316}} Fixam-se os valores que a variável proposicional deve tomar.


A fixação dos valôres ''é'' a variável.
A fixação dos valôres ''é'' a variável.


'''3.317''' A fixação dos valores das variáveis proposicionais consiste na ''indicação das proposições'', as quais têm como marca característica comum a variável.
{{ParTLP|3.317}} A fixação dos valores das variáveis proposicionais consiste na ''indicação das proposições'', as quais têm como marca característica comum a variável.


A fixação é uma descrição dessas proposições.
A fixação é uma descrição dessas proposições.
Line 367: Line 365:
E para a fixação é essencial ''ser apenas uma descrição de símbolos, nada assertando sobre o designado''. Como se dá a descrição da proposição é inessencial.
E para a fixação é essencial ''ser apenas uma descrição de símbolos, nada assertando sobre o designado''. Como se dá a descrição da proposição é inessencial.


'''3.318''' Concebo a proposição — do mesmo modo que Frege e Russell — como função das expressões que nela estão contidas.
{{ParTLP|3.318}} Concebo a proposição — do mesmo modo que Frege e Russell — como função das expressões que nela estão contidas.


'''3.32''' O signo é o que no símbolo é sensivelmente perceptível.
{{ParTLP|3.32}} O signo é o que no símbolo é sensivelmente perceptível.


'''3.321''' Dois símbolos diferentes podem ter, pois, em comum o mesmo signo (escrito ou sonoro, etc.) — designam dêsse modo de diferentes maneiras.
{{ParTLP|3.321}} Dois símbolos diferentes podem ter, pois, em comum o mesmo signo (escrito ou sonoro, etc.) — designam dêsse modo de diferentes maneiras.


'''3.322''' A marca característica comum a dois objetos nunca pode indicar que os designamos com o mesmo signo, embora com diferentes ''modos de designação''; porquanto o signo, sem dúvida, é arbitrário. Poderíamos, portanto, escolher dois signos diferentes, e onde permaneceria o que é comum na designação?
{{ParTLP|3.322}} A marca característica comum a dois objetos nunca pode indicar que os designamos com o mesmo signo, embora com diferentes ''modos de designação''; porquanto o signo, sem dúvida, é arbitrário. Poderíamos, portanto, escolher dois signos diferentes, e onde permaneceria o que é comum na designação?


'''3.323''' Na linguagem corrente amiúde acontece que a mesma palavra designa de modos diferentes — pertencendo, pois, a símbolos diferentes — ou ainda duas palavras, que designam de modos diferentes, são empregadas na proposição superficialmente da mesma maneira.
{{ParTLP|3.323}} Na linguagem corrente amiúde acontece que a mesma palavra designa de modos diferentes — pertencendo, pois, a símbolos diferentes — ou ainda duas palavras, que designam de modos diferentes, são empregadas na proposição superficialmente da mesma maneira.


Assim a palavra "é" aparece como cópula, como sinal de igualdade e expressão da existência; "existir", enquanto verbo intransitivo do mesmo modo que "ir"; "idêntico", enquanto adjetivo: falamos a respeito de ''algo'', mas também de que ''algo'' acontece.
Assim a palavra "é" aparece como cópula, como sinal de igualdade e expressão da existência; "existir", enquanto verbo intransitivo do mesmo modo que "ir"; "idêntico", enquanto adjetivo: falamos a respeito de ''algo'', mas também de que ''algo'' acontece.
Line 381: Line 379:
(Na proposição "Rosa é rosa" ("Grün ist grün") — onde a primeira palavra é nome de pessoa e a última é adjetivo — ambas as palavras não têm apenas denotações diferentes, mas constituem ''símbolos diferentes''.)
(Na proposição "Rosa é rosa" ("Grün ist grün") — onde a primeira palavra é nome de pessoa e a última é adjetivo — ambas as palavras não têm apenas denotações diferentes, mas constituem ''símbolos diferentes''.)


'''3.324''' Nascem, assim, as confusões mais fundamentais (de que tôda a filosofia está plena).
{{ParTLP|3.324}} Nascem, assim, as confusões mais fundamentais (de que tôda a filosofia está plena).


'''3.325''' Para evitar êsses erros devemos usar uma linguagem simbólica que os exclua, pois esta não empregará superficialmente o mesmo signo para símbolos diferentes, e não empregará signos, que designam de maneira diversa, do mesmo modo. Uma linguagem simbólica, portanto, que obedeça à gramática ''lógica'' — à sintase lógica.
{{ParTLP|3.325}} Para evitar êsses erros devemos usar uma linguagem simbólica que os exclua, pois esta não empregará superficialmente o mesmo signo para símbolos diferentes, e não empregará signos, que designam de maneira diversa, do mesmo modo. Uma linguagem simbólica, portanto, que obedeça à gramática ''lógica'' — à sintase lógica.


(A ideografia de Frege, ou a de Russell, constitui uma tal linguagem que, no entanto, não elimina todos os erros.)
(A ideografia de Frege, ou a de Russell, constitui uma tal linguagem que, no entanto, não elimina todos os erros.)


'''3.326''' Para reconhecer o símbolo no signo deve-se atentar para seu uso significativo.
{{ParTLP|3.326}} Para reconhecer o símbolo no signo deve-se atentar para seu uso significativo.


'''3.327''' O signo determina uma forma lógica somente junto de sua utilização lógico-sintática.
{{ParTLP|3.327}} O signo determina uma forma lógica somente junto de sua utilização lógico-sintática.


'''3.328''' Se um signo ''não'' tem ''serventia'', então êle é desprovido de denotação. Este é o sentido do lema de Occam.
{{ParTLP|3.328}} Se um signo ''não'' tem ''serventia'', então êle é desprovido de denotação. Este é o sentido do lema de Occam.


(Se tudo se passa como se um signo tivesse denotação, então êle a terá.)
(Se tudo se passa como se um signo tivesse denotação, então êle a terá.)


'''3.33''' Na sintaxe lógica a denotação de um signo não há de desempenhar papel algum, a sintaxe deve elaborar-se sem que surja a preocupação com a ''denotação'', devendo pressupor ''apenas'' a descrição das expressões.
{{ParTLP|3.33}} Na sintaxe lógica a denotação de um signo não há de desempenhar papel algum, a sintaxe deve elaborar-se sem que surja a preocupação com a ''denotação'', devendo pressupor ''apenas'' a descrição das expressões.


'''3.331''' Feita esta observação, consideremos a ''Theory of types'' de Russell: o erro dêste se revela quando, ao elaborar as regras dos signos, teve de apelar para a denotação dêsses signos.
{{ParTLP|3.331}} Feita esta observação, consideremos a ''Theory of types'' de Russell: o erro dêste se revela quando, ao elaborar as regras dos signos, teve de apelar para a denotação dêsses signos.


'''3.332''' Nenhuma proposição pode assertar algo sôbre si mesma, pois o signo proposicional não pode estar contido em si mesmo (aí está tôda a ''Theory of types'').
{{ParTLP|3.332}} Nenhuma proposição pode assertar algo sôbre si mesma, pois o signo proposicional não pode estar contido em si mesmo (aí está tôda a ''Theory of types'').


'''3.333''' Uma função por isso não pode ser seu próprio argumento, pois o signo da função já contém a protofiguração de seu argumento, e não contém a si própria.
{{ParTLP|3.333}} Uma função por isso não pode ser seu próprio argumento, pois o signo da função já contém a protofiguração de seu argumento, e não contém a si própria.


Tomemos, por exemplo, a função ''F''(''fx'') podendo ser seu próprio argumento; haveria então uma proposição "''F''(''F''(''fx''))", em que a função externa ''F'' e a interna ''F'' teriam denotações diferentes; a interna tendo como forma ''ϕ''(''fx''), a externa, ''ψ''(''ϕ''(fx)). Ambas as funções têm em comum apenas a letra "''F''" que nada designa.
Tomemos, por exemplo, a função ''F''(''fx'') podendo ser seu próprio argumento; haveria então uma proposição "''F''(''F''(''fx''))", em que a função externa ''F'' e a interna ''F'' teriam denotações diferentes; a interna tendo como forma ''ϕ''(''fx''), a externa, ''ψ''(''ϕ''(fx)). Ambas as funções têm em comum apenas a letra "''F''" que nada designa.
Line 409: Line 407:
Isto liquida o paradoxo de Russell.
Isto liquida o paradoxo de Russell.


'''3.334''' As regras da sintaxe lógica devem ser entendidas de per si, desde que se saiba apenas como cada signo designa.
{{ParTLP|3.334}} As regras da sintaxe lógica devem ser entendidas de per si, desde que se saiba apenas como cada signo designa.


'''3.34''' A proposição possui traços essenciais e acidentais.
{{ParTLP|3.34}} A proposição possui traços essenciais e acidentais.


Acidentais são os traços que derivam da maneira particular de produzir o signo proposicional; essenciais, aqueles que sozinhos tornam a proposição capaz de exprimir seu sentido.
Acidentais são os traços que derivam da maneira particular de produzir o signo proposicional; essenciais, aqueles que sozinhos tornam a proposição capaz de exprimir seu sentido.


'''3.341''' É pois essencial na proposição o que é comum a todas as proposições que podem exprimir o mesmo sentido.
{{ParTLP|3.341}} É pois essencial na proposição o que é comum a todas as proposições que podem exprimir o mesmo sentido.


E do mesmo modo é em geral essencial no símbolo o que é comum a todos os símbolos que podem preencher o mesmo fim.
E do mesmo modo é em geral essencial no símbolo o que é comum a todos os símbolos que podem preencher o mesmo fim.


'''3.3411''' Seria então possível dizer: o nome autêntico é aquilo que todos os símbolos que designam o objeto têm em comum. Daí resultaria paulatinamente que nenhuma composição é essencial para o nome.
{{ParTLP|3.3411}} Seria então possível dizer: o nome autêntico é aquilo que todos os símbolos que designam o objeto têm em comum. Daí resultaria paulatinamente que nenhuma composição é essencial para o nome.


'''3.342''' Há com efeito em nossa notação algo arbitrário, mas ''o seguinte'' não o é: se determinarmos algo arbitràriamente, então algo a mais deve ocorrer. (Isto depende da ''essência'' da notação.)
{{ParTLP|3.342}} Há com efeito em nossa notação algo arbitrário, mas ''o seguinte'' não o é: se determinarmos algo arbitràriamente, então algo a mais deve ocorrer. (Isto depende da ''essência'' da notação.)


'''3.3421''' Um modo particular de designação pode ser desimportante, mas é sempre importante que seja um modo ''possível'' de designação. Esta é a situação na filosofia em geral: o singular se manifesta repetidamente como desimportante, mas a possibilidade de cada singular nos dá um esclarecimento sobre a essência do mundo.
{{ParTLP|3.3421}} Um modo particular de designação pode ser desimportante, mas é sempre importante que seja um modo ''possível'' de designação. Esta é a situação na filosofia em geral: o singular se manifesta repetidamente como desimportante, mas a possibilidade de cada singular nos dá um esclarecimento sobre a essência do mundo.


'''3.343''' Definições são regras para a tradução de uma linguagem a outra. Cada linguagem simbólica correta deve deixar-se traduzir numa outra segundo tais regras: ''isto'' é tudo o que elas têm em comum.
{{ParTLP|3.343}} Definições são regras para a tradução de uma linguagem a outra. Cada linguagem simbólica correta deve deixar-se traduzir numa outra segundo tais regras: ''isto'' é tudo o que elas têm em comum.


'''3.344''' O que designa no símbolo é o que é comum a todos os símbolos pelos quais o primeiro pode ser substituído de acordo com as regras da sintaxe lógica.
{{ParTLP|3.344}} O que designa no símbolo é o que é comum a todos os símbolos pelos quais o primeiro pode ser substituído de acordo com as regras da sintaxe lógica.


'''3.441''' É possível, por exemplo, exprimir do seguinte modo o que é comum a tôdas as notações para as funções de verdade: é-lhes comum, por exemplo, ''poderem ser substituídas'' pela notação "∼''p''" ("não ''p''") e "''p'' ∨ ''q''" ("''p'' ou ''q''").
{{ParTLP|3.441}} É possível, por exemplo, exprimir do seguinte modo o que é comum a tôdas as notações para as funções de verdade: é-lhes comum, por exemplo, ''poderem ser substituídas'' pela notação "∼''p''" ("não ''p''") e "''p'' ∨ ''q''" ("''p'' ou ''q''").


(Com isso se indica a maneira pela qual uma notação especialmente possível nos pode dar esclarecimentos gerais.)
(Com isso se indica a maneira pela qual uma notação especialmente possível nos pode dar esclarecimentos gerais.)


'''3.3442''' O signo do complexo não se divide pela análise arbitràriamente, de modo que sua divisão fôsse diferente em cada construção proposicional.
{{ParTLP|3.3442}} O signo do complexo não se divide pela análise arbitràriamente, de modo que sua divisão fôsse diferente em cada construção proposicional.


'''3.4''' A proposição determina um lugar no espaço lógico. A existência dêsse espaço lógico é assegurada apenas pela existência das partes constitutivas, pela existência das proposições significativas.
{{ParTLP|3.4}} A proposição determina um lugar no espaço lógico. A existência dêsse espaço lógico é assegurada apenas pela existência das partes constitutivas, pela existência das proposições significativas.


'''3.41''' O signo proposicional e as coordenadas lógicas: é isto o lugar lógico.
{{ParTLP|3.41}} O signo proposicional e as coordenadas lógicas: é isto o lugar lógico.


'''3.411''' O lugar geométrico e o lógico concordam em que ambos consistem na possibilidade de uma existência.
{{ParTLP|3.411}} O lugar geométrico e o lógico concordam em que ambos consistem na possibilidade de uma existência.


'''3.42''' Se bem que a proposição deva determinar apenas um lugar do espaço lógico, o espaço lógico inteiro já deve ser dado por ela.
{{ParTLP|3.42}} Se bem que a proposição deva determinar apenas um lugar do espaço lógico, o espaço lógico inteiro já deve ser dado por ela.


(Em caso contrário, novos elementos — em coordenação — sempre se introduziriam por meio da negação, da soma lógica, do produto lógico, etc.)
(Em caso contrário, novos elementos — em coordenação — sempre se introduziriam por meio da negação, da soma lógica, do produto lógico, etc.)
Line 447: Line 445:
(O andaime lógico em volta da figuração determina o espaço lógico. A proposição apanha o espaço lógico inteiro.)
(O andaime lógico em volta da figuração determina o espaço lógico. A proposição apanha o espaço lógico inteiro.)


'''3.5''' O signo proposicional empregado e pensado é o pensamento.
{{ParTLP|3.5}} O signo proposicional empregado e pensado é o pensamento.


'''4''' O pensamento é a proposição significativa.
{{ParTLP|4}} O pensamento é a proposição significativa.


'''4.001''' A totalidade das proposições é a linguagem.
{{ParTLP|4.001}} A totalidade das proposições é a linguagem.


'''4.002''' O homem possui a capacidade de construir linguagens nas quais cada sentido se deixa exprimir, sem contudo pressentir como e o que cada palavra denota. — Assim se fala sem saber como os sons singulares são produzidos.
{{ParTLP|4.002}} O homem possui a capacidade de construir linguagens nas quais cada sentido se deixa exprimir, sem contudo pressentir como e o que cada palavra denota. — Assim se fala sem saber como os sons singulares são produzidos.


A linguagem corrente forma parte do organismo humano e não é menos complicada do que êle.
A linguagem corrente forma parte do organismo humano e não é menos complicada do que êle.
Line 463: Line 461:
Os acordos silenciosos para entender a linguagem corrente são enormemente complicados.
Os acordos silenciosos para entender a linguagem corrente são enormemente complicados.


'''4.003''' A maioria das proposições e questões escritas sôbre temas filosóficos não são falsas mas absurdas. Por isso não podemos em geral responder a questões dessa espécie, apenas estabelecer seu caráter absurdo. A maioria das questões e das proposições dos filósofos se apóiam, pois, no nosso desentendimento da lógica da linguagem.
{{ParTLP|4.003}} A maioria das proposições e questões escritas sôbre temas filosóficos não são falsas mas absurdas. Por isso não podemos em geral responder a questões dessa espécie, apenas estabelecer seu caráter absurdo. A maioria das questões e das proposições dos filósofos se apóiam, pois, no nosso desentendimento da lógica da linguagem.


(São questões da seguinte espécie: o bem é mais ou menos idêntico do que a beleza?)
(São questões da seguinte espécie: o bem é mais ou menos idêntico do que a beleza?)
Line 469: Line 467:
Não é, pois, de admirar que os mais profundos problemas ''não'' constituam propriamente problemas.
Não é, pois, de admirar que os mais profundos problemas ''não'' constituam propriamente problemas.


'''4.0031''' Tôda filosofia é "crítica da linguagem". (Por certo, não no sentido de Mauthner). O mérito de Russell é ter mostrado que a forma aparentemente lógica da proposição não deve ser sua forma real.
{{ParTLP|4.0031}} Tôda filosofia é "crítica da linguagem". (Por certo, não no sentido de Mauthner). O mérito de Russell é ter mostrado que a forma aparentemente lógica da proposição não deve ser sua forma real.


'''4.01''' A proposição é figuração da realidade.
{{ParTLP|4.01}} A proposição é figuração da realidade.


A proposição é modêlo da realidade tal como a pensamos.
A proposição é modêlo da realidade tal como a pensamos.


'''4.011''' À primeira vista, a proposição — em particular tal como está impressa no papel — não parece ser figuração da realidade de que trata. Mas tampouco a escrita musical parece à primeira vista ser figuração da música, e nossa escrita fonética (letras), figuração da linguagem falada.
{{ParTLP|4.011}} À primeira vista, a proposição — em particular tal como está impressa no papel — não parece ser figuração da realidade de que trata. Mas tampouco a escrita musical parece à primeira vista ser figuração da música, e nossa escrita fonética (letras), figuração da linguagem falada.


No entanto, essas linguagens simbólicas se manifestam, também no sentido comum, como figurações do que representam.
No entanto, essas linguagens simbólicas se manifestam, também no sentido comum, como figurações do que representam.


'''4.012''' É óbvio que percebemos como figuração uma proposição da forma "''aRb''". Aqui o signo é òbviamente um símile do designado.
{{ParTLP|4.012}} É óbvio que percebemos como figuração uma proposição da forma "''aRb''". Aqui o signo é òbviamente um símile do designado.


'''4.013''' E quando entramos no que é essencial dessa figuratividade vemos que ela ''não'' é perturbada por ''aparentes irregularidades'' (como o emprego de ♯ e de ♭ na escrita musical).
{{ParTLP|4.013}} E quando entramos no que é essencial dessa figuratividade vemos que ela ''não'' é perturbada por ''aparentes irregularidades'' (como o emprego de ♯ e de ♭ na escrita musical).


Porquanto também essas irregularidades afiguram o que devem expressar, apenas de outra maneira.
Porquanto também essas irregularidades afiguram o que devem expressar, apenas de outra maneira.


'''4.014''' O disco da vitrola, o pensamento e a escrita musicais, as ondas sonoras estão uns em relação aos outros no mesmo relacionamento existente entre a linguagem e o mundo.
{{ParTLP|4.014}} O disco da vitrola, o pensamento e a escrita musicais, as ondas sonoras estão uns em relação aos outros no mesmo relacionamento existente entre a linguagem e o mundo.


A todos é comum a construção lógica.
A todos é comum a construção lógica.
Line 491: Line 489:
(Como na estória dos dois jovens, seus dois cavalos e seus lírios. Num certo sentido, todos são um.)
(Como na estória dos dois jovens, seus dois cavalos e seus lírios. Num certo sentido, todos são um.)


'''4.0141''' Que exista uma regra geral por meio da qual o músico possa apreender a sinfonia a partir da partitura, regra por meio da qual se possa derivar a sinfonia das linhas do disco e ainda, segundo a primeira regra, de novo derivar a partitura; nisto consiste propriamente a semelhança interna dessas figuras aparentemente tão diversas. E essa regra é a lei de projeção que projeta a sinfonia na linguagem musical. É a regra da tradução da linguagem musical para a linguagem do disco.
{{ParTLP|4.0141}} Que exista uma regra geral por meio da qual o músico possa apreender a sinfonia a partir da partitura, regra por meio da qual se possa derivar a sinfonia das linhas do disco e ainda, segundo a primeira regra, de novo derivar a partitura; nisto consiste propriamente a semelhança interna dessas figuras aparentemente tão diversas. E essa regra é a lei de projeção que projeta a sinfonia na linguagem musical. É a regra da tradução da linguagem musical para a linguagem do disco.


'''4.015''' A possibilidade de todos êsses símiles, a figuratividade inteira de nosso modo de expressão, se apóia na lógica da afiguração.
{{ParTLP|4.015}} A possibilidade de todos êsses símiles, a figuratividade inteira de nosso modo de expressão, se apóia na lógica da afiguração.


'''4.016''' Para compreender a essência da proposição, convém pensar na escrita hieroglífica que afigura os fatos que descreve.
{{ParTLP|4.016}} Para compreender a essência da proposição, convém pensar na escrita hieroglífica que afigura os fatos que descreve.


E dela provém o alfabeto sem perder o que é essencial na afiguração.
E dela provém o alfabeto sem perder o que é essencial na afiguração.


'''4.02''' Isto se vê ao entendermos o sentido do signo proposicional sem que êle nos tenha sido explicado.
{{ParTLP|4.02}} Isto se vê ao entendermos o sentido do signo proposicional sem que êle nos tenha sido explicado.


'''4.021''' A proposição é figuração da realidade; pois conheço a situação representada por ela quando entendo a proposição. E entendo a proposição sem que o sentido me seja explicado.
{{ParTLP|4.021}} A proposição é figuração da realidade; pois conheço a situação representada por ela quando entendo a proposição. E entendo a proposição sem que o sentido me seja explicado.


'''4.022''' A proposição ''mostra'' seu sentido.
{{ParTLP|4.022}} A proposição ''mostra'' seu sentido.


'''4.023''' A proposição ''mostra'', ''se'' fôr verdadeira, como algo está. E ''diz que'' isto ''está'' assim.
{{ParTLP|4.023}} A proposição ''mostra'', ''se'' fôr verdadeira, como algo está. E ''diz que'' isto ''está'' assim.


Por meio da proposição a realidade deve ser fixada enquanto sim ou enquanto não.
Por meio da proposição a realidade deve ser fixada enquanto sim ou enquanto não.
Line 517: Line 515:
A proposição constrói o mundo com a ajuda de andaimes lógicos, e por isso é possível, na proposição, também se ver, ''caso'' ela fôr verdadeira, como tudo que é lógico está. Pode-se de uma proposição falsa ''tirar conclusões''.
A proposição constrói o mundo com a ajuda de andaimes lógicos, e por isso é possível, na proposição, também se ver, ''caso'' ela fôr verdadeira, como tudo que é lógico está. Pode-se de uma proposição falsa ''tirar conclusões''.


'''4.024''' Compreender uma proposição é saber o que ocorre, caso ela fôr verdadeira.
{{ParTLP|4.024}} Compreender uma proposição é saber o que ocorre, caso ela fôr verdadeira.


(É possível, pois, compreendê-la sem saber se é verdadeira.)
(É possível, pois, compreendê-la sem saber se é verdadeira.)
Line 523: Line 521:
Ela será compreendida, caso se compreenda suas partes constituintes.
Ela será compreendida, caso se compreenda suas partes constituintes.


'''4.025''' A tradução de uma linguagem para outra não se dá como se se traduzisse cada ''proposição'' de uma numa ''proposição'' da outra, mas somente as partes da proposição são traduzidas.
{{ParTLP|4.025}} A tradução de uma linguagem para outra não se dá como se se traduzisse cada ''proposição'' de uma numa ''proposição'' da outra, mas somente as partes da proposição são traduzidas.


(E o dicionário não traduz apenas substantivos, mas ainda verbos, adjetivos, conectivos, etc.; e trata-os todos de modo igual.)
(E o dicionário não traduz apenas substantivos, mas ainda verbos, adjetivos, conectivos, etc.; e trata-os todos de modo igual.)


'''4.026''' As denotações dos signos simples (das palavras) nos devem ser explicadas para que as compreendamos.
{{ParTLP|4.026}} As denotações dos signos simples (das palavras) nos devem ser explicadas para que as compreendamos.


Com as proposições, no entanto, compreendemo-nos a nós mesmos.
Com as proposições, no entanto, compreendemo-nos a nós mesmos.


'''4.027''' Está na essência da proposição poder comunicar-nos um ''nôvo'' sentido.
{{ParTLP|4.027}} Está na essência da proposição poder comunicar-nos um ''nôvo'' sentido.


'''4.03''' Uma proposição deve comunicar nôvo sentido com velhas expressões.
{{ParTLP|4.03}} Uma proposição deve comunicar nôvo sentido com velhas expressões.


A proposição nos comunica uma situação, de sorte que deve estar ''essencialmente'' vinculada a ela.
A proposição nos comunica uma situação, de sorte que deve estar ''essencialmente'' vinculada a ela.
Line 541: Line 539:
A proposição só asserta algo enquanto é figuração.
A proposição só asserta algo enquanto é figuração.


'''4.031''' Uma situação é justaposta à proposição, por assim dizer, por tentativas.
{{ParTLP|4.031}} Uma situação é justaposta à proposição, por assim dizer, por tentativas.


É possível dizer diretamente: esta proposição representa esta ou aquela situação, em vez de esta proposição tem êste ou aquêle sentido.
É possível dizer diretamente: esta proposição representa esta ou aquela situação, em vez de esta proposição tem êste ou aquêle sentido.


'''4.0311''' Um nome presenta uma coisa, outro, outra coisa, e estão ligados entre si de tal modo que o todo como quadro vivo — (''ein lebendes Bild'') — presenta o estado de coisas.
{{ParTLP|4.0311}} Um nome presenta uma coisa, outro, outra coisa, e estão ligados entre si de tal modo que o todo como quadro vivo — (''ein lebendes Bild'') — presenta o estado de coisas.


'''4.0312''' A possibilidade da proposição se estriba no princípio da substituição dos objetos por meio de signos.
{{ParTLP|4.0312}} A possibilidade da proposição se estriba no princípio da substituição dos objetos por meio de signos.


Meu pensamento basilar é que as "constantes lógicas" nada substituem; que a ''lógica'' dos fatos não se deixa substituir.
Meu pensamento basilar é que as "constantes lógicas" nada substituem; que a ''lógica'' dos fatos não se deixa substituir.


'''4.032''' A proposição é uma figuração da situação únicamente enquanto fôr lògicamente articulada.
{{ParTLP|4.032}} A proposição é uma figuração da situação únicamente enquanto fôr lògicamente articulada.


(Também a proposição ''Ambulo'' é composta, pois sua raiz com outra desinência nos dá outro sentido, o mesmo acontecendo se esta desinência estiver com outra raiz.)
(Também a proposição ''Ambulo'' é composta, pois sua raiz com outra desinência nos dá outro sentido, o mesmo acontecendo se esta desinência estiver com outra raiz.)


'''4.04''' Tanto se distinguirá na proposição quanto na situação que ela representa.
{{ParTLP|4.04}} Tanto se distinguirá na proposição quanto na situação que ela representa.


Ambos devem possuir a mesma multiplicidade lógica (matemática). (Cf. a mecânica de Hertz a propósito dos modelos dinâmicos.)
Ambos devem possuir a mesma multiplicidade lógica (matemática). (Cf. a mecânica de Hertz a propósito dos modelos dinâmicos.)


'''4.041''' Esta multiplicidade matemática não pode naturalmente ser de nôvo afigurada. Ao afigurar não é possível colocar-se fora dela.
{{ParTLP|4.041}} Esta multiplicidade matemática não pode naturalmente ser de nôvo afigurada. Ao afigurar não é possível colocar-se fora dela.


'''4.0411''' Se quiséssemos, por exemplo, exprimir o que é expresso por "(''x'') . ''fx''" apondo um índice junto a "''fx''", a saber: "Univ. ''fx''", isto não bastaria — não saberíamos o que foi universalizado. Se quiséssemos indicá-lo por um índice "''α''" — tal como "f(''x<sub>α</sub>'')", isto também não bastaria — não conheceríamos o escopo da designação da universalidade.
{{ParTLP|4.0411}} Se quiséssemos, por exemplo, exprimir o que é expresso por "(''x'') . ''fx''" apondo um índice junto a "''fx''", a saber: "Univ. ''fx''", isto não bastaria — não saberíamos o que foi universalizado. Se quiséssemos indicá-lo por um índice "''α''" — tal como "f(''x<sub>α</sub>'')", isto também não bastaria — não conheceríamos o escopo da designação da universalidade.


Se quiséssemos tentar graças à introdução de uma marca no lugar do argumento — por exemplo: "(''A'', ''A'') . ''F''(''A'', ''A'')" —, isto também não bastaria, pois não poderíamos fixar a identidade das variáveis. E assim por diante.
Se quiséssemos tentar graças à introdução de uma marca no lugar do argumento — por exemplo: "(''A'', ''A'') . ''F''(''A'', ''A'')" —, isto também não bastaria, pois não poderíamos fixar a identidade das variáveis. E assim por diante.
Line 567: Line 565:
Todos êsses modos de designação não bastam, porquanto não possuem a necessária multiplicidade matemática.
Todos êsses modos de designação não bastam, porquanto não possuem a necessária multiplicidade matemática.


'''4.0412''' Pelo mesmo motivo não basta a explicação idealista da visão das relações espaciais por meio de "óculos espaciais", já que êstes não podem explicar a multiplicidade que essas relações possuem.
{{ParTLP|4.0412}} Pelo mesmo motivo não basta a explicação idealista da visão das relações espaciais por meio de "óculos espaciais", já que êstes não podem explicar a multiplicidade que essas relações possuem.


'''4.05''' Compara-se a realidade com a proposição.
{{ParTLP|4.05}} Compara-se a realidade com a proposição.


'''4.06''' Somente por isso a proposição pode ser verdadeira ou falsa, quando ela é uma figuração da realidade.
{{ParTLP|4.06}} Somente por isso a proposição pode ser verdadeira ou falsa, quando ela é uma figuração da realidade.


'''4.061''' Se não se observar que uma proposição possui sentido independente dos fatos, então fàcilmente se acredita que o verdadeiro e o falso são relações eqüiponderantes entre signos e designado.
{{ParTLP|4.061}} Se não se observar que uma proposição possui sentido independente dos fatos, então fàcilmente se acredita que o verdadeiro e o falso são relações eqüiponderantes entre signos e designado.


Seria então possível dizer, por exemplo, que "''p''" designa segundo a modalidade do verdadeiro o que "∼''p''", segundo a modalidade do falso, etc.
Seria então possível dizer, por exemplo, que "''p''" designa segundo a modalidade do verdadeiro o que "∼''p''", segundo a modalidade do falso, etc.


'''4.062''' Não seria possível fazer-se entender com proposições falsas assim como se fêz até agora com verdadeiras; desde que se soubesse que são mentadas falsamente? Não! Porquanto uma proposição é verdadeira se a situação é tal como dizemos por seu intermédio, e se com "''p''" mentássemos "∼''p''" e se a situação fosse tal como a mentamos, então "''p''" não seria falso na nova concepção mas verdadeiro.
{{ParTLP|4.062}} Não seria possível fazer-se entender com proposições falsas assim como se fêz até agora com verdadeiras; desde que se soubesse que são mentadas falsamente? Não! Porquanto uma proposição é verdadeira se a situação é tal como dizemos por seu intermédio, e se com "''p''" mentássemos "∼''p''" e se a situação fosse tal como a mentamos, então "''p''" não seria falso na nova concepção mas verdadeiro.


'''4.063''' É importante, porém, que os signos "''p''" e "∼''p''" ''possam'' dizer a mesma coisa, pois isto mostra que. o signo "∼" a nada corresponde na realidade.
{{ParTLP|4.063}} É importante, porém, que os signos "''p''" e "∼''p''" ''possam'' dizer a mesma coisa, pois isto mostra que. o signo "∼" a nada corresponde na realidade.


A negação aparecer numa proposição não é marca característica de seu sentido (∼∼''p'' = ''p'').
A negação aparecer numa proposição não é marca característica de seu sentido (∼∼''p'' = ''p'').
Line 591: Line 589:
O símile falha apenas no ponto seguinte: podemos indicar um ponto do papel sem saber o que seja branco e o que seja prêto; uma proposição sem sentido, porém, não corresponde a nada, pois não designa coisa alguma (valor de verdade) cujas propriedades fôssem chamadas "falsas" ou "verdadeiras" — o verbo de uma proposição não é "é verdadeiro" ou "é falso", como acreditava Frege, mas o verbo já deve conter o que "é verdadeiro".
O símile falha apenas no ponto seguinte: podemos indicar um ponto do papel sem saber o que seja branco e o que seja prêto; uma proposição sem sentido, porém, não corresponde a nada, pois não designa coisa alguma (valor de verdade) cujas propriedades fôssem chamadas "falsas" ou "verdadeiras" — o verbo de uma proposição não é "é verdadeiro" ou "é falso", como acreditava Frege, mas o verbo já deve conter o que "é verdadeiro".


'''4.064''' Cada proposição ''já'' deve possuir um sentido; a afirmação não lho pode dar pois afirma precisamente o sentido. E o mesmo vale para a negação, etc.
{{ParTLP|4.064}} Cada proposição ''já'' deve possuir um sentido; a afirmação não lho pode dar pois afirma precisamente o sentido. E o mesmo vale para a negação, etc.


'''4.0641''' É possível dizer: a negação já se reporta ao lugar lógico determinado pela proposição negada.
{{ParTLP|4.0641}} É possível dizer: a negação já se reporta ao lugar lógico determinado pela proposição negada.


A proposição negadora determina ''outro'' lugar lógico do que a negada.
A proposição negadora determina ''outro'' lugar lógico do que a negada.
Line 601: Line 599:
Poder negar de novo a proposição negada mostra que o que é negado já é uma proposição, não sendo a mera preparação de uma proposição.
Poder negar de novo a proposição negada mostra que o que é negado já é uma proposição, não sendo a mera preparação de uma proposição.


'''4.1''' A proposição representa a subsistência e a não-subsistência dos estados de coisas.
{{ParTLP|4.1}} A proposição representa a subsistência e a não-subsistência dos estados de coisas.


'''4.11''' A totalidade das proposições verdadeiras é tôda a ciência da natureza (ou a totalidade das ciências naturais).
{{ParTLP|4.11}} A totalidade das proposições verdadeiras é tôda a ciência da natureza (ou a totalidade das ciências naturais).


'''4.111''' A filosofia não é ciência da natureza.
{{ParTLP|4.111}} A filosofia não é ciência da natureza.


(A palavra "filosofia" deve denotar alguma coisa que se coloca acima ou abaixo mas não ao lado das ciências naturais.)
(A palavra "filosofia" deve denotar alguma coisa que se coloca acima ou abaixo mas não ao lado das ciências naturais.)


'''4.112''' A finalidade da filosofia é o esclarecimento lógico dos pensamentos.
{{ParTLP|4.112}} A finalidade da filosofia é o esclarecimento lógico dos pensamentos.


A filosofia não é teoria mas atividade.
A filosofia não é teoria mas atividade.
Line 619: Line 617:
A filosofia deve tomar os pensamentos que, por assim dizer, são vagos e obscuros e torná-los claros e bem delimitados.
A filosofia deve tomar os pensamentos que, por assim dizer, são vagos e obscuros e torná-los claros e bem delimitados.


'''4.1121''' A psicologia não é mais aparentada à filosofia do que qualquer outra ciência natural.
{{ParTLP|4.1121}} A psicologia não é mais aparentada à filosofia do que qualquer outra ciência natural.


A teoria do conhecimento é a filosofia da psicologia.
A teoria do conhecimento é a filosofia da psicologia.
Line 625: Line 623:
Não corresponde meu estudo sobre a linguagem simbólica ao estudo dos processos do pensamento, os quais os filósofos consideram tão essencial para a filosofia da lógica? Eles apenas se confundem na maior parte com investigações psicológicas inessenciais, existindo um perigo análogo para meu método.
Não corresponde meu estudo sobre a linguagem simbólica ao estudo dos processos do pensamento, os quais os filósofos consideram tão essencial para a filosofia da lógica? Eles apenas se confundem na maior parte com investigações psicológicas inessenciais, existindo um perigo análogo para meu método.


'''4.1122''' A teoria de Darwin não tem mais a ver com a filosofia do que qualquer outra hipótese das ciências naturais.
{{ParTLP|4.1122}} A teoria de Darwin não tem mais a ver com a filosofia do que qualquer outra hipótese das ciências naturais.


'''4.113''' A filosofia delimita o domínio contestável das ciências naturais.
{{ParTLP|4.113}} A filosofia delimita o domínio contestável das ciências naturais.


'''4.114''' Deve delimitar o pensável e com isso o impensável.
{{ParTLP|4.114}} Deve delimitar o pensável e com isso o impensável.


Deve demarcar o impensável do interior por meio do pensável.
Deve demarcar o impensável do interior por meio do pensável.


'''4.115''' Denotará o indizível, representando claramente o dizível.
{{ParTLP|4.115}} Denotará o indizível, representando claramente o dizível.


'''4.116''' Tudo em geral o que pode ser pensado o pode claramente. Tudo que se deixa exprimir, deixase claramente.
{{ParTLP|4.116}} Tudo em geral o que pode ser pensado o pode claramente. Tudo que se deixa exprimir, deixase claramente.


'''4.12''' A proposição pode representar a realidade inteira, não pode, porém, representar o que ela deve ter em comum com a realidade para poder representá-la — a forma lógica.
{{ParTLP|4.12}} A proposição pode representar a realidade inteira, não pode, porém, representar o que ela deve ter em comum com a realidade para poder representá-la — a forma lógica.


Para podermos representar a forma lógica seria preciso nos colocar, com a proposição, fora da lógica; a saber, fora do mundo.
Para podermos representar a forma lógica seria preciso nos colocar, com a proposição, fora da lógica; a saber, fora do mundo.


'''4.121''' A proposição não pode representar a forma lógica, esta espelha-se naquela.
{{ParTLP|4.121}} A proposição não pode representar a forma lógica, esta espelha-se naquela.


Não é possível representar o que se espelha na linguagem.
Não é possível representar o que se espelha na linguagem.
Line 651: Line 649:
Ela a exibe.
Ela a exibe.


'''4.1211''' Dêsse modo, a proposição "''fa''" mostra que o objeto a aparece em seu sentido, duas proposições "''fa''" e "''ga''" que em ambas se trata do mesmo objeto.
{{ParTLP|4.1211}} Dêsse modo, a proposição "''fa''" mostra que o objeto a aparece em seu sentido, duas proposições "''fa''" e "''ga''" que em ambas se trata do mesmo objeto.


Se duas proposições se contradizem, isto é mostrado por sua estrutura; do mesmo modo, quando uma se segue da outra. E assim por diante.
Se duas proposições se contradizem, isto é mostrado por sua estrutura; do mesmo modo, quando uma se segue da outra. E assim por diante.


'''4.1212''' O que ''pode'' ser mostrado ''não pode'' ser dito.
{{ParTLP|4.1212}} O que ''pode'' ser mostrado ''não pode'' ser dito.


'''4.1213''' Agora compreendemos nosso sentimento de que estamos de posse de uma concepção lógica correta somente quando tudo esteja conforme em nossa linguagem simbólica.
{{ParTLP|4.1213}} Agora compreendemos nosso sentimento de que estamos de posse de uma concepção lógica correta somente quando tudo esteja conforme em nossa linguagem simbólica.


'''4.122''' Podemos em certo sentido falar de propriedades formais de objetos e estados de coisas, em particular de propriedades da estrutura dos fatos, e no mesmo sentido de relações formais e de relações de estruturas.
{{ParTLP|4.122}} Podemos em certo sentido falar de propriedades formais de objetos e estados de coisas, em particular de propriedades da estrutura dos fatos, e no mesmo sentido de relações formais e de relações de estruturas.


(Em lugar de propriedade da estrutura falo também de "propriedade interna", em lugar de relação de estruturas, "relação interna".
(Em lugar de propriedade da estrutura falo também de "propriedade interna", em lugar de relação de estruturas, "relação interna".
Line 667: Line 665:
A subsistência de tais propriedades e de tais relações internas não pode ser, todavia, afirmada por proposições, mas se mostra nas proposições que apresentam os estados de coisas e os objetos em questão.
A subsistência de tais propriedades e de tais relações internas não pode ser, todavia, afirmada por proposições, mas se mostra nas proposições que apresentam os estados de coisas e os objetos em questão.


'''4.1221''' A uma propriedade interna de um fato podemos ainda chamar de traço dêsse fato. (No sentido em que falamos, por exemplo, de traços faciais.)
{{ParTLP|4.1221}} A uma propriedade interna de um fato podemos ainda chamar de traço dêsse fato. (No sentido em que falamos, por exemplo, de traços faciais.)


'''4.123''' Uma propriedade é interna quando fôr impensável que seu objeto não a possua.
{{ParTLP|4.123}} Uma propriedade é interna quando fôr impensável que seu objeto não a possua.


(Esta côr azul e aquela estão na relação interna de mais claro e ''eo ipso'' mais escuro. É impensável ''êstes'' dois objetos não estarem nesta relação.)
(Esta côr azul e aquela estão na relação interna de mais claro e ''eo ipso'' mais escuro. É impensável ''êstes'' dois objetos não estarem nesta relação.)
Line 675: Line 673:
(Ao emprego impreciso das palavras "propriedade" e "relação" corresponde aqui o emprêgo impreciso da palavra "objeto".)
(Ao emprego impreciso das palavras "propriedade" e "relação" corresponde aqui o emprêgo impreciso da palavra "objeto".)


'''4.124''' A subsistência de uma propriedade interna de uma situação possível não se expressa por uma proposição mas, na proposição que a representa, por uma propriedade interna desta proposição.
{{ParTLP|4.124}} A subsistência de uma propriedade interna de uma situação possível não se expressa por uma proposição mas, na proposição que a representa, por uma propriedade interna desta proposição.


Seria, pois, absurdo tanto imputar como não imputar à proposição uma propriedade formal.
Seria, pois, absurdo tanto imputar como não imputar à proposição uma propriedade formal.


'''4.1241''' Não se podem distinguir as formas umas das outras dizendo que uma tem esta propriedade e aquela, outra, pois isto pressupõe que teria sentido assertar ambas propriedades de ambas as formas.
{{ParTLP|4.1241}} Não se podem distinguir as formas umas das outras dizendo que uma tem esta propriedade e aquela, outra, pois isto pressupõe que teria sentido assertar ambas propriedades de ambas as formas.


'''4.125''' A subsistência de uma relação interna entre situações possíveis exprime-se lingüìsticamente por meio de uma relação interna entre as proposições que as representam.
{{ParTLP|4.125}} A subsistência de uma relação interna entre situações possíveis exprime-se lingüìsticamente por meio de uma relação interna entre as proposições que as representam.


'''4.1251''' Isto liquida a disputa "se tôdas as relações são internas ou externas".
{{ParTLP|4.1251}} Isto liquida a disputa "se tôdas as relações são internas ou externas".


'''4.1252''' Às séries ordenadas por relações ''internas'' chamo de séries formais.
{{ParTLP|4.1252}} Às séries ordenadas por relações ''internas'' chamo de séries formais.


A série dos números não se ordena segundo uma relação externa, mas segundo uma relação ''interna''.
A série dos números não se ordena segundo uma relação externa, mas segundo uma relação ''interna''.
Line 697: Line 695:
(Estando ''b'' numa dessas relações com ''a'', chamo-lhe de sucessor de ''a''.)
(Estando ''b'' numa dessas relações com ''a'', chamo-lhe de sucessor de ''a''.)


'''4.126''' No mesmo sentido em que falamos de propriedades formais, podemos também nos referir a conceitos formais.
{{ParTLP|4.126}} No mesmo sentido em que falamos de propriedades formais, podemos também nos referir a conceitos formais.


(Introduzo essa expressão com o intuito de deslindar a confusão dos conceitos formais com os conceitos autênticos, que perpassa tôda a velha lógica.)
(Introduzo essa expressão com o intuito de deslindar a confusão dos conceitos formais com os conceitos autênticos, que perpassa tôda a velha lógica.)
Line 711: Line 709:
A expressão do conceito formal é uma variável proposicional, em que apenas êste traço próprio é constante.
A expressão do conceito formal é uma variável proposicional, em que apenas êste traço próprio é constante.


'''4.127''' A variável proposicional designa o conceito formal, e seus valôres, os objetos que caem sob êsse conceito.
{{ParTLP|4.127}} A variável proposicional designa o conceito formal, e seus valôres, os objetos que caem sob êsse conceito.


'''4.1271''' Cada variável é signo de um conceito formal.
{{ParTLP|4.1271}} Cada variável é signo de um conceito formal.


Porquanto cada variável representa uma forma constante que todos os seus valores possuem, e que pode ser concebida como a propriedade formal dêsses valôres.
Porquanto cada variável representa uma forma constante que todos os seus valores possuem, e que pode ser concebida como a propriedade formal dêsses valôres.


'''4.1272''' De sorte que a variável nome "''x''" é o signo apropriado ao pseudoconceito ''objeto''.
{{ParTLP|4.1272}} De sorte que a variável nome "''x''" é o signo apropriado ao pseudoconceito ''objeto''.


Sempre que a palavra "objeto" ("coisa", etc.) fôr corretamente empregada, será expressa na ideografia pela variável nome.
Sempre que a palavra "objeto" ("coisa", etc.) fôr corretamente empregada, será expressa na ideografia pela variável nome.
Line 735: Line 733:
(É, pois, absurdo dizer "Há apenas um 1", tanto quanto seria absurdo dizer: 2 + 2 é às 3 horas igual a 4.)
(É, pois, absurdo dizer "Há apenas um 1", tanto quanto seria absurdo dizer: 2 + 2 é às 3 horas igual a 4.)


'''4.12721''' O conceito formal já está dado com um objeto que cai sob êle. Não se pode, portanto, introduzir como conceitos fundamentais objetos de um conceito formal e ainda o próprio conceito formal. Não se pode, por exemplo, introduzir o conceito de função e ainda funções especiais (como Russell) na qualidade de conceitos fundamentais; ou também o conceito de número e números determinados.
{{ParTLP|4.12721}} O conceito formal já está dado com um objeto que cai sob êle. Não se pode, portanto, introduzir como conceitos fundamentais objetos de um conceito formal e ainda o próprio conceito formal. Não se pode, por exemplo, introduzir o conceito de função e ainda funções especiais (como Russell) na qualidade de conceitos fundamentais; ou também o conceito de número e números determinados.


'''4.1273''' Se quisermos exprimir, na ideografia, a proposição universal: "''b'' é sucessor de ''a''", precisamos de uma expressão para o termo geral da série formal: ''aRb'' ; (∃''x'') : ''aRx . xRb'' ; (∃''x, y'') : ''aRx . xRy . yRb'', ... Só é possível exprimir o têrmo universal de uma série formal por meio de uma variável, pois o conceito: membro de uma série formal, é um conceito ''formal''. (A isso desatentaram Frege e Russell; a maneira pela qual pretendem exprimir proposições universais, como a mencionada, é por isso falsa, contendo um ''circulus vitiosus''.)
{{ParTLP|4.1273}} Se quisermos exprimir, na ideografia, a proposição universal: "''b'' é sucessor de ''a''", precisamos de uma expressão para o termo geral da série formal: ''aRb'' ; (∃''x'') : ''aRx . xRb'' ; (∃''x, y'') : ''aRx . xRy . yRb'', ... Só é possível exprimir o têrmo universal de uma série formal por meio de uma variável, pois o conceito: membro de uma série formal, é um conceito ''formal''. (A isso desatentaram Frege e Russell; a maneira pela qual pretendem exprimir proposições universais, como a mencionada, é por isso falsa, contendo um ''circulus vitiosus''.)


Podemos determinar o têrmo universal da série formal dando seu primeiro têrmo e a forma geral da operação que gera o termo seguinte a partir da proposição precedente.
Podemos determinar o têrmo universal da série formal dando seu primeiro têrmo e a forma geral da operação que gera o termo seguinte a partir da proposição precedente.


'''4.1274''' É absurda a pergunta pela existência de um conceito formal, pois não há proposição que possa respondê-la.
{{ParTLP|4.1274}} É absurda a pergunta pela existência de um conceito formal, pois não há proposição que possa respondê-la.


(Não é possível, por exemplo, perguntar: "Há proposições sujeito-predicado inanalisáveis?")
(Não é possível, por exemplo, perguntar: "Há proposições sujeito-predicado inanalisáveis?")


'''4.128''' As formas lógicas são ''anuméricas''.
{{ParTLP|4.128}} As formas lógicas são ''anuméricas''.


De sorte que não há na lógica números excelentes, não havendo monismo ou dualismo filosófico, etc.
De sorte que não há na lógica números excelentes, não havendo monismo ou dualismo filosófico, etc.


'''4.2''' O sentido de uma proposição é sua concordância ou sua discordância com a possibilidade da subsistência ou não-subsistência de estados de coisas.
{{ParTLP|4.2}} O sentido de uma proposição é sua concordância ou sua discordância com a possibilidade da subsistência ou não-subsistência de estados de coisas.


'''4.21''' A proposição mais simples, a proposição elementar, afirma a subsistência de um estado de coisas.
{{ParTLP|4.21}} A proposição mais simples, a proposição elementar, afirma a subsistência de um estado de coisas.


'''4.211''' É um signo da proposição elementar que nenhuma outra possa estar em contradição com ela.
{{ParTLP|4.211}} É um signo da proposição elementar que nenhuma outra possa estar em contradição com ela.


'''4.22''' A proposição elementar é constituída de nomes. É uma conexão, um encadeamento de nomes.
{{ParTLP|4.22}} A proposição elementar é constituída de nomes. É uma conexão, um encadeamento de nomes.


'''4.221''' É óbvio que, graças à análise da proposição, devemos chegar a proposições elementares que consistam de nomes numa vinculação imediata.
{{ParTLP|4.221}} É óbvio que, graças à análise da proposição, devemos chegar a proposições elementares que consistam de nomes numa vinculação imediata.


Pergunta-se aqui como se dá o vínculo proposicional.
Pergunta-se aqui como se dá o vínculo proposicional.


'''4.2211''' Ainda que o mundo fôsse infinitamente complexo, de modo que cada fato fôsse constituído por muitos estados de coisas ao infinito e cada estado de coisas composto por muitos objetos ao infinito, mesmo assim deveria haver objetos e estados de coisas.
{{ParTLP|4.2211}} Ainda que o mundo fôsse infinitamente complexo, de modo que cada fato fôsse constituído por muitos estados de coisas ao infinito e cada estado de coisas composto por muitos objetos ao infinito, mesmo assim deveria haver objetos e estados de coisas.


'''4.23''' O nome só aparece na proposição em conexão com proposições elementares.
{{ParTLP|4.23}} O nome só aparece na proposição em conexão com proposições elementares.


'''4.24''' Os nomes são os símbolos mais simples, indico-os por letras singulares ("''x''", "''y''", "''z''").
{{ParTLP|4.24}} Os nomes são os símbolos mais simples, indico-os por letras singulares ("''x''", "''y''", "''z''").


Escrevo as proposições elementares como fun- ção dos nomes, com a seguinte forma: "''fx''", "''ϕ''(''x'', ''y'')", etc.
Escrevo as proposições elementares como função dos nomes, com a seguinte forma: "''fx''", "''ϕ''(''x'', ''y'')", etc.


Ou indico-as por meio das letras ''p'', ''q'', ''r''.
Ou indico-as por meio das letras ''p'', ''q'', ''r''.


'''4.241''' Se emprego dois signos numa única e mesma denotação, isto vem expresso quando introduzo entre ambos o signo "=".
{{ParTLP|4.241}} Se emprego dois signos numa única e mesma denotação, isto vem expresso quando introduzo entre ambos o signo "=".


"''a'' = ''b''" equivale pois a: o signo "''a''" é substituível pelo signo "''b''".
"''a'' = ''b''" equivale pois a: o signo "''a''" é substituível pelo signo "''b''".
Line 777: Line 775:
(Se introduzo por meio de uma equação um novo signo "''b''", determinando que deve substituir um signo "''a''" já conhecido, então escrevo a equação — definição — (como Russell) na forma "''a'' = ''b'' Def.". A definição é uma regra a propósito de signos.)
(Se introduzo por meio de uma equação um novo signo "''b''", determinando que deve substituir um signo "''a''" já conhecido, então escrevo a equação — definição — (como Russell) na forma "''a'' = ''b'' Def.". A definição é uma regra a propósito de signos.)


'''4.242''' Expressões de forma "''a'' = ''b''" são, pois, recursos de representação; nada dizem a respeito da denotação dos signos "''a''", "''b''".
{{ParTLP|4.242}} Expressões de forma "''a'' = ''b''" são, pois, recursos de representação; nada dizem a respeito da denotação dos signos "''a''", "''b''".


'''4.243''' Podemos compreender dois nomes sem saber se designam a mesma coisa ou duas coisas diferentes? — Podemos compreender uma proposição em que dois nomes aparecem sem saber se denotam o mesmo ou o diverso?
{{ParTLP|4.243}} Podemos compreender dois nomes sem saber se designam a mesma coisa ou duas coisas diferentes? — Podemos compreender uma proposição em que dois nomes aparecem sem saber se denotam o mesmo ou o diverso?


Conhecendo a denotação de uma palavra inglêsa e de outra alemã de mesma denotação, não me é possível ignorar que ambas possuem a mesma denotação, não me é possível não traduzi-las uma pela outra.
Conhecendo a denotação de uma palavra inglêsa e de outra alemã de mesma denotação, não me é possível ignorar que ambas possuem a mesma denotação, não me é possível não traduzi-las uma pela outra.
Line 785: Line 783:
Expressões como "''a'' = ''a''" ou destas derivadas não são nem proposições elementares nem signos significativos. (Isto será mostrado mais tarde.)
Expressões como "''a'' = ''a''" ou destas derivadas não são nem proposições elementares nem signos significativos. (Isto será mostrado mais tarde.)


'''4.25''' Se a proposição elementar fôr verdadeira, o estado de coisas subsiste; se fôr falsa, o estado de coisas não subsiste.
{{ParTLP|4.25}} Se a proposição elementar fôr verdadeira, o estado de coisas subsiste; se fôr falsa, o estado de coisas não subsiste.


'''4.26''' A indicação de tôdas as proposições elementares verdadeiras descreve o mundo completamente. O mundo é completamente descrito pela indicação de tôdas as proposições elementares mais a indicação de quais são as verdadeiras e quais as falsas.
{{ParTLP|4.26}} A indicação de tôdas as proposições elementares verdadeiras descreve o mundo completamente. O mundo é completamente descrito pela indicação de tôdas as proposições elementares mais a indicação de quais são as verdadeiras e quais as falsas.


'''4.27''' A respeito da subsistência e da não-subsistência de ''n'' estados de coisas dá-se <math>K_n = \sum_{\nu=0}^n \binom{n}{\nu}</math> possibilidades.
{{ParTLP|4.27}} A respeito da subsistência e da não-subsistência de ''n'' estados de coisas dá-se <math>K_n = \sum_{\nu=0}^n \binom{n}{\nu}</math> possibilidades.


É possível todas as combinações de estados de coisas subsistirem e outras não subsistirem.
É possível todas as combinações de estados de coisas subsistirem e outras não subsistirem.


'''4.28''' A essas combinações correspondem assim muitas possibilidades de verdade — e falsidade — de ''n'' proposições elementares.
{{ParTLP|4.28}} A essas combinações correspondem assim muitas possibilidades de verdade — e falsidade — de ''n'' proposições elementares.


'''4.3''' As possibilidades de verdade das proposições elementares denotam as possibilidades da subsistência e da não-subsistência de estados de coisas.
{{ParTLP|4.3}} As possibilidades de verdade das proposições elementares denotam as possibilidades da subsistência e da não-subsistência de estados de coisas.


'''4.31''' Podemos representar as possibilidades de verdade do seguinte modo ("''V''" denota "verdadeiro", "''F''" denota "falso". As séries de "''V''" e "''F''" sob a série das proposições elementares denotam suas possi- bilidades de verdade num simbolismo fàcilmente compreensível):
{{ParTLP|4.31}} Podemos representar as possibilidades de verdade do seguinte modo ("''V''" denota "verdadeiro", "''F''" denota "falso". As séries de "''V''" e "''F''" sob a série das proposições elementares denotam suas possi- bilidades de verdade num simbolismo fàcilmente compreensível):


{{TLP 4.31 pt}}
{{TLP 4.31 pt}}


'''4.4''' A proposição é a expressão da concordância e da discordância com as possibilidades de verdade das proposições elementares.
{{ParTLP|4.4}} A proposição é a expressão da concordância e da discordância com as possibilidades de verdade das proposições elementares.


'''4.41''' As possibilidades de verdade das proposições elementares são as condições da verdade e falsidade das proposições.
{{ParTLP|4.41}} As possibilidades de verdade das proposições elementares são as condições da verdade e falsidade das proposições.


'''4.411''' É de antemão provável que a introdução de proposições elementares seja fundamental para a compreensão de todos os outros modos de proposição. A compreensão das proposições universais, com efeito, depende ''palpàvelmente'' da das proposições elementares.
{{ParTLP|4.411}} É de antemão provável que a introdução de proposições elementares seja fundamental para a compreensão de todos os outros modos de proposição. A compreensão das proposições universais, com efeito, depende ''palpàvelmente'' da das proposições elementares.


'''4.42''' No que respeita à concordância ou à discordância de uma proposição com as possibilidades de verdade de ''n'' proposições elementares há <math>\sum_{\kappa=0}^{K_n} \binom{K_n}{\kappa} = L_n</math> possibilidades
{{ParTLP|4.42}} No que respeita à concordância ou à discordância de uma proposição com as possibilidades de verdade de ''n'' proposições elementares há <math>\sum_{\kappa=0}^{K_n} \binom{K_n}{\kappa} = L_n</math> possibilidades


'''4.43''' A concordância com as possibilidades de verdade podemos exprimi-la apondo-lhe no esquema a insígnia "''V''" (verdadeiro).
{{ParTLP|4.43}} A concordância com as possibilidades de verdade podemos exprimi-la apondo-lhe no esquema a insígnia "''V''" (verdadeiro).


A falta dessa insígnia denota a discordância.
A falta dessa insígnia denota a discordância.


'''4.431''' A expressão da concordância e da discordância com as possibilidades de verdade das proposições elementares exprime as condições de verdade da proposição.
{{ParTLP|4.431}} A expressão da concordância e da discordância com as possibilidades de verdade das proposições elementares exprime as condições de verdade da proposição.


A proposição é expressão de suas condições de verdade.
A proposição é expressão de suas condições de verdade.
Line 819: Line 817:
(Por isso Frege agiu corretamente ao tomá-las desde logo como explicação dos signos de sua ideografia. Somente a explicação do conceito de verdade em Frege é falsa: fôssem realmente "o verdadeiro" e "o falso" os objetos e os argumentos em ∼''p'', etc., então, segundo a determinação de Frege, o sentido de "∼''p''" não estaria determinado de modo algum.)
(Por isso Frege agiu corretamente ao tomá-las desde logo como explicação dos signos de sua ideografia. Somente a explicação do conceito de verdade em Frege é falsa: fôssem realmente "o verdadeiro" e "o falso" os objetos e os argumentos em ∼''p'', etc., então, segundo a determinação de Frege, o sentido de "∼''p''" não estaria determinado de modo algum.)


'''4.44''' O signo que surge por meio da aposição dessa insígnia "''V''" às possibilidades de verdade é um signo proposicional.
{{ParTLP|4.44}} O signo que surge por meio da aposição dessa insígnia "''V''" às possibilidades de verdade é um signo proposicional.


'''4.441''' É claro que nenhum objeto (ou complexo de objetos) corresponde ao complexo de signos "''F''" ou "''V''"; tampouco como às linhas horizontais ou verticais ou aos parenteses. — Não há "objetos lógicos".
{{ParTLP|4.441}} É claro que nenhum objeto (ou complexo de objetos) corresponde ao complexo de signos "''F''" ou "''V''"; tampouco como às linhas horizontais ou verticais ou aos parenteses. — Não há "objetos lógicos".


Algo análogo vale naturalmente para todos os signos que exprimem a mesma coisa que os esquemas de "''V''" e "''F''".
Algo análogo vale naturalmente para todos os signos que exprimem a mesma coisa que os esquemas de "''V''" e "''F''".


'''4.442''' Por exemplo:
{{ParTLP|4.442}} Por exemplo:


{{TLP 4.442 pt}}
{{TLP 4.442 pt}}
Line 837: Line 835:
(O número de posições no interior dos parênteses da esquerda está determinado pelo número de têrmos dos da direita.)
(O número de posições no interior dos parênteses da esquerda está determinado pelo número de têrmos dos da direita.)


'''4.45''' Para ''n'' proposições elementares há ''L<sub>n</sub>'' grupos possíveis de condições de verdade.
{{ParTLP|4.45}} Para ''n'' proposições elementares há ''L<sub>n</sub>'' grupos possíveis de condições de verdade.


Os grupos de condições de verdade que pertencem às possibilidades de verdade de um número de proposições elementares ordenam-se numa série.
Os grupos de condições de verdade que pertencem às possibilidades de verdade de um número de proposições elementares ordenam-se numa série.


'''4.46''' Entre os grupos possíveis de condições de verdade há dois casos extremos.
{{ParTLP|4.46}} Entre os grupos possíveis de condições de verdade há dois casos extremos.


No primeiro caso a proposição é verdadeira para todas as condições de verdade das proposições elementares. Dizemos então que as condições de verdade são ''tautológicas''.
No primeiro caso a proposição é verdadeira para todas as condições de verdade das proposições elementares. Dizemos então que as condições de verdade são ''tautológicas''.
Line 849: Line 847:
No primeiro caso chamamos à proposição de tautologia, no segundo, contradição.
No primeiro caso chamamos à proposição de tautologia, no segundo, contradição.


'''4.461''' A proposição mostra o que diz, a tautologia e a contradição que não dizem nada.
{{ParTLP|4.461}} A proposição mostra o que diz, a tautologia e a contradição que não dizem nada.


A tautologia não possui condições de verdade pois é verdadeira sob qualquer condição; a contradição sob nenhuma condição é verdadeira.
A tautologia não possui condições de verdade pois é verdadeira sob qualquer condição; a contradição sob nenhuma condição é verdadeira.
Line 859: Line 857:
(Nada sei, por exemplo, a respeito do tempo se sei que chove ou não chove.)
(Nada sei, por exemplo, a respeito do tempo se sei que chove ou não chove.)


'''4.4611''' A tautologia a contradição não são, porém, absurdas; pertencem ao simbolismo do mesmo modo que "0" pertence ao simbolismo da aritmética.
{{ParTLP|4.4611}} A tautologia a contradição não são, porém, absurdas; pertencem ao simbolismo do mesmo modo que "0" pertence ao simbolismo da aritmética.


'''4.462''' A tautologia e a contradição não são figurações da realidade. Não representam nenhuma situação possível, porquanto aquela permite ''tôdas'' as situações possíveis, esta, ''nenhuma''.
{{ParTLP|4.462}} A tautologia e a contradição não são figurações da realidade. Não representam nenhuma situação possível, porquanto aquela permite ''tôdas'' as situações possíveis, esta, ''nenhuma''.


'''4.463''' Na tautologia as condições de concordância com o mundo — as relações representativas — cancelam-se umas às outras, pois não se põem em relação representativa com a realidade.
{{ParTLP|4.463}} Na tautologia as condições de concordância com o mundo — as relações representativas — cancelam-se umas às outras, pois não se põem em relação representativa com a realidade.


As condições de verdade determinam o campo aberto aos fatos pela proposição.
As condições de verdade determinam o campo aberto aos fatos pela proposição.
Line 871: Line 869:
A tautologia deixa inteiramente à realidade o espaço lógico — infinito —; a contradição preenche o espaço lógico inteiro, não deixando à realidade ponto algum. Nenhuma delas pode, por conseguinte, determinar a realidade de um modo qualquer.
A tautologia deixa inteiramente à realidade o espaço lógico — infinito —; a contradição preenche o espaço lógico inteiro, não deixando à realidade ponto algum. Nenhuma delas pode, por conseguinte, determinar a realidade de um modo qualquer.


'''4.464''' É certa a verdade da tautologia, da proposição é possível e da contradição impossível.
{{ParTLP|4.464}} É certa a verdade da tautologia, da proposição é possível e da contradição impossível.


(Certo, possível, impossível: temos aqui a indicação da gradação que precisamos para a teoria da probabilidade.)
(Certo, possível, impossível: temos aqui a indicação da gradação que precisamos para a teoria da probabilidade.)


'''4.465''' O produto lógico de uma tautologia e de uma proposição diz o mesmo que a proposição. O produto é, pois, idêntico à proposição, porquanto não se pode alterar o essencial do símbolo sem alterar seu sentido.
{{ParTLP|4.465}} O produto lógico de uma tautologia e de uma proposição diz o mesmo que a proposição. O produto é, pois, idêntico à proposição, porquanto não se pode alterar o essencial do símbolo sem alterar seu sentido.


'''4.466''' A uma determinada união lógica de signos corresponde uma determinada união da denotação dêles; ''cada'' união ''arbitrária'' corresponde apenas a signos desunidos.
{{ParTLP|4.466}} A uma determinada união lógica de signos corresponde uma determinada união da denotação dêles; ''cada'' união ''arbitrária'' corresponde apenas a signos desunidos.


Isto quer dizer que proposições, verdadeiras para qualquer situação, não podem ser em geral uniões de signos, pois, caso contrário, apenas determinadas uniões de objetos poderiam corresponder.
Isto quer dizer que proposições, verdadeiras para qualquer situação, não podem ser em geral uniões de signos, pois, caso contrário, apenas determinadas uniões de objetos poderiam corresponder.
Line 885: Line 883:
Tautologia e contradição são casos-limites da união de signos, a saber, sua dissolução.
Tautologia e contradição são casos-limites da união de signos, a saber, sua dissolução.


'''4.4661''' Por certo na tautologia e na contradição os signos ainda estão ligados uns aos outros, isto é, relacionam-se entre si, mas estas relações são desprovidas de denotação, são inessenciais para o ''símbolo''.
{{ParTLP|4.4661}} Por certo na tautologia e na contradição os signos ainda estão ligados uns aos outros, isto é, relacionam-se entre si, mas estas relações são desprovidas de denotação, são inessenciais para o ''símbolo''.


'''4.5''' Agora parece possível estabelecer a forma mais geral da proposição, isto é, estabelecer uma descri- ção das proposições numa linguagem simbólica ''qualquer'', de tal modo que cada um dos sentidos possíveis poderia ser expresso por um símbolo adequado à descrição e cada símbolo adequado à descrição poderia exprimir um sentido, se as denotações dos nomes fôssem convenientemente escolhidas.
{{ParTLP|4.5}} Agora parece possível estabelecer a forma mais geral da proposição, isto é, estabelecer uma descri- ção das proposições numa linguagem simbólica ''qualquer'', de tal modo que cada um dos sentidos possíveis poderia ser expresso por um símbolo adequado à descrição e cada símbolo adequado à descrição poderia exprimir um sentido, se as denotações dos nomes fôssem convenientemente escolhidas.


É claro que, descrevendo a forma mais geral de uma proposição, ''somente'' o que é essencial deve ser descrito — caso contrário não seria a mais geral.
É claro que, descrevendo a forma mais geral de uma proposição, ''somente'' o que é essencial deve ser descrito — caso contrário não seria a mais geral.
Line 893: Line 891:
Prova-se a existência de uma forma geral da proposição porque não deve haver proposição alguma cuja forma não seja antes pressuposta (isto é, construída). A forma geral da proposição é: isto ''está'' do seguinte modo.
Prova-se a existência de uma forma geral da proposição porque não deve haver proposição alguma cuja forma não seja antes pressuposta (isto é, construída). A forma geral da proposição é: isto ''está'' do seguinte modo.


'''4.51''' Supondo que ''tôdas'' as proposições elementares me sejam dadas, surge a pergunta: quais são as proposições que posso formar a partir delas? E estas são ''tôdas'' as proposições e assim elas são limitadas.
{{ParTLP|4.51}} Supondo que ''tôdas'' as proposições elementares me sejam dadas, surge a pergunta: quais são as proposições que posso formar a partir delas? E estas são ''tôdas'' as proposições e assim elas são limitadas.


'''4.52''' As proposições são tudo o que se segue da totalidade das proposições elementares (sem dúvida por que se parte da ''totalidade de todas elas''). (Num certo sentido é possível dizer que ''tôdas'' as proposições são generalizações das proposições elementares.)
{{ParTLP|4.52}} As proposições são tudo o que se segue da totalidade das proposições elementares (sem dúvida por que se parte da ''totalidade de todas elas''). (Num certo sentido é possível dizer que ''tôdas'' as proposições são generalizações das proposições elementares.)


'''4.53''' A forma geral da proposição é uma variável.
{{ParTLP|4.53}} A forma geral da proposição é uma variável.


'''5''' A proposição é uma função de verdade das proposições elementares.
{{ParTLP|5}} A proposição é uma função de verdade das proposições elementares.


(A proposição elementar é uma função de verdade de si mesma.)
(A proposição elementar é uma função de verdade de si mesma.)


'''5.01''' As proposições elementares são os argumentos de verdade da proposição.
{{ParTLP|5.01}} As proposições elementares são os argumentos de verdade da proposição.


'''5.02''' E fácil confundir argumentos de uma função com índices de nomes. Conheço em particular a denotação de um signo que a contém tanto pelo argumento como pelo índice.
{{ParTLP|5.02}} E fácil confundir argumentos de uma função com índices de nomes. Conheço em particular a denotação de um signo que a contém tanto pelo argumento como pelo índice.


No sinal de Russell "+''<sub>c</sub>''", por exemplo, "''c''" é um índice que indica valer o signo inteiro para a soma de números cardinais. Esta designação, porém, se apóia num ajuste arbitrário, de sorte que seria possível em vez de "+''<sub>c</sub>''" escolher outro signo simples; em "∼''p''", entretanto, "''p''" não é índice algum, mas argumento: o sentido de "∼''p''" ''não pode'' ser compreendido sem que antes o sentido de "''p''" o seja. (No nome Julius Caesar, "Julius" é índice. Este é sempre parte da descrição do objeto cujos nomes vinculamos a êle. Por exemplo, ''o'' Caesar da gente juliana.)
No sinal de Russell "+''<sub>c</sub>''", por exemplo, "''c''" é um índice que indica valer o signo inteiro para a soma de números cardinais. Esta designação, porém, se apóia num ajuste arbitrário, de sorte que seria possível em vez de "+''<sub>c</sub>''" escolher outro signo simples; em "∼''p''", entretanto, "''p''" não é índice algum, mas argumento: o sentido de "∼''p''" ''não pode'' ser compreendido sem que antes o sentido de "''p''" o seja. (No nome Julius Caesar, "Julius" é índice. Este é sempre parte da descrição do objeto cujos nomes vinculamos a êle. Por exemplo, ''o'' Caesar da gente juliana.)
Line 911: Line 909:
A confusão entre argumento e índice constitui, se não me engano, a base da teoria de Frege a respeito da denotação das proposições e das funções. Para Frege, as proposições da lógica seriam nomes, e seus argumentos, os índices dêsses nomes.
A confusão entre argumento e índice constitui, se não me engano, a base da teoria de Frege a respeito da denotação das proposições e das funções. Para Frege, as proposições da lógica seriam nomes, e seus argumentos, os índices dêsses nomes.


'''5.1''' As funções de verdade se ordenam em séries.
{{ParTLP|5.1}} As funções de verdade se ordenam em séries.


Este é o fundamento da teoria da probabilidade.
Este é o fundamento da teoria da probabilidade.


'''5.101''' As funções de verdade de todos os números de proposições elementares inscrevem-se no seguinte esquema:
{{ParTLP|5.101}} As funções de verdade de todos os números de proposições elementares inscrevem-se no seguinte esquema:


{| style="margin: 0 auto 0 auto;"
{| style="margin: 0 auto 0 auto;"
Line 993: Line 991:
Se ''p'' segue-se de ''q'', o sentido de "''p''" está contigo no sentido de "''q''".
Se ''p'' segue-se de ''q'', o sentido de "''p''" está contigo no sentido de "''q''".


'''5.123''' Se um deus criasse um mundo em que certas proposições fôssem verdadeiras, criaria do mesmo modo um mundo com o qual concordariam tôdas suas proposições conseqüentes. E assim similarmente não poderia criar um mundo em que a proposição "''p''" fôsse verdadeira, sem criar todos os objetos dela.
{{ParTLP|5.123}} Se um deus criasse um mundo em que certas proposições fôssem verdadeiras, criaria do mesmo modo um mundo com o qual concordariam tôdas suas proposições conseqüentes. E assim similarmente não poderia criar um mundo em que a proposição "''p''" fôsse verdadeira, sem criar todos os objetos dela.


'''5.124''' A proposição afirma cada proposição que dela se segue.
{{ParTLP|5.124}} A proposição afirma cada proposição que dela se segue.


'''5.1241''' "''p'' . ''q''" é uma das proposições que afirmam "''p''" e ao mesmo tempo uma das proposições que afirmam "''q''".
{{ParTLP|5.1241}} "''p'' . ''q''" é uma das proposições que afirmam "''p''" e ao mesmo tempo uma das proposições que afirmam "''q''".


Duas proposições são opostas uma à outra se não existir qualquer proposição significativa que afirme ambas.
Duas proposições são opostas uma à outra se não existir qualquer proposição significativa que afirme ambas.
Line 1,003: Line 1,001:
Cada proposição que contradiz a outra, nega-a.
Cada proposição que contradiz a outra, nega-a.


'''5.13''' Que a verdade de uma proposição segue-se da verdade de outras vemos a partir da estrutura das proposições.
{{ParTLP|5.13}} Que a verdade de uma proposição segue-se da verdade de outras vemos a partir da estrutura das proposições.


'''5.131''' Se a verdade de uma proposição segue-se da verdade de outras, isto se exprime nas relações que as formas dessas proposições mantêm entre si; e não precisamos com efeito colocá-las primeiro naquelas relações, unindo-as com outra proposição, porquanto essas relações são internas e subsistem enquanto aquelas proposições subsistirem, e porque elas subsistem.
{{ParTLP|5.131}} Se a verdade de uma proposição segue-se da verdade de outras, isto se exprime nas relações que as formas dessas proposições mantêm entre si; e não precisamos com efeito colocá-las primeiro naquelas relações, unindo-as com outra proposição, porquanto essas relações são internas e subsistem enquanto aquelas proposições subsistirem, e porque elas subsistem.


'''5.1311''' Se pois de ''p'' ∨ ''q'' e de ~''p'' inferimos ''q'', a relação entre as formas das proposições "''p'' ∨ ''q''" e "∼''p''" se oculta em virtude da maneira de simbolizar. Se em lugar de "''p'' ∨ ''q''", escrevemos, por exemplo, "''p'' | ''q'' . | . ''p'' | ''q''" e em lugar de "∼''p''" "''p'' | ''p''" (''p'' | ''q'' = nem ''p'' nem ''q''), logo se torna clara a conexão interna.
{{ParTLP|5.1311}} Se pois de ''p'' ∨ ''q'' e de ~''p'' inferimos ''q'', a relação entre as formas das proposições "''p'' ∨ ''q''" e "∼''p''" se oculta em virtude da maneira de simbolizar. Se em lugar de "''p'' ∨ ''q''", escrevemos, por exemplo, "''p'' | ''q'' . | . ''p'' | ''q''" e em lugar de "∼''p''" "''p'' | ''p''" (''p'' | ''q'' = nem ''p'' nem ''q''), logo se torna clara a conexão interna.


De (''x'').''fx'' pode-se inferir ''fa''; isto mostra que a universalidade já está presente no símbolo "(''x'').''fx''".
De (''x'').''fx'' pode-se inferir ''fa''; isto mostra que a universalidade já está presente no símbolo "(''x'').''fx''".


'''5.132''' Se ''p'' segue-se de ''q'', posso então inferir de ''q'', ''p''; deduzir ''p'' de ''q''.
{{ParTLP|5.132}} Se ''p'' segue-se de ''q'', posso então inferir de ''q'', ''p''; deduzir ''p'' de ''q''.


O modo de inferência há de ser captado apenas de ambas as proposições.
O modo de inferência há de ser captado apenas de ambas as proposições.
Line 1,019: Line 1,017:
"Regras de inferência" que — como em Frege e Russell — devem justificar a inferência são vazias de sentido e seriam supérfluas.
"Regras de inferência" que — como em Frege e Russell — devem justificar a inferência são vazias de sentido e seriam supérfluas.


'''5.133''' Tôda dedução se dá ''a priori''.
{{ParTLP|5.133}} Tôda dedução se dá ''a priori''.


'''5.134''' De uma proposição elementar nenhuma outra pode ser deduzida.
{{ParTLP|5.134}} De uma proposição elementar nenhuma outra pode ser deduzida.


'''5.135''' De modo algum é possível inferir da subsistência de uma situação qualquer a subsistência de uma situação inteiramente diferente dela.
{{ParTLP|5.135}} De modo algum é possível inferir da subsistência de uma situação qualquer a subsistência de uma situação inteiramente diferente dela.


'''5.136''' Não há nexo causal que justifique tal inferência.
{{ParTLP|5.136}} Não há nexo causal que justifique tal inferência.


'''5.1361''' Não ''podemos'' inferir os acontecimentos do futuro a partir daqueles do presente.
{{ParTLP|5.1361}} Não ''podemos'' inferir os acontecimentos do futuro a partir daqueles do presente.


É ''superstição'' a crença no nexo causal.
É ''superstição'' a crença no nexo causal.


'''5.1362''' A liberdade da vontade consiste em não poder conhecer agora as ações futuras. Só poderíamos conhecê-las se a causalidade fôsse uma necessidade ''interna'', como a inferência lógica. A conexão entre o conhecer e o conhecido é a mesma da necessidade lógica.
{{ParTLP|5.1362}} A liberdade da vontade consiste em não poder conhecer agora as ações futuras. Só poderíamos conhecê-las se a causalidade fôsse uma necessidade ''interna'', como a inferência lógica. A conexão entre o conhecer e o conhecido é a mesma da necessidade lógica.


("''A'' sabe que ''p'' ocorre" é vazia de sentido se ''p'' fôr uma tautologia.)
("''A'' sabe que ''p'' ocorre" é vazia de sentido se ''p'' fôr uma tautologia.)


'''5.1363''' Sendo uma proposição óbvia para nós, não ''se segue'' que seja verdadeira; por conseguinte, a obviedade não é justificativa para nossa crença em sua verdade.
{{ParTLP|5.1363}} Sendo uma proposição óbvia para nós, não ''se segue'' que seja verdadeira; por conseguinte, a obviedade não é justificativa para nossa crença em sua verdade.


'''5.14''' Se uma proposição segue-se de outra, esta diz mais do que aquela, aquela menos do que esta. Se ''p'' segue-se de ''q'' e ''q'' de ''p'', ambas são pois uma única e mesma proposição.
{{ParTLP|5.14}} Se uma proposição segue-se de outra, esta diz mais do que aquela, aquela menos do que esta. Se ''p'' segue-se de ''q'' e ''q'' de ''p'', ambas são pois uma única e mesma proposição.


'''5.142''' A tautologia segue-se de todas as proposições: não diz nada.
{{ParTLP|5.142}} A tautologia segue-se de todas as proposições: não diz nada.


'''5.143''' A contradição é algo comum às proposições e que ''nenhuma'' proposição tem em comum com outra. A tautologia é o que é comum a tôdas as proposições que não têm nada em comum entre si.
{{ParTLP|5.143}} A contradição é algo comum às proposições e que ''nenhuma'' proposição tem em comum com outra. A tautologia é o que é comum a tôdas as proposições que não têm nada em comum entre si.


A contradição desaparece, por assim dizer, por fora, a tautologia, por dentro de todas as proposições.
A contradição desaparece, por assim dizer, por fora, a tautologia, por dentro de todas as proposições.
Line 1,047: Line 1,045:
A contradição é limite externo das proposições, a tautologia, seu centro dessubstancializado.
A contradição é limite externo das proposições, a tautologia, seu centro dessubstancializado.


'''5.15''' Seja ''V<sub>r</sub>'' o número dos fundamentos de verdade da proposição "''r''", ''V<sub>rs</sub>'' o número daqueles fundamentos de verdade da proposição "''s''" que ao mesmo tempo são fundamentos de verdade de "''r''"; chamamos então à relação: ''V<sub>rs</sub>'' : ''V<sub>r</sub>'' de medida de ''probabilidade'' que a proposição "''r''" tem em relação à proposição "''s''".
{{ParTLP|5.15}} Seja ''V<sub>r</sub>'' o número dos fundamentos de verdade da proposição "''r''", ''V<sub>rs</sub>'' o número daqueles fundamentos de verdade da proposição "''s''" que ao mesmo tempo são fundamentos de verdade de "''r''"; chamamos então à relação: ''V<sub>rs</sub>'' : ''V<sub>r</sub>'' de medida de ''probabilidade'' que a proposição "''r''" tem em relação à proposição "''s''".


'''5.151''' Seja num esquema como o de cima, no número [[Private:Tractatus Logico-Philosophicus (Português)#5.101|5.101]], ''V<sub>r</sub>'' o número de "''V''" da proposição ''r''; ''V<sub>rs</sub>'' o número daqueles "''V''" na proposição ''s'' que estão na mesma coluna com os "''V''" da proposição ''r''. A proposição ''r'' tem em relação à proposição ''s'' a probabilidade ''V<sub>rs</sub>'' : ''V<sub>r</sub>''.
{{ParTLP|5.151}} Seja num esquema como o de cima, no número [[Private:Tractatus Logico-Philosophicus (Português)#5.101|5.101]], ''V<sub>r</sub>'' o número de "''V''" da proposição ''r''; ''V<sub>rs</sub>'' o número daqueles "''V''" na proposição ''s'' que estão na mesma coluna com os "''V''" da proposição ''r''. A proposição ''r'' tem em relação à proposição ''s'' a probabilidade ''V<sub>rs</sub>'' : ''V<sub>r</sub>''.


'''5.1511''' Não há nenhum objeto particular próprio às proposições probabilísticas.
{{ParTLP|5.1511}} Não há nenhum objeto particular próprio às proposições probabilísticas.


'''5.152''' Chamamos mútuamente independentes as proposições que não têm em comum com outras qualquer argumento de verdade.
{{ParTLP|5.152}} Chamamos mútuamente independentes as proposições que não têm em comum com outras qualquer argumento de verdade.


Duas proposições elementares têm entre si a probabilidade ½.
Duas proposições elementares têm entre si a probabilidade ½.
Line 1,061: Line 1,059:
(Aplicação à tautologia e à contradição.)
(Aplicação à tautologia e à contradição.)


'''5.153''' Uma proposição não é nem provável nem improvável. Um acontecimento se dá ou não se dá, não há meio-têrmo.
{{ParTLP|5.153}} Uma proposição não é nem provável nem improvável. Um acontecimento se dá ou não se dá, não há meio-têrmo.


'''5.154''' Suponhamos que numa urna estejam tantas bolas brancas quantas pretas (e nenhuma a mais). Tiro uma bola depois da outra e as reponho de novo na urna. Posso, então, estabelecer pela experiência que o número das bolas pretas tiradas e o das bolas brancas tiradas se aproximam progressivamente um do outro.
{{ParTLP|5.154}} Suponhamos que numa urna estejam tantas bolas brancas quantas pretas (e nenhuma a mais). Tiro uma bola depois da outra e as reponho de novo na urna. Posso, então, estabelecer pela experiência que o número das bolas pretas tiradas e o das bolas brancas tiradas se aproximam progressivamente um do outro.


''Isto'' não é, portanto, um fato matemático.
''Isto'' não é, portanto, um fato matemático.
Line 1,071: Line 1,069:
O que verifiquei pela experiência é que ambos os acontecimentos independem das circunstâncias das quais não tenho conhecimento mais próximo.
O que verifiquei pela experiência é que ambos os acontecimentos independem das circunstâncias das quais não tenho conhecimento mais próximo.


'''5.155''' A unidade das proposições probabilísticas é a seguinte: as circunstâncias — de que, aliás, não tenho conhecimento mais amplo — conferem a um determinado acontecimento tal e tal grau de probabilidade.
{{ParTLP|5.155}} A unidade das proposições probabilísticas é a seguinte: as circunstâncias — de que, aliás, não tenho conhecimento mais amplo — conferem a um determinado acontecimento tal e tal grau de probabilidade.


'''5.156''' Dêsse modo, a probabilidade é uma generalização.
{{ParTLP|5.156}} Dêsse modo, a probabilidade é uma generalização.


Envolve uma descrição geral de uma forma proposicional.
Envolve uma descrição geral de uma forma proposicional.
Line 1,083: Line 1,081:
A proposição probabilística é como se fôsse um extrato de outras proposições.
A proposição probabilística é como se fôsse um extrato de outras proposições.


'''5.2''' As estruturas das proposições mantêm entre si relações internas.
{{ParTLP|5.2}} As estruturas das proposições mantêm entre si relações internas.


'''5.21''' Podemos trazer essas relações internas para nosso modo de expressão, representando uma proposição como resultado de uma operação que a produz de outras proposições (as bases da operação).
{{ParTLP|5.21}} Podemos trazer essas relações internas para nosso modo de expressão, representando uma proposição como resultado de uma operação que a produz de outras proposições (as bases da operação).


'''5.22''' A operação é a expressão de uma relação entre as estruturas do resultado e de suas bases.
{{ParTLP|5.22}} A operação é a expressão de uma relação entre as estruturas do resultado e de suas bases.


'''5.23''' Operação é o que deve acontecer com uma proposição a fim de gerar outra a partir dela.
{{ParTLP|5.23}} Operação é o que deve acontecer com uma proposição a fim de gerar outra a partir dela.


'''5.231''' E isso naturalmente dependerá de suas propriedades formais, da semelhança interna de suas formas.
{{ParTLP|5.231}} E isso naturalmente dependerá de suas propriedades formais, da semelhança interna de suas formas.


'''5.232''' A relação interna que ordena uma série equivale à operação que produz um têrmo a partir de outro.
{{ParTLP|5.232}} A relação interna que ordena uma série equivale à operação que produz um têrmo a partir de outro.


'''5.233''' A operação só pode ter lugar pela primeira vez onde uma proposição nasce de outra de modo lògicamente denotativo; onde começa, portanto, a construção lógica da proposição.
{{ParTLP|5.233}} A operação só pode ter lugar pela primeira vez onde uma proposição nasce de outra de modo lògicamente denotativo; onde começa, portanto, a construção lógica da proposição.


'''5.234''' As funções de verdade das proposições elementares resultam de operações que têm como bases as proposições elementares. (A essa operação chamo de operação-verdade.)
{{ParTLP|5.234}} As funções de verdade das proposições elementares resultam de operações que têm como bases as proposições elementares. (A essa operação chamo de operação-verdade.)


'''5.2341''' O sentido de uma função de verdade de ''p'' é função do sentido de ''p''.
{{ParTLP|5.2341}} O sentido de uma função de verdade de ''p'' é função do sentido de ''p''.


Negação, soma lógica, multiplicação lógica, etc., etc., são operações.
Negação, soma lógica, multiplicação lógica, etc., etc., são operações.
Line 1,105: Line 1,103:
(A negação inverte o sentido da proposição.)
(A negação inverte o sentido da proposição.)


'''5.24''' A operação mostra-se numa variável; mostra como de uma forma de proposições se pode chegar a outra.
{{ParTLP|5.24}} A operação mostra-se numa variável; mostra como de uma forma de proposições se pode chegar a outra.


Torna expressa a diferença de formas.
Torna expressa a diferença de formas.
Line 1,111: Line 1,109:
(E o que é comum às bases e ao resultado da operação são precisamente essas bases.)
(E o que é comum às bases e ao resultado da operação são precisamente essas bases.)


'''5.241''' A operação não designa forma alguma, mas apenas a diferença de formas.
{{ParTLP|5.241}} A operação não designa forma alguma, mas apenas a diferença de formas.


'''5.242''' A mesma operação que produz "''q''" de "''p''", produz também de "''q''", "''r''" e assim por diante. Isto só pode ser expresso porque "''p''", "''q''", "''r''", etc., são variáveis que tornam expressas de um modo geral certas relações formais.
{{ParTLP|5.242}} A mesma operação que produz "''q''" de "''p''", produz também de "''q''", "''r''" e assim por diante. Isto só pode ser expresso porque "''p''", "''q''", "''r''", etc., são variáveis que tornam expressas de um modo geral certas relações formais.


'''5.25''' A realização de uma operação não caracteriza o sentido de uma proposição.
{{ParTLP|5.25}} A realização de uma operação não caracteriza o sentido de uma proposição.


A operação nada asserta além de seu resultado e isto depende das bases dessa operação.
A operação nada asserta além de seu resultado e isto depende das bases dessa operação.
Line 1,121: Line 1,119:
(Operações e funções não devem ser confundidas.)
(Operações e funções não devem ser confundidas.)


'''5.251''' Uma função não pode ser seu próprio argumento; no entanto, o resultado de uma operação pode muito bem ser sua própria base.
{{ParTLP|5.251}} Uma função não pode ser seu próprio argumento; no entanto, o resultado de uma operação pode muito bem ser sua própria base.


'''5.252''' Sòmente assim é possível o progresso de um têrmo a outro na série formal (de tipo a tipo na hierarquia de Russell e Whitehead). (Russell e Whitehead não admitiram a possibilidade dêsse progresso mas fizeram dêle uso repetido.)
{{ParTLP|5.252}} Sòmente assim é possível o progresso de um têrmo a outro na série formal (de tipo a tipo na hierarquia de Russell e Whitehead). (Russell e Whitehead não admitiram a possibilidade dêsse progresso mas fizeram dêle uso repetido.)


'''5.2521''' À aplicação progressiva de uma operação sôbre seu próprio resultado chamo sua aplicação sucessiva. ("''O'O'O'a''" resulta de três aplicações sucessivas de "''O'ξ''" sobre "''a''").
{{ParTLP|5.2521}} À aplicação progressiva de uma operação sôbre seu próprio resultado chamo sua aplicação sucessiva. ("''O'O'O'a''" resulta de três aplicações sucessivas de "''O'ξ''" sobre "''a''").


Em sentido semelhante falo da aplicação sucessiva de ''muitas'' operações sobre um número de proposições.
Em sentido semelhante falo da aplicação sucessiva de ''muitas'' operações sobre um número de proposições.


'''5.2522''' O têrmo geral de uma seqüência formal ''a'', ''O'a'', ''O'O'a'', ... escrevo por isso do seguinte modo: "[''a'', ''x'', ''O'x'']". Esta expressão entre colchêtes é uma variável. O primeiro têrmo da expressão do colchête é o início da série formal, o segundo a forma de um têrmo qualquer ''x'' da série e o terceiro a forma daquele têrmo da série que segue imediatamente a ''x''.
{{ParTLP|5.2522}} O têrmo geral de uma seqüência formal ''a'', ''O'a'', ''O'O'a'', ... escrevo por isso do seguinte modo: "[''a'', ''x'', ''O'x'']". Esta expressão entre colchêtes é uma variável. O primeiro têrmo da expressão do colchête é o início da série formal, o segundo a forma de um têrmo qualquer ''x'' da série e o terceiro a forma daquele têrmo da série que segue imediatamente a ''x''.


'''5.2523''' O conceito de aplicação sucessiva de operação equivale ao conceito "e assim por diante".
{{ParTLP|5.2523}} O conceito de aplicação sucessiva de operação equivale ao conceito "e assim por diante".


'''5.253''' Uma operação pode anular o efeito de outra. Operações podem suprimir-se mùtuamente.
{{ParTLP|5.253}} Uma operação pode anular o efeito de outra. Operações podem suprimir-se mùtuamente.


'''5.254''' A operação pode desaparecer (por exemplo, a negação em "∼∼''p''", ~~''p'' = ''p'').
{{ParTLP|5.254}} A operação pode desaparecer (por exemplo, a negação em "∼∼''p''", ~~''p'' = ''p'').


'''5.3''' Todas as proposições resultam de operações- verdades sobre as proposições elementares.
{{ParTLP|5.3}} Todas as proposições resultam de operações- verdades sobre as proposições elementares.


A operação-verdade é o modo pelo qual a função de verdade nasce das proposições elementares.
A operação-verdade é o modo pelo qual a função de verdade nasce das proposições elementares.
Line 1,145: Line 1,143:
Tôda proposição resulta de operações-verdades sôbre proposições elementares.
Tôda proposição resulta de operações-verdades sôbre proposições elementares.


'''5.31''' Os esquemas do n.° [[Private:Tractatus Logico-Philosophicus (Português)#4.31|4.31]] possuem também denotação quando "''p''", "''q''", "''r''", etc., não são proposições elementares.
{{ParTLP|5.31}} Os esquemas do n.° [[Private:Tractatus Logico-Philosophicus (Português)#4.31|4.31]] possuem também denotação quando "''p''", "''q''", "''r''", etc., não são proposições elementares.


É fácil verificar que o signo proposicional no n.° [[Private:Tractatus Logico-Philosophicus (Português)#4.2|4.2]] exprime uma função de verdade de proposições elementares ainda quando "''p''" e "''q''" são funções de verdade de proposições elementares.
É fácil verificar que o signo proposicional no n.° [[Private:Tractatus Logico-Philosophicus (Português)#4.2|4.2]] exprime uma função de verdade de proposições elementares ainda quando "''p''" e "''q''" são funções de verdade de proposições elementares.


'''5.32''' Tôdas as funções de verdade resultam da aplicação sucessiva de um número finito de operações- verdades sobre proposições elementares.
{{ParTLP|5.32}} Tôdas as funções de verdade resultam da aplicação sucessiva de um número finito de operações- verdades sobre proposições elementares.


'''5.4''' Aqui se evidencia que não há "objetos lógicos", "constantes lógicas" (no sentido de Frege e Russell).
{{ParTLP|5.4}} Aqui se evidencia que não há "objetos lógicos", "constantes lógicas" (no sentido de Frege e Russell).


'''5.41''' Porquanto: todos os resultados de operações-verdades sobre funções de verdade são idênticos, são uma e a mesma função de verdade de proposições elementares.
{{ParTLP|5.41}} Porquanto: todos os resultados de operações-verdades sobre funções de verdade são idênticos, são uma e a mesma função de verdade de proposições elementares.


'''5.42''' É óbvio que ∨, ⊃, etc., não são relações no sentido de direita e esquerda.
{{ParTLP|5.42}} É óbvio que ∨, ⊃, etc., não são relações no sentido de direita e esquerda.


A possibilidade de definição cruzada dos "signos primitivos" de Frege e Russell já mostra que não são primitivos e que não designam relação alguma.
A possibilidade de definição cruzada dos "signos primitivos" de Frege e Russell já mostra que não são primitivos e que não designam relação alguma.
Line 1,161: Line 1,159:
É evidente que "⊃", que definimos por "∼" e "v", é idêntico ao que serve para definir "∨" com a ajuda de "∼" e que éste "∨" é idêntico ao primeiro. E assim por diante.
É evidente que "⊃", que definimos por "∼" e "v", é idêntico ao que serve para definir "∨" com a ajuda de "∼" e que éste "∨" é idêntico ao primeiro. E assim por diante.


'''5.43''' Que de um fato p outros ao infinito seguir-se-ão, nomeadamente ∼∼p . ∼∼∼∼p, etc., é difícil, no início, de se acreditar. E não é menos extraordinário o número infinito de proposições da lógica (da matemática) seguir-se de meia dúzia de "princípios".
{{ParTLP|5.43}} Que de um fato p outros ao infinito seguir-se-ão, nomeadamente ∼∼p . ∼∼∼∼p, etc., é difícil, no início, de se acreditar. E não é menos extraordinário o número infinito de proposições da lógica (da matemática) seguir-se de meia dúzia de "princípios".


Tôdas as proposições da lógica dizem, porém, o mesmo; a saber, nada.
Tôdas as proposições da lógica dizem, porém, o mesmo; a saber, nada.


'''5.44''' As funções de verdade não são funções materiais.
{{ParTLP|5.44}} As funções de verdade não são funções materiais.


Já que, por exemplo, é possível gerar uma afirmação por meio da dupla negação, estará a negação — seja qual fôr o sentido — incluída na afirmação? "∼∼''p''" nega ∼''p'' ou afirma ∼''p'', ou ambos?
Já que, por exemplo, é possível gerar uma afirmação por meio da dupla negação, estará a negação — seja qual fôr o sentido — incluída na afirmação? "∼∼''p''" nega ∼''p'' ou afirma ∼''p'', ou ambos?
Line 1,173: Line 1,171:
E se houvesse um objeto chamado "∼", então "∼∼p" deveria dizer outra coisa do que "p". Porquanto uma proposição trataria de "∼", enquanto a outra não.
E se houvesse um objeto chamado "∼", então "∼∼p" deveria dizer outra coisa do que "p". Porquanto uma proposição trataria de "∼", enquanto a outra não.


'''5.441''' Este desaparecimento das aparentes constantes lógicas se dá se "∼(∃''x'') . ∼''fx''" diz a mesma coisa que "(''x''). ''fx''" ou "(∃''x''). ''fx'' . ''x'' = ''a''", o mesmo que "''fa''".
{{ParTLP|5.441}} Este desaparecimento das aparentes constantes lógicas se dá se "∼(∃''x'') . ∼''fx''" diz a mesma coisa que "(''x''). ''fx''" ou "(∃''x''). ''fx'' . ''x'' = ''a''", o mesmo que "''fa''".


'''5.442''' Caso uma proposição nos seja dada, ''com ela'' dão-se os resultados de todas as operações-verdades que a têm como base.
{{ParTLP|5.442}} Caso uma proposição nos seja dada, ''com ela'' dão-se os resultados de todas as operações-verdades que a têm como base.


'''5.45''' Se houvesse signos lógicos primitivos, uma lógica correta deveria esclarecer suas posições, relativas umas às outras, e justificar sua existência. Deve tornar-se clara a construção da lógica ''a partir'' de seus signos primitivos.
{{ParTLP|5.45}} Se houvesse signos lógicos primitivos, uma lógica correta deveria esclarecer suas posições, relativas umas às outras, e justificar sua existência. Deve tornar-se clara a construção da lógica ''a partir'' de seus signos primitivos.


'''5.451''' Se a lógica possuísse conceitos básicos, êstes deveriam ser independentes uns dos outros. Admitido um conceito básico, deveria êle ser admitido em tôdas as vinculações em que em geral aparece. Não é possível, portanto, primeiramente admiti-lo ''numa'' conexão para em seguida admiti-lo em outra. Por exemplo, admitida a negação, devemos entendê-la tanto nas proposições de forma "∼''p''", como nas proposições tais que "∼(''p'' ∨ ''q'')", "(∃''x'') . ∼''fx''", etc. Não podemos introduzi-la primeiro para uma classe de casos, em seguida para outra: permaneceria duvidoso se sua denotação seria a mesma em ambos os casos, não havendo motivo de utilizar para êsses casos o mesmo modo de vincular os signos.
{{ParTLP|5.451}} Se a lógica possuísse conceitos básicos, êstes deveriam ser independentes uns dos outros. Admitido um conceito básico, deveria êle ser admitido em tôdas as vinculações em que em geral aparece. Não é possível, portanto, primeiramente admiti-lo ''numa'' conexão para em seguida admiti-lo em outra. Por exemplo, admitida a negação, devemos entendê-la tanto nas proposições de forma "∼''p''", como nas proposições tais que "∼(''p'' ∨ ''q'')", "(∃''x'') . ∼''fx''", etc. Não podemos introduzi-la primeiro para uma classe de casos, em seguida para outra: permaneceria duvidoso se sua denotação seria a mesma em ambos os casos, não havendo motivo de utilizar para êsses casos o mesmo modo de vincular os signos.


(Em resumo, para a introdução de signos primitivos vale, ''mutatis mutandis'', o que Frege (nos ''Princípios da Aritmética'') disse a propósito da introdução de signos por meio de definições.)
(Em resumo, para a introdução de signos primitivos vale, ''mutatis mutandis'', o que Frege (nos ''Princípios da Aritmética'') disse a propósito da introdução de signos por meio de definições.)


'''5.452''' A introdução de um novo recurso no simbolismo da lógica sempre há de ser um acontecimento pleno de conseqüências. Nenhum recurso novo há de ser introduzido na lógica — entre parênteses ou à margem — por assim dizer, com cara inocente.
{{ParTLP|5.452}} A introdução de um novo recurso no simbolismo da lógica sempre há de ser um acontecimento pleno de conseqüências. Nenhum recurso novo há de ser introduzido na lógica — entre parênteses ou à margem — por assim dizer, com cara inocente.


(Aparecem nos ''Principia Mathematica'' de Russell e Whitehead definições e princípios em palavras. Por que de repente palavras? Isto demanda uma justificação, que falta e deve faltar, pois o procedimento não é de fato permitido.)
(Aparecem nos ''Principia Mathematica'' de Russell e Whitehead definições e princípios em palavras. Por que de repente palavras? Isto demanda uma justificação, que falta e deve faltar, pois o procedimento não é de fato permitido.)
Line 1,189: Line 1,187:
Se todavia a introdução de novo recurso se provou necessária, deve-se perguntar imediatamente: onde êsse recurso deve ser ''sempre'' empregado? Sua localização na lógica deve ser esclarecida.
Se todavia a introdução de novo recurso se provou necessária, deve-se perguntar imediatamente: onde êsse recurso deve ser ''sempre'' empregado? Sua localização na lógica deve ser esclarecida.


'''5.453''' Todos os números da lógica devem deixar-se justificar.
{{ParTLP|5.453}} Todos os números da lógica devem deixar-se justificar.


Ou melhor, deve evidenciar-se que não há números na lógica.
Ou melhor, deve evidenciar-se que não há números na lógica.
Line 1,195: Line 1,193:
Não há número excelente.
Não há número excelente.


'''5.454''' Não há na lógica um lado a lado, pois não há classificação.
{{ParTLP|5.454}} Não há na lógica um lado a lado, pois não há classificação.


Não pode haver na lógica o mais geral ou o mais especial.
Não pode haver na lógica o mais geral ou o mais especial.


'''5.4541''' A solução dos problemas lógicos deve ser simples, já que êstes colocam o padrão da simplicidade.
{{ParTLP|5.4541}} A solução dos problemas lógicos deve ser simples, já que êstes colocam o padrão da simplicidade.


Os homens sempre tiveram o pressentimento que deveria haver um domínio de questões cujas respostas — ''a priori'' — fôssem simétricas e unidas a uma construção acabada e regular.
Os homens sempre tiveram o pressentimento que deveria haver um domínio de questões cujas respostas — ''a priori'' — fôssem simétricas e unidas a uma construção acabada e regular.
Line 1,205: Line 1,203:
Um domínio em que vale a sentença: ''simplex sigillum veri''.
Um domínio em que vale a sentença: ''simplex sigillum veri''.


'''5.46''' Caso se introduzam corretamente os signos lógicos, então já se introduz o sentido de todas as suas combinações; portanto, não apenas "''p'' ∨ ''q''" mas também "∼(''p'' ∨ ∼''q'')", etc., etc. Já se teria introduzido, pois, o efeito de todas as combinações meramente- possíveis de parenteses. E assim estaria claro que os signos primitivos pròpriamente universais não seriam "''p'' ∨ ''q''", "(∃''x'') . ''fx''" mas a forma mais geral de suas combinações.
{{ParTLP|5.46}} Caso se introduzam corretamente os signos lógicos, então já se introduz o sentido de todas as suas combinações; portanto, não apenas "''p'' ∨ ''q''" mas também "∼(''p'' ∨ ∼''q'')", etc., etc. Já se teria introduzido, pois, o efeito de todas as combinações meramente- possíveis de parenteses. E assim estaria claro que os signos primitivos pròpriamente universais não seriam "''p'' ∨ ''q''", "(∃''x'') . ''fx''" mas a forma mais geral de suas combinações.


'''5.461''' Muito denota o fato aparentemente desimportante de que as pseudo-relações lógicas como ∨ ou ⊃ precisem de parenteses — ao contrário das relações reais.
{{ParTLP|5.461}} Muito denota o fato aparentemente desimportante de que as pseudo-relações lógicas como ∨ ou ⊃ precisem de parenteses — ao contrário das relações reais.


A utilização de parenteses junto a esses pseudo-signos primitivos já indica que não são signos primitivos reais. E ninguém acreditará porventura que os parenteses possuam denotação autônoma.
A utilização de parenteses junto a esses pseudo-signos primitivos já indica que não são signos primitivos reais. E ninguém acreditará porventura que os parenteses possuam denotação autônoma.


'''5.4611''' Os signos das operações lógicas são pontuações.
{{ParTLP|5.4611}} Os signos das operações lógicas são pontuações.


'''5.47''' É claro que tudo o que se diz ''de antemão'' sobre a forma de todas as proposições deve ser dito ao menos ''uma vez''.
{{ParTLP|5.47}} É claro que tudo o que se diz ''de antemão'' sobre a forma de todas as proposições deve ser dito ao menos ''uma vez''.


Na proposição elementar já estão contidas tôdas as operações lógicas. Porquanto "''fa''" diz o mesmo que "(∃''x'') . ''fx'' . ''x'' = ''a''".
Na proposição elementar já estão contidas tôdas as operações lógicas. Porquanto "''fa''" diz o mesmo que "(∃''x'') . ''fx'' . ''x'' = ''a''".
Line 1,221: Line 1,219:
Isto é, porém, a forma proposicional geral.
Isto é, porém, a forma proposicional geral.


'''5.471''' A forma proposicional geral é a essência da proposição.
{{ParTLP|5.471}} A forma proposicional geral é a essência da proposição.


'''5.4711''' Dar a essência da proposição quer dizer dar a essência de tôdas as descrições e, por conseguinte, a essência do mundo.
{{ParTLP|5.4711}} Dar a essência da proposição quer dizer dar a essência de tôdas as descrições e, por conseguinte, a essência do mundo.


'''5.472''' A descrição da forma proposicional mais geral é a descrição de um e um só signo primitivo universal da lógica.
{{ParTLP|5.472}} A descrição da forma proposicional mais geral é a descrição de um e um só signo primitivo universal da lógica.


'''5.473''' A lógica deve cuidar de si mesma.
{{ParTLP|5.473}} A lógica deve cuidar de si mesma.


Um signo ''possível'' também deve poder designar. Tudo o que na lógica é possível também é permitido. ("Sócrates é idêntico" não diz nada, pois não há propriedade que se chame "idêntico". A proposição é absurda porque não encontramos uma determinação arbitrária, e não porque o símbolo em si e para si não fôsse permitido.)
Um signo ''possível'' também deve poder designar. Tudo o que na lógica é possível também é permitido. ("Sócrates é idêntico" não diz nada, pois não há propriedade que se chame "idêntico". A proposição é absurda porque não encontramos uma determinação arbitrária, e não porque o símbolo em si e para si não fôsse permitido.)
Line 1,233: Line 1,231:
Em certo sentido, não podemos errar na lógica.
Em certo sentido, não podemos errar na lógica.


'''5.4731''' O óbvio de que Russell tanto fala só pode tornar-se prescindível porque a própria linguagem impede os erros lógicos. — Que a lógica seja a priori consiste em que ''nada'' ilógico ''pode'' ser pensado.
{{ParTLP|5.4731}} O óbvio de que Russell tanto fala só pode tornar-se prescindível porque a própria linguagem impede os erros lógicos. — Que a lógica seja a priori consiste em que ''nada'' ilógico ''pode'' ser pensado.


'''5.4732''' Não podemos dar a um signo um sentido incorreto.
{{ParTLP|5.4732}} Não podemos dar a um signo um sentido incorreto.


'''5.47321''' O lema de Occam não é por certo uma regra arbitrária, ou que se justifique por seus resultados práticos; diz apenas que unidades de signos ''desnecessárias'' nada designam.
{{ParTLP|5.47321}} O lema de Occam não é por certo uma regra arbitrária, ou que se justifique por seus resultados práticos; diz apenas que unidades de signos ''desnecessárias'' nada designam.


Signos que preenchem ''uma'' finalidade são lògicamente equivalentes, os que preenchem ''nenhuma'' são lògicamente desprovidos de denotação.
Signos que preenchem ''uma'' finalidade são lògicamente equivalentes, os que preenchem ''nenhuma'' são lògicamente desprovidos de denotação.


'''5.4733''' Frege diz: cada proposição formada legitimamente deve ter um sentido; eu digo: cada proposição possível é legitimamente formada e, se não tiver sentido, isto só é possível porque não emprestamos ''denotação'' a algumas de suas partes constituintes.
{{ParTLP|5.4733}} Frege diz: cada proposição formada legitimamente deve ter um sentido; eu digo: cada proposição possível é legitimamente formada e, se não tiver sentido, isto só é possível porque não emprestamos ''denotação'' a algumas de suas partes constituintes.


(Ainda que acreditemos tê-lo feito.)
(Ainda que acreditemos tê-lo feito.)
Line 1,247: Line 1,245:
Dêsse modo, "Sócrates é idêntico" não diz nada, porque ''não'' emprestamos à palavra "idêntico" como ''adjetivo'' denotação alguma. Quando aparece como signo de igualdade, ela simboliza de maneira totalmente diversa — é outra a relação designadora —, de sorte que o símbolo, em ambos os casos, é inteiramente diferente; ambos os símbolos apenas têm, por acidente, o signo em comum.
Dêsse modo, "Sócrates é idêntico" não diz nada, porque ''não'' emprestamos à palavra "idêntico" como ''adjetivo'' denotação alguma. Quando aparece como signo de igualdade, ela simboliza de maneira totalmente diversa — é outra a relação designadora —, de sorte que o símbolo, em ambos os casos, é inteiramente diferente; ambos os símbolos apenas têm, por acidente, o signo em comum.


'''5.474''' O número das operações básicas necessárias depende ''apenas'' de nossa notação.
{{ParTLP|5.474}} O número das operações básicas necessárias depende ''apenas'' de nossa notação.


'''5.475''' Trata-se apenas de formar um sistema de signos com número determinado de dimensões — com uma multiplicidade matemática determinada.
{{ParTLP|5.475}} Trata-se apenas de formar um sistema de signos com número determinado de dimensões — com uma multiplicidade matemática determinada.


'''5.476''' É claro que não se discute aqui o ''número de conceitos fundamentais'' que devem ser designados, mas a expressão de uma regra.
{{ParTLP|5.476}} É claro que não se discute aqui o ''número de conceitos fundamentais'' que devem ser designados, mas a expressão de uma regra.


'''5.5''' Cada função de verdade resulta da aplicação sucessiva da operação (– – – – –V)(''ξ'', . . . .) sôbre proposições elementares.
{{ParTLP|5.5}} Cada função de verdade resulta da aplicação sucessiva da operação (– – – – –V)(''ξ'', . . . .) sôbre proposições elementares.


Esta operação nega tôdas as proposições no interior dos parênteses da direita, e a chamo negação dessas proposições.
Esta operação nega tôdas as proposições no interior dos parênteses da direita, e a chamo negação dessas proposições.


'''5.501''' Uma expressão nos parênteses cujos têrmos sejam proposições — quando é indiferente a seqüência dos têrmos nos parênteses — indico por meio de um signo da forma "<math>(\bar{\xi})</math>". "''ξ''" é uma variável cujos valôres são os termos da expressão entre parênteses, e o traço sôbre a variável indica que esta substitui nos parênteses todos os seus valôres.
{{ParTLP|5.501}} Uma expressão nos parênteses cujos têrmos sejam proposições — quando é indiferente a seqüência dos têrmos nos parênteses — indico por meio de um signo da forma "<math>(\bar{\xi})</math>". "''ξ''" é uma variável cujos valôres são os termos da expressão entre parênteses, e o traço sôbre a variável indica que esta substitui nos parênteses todos os seus valôres.


(Se, por exemplo, ''ξ'' tem 3 valôres ''P'', ''Q'', ''R'', <math>(\bar{\xi})</math> = (''P'', ''Q'', ''R'').)
(Se, por exemplo, ''ξ'' tem 3 valôres ''P'', ''Q'', ''R'', <math>(\bar{\xi})</math> = (''P'', ''Q'', ''R'').)
Line 1,269: Line 1,267:
''Podemos'' distinguir três maneiras de descrever: 1) Enumeração direta; neste caso podemos, em lugar das variáveis, colocar simplesmente seus valôres constantes. 2) Indicação de uma função ''fx'' cujos valôres, para todos os valores de ''x'', constituam as proposições a serem descritas. 3) Indicação de uma lei formal segundo a qual cada proposição é formada; neste caso os termos da expressão entre parênteses são todos os termos de uma série formal.
''Podemos'' distinguir três maneiras de descrever: 1) Enumeração direta; neste caso podemos, em lugar das variáveis, colocar simplesmente seus valôres constantes. 2) Indicação de uma função ''fx'' cujos valôres, para todos os valores de ''x'', constituam as proposições a serem descritas. 3) Indicação de uma lei formal segundo a qual cada proposição é formada; neste caso os termos da expressão entre parênteses são todos os termos de uma série formal.


'''5.502''' Escrevo pois "<math>N (\bar{\xi})</math>" em lugar de "(– – – – –V)(''ξ'', . . . .)".
{{ParTLP|5.502}} Escrevo pois "<math>N (\bar{\xi})</math>" em lugar de "(– – – – –V)(''ξ'', . . . .)".


<math>N (\bar{\xi})</math> é a negação de todos os valores da variável proposicional ''ξ''.
<math>N (\bar{\xi})</math> é a negação de todos os valores da variável proposicional ''ξ''.


'''5.503''' Evidentemente é fácil exprimir como proposições podem formar-se graças a esta operação e como proposições não têm de ser formadas graças a ela; e isto também pode encontrar uma expressão exata.
{{ParTLP|5.503}} Evidentemente é fácil exprimir como proposições podem formar-se graças a esta operação e como proposições não têm de ser formadas graças a ela; e isto também pode encontrar uma expressão exata.


'''5.51''' Se ''ξ'' tiver apenas um valor, <math>N (\bar{\xi})</math> = ∼''p'' (não ''p''), se tiver dois valôres, <math>N (\bar{\xi})</math> = ∼''p'' . ∼''q'' (nem ''p'' nem ''q'').
{{ParTLP|5.51}} Se ''ξ'' tiver apenas um valor, <math>N (\bar{\xi})</math> = ∼''p'' (não ''p''), se tiver dois valôres, <math>N (\bar{\xi})</math> = ∼''p'' . ∼''q'' (nem ''p'' nem ''q'').


'''5.511''' Como é possível a lógica, que tudo abrange e espelha o mundo, precisar de tais artifícios e manipulações especiais? Somente porque tudo isto está ligado a uma rêde infinitamente fina, ao grande espelho.
{{ParTLP|5.511}} Como é possível a lógica, que tudo abrange e espelha o mundo, precisar de tais artifícios e manipulações especiais? Somente porque tudo isto está ligado a uma rêde infinitamente fina, ao grande espelho.


'''5.512''' "∼''p''" é verdadeiro se "''p''" fôr falso. Portanto, numa proposição verdadeira "~''p''", "''p''" é uma falsa proposição. Como lhe é possível fazer o traço "∼" concordar com a realidade?
{{ParTLP|5.512}} "∼''p''" é verdadeiro se "''p''" fôr falso. Portanto, numa proposição verdadeira "~''p''", "''p''" é uma falsa proposição. Como lhe é possível fazer o traço "∼" concordar com a realidade?


O que é negado em "''p''" não é "∼", mas o que é comum a todos os signos dessa notação que negam ''p''.
O que é negado em "''p''" não é "∼", mas o que é comum a todos os signos dessa notação que negam ''p''.
Line 1,285: Line 1,283:
Dêsse modo, a regra comum pela qual se formam "∼''p''", "∼∼∼''p''", "∼''p'' ∨ ∼''p''", "∼''p'' . ∼''p''", etc., etc. (ao infinito). E o que é comum espelha a negação.
Dêsse modo, a regra comum pela qual se formam "∼''p''", "∼∼∼''p''", "∼''p'' ∨ ∼''p''", "∼''p'' . ∼''p''", etc., etc. (ao infinito). E o que é comum espelha a negação.


'''5.513''' Poder-se-ia dizer: O que é comum a todos os símbolos que afirmam tanto ''p'' como ''q'' é a proposição "''p'' . ''q''". O que é comum a todos os símbolos que afirmam ''p'' ou ''q'', é a proposição "''p'' ∨ ''q''".
{{ParTLP|5.513}} Poder-se-ia dizer: O que é comum a todos os símbolos que afirmam tanto ''p'' como ''q'' é a proposição "''p'' . ''q''". O que é comum a todos os símbolos que afirmam ''p'' ou ''q'', é a proposição "''p'' ∨ ''q''".


E assim se pode dizer: Duas proposições são opostas mùtuamente se nada possuem em comum; e: cada proposição tem apenas um negativo, pois há apenas uma proposição que se situa inteiramente fora dela.
E assim se pode dizer: Duas proposições são opostas mùtuamente se nada possuem em comum; e: cada proposição tem apenas um negativo, pois há apenas uma proposição que se situa inteiramente fora dela.
Line 1,291: Line 1,289:
E na própria notação de Russell é evidente que "''q'' : ''p'' ∨ ∼''p''" diz a mesma coisa que "''q''" e que "''p'' ∨ ∼''p''" não diz nada.
E na própria notação de Russell é evidente que "''q'' : ''p'' ∨ ∼''p''" diz a mesma coisa que "''q''" e que "''p'' ∨ ∼''p''" não diz nada.


'''5.514''' Fixada uma notação, há nela uma regra pela qual são formadas todas as proposições negadoras de ''p'', uma regra pela qual são formadas todas as proposições afirmadoras de ''p'', uma regra pela qual são formadas todas as proposições afirmadoras de ''p'' ou ''q'', e assim por diante. Essas regras são equivalentes aos símbolos e nelas espelha-se o seu sentido.
{{ParTLP|5.514}} Fixada uma notação, há nela uma regra pela qual são formadas todas as proposições negadoras de ''p'', uma regra pela qual são formadas todas as proposições afirmadoras de ''p'', uma regra pela qual são formadas todas as proposições afirmadoras de ''p'' ou ''q'', e assim por diante. Essas regras são equivalentes aos símbolos e nelas espelha-se o seu sentido.


'''5.515''' É preciso indicar que, em nossos símbolos, o que é ligado mùtuamente por "∨", ".", etc., deve ser proposições.
{{ParTLP|5.515}} É preciso indicar que, em nossos símbolos, o que é ligado mùtuamente por "∨", ".", etc., deve ser proposições.


E isto ocorre, pois o símbolo "''p''" e "''q''" já pressupõem "∨", "∼", etc. Se o signo "''p''" em "''p'' ∨ ''q''" não substituir um signo complexo, não pode possuir sentido sozinho; mas então também os signos "''p'' ∨ ''p''", "''p'' . ''p''", que têm o mesmo sentido que "''p''", não teriam sentido. Se entretanto "''p'' ∨ ''p''" não tiver sentido, então do mesmo modo "''p'' ∨ ''q''" não terá sentido.
E isto ocorre, pois o símbolo "''p''" e "''q''" já pressupõem "∨", "∼", etc. Se o signo "''p''" em "''p'' ∨ ''q''" não substituir um signo complexo, não pode possuir sentido sozinho; mas então também os signos "''p'' ∨ ''p''", "''p'' . ''p''", que têm o mesmo sentido que "''p''", não teriam sentido. Se entretanto "''p'' ∨ ''p''" não tiver sentido, então do mesmo modo "''p'' ∨ ''q''" não terá sentido.


'''5.5151''' Deve o signo da proposição negativa ser formado por meio do signo da positiva? Por que não se poderia exprimir a proposição negativa por um fato negativo? (Do seguinte modo: se "''a''" não se relacionar de modo determinado com "''b''", isto poderia exprimir que ''aRb'' não ocorre.)
{{ParTLP|5.5151}} Deve o signo da proposição negativa ser formado por meio do signo da positiva? Por que não se poderia exprimir a proposição negativa por um fato negativo? (Do seguinte modo: se "''a''" não se relacionar de modo determinado com "''b''", isto poderia exprimir que ''aRb'' não ocorre.)


Mas também aqui a proposição negativa se forma indiretamente pela positiva.
Mas também aqui a proposição negativa se forma indiretamente pela positiva.
Line 1,303: Line 1,301:
A ''proposição'' positiva deve pressupor a existência da ''proposição'' negativa e vice-versa.
A ''proposição'' positiva deve pressupor a existência da ''proposição'' negativa e vice-versa.


'''5.52''' Sejam os valores de ''ξ'' todos os valores de uma função ''fx'' para todos os valores de ''x'', então <math>N (\bar{\xi})</math> = ∼(∃''x'') . ''fx''.
{{ParTLP|5.52}} Sejam os valores de ''ξ'' todos os valores de uma função ''fx'' para todos os valores de ''x'', então <math>N (\bar{\xi})</math> = ∼(∃''x'') . ''fx''.


'''5.521''' Separo o conceito ''todo'' das funções de verdade.
{{ParTLP|5.521}} Separo o conceito ''todo'' das funções de verdade.


Frege e Russell introduziram a universalidade em ligação com o produto lógico ou a soma lógica e, dêsse modo, tornou-se difícil entender as proposições "(∃''x'') . ''fx''" e "(''x'') . ''fx''", em que ambas as idéias permanecem ocultas.
Frege e Russell introduziram a universalidade em ligação com o produto lógico ou a soma lógica e, dêsse modo, tornou-se difícil entender as proposições "(∃''x'') . ''fx''" e "(''x'') . ''fx''", em que ambas as idéias permanecem ocultas.


'''5.522''' É peculiar à designação da universalidade: 1) referir-se a uma protofiguração lógica; 2) salientar as constantes.
{{ParTLP|5.522}} É peculiar à designação da universalidade: 1) referir-se a uma protofiguração lógica; 2) salientar as constantes.


'''5.523''' A designação da universalidade aparece como argumento.
{{ParTLP|5.523}} A designação da universalidade aparece como argumento.


'''5.524''' Caso os objetos estejam dados, nos estarão dados ''todos'' os objetos.
{{ParTLP|5.524}} Caso os objetos estejam dados, nos estarão dados ''todos'' os objetos.


Caso as proposições elementares estejam dadas, já nos estão dadas todas ''as'' proposições elementares.
Caso as proposições elementares estejam dadas, já nos estão dadas todas ''as'' proposições elementares.


'''5.525''' É incorreto interpretar a proposição "(∃''x'') . ''fx''" — como Russell o faz — pelas palavras: "''fx'' é ''possível''".
{{ParTLP|5.525}} É incorreto interpretar a proposição "(∃''x'') . ''fx''" — como Russell o faz — pelas palavras: "''fx'' é ''possível''".


Certeza, possibilidade e impossibilidade de uma situação não se expressam por meio de uma proposição mas por ser a expressão uma tautologia, uma proposição significativa ou uma contradição.
Certeza, possibilidade e impossibilidade de uma situação não se expressam por meio de uma proposição mas por ser a expressão uma tautologia, uma proposição significativa ou uma contradição.
Line 1,323: Line 1,321:
Aquêle caso precedente a que sempre se há de apelar já deve estar no próprio símbolo.
Aquêle caso precedente a que sempre se há de apelar já deve estar no próprio símbolo.


'''5.526''' É possível descrever o mundo completamente por meio de proposições perfeitamente universalizadas, a saber, sem que de antemão um nome fôsse coordenado a um objeto.
{{ParTLP|5.526}} É possível descrever o mundo completamente por meio de proposições perfeitamente universalizadas, a saber, sem que de antemão um nome fôsse coordenado a um objeto.


Para chegar-se ao modo de expressão habitual deve-se simplesmente, depois de uma expressão "há um e um único ''x'' tal que...", dizer: e êste ''x'' é ''a''.
Para chegar-se ao modo de expressão habitual deve-se simplesmente, depois de uma expressão "há um e um único ''x'' tal que...", dizer: e êste ''x'' é ''a''.


'''5.5261''' Uma proposição perfeitamente universalizada é, como qualquer outra proposição, composta. (Isto se mostra quando, em "(∃''x'', ''ϕ'') . ''ϕx''" devemos mencionar separadamente "''ϕ''" e "''x''". Ambos se correlacionam independentemente com o mundo, como na proposição que não foi universalizada.)
{{ParTLP|5.5261}} Uma proposição perfeitamente universalizada é, como qualquer outra proposição, composta. (Isto se mostra quando, em "(∃''x'', ''ϕ'') . ''ϕx''" devemos mencionar separadamente "''ϕ''" e "''x''". Ambos se correlacionam independentemente com o mundo, como na proposição que não foi universalizada.)


Característica de um símbolo composto: tem algo em comum com ''outro'' símbolo.
Característica de um símbolo composto: tem algo em comum com ''outro'' símbolo.


'''5.5262''' A verdade ou a falsidade de ''cada'' proposição altera em algo a construção geral do mundo. E o campo que se deixa para sua construção por meio da totalidade das proposições elementares é precisamente aquêle que as proposições inteiramente universalizadas delimitam.
{{ParTLP|5.5262}} A verdade ou a falsidade de ''cada'' proposição altera em algo a construção geral do mundo. E o campo que se deixa para sua construção por meio da totalidade das proposições elementares é precisamente aquêle que as proposições inteiramente universalizadas delimitam.


(Se uma proposição elementar fôr verdadeira, sempre haverá por isso ''mais'' uma proposição elementar verdadeira.)
(Se uma proposição elementar fôr verdadeira, sempre haverá por isso ''mais'' uma proposição elementar verdadeira.)


'''5.53''' Exprimo a igualdade de objetos pela igualdade de signos e não graças ao auxílio de um signo de igualdade. E a diversidade dos objetos por meio da diversidade de signos.
{{ParTLP|5.53}} Exprimo a igualdade de objetos pela igualdade de signos e não graças ao auxílio de um signo de igualdade. E a diversidade dos objetos por meio da diversidade de signos.


'''5.5301''' É óbvio que a identidade não é uma relação entre objetos. Isto se torna muito claro quando se considera, por exemplo, a proposição "(''x'') : ''fx'' . ⊃ . ''x'' = ''a''". A proposição diz meramente que ''apenas'' ''a'' satisfaz a função ''f'', mas não diz que somente as coisas que mantêm uma certa relação com ''a'' satisfazem a função ''f''.
{{ParTLP|5.5301}} É óbvio que a identidade não é uma relação entre objetos. Isto se torna muito claro quando se considera, por exemplo, a proposição "(''x'') : ''fx'' . ⊃ . ''x'' = ''a''". A proposição diz meramente que ''apenas'' ''a'' satisfaz a função ''f'', mas não diz que somente as coisas que mantêm uma certa relação com ''a'' satisfazem a função ''f''.


Poder-se-ia sem dúvida dizer que ''sòmente'' a mantém esta relação com ''a'', mas para exprimi-lo precisamos do signo da igualdade.
Poder-se-ia sem dúvida dizer que ''sòmente'' a mantém esta relação com ''a'', mas para exprimi-lo precisamos do signo da igualdade.


'''5.5302''' A definição dada por Russell de "=" não é suficiente, pois, segundo ela, não é possível dizer que dois objetos possuem em comum tôdas as propriedades. (Ainda que esta proposição não seja correta, possui ''sentido''.)
{{ParTLP|5.5302}} A definição dada por Russell de "=" não é suficiente, pois, segundo ela, não é possível dizer que dois objetos possuem em comum tôdas as propriedades. (Ainda que esta proposição não seja correta, possui ''sentido''.)


'''5.5303''' Falando ''grosso modo'': dizer de ''dois'' objetos que são idênticos é absurdo, e de ''um único'' que é idêntico consigo mesmo por certo não diz nada.
{{ParTLP|5.5303}} Falando ''grosso modo'': dizer de ''dois'' objetos que são idênticos é absurdo, e de ''um único'' que é idêntico consigo mesmo por certo não diz nada.


'''5.531''' Não escrevo pois "''f''(''a'', ''b'') . ''a'' = ''b''" mas "''f''(''a'', ''a'') (ou "''f''(''b'', ''b'')"). Não escrevo "''f''(''a'', ''b'')". ∼''a'' = ''b''", mas "''f''(''a'', ''b'')".
{{ParTLP|5.531}} Não escrevo pois "''f''(''a'', ''b'') . ''a'' = ''b''" mas "''f''(''a'', ''a'') (ou "''f''(''b'', ''b'')"). Não escrevo "''f''(''a'', ''b'')". ∼''a'' = ''b''", mas "''f''(''a'', ''b'')".


'''5.532''' E anàlogamente: não "(∃''x'', ''y'') . ''f''(''x'', ''y'') . ''x'' = ''y''", mas "(∃''x''). ''f''(''x'', ''x'')"; não "(∃''x'', ''y''). ''f''(''x'', ''y'') . ∼''x'' = ''y''", mas "(∃''x'', ''y''). ''f''(''x'', ''y'')".
{{ParTLP|5.532}} E anàlogamente: não "(∃''x'', ''y'') . ''f''(''x'', ''y'') . ''x'' = ''y''", mas "(∃''x''). ''f''(''x'', ''x'')"; não "(∃''x'', ''y''). ''f''(''x'', ''y'') . ∼''x'' = ''y''", mas "(∃''x'', ''y''). ''f''(''x'', ''y'')".


(Desse modo, em vez da fórmula de Russell "(∃''x'', ''y'') . ''f''(''x'', ''y'')", temos "(∃''x'', ''y''). ''f''(''x'', ''y'') . ∨ . (∃x) . ''f''(''x'', ''x'')").
(Desse modo, em vez da fórmula de Russell "(∃''x'', ''y'') . ''f''(''x'', ''y'')", temos "(∃''x'', ''y''). ''f''(''x'', ''y'') . ∨ . (∃x) . ''f''(''x'', ''x'')").


'''5.5321''' Em vez de "(''x'') : ''fx'' ⊃ ''x'' = a" escrevemos, por exemplo, "(∃''x''). ''fx'' . ⊃ . ''fa'' : ∼(∃''x'', ''y''). ''fx'' . ''fy''".
{{ParTLP|5.5321}} Em vez de "(''x'') : ''fx'' ⊃ ''x'' = a" escrevemos, por exemplo, "(∃''x''). ''fx'' . ⊃ . ''fa'' : ∼(∃''x'', ''y''). ''fx'' . ''fy''".


E a proposição "''sòmente'' um ''x'' satisfaz ''f''(&nbsp;)" será "(∃''x'') . ''fx'' : ∼(∃''x'', ''y'') . ''fx'' . ''fy''".
E a proposição "''sòmente'' um ''x'' satisfaz ''f''(&nbsp;)" será "(∃''x'') . ''fx'' : ∼(∃''x'', ''y'') . ''fx'' . ''fy''".


'''5.533''' O signo da igualdade não é, pois, parte essencial da ideografia.
{{ParTLP|5.533}} O signo da igualdade não é, pois, parte essencial da ideografia.


'''5.534''' Vemos então que pseudoproposições como: "''a'' = ''a''", "''a'' = ''b'' . ''b'' = ''c'' . ⊃ ''a'' = ''c''", "(''x'') . ''x'' = ''x''", "(∃''x'') . ''x'' = ''a''", etc., não se deixam inscrever de modo algum numa ideografia correta.
{{ParTLP|5.534}} Vemos então que pseudoproposições como: "''a'' = ''a''", "''a'' = ''b'' . ''b'' = ''c'' . ⊃ ''a'' = ''c''", "(''x'') . ''x'' = ''x''", "(∃''x'') . ''x'' = ''a''", etc., não se deixam inscrever de modo algum numa ideografia correta.


'''5.535''' Desaparecem assim todos os problemas ligados a tais pseudoproposições.
{{ParTLP|5.535}} Desaparecem assim todos os problemas ligados a tais pseudoproposições.


Todos os problemas que encerra o ''axiom of infinity'' de Russell aqui se resolvem.
Todos os problemas que encerra o ''axiom of infinity'' de Russell aqui se resolvem.
Line 1,365: Line 1,363:
O ''axiom of infinity'' quer dizer, em têrmos da linguagem, que existem infinitamente muitos nomes com denotação diferente.
O ''axiom of infinity'' quer dizer, em têrmos da linguagem, que existem infinitamente muitos nomes com denotação diferente.


'''5.5351''' Existem certos casos em que se é tentado a usar expressões da forma: "''a'' = ''a''", ou "''p'' ⊃ ''p''" e outras. E isto com efeito acontece quando se deve falar da protofiguração: proposição, coisa, etc. Russell, nos ''Principles of Mathematics'' transpôs o absurdo "''p'' é uma proposição" no símbolo "''p'' ⊃ ''p''", tomando-o como hipótese diante de certas proposições a fim de que os lugares dos argumentos destas só pudessem ser ocupados por proposições.
{{ParTLP|5.5351}} Existem certos casos em que se é tentado a usar expressões da forma: "''a'' = ''a''", ou "''p'' ⊃ ''p''" e outras. E isto com efeito acontece quando se deve falar da protofiguração: proposição, coisa, etc. Russell, nos ''Principles of Mathematics'' transpôs o absurdo "''p'' é uma proposição" no símbolo "''p'' ⊃ ''p''", tomando-o como hipótese diante de certas proposições a fim de que os lugares dos argumentos destas só pudessem ser ocupados por proposições.


(Já é um absurdo colocar diante de uma proposição a hipótese ''p'' ⊃ ''p'' para assegurar aos argumentos forma correta, porque a hipótese estabelecida para uma não-proposição enquanto argumento não se torna falsa mas absurda; além do mais, a própria proposição se torna absurda para argumentos de gênero incorreto, de sorte que se conserva tanto boa como má diante dos argumentos incorretos, assim como a hipótese sem sentido empregada para êsse fim.)
(Já é um absurdo colocar diante de uma proposição a hipótese ''p'' ⊃ ''p'' para assegurar aos argumentos forma correta, porque a hipótese estabelecida para uma não-proposição enquanto argumento não se torna falsa mas absurda; além do mais, a própria proposição se torna absurda para argumentos de gênero incorreto, de sorte que se conserva tanto boa como má diante dos argumentos incorretos, assim como a hipótese sem sentido empregada para êsse fim.)


'''5.5352''' Do mesmo modo, pretendeu-se exprimir "Não existe ''coisa'' alguma" por meio de "∼(∃''x'') . ''x'' = ''x''". Ainda, porém, que isto fôsse uma proposição — esta não seria verdadeira se, com efeito, "houvesse coisas" que todavia não fossem idênticas consigo mesmas?
{{ParTLP|5.5352}} Do mesmo modo, pretendeu-se exprimir "Não existe ''coisa'' alguma" por meio de "∼(∃''x'') . ''x'' = ''x''". Ainda, porém, que isto fôsse uma proposição — esta não seria verdadeira se, com efeito, "houvesse coisas" que todavia não fossem idênticas consigo mesmas?


'''5.54''' Na forma geral da proposição, a proposição aparece na proposição apenas como base das operações-verdades.
{{ParTLP|5.54}} Na forma geral da proposição, a proposição aparece na proposição apenas como base das operações-verdades.


'''5.541''' À primeira vista parece que seria possível uma proposição aparecer numa outra de outro modo.
{{ParTLP|5.541}} À primeira vista parece que seria possível uma proposição aparecer numa outra de outro modo.


Em particular em certas formas proposicionais da psicologia tais como "''A'' acredita que ''p'' ocorre" ou "''A'' pensa ''p''", etc.
Em particular em certas formas proposicionais da psicologia tais como "''A'' acredita que ''p'' ocorre" ou "''A'' pensa ''p''", etc.
Line 1,381: Line 1,379:
(E na moderna teoria do conhecimento (Russell, Moore, etc.) essas proposições são assim concebidas.)
(E na moderna teoria do conhecimento (Russell, Moore, etc.) essas proposições são assim concebidas.)


'''5.542''' É claro porém que "''A'' acredita que ''p''", "''A'' pensa ''p''", "''A'' diz ''p''" são da forma "''p'' diz ''p''". Não se trata aqui da coordenação de um fato e um objeto, mas da coordenação de fatos por meio da coordenação de seus objetos.
{{ParTLP|5.542}} É claro porém que "''A'' acredita que ''p''", "''A'' pensa ''p''", "''A'' diz ''p''" são da forma "''p'' diz ''p''". Não se trata aqui da coordenação de um fato e um objeto, mas da coordenação de fatos por meio da coordenação de seus objetos.


'''5.5421''' Isto mostra que a alma — o sujeito, etc. — tal como é compreendida atualmente pela psicologia superficial, é um disparate.
{{ParTLP|5.5421}} Isto mostra que a alma — o sujeito, etc. — tal como é compreendida atualmente pela psicologia superficial, é um disparate.


Uma alma composta não seria mais alma.
Uma alma composta não seria mais alma.


'''5.5422''' A explicação correta da forma da proposição "''A'' julga ''p''" deve indicar ser impossível julgar um absurdo. (A teoria de Russell não satisfaz essa condição.)
{{ParTLP|5.5422}} A explicação correta da forma da proposição "''A'' julga ''p''" deve indicar ser impossível julgar um absurdo. (A teoria de Russell não satisfaz essa condição.)


'''5.5423''' Perceber um complexo quer dizer perceber que suas partes constituintes estão em relação entre si de um certo modo.[[File:TLP 5.5423.png|250px|center|link=]]Isto também explica por que é possível ver a figura de duas maneiras como um cubo; e todos os fenômenos parecidos. Porquanto vemos realmente dois fatos diferentes.
{{ParTLP|5.5423}} Perceber um complexo quer dizer perceber que suas partes constituintes estão em relação entre si de um certo modo.[[File:TLP 5.5423.png|250px|center|link=]]Isto também explica por que é possível ver a figura de duas maneiras como um cubo; e todos os fenômenos parecidos. Porquanto vemos realmente dois fatos diferentes.


(Primeiro vejo a partir dos vértices ''a'', e só ligeiramente a partir de ''b''; ''a'' aparece na frente; e vice-versa.)
(Primeiro vejo a partir dos vértices ''a'', e só ligeiramente a partir de ''b''; ''a'' aparece na frente; e vice-versa.)


'''5.55''' Devemos agora ''a priori'' responder à pergunta a respeito de todas as formas possíveis de proposições elementares.
{{ParTLP|5.55}} Devemos agora ''a priori'' responder à pergunta a respeito de todas as formas possíveis de proposições elementares.


A proposição elementar constitui-se de nomes. Pôsto que não podemos dar o número de nomes com denotação diferente, não podemos também dar a composição das proposições elementares.
A proposição elementar constitui-se de nomes. Pôsto que não podemos dar o número de nomes com denotação diferente, não podemos também dar a composição das proposições elementares.


'''5.551''' É nossa proposição básica: cada questão que em geral se deixa decidir pela lógica, deve sem mais deixar-se decidir.
{{ParTLP|5.551}} É nossa proposição básica: cada questão que em geral se deixa decidir pela lógica, deve sem mais deixar-se decidir.


(E se chegarmos à condição de precisar olhar o mundo para responder a tais problemas, isto mostraria que enveredamos por pistas bàsicamente falsas.)
(E se chegarmos à condição de precisar olhar o mundo para responder a tais problemas, isto mostraria que enveredamos por pistas bàsicamente falsas.)


'''5.552''' A "experiência" que precisamos para compreender a lógica, não é a de que algo está do seguinte modo, mas a de que algo ''é''; esta, porém, ''não'' é uma experiência.
{{ParTLP|5.552}} A "experiência" que precisamos para compreender a lógica, não é a de que algo está do seguinte modo, mas a de que algo ''é''; esta, porém, ''não'' é uma experiência.


A lógica está ''antes'' de qualquer experiência — de que algo ''é assim''.
A lógica está ''antes'' de qualquer experiência — de que algo ''é assim''.
Line 1,407: Line 1,405:
Dêsse modo está antes do Como mas não antes do Que.
Dêsse modo está antes do Como mas não antes do Que.


'''5.5521''' E se não fôsse assim como poderíamos aplicar a lógica? Poder-se-ia dizer: se houvesse uma lógica ainda que não houvesse um mundo, como poderia haver uma lógica já que há um mundo?
{{ParTLP|5.5521}} E se não fôsse assim como poderíamos aplicar a lógica? Poder-se-ia dizer: se houvesse uma lógica ainda que não houvesse um mundo, como poderia haver uma lógica já que há um mundo?


'''5.553''' Russell disse que havia relações simples entre diversos números de coisas (individuais). Mas entre que números? E como isto há de ser decidido? — Por meio da experiência?
{{ParTLP|5.553}} Russell disse que havia relações simples entre diversos números de coisas (individuais). Mas entre que números? E como isto há de ser decidido? — Por meio da experiência?


(Não existe um número excelente.)
(Não existe um número excelente.)


'''5.554''' A indicação daquelas formas especiais seria completamente arbitrária.
{{ParTLP|5.554}} A indicação daquelas formas especiais seria completamente arbitrária.


'''5.5541''' Há de se revelar ''a priori'' se, por exemplo, posso chegar à condição de ter de designar alguma coisa com um signo de uma relação de 27 têrmos?
{{ParTLP|5.5541}} Há de se revelar ''a priori'' se, por exemplo, posso chegar à condição de ter de designar alguma coisa com um signo de uma relação de 27 têrmos?


'''5.5542''' Devemos, pois, fazer em geral tal pergunta? Podemos estabelecer uma forma em signos e não saber se a ela poderia corresponder alguma coisa?
{{ParTLP|5.5542}} Devemos, pois, fazer em geral tal pergunta? Podemos estabelecer uma forma em signos e não saber se a ela poderia corresponder alguma coisa?


Tem sentido a questão: O que deve ''ser'' a fim de que algo possa ocorrer?
Tem sentido a questão: O que deve ''ser'' a fim de que algo possa ocorrer?


'''5.555''' É claro que temos da proposição elementar um conceito independente de sua forma lógica particular.
{{ParTLP|5.555}} É claro que temos da proposição elementar um conceito independente de sua forma lógica particular.


Onde é possível formar símbolos de acordo com um sistema, o importante do ponto de vista lógico é o próprio sistema, não o símbolo singular.
Onde é possível formar símbolos de acordo com um sistema, o importante do ponto de vista lógico é o próprio sistema, não o símbolo singular.
Line 1,427: Line 1,425:
Como seria também possível que, na lógica, tivesse que me ocupar de formas que posso inventar? No entanto, devo ocupar-me com o que me torna possível inventá-las.
Como seria também possível que, na lógica, tivesse que me ocupar de formas que posso inventar? No entanto, devo ocupar-me com o que me torna possível inventá-las.


'''5.556''' Não pode haver hierarquia de formas das proposições elementares. Podemos pressupor somente o que nós próprios construímos.
{{ParTLP|5.556}} Não pode haver hierarquia de formas das proposições elementares. Podemos pressupor somente o que nós próprios construímos.


'''5.5561''' A realidade empírica é limitada pela totalidade dos objetos. O limite reaparece na totalidade das proposições elementares.
{{ParTLP|5.5561}} A realidade empírica é limitada pela totalidade dos objetos. O limite reaparece na totalidade das proposições elementares.


As hierarquias são e devem ser independentes da realidade.
As hierarquias são e devem ser independentes da realidade.


'''5.5562''' Por motivos puramente lógicos sabemos que deve haver proposições elementares; dêsse modo, isto deve ser conhecido por todo aquêle que compreende as proposições na sua forma não-analisada.
{{ParTLP|5.5562}} Por motivos puramente lógicos sabemos que deve haver proposições elementares; dêsse modo, isto deve ser conhecido por todo aquêle que compreende as proposições na sua forma não-analisada.


'''5.5563''' Tôdas as proposições de nossa linguagem corrente são, de fato, tais como são, perfeitamente ordenadas de um ponto de vista lógico. — Tudo o que fôr mais simples e que devemos aqui admitir não é símile da verdade mas a própria verdade plena.
{{ParTLP|5.5563}} Tôdas as proposições de nossa linguagem corrente são, de fato, tais como são, perfeitamente ordenadas de um ponto de vista lógico. — Tudo o que fôr mais simples e que devemos aqui admitir não é símile da verdade mas a própria verdade plena.


(Nossos problemas não são abstratos mas talvez os mais concretos que existem.)
(Nossos problemas não são abstratos mas talvez os mais concretos que existem.)


'''5.557''' A ''aplicação'' da lógica decide que proposições elementares existem.
{{ParTLP|5.557}} A ''aplicação'' da lógica decide que proposições elementares existem.


O que está na aplicação a lógica não pode antecipar.
O que está na aplicação a lógica não pode antecipar.
Line 1,449: Line 1,447:
Dêsse modo, a lógica e sua aplicação não devem sobrepor-se uma à outra.
Dêsse modo, a lógica e sua aplicação não devem sobrepor-se uma à outra.


'''5.5571''' Se não posso indicar ''a priori'' as proposições elementares, querer indicá-las deve redundar num patente absurdo.
{{ParTLP|5.5571}} Se não posso indicar ''a priori'' as proposições elementares, querer indicá-las deve redundar num patente absurdo.


'''5.6''' ''Os limites de minha linguagem'' denotam os limites de meu mundo.
{{ParTLP|5.6}} ''Os limites de minha linguagem'' denotam os limites de meu mundo.


'''5.61''' A lógica preenche o mundo, os limites do mundo são também seus limites.
{{ParTLP|5.61}} A lógica preenche o mundo, os limites do mundo são também seus limites.


Não podemos pois dizer na lógica: isto e isto existem no mundo, aquilo não.
Não podemos pois dizer na lógica: isto e isto existem no mundo, aquilo não.
Line 1,461: Line 1,459:
Não podemos pensar o que não podemos pensar, por isso também não podemos ''dizer'' o que não podemos pensar.
Não podemos pensar o que não podemos pensar, por isso também não podemos ''dizer'' o que não podemos pensar.


'''5.62''' Esta observação dá a chave para decidir da questão: até onde o solipsismo é uma verdade.
{{ParTLP|5.62}} Esta observação dá a chave para decidir da questão: até onde o solipsismo é uma verdade.


O que o solipsismo nomeadamente ''acha'' é inteiramente correto, mas isto se mostra em vez de deixar-se ''dizer''.
O que o solipsismo nomeadamente ''acha'' é inteiramente correto, mas isto se mostra em vez de deixar-se ''dizer''.
Line 1,467: Line 1,465:
Que o mundo é o ''meu'' mundo, isto se mostra porque os limites ''da'' linguagem (da linguagem que sòmente eu compreendo) denotam os limites de ''meu'' mundo.
Que o mundo é o ''meu'' mundo, isto se mostra porque os limites ''da'' linguagem (da linguagem que sòmente eu compreendo) denotam os limites de ''meu'' mundo.


'''5.621''' O mundo e a vida são um só.
{{ParTLP|5.621}} O mundo e a vida são um só.


'''5.63''' Sou meu mundo. (O microcosmos.)
{{ParTLP|5.63}} Sou meu mundo. (O microcosmos.)


'''5.631''' O sujeito representante e pensante não existe. Se escrevesse um livro: ''O mundo tal como encontro'', deveria reportar-me a meu corpo e dizer quais membros estão sob minha vontade e quais não estão, etc. — isto é particularmente um método para isolar o sujeito, ou melhor, para indicar que não existe sujeito num sentido importante: dêle sozinho ''não'' é possível tratar neste livro.
{{ParTLP|5.631}} O sujeito representante e pensante não existe. Se escrevesse um livro: ''O mundo tal como encontro'', deveria reportar-me a meu corpo e dizer quais membros estão sob minha vontade e quais não estão, etc. — isto é particularmente um método para isolar o sujeito, ou melhor, para indicar que não existe sujeito num sentido importante: dêle sozinho ''não'' é possível tratar neste livro.


'''5.632''' O sujeito não pertence ao mundo mas é limite do mundo.
{{ParTLP|5.632}} O sujeito não pertence ao mundo mas é limite do mundo.


'''5.633''' Onde ''no'' mundo se há de notar um sujeito metafísico?
{{ParTLP|5.633}} Onde ''no'' mundo se há de notar um sujeito metafísico?


Tu dizes que aqui se está inteiramente como diante do ôlho e do campo visual, mas tu ''não'' vês realmente o olho.
Tu dizes que aqui se está inteiramente como diante do ôlho e do campo visual, mas tu ''não'' vês realmente o olho.
Line 1,481: Line 1,479:
E não há coisa no ''campo visual'' que leve à conclusão de que ela é vista por um ôlho.
E não há coisa no ''campo visual'' que leve à conclusão de que ela é vista por um ôlho.


'''5.6331''' O campo visual não tem nomeadamente uma forma como esta:[[File:TLP 5.6331pt.png|250px|center|link=]]'''5.634''' Isto se liga a que nenhuma parte de nossa experiência é ''a priori''.
{{ParTLP|5.6331}} O campo visual não tem nomeadamente uma forma como esta:
 
[[File:TLP 5.6331pt.png|250px|center|link=]]
 
{{ParTLP|5.634}} Isto se liga a que nenhuma parte de nossa experiência é ''a priori''.


Tudo o que vemos poderia ser diferente.
Tudo o que vemos poderia ser diferente.
Line 1,489: Line 1,491:
Não há ''a priori'' uma ordem das coisas.
Não há ''a priori'' uma ordem das coisas.


'''5.64''' Por aqui se vê que o solipsismo, levado às últimas conseqüências, coincide com o realismo puro. O eu do solipsismo reduz-se a um ponto sem extensão, a realidade permanecendo coordenada a êle.
{{ParTLP|5.64}} Por aqui se vê que o solipsismo, levado às últimas conseqüências, coincide com o realismo puro. O eu do solipsismo reduz-se a um ponto sem extensão, a realidade permanecendo coordenada a êle.


'''5.641''' Tem, portanto, sentido real falar-se, na filosofia, do eu de um ponto de vista não-psicológico.
{{ParTLP|5.641}} Tem, portanto, sentido real falar-se, na filosofia, do eu de um ponto de vista não-psicológico.


O eu penetra na filosofia porque o "mundo é meu mundo".
O eu penetra na filosofia porque o "mundo é meu mundo".
Line 1,497: Line 1,499:
O eu filosófico não é o homem, nem o corpo humano, nem a alma humana de que se ocupa a psicologia, mas o sujeito metafísico, o limite — não sendo pois parte do mundo.
O eu filosófico não é o homem, nem o corpo humano, nem a alma humana de que se ocupa a psicologia, mas o sujeito metafísico, o limite — não sendo pois parte do mundo.


'''6''' A forma geral da função de verdade é <math>[ \bar{p}, \bar{\xi}, N (\bar{\xi}) ]</math>
{{ParTLP|6}} A forma geral da função de verdade é <math>[ \bar{p}, \bar{\xi}, N (\bar{\xi}) ]</math>


Esta é a forma geral da proposição.
Esta é a forma geral da proposição.


'''6.001''' Isto nada mais diz do que: cada proposição resulta da aplicação sucessiva da operação <math>N (\bar{\xi})</math> sôbre as proposições elementares.
{{ParTLP|6.001}} Isto nada mais diz do que: cada proposição resulta da aplicação sucessiva da operação <math>N (\bar{\xi})</math> sôbre as proposições elementares.


'''6.002''' Dada a forma geral de como construir uma proposição, com isto já está dada a forma geral de como é possível gerar outra, por meio de uma operação, partindo-se de uma proposição.
{{ParTLP|6.002}} Dada a forma geral de como construir uma proposição, com isto já está dada a forma geral de como é possível gerar outra, por meio de uma operação, partindo-se de uma proposição.


'''6.01''' A forma geral da operação <math>\Omega ' (\bar{\eta})</math> é pois: <math>[\bar{\xi}, N(\bar{\xi})]' (\bar{\eta}) (= [ \bar{\eta}, \bar{\xi}, N (\bar{\xi}) ])</math>.
{{ParTLP|6.01}} A forma geral da operação <math>\Omega ' (\bar{\eta})</math> é pois: <math>[\bar{\xi}, N(\bar{\xi})]' (\bar{\eta}) (= [ \bar{\eta}, \bar{\xi}, N (\bar{\xi}) ])</math>.


Esta é a forma mais geral da transposição de uma proposição para outra.
Esta é a forma mais geral da transposição de uma proposição para outra.


'''6.02''' Chegamos ''assim'' aos números. Defino:
{{ParTLP|6.02}} Chegamos ''assim'' aos números. Defino:


{{p center|<math>x = \Omega^{0 \prime} x \text{ Def.}</math> e<br>
{{p center|<math>x = \Omega^{0 \prime} x \text{ Def.}</math> e<br>
Line 1,532: Line 1,534:
{{p indent|(e assim por diante)}}
{{p indent|(e assim por diante)}}


'''6.021''' O número é o expoente de uma operação.
{{ParTLP|6.021}} O número é o expoente de uma operação.


'''6.022''' O conceito de número nada mais é do que é comum a todos os números, a forma geral do número. O conceito número é a variável número.
{{ParTLP|6.022}} O conceito de número nada mais é do que é comum a todos os números, a forma geral do número. O conceito número é a variável número.


E o conceito da igualdade entre os números é a forma geral de todas as igualdades especiais entre os números.
E o conceito da igualdade entre os números é a forma geral de todas as igualdades especiais entre os números.


'''6.03''' A forma geral dos números inteiros é: [0, ''ξ'', ''ξ''+1]. A teoria das classes é inteiramente supérflua para a matemática.
{{ParTLP|6.03}} A forma geral dos números inteiros é: [0, ''ξ'', ''ξ''+1]. A teoria das classes é inteiramente supérflua para a matemática.


Isto está ligado a que a universalidade de que precisamos na matemática não é a ''acidental''.
Isto está ligado a que a universalidade de que precisamos na matemática não é a ''acidental''.


'''6.1''' As proposições da lógica são tautologias.
{{ParTLP|6.1}} As proposições da lógica são tautologias.


'''6.11''' As proposições da lógica, portanto, não dizem nada. (São as proposições analíticas.)
{{ParTLP|6.11}} As proposições da lógica, portanto, não dizem nada. (São as proposições analíticas.)


'''6.111''' São sempre falsas as teorias que fazem uma proposição da lógica aparecer com conteúdo. Poder-se-ia, por exemplo, acreditar que as palavras "verdadeiro" e "falso" designassem duas propriedades entre outras, de sorte que pareceria um fato extraordinário que cada proposição possuísse uma dessas propriedades. Isto não parece, de modo algum, evidente; é tão pouco evidente como, por exemplo, o é a proposição "Tôdas as rosas são ou amarelas ou vermelhas", ainda que fosse verdadeira. Essa proposição toma, com efeito, o caráter de uma proposição das ciências naturais e isto é sintoma seguro de que foi falsamente concebida.
{{ParTLP|6.111}} São sempre falsas as teorias que fazem uma proposição da lógica aparecer com conteúdo. Poder-se-ia, por exemplo, acreditar que as palavras "verdadeiro" e "falso" designassem duas propriedades entre outras, de sorte que pareceria um fato extraordinário que cada proposição possuísse uma dessas propriedades. Isto não parece, de modo algum, evidente; é tão pouco evidente como, por exemplo, o é a proposição "Tôdas as rosas são ou amarelas ou vermelhas", ainda que fosse verdadeira. Essa proposição toma, com efeito, o caráter de uma proposição das ciências naturais e isto é sintoma seguro de que foi falsamente concebida.


'''6.112''' A explicação correta das proposições lógicas deve conferir-lhe uma posição peculiar entre todas as proposições.
{{ParTLP|6.112}} A explicação correta das proposições lógicas deve conferir-lhe uma posição peculiar entre todas as proposições.


'''6.113''' É marca característica e particular das proposições lógicas que se possa conhecer apenas pelo símbolo quando são verdadeiras, e êste fato contém em si tôda a filosofia da lógica. Assim, é um dos fatos mais importantes que a verdade ou a falsidade das proposições não-lógicas ''não'' é conhecida únicamente na proposição.
{{ParTLP|6.113}} É marca característica e particular das proposições lógicas que se possa conhecer apenas pelo símbolo quando são verdadeiras, e êste fato contém em si tôda a filosofia da lógica. Assim, é um dos fatos mais importantes que a verdade ou a falsidade das proposições não-lógicas ''não'' é conhecida únicamente na proposição.


'''6.12''' As proposições da lógica são tautologias; isto ''mostra'' as propriedades (lógicas) formais da linguagem, do mundo.
{{ParTLP|6.12}} As proposições da lógica são tautologias; isto ''mostra'' as propriedades (lógicas) formais da linguagem, do mundo.


Suas partes constituintes, ao se vincularem ''dessa maneira'', produzem uma tautologia, e isto caracteriza a lógica de suas partes constituintes.
Suas partes constituintes, ao se vincularem ''dessa maneira'', produzem uma tautologia, e isto caracteriza a lógica de suas partes constituintes.
Line 1,558: Line 1,560:
As proposições devem possuir determinadas propriedades de estrutura a fim de que, vinculadas de um determinado modo, produzam uma tautologia. Se produzem uma tautologia ligando-se ''dessa maneira'', isto mostra que possuem tais propriedades de estrutura.
As proposições devem possuir determinadas propriedades de estrutura a fim de que, vinculadas de um determinado modo, produzam uma tautologia. Se produzem uma tautologia ligando-se ''dessa maneira'', isto mostra que possuem tais propriedades de estrutura.


'''6.1201''' Por exemplo: a proposição "''p''" e a "∼''p''" na conexão "∼(''p'' . ∼''p'')" produzem uma tautologia, o que mostra que se contradizem entre si. As proposições "''p'' ⊃ ''q''", "''p''" e "''q''", ligadas entre si na forma "(''p'' ⊃ ''q'') . (''p'') : ⊃ : (''q'')", produzem uma tautologia, o que mostra que ''q'' se segue de ''p'' e ''p'' ⊃ ''q''. Que "(''x'') . ''fx'' : ⊃ : ''fa''" seja uma tautologia, mostra que ''fa'' se segue de (''x'') . ''fx'', etc., etc.
{{ParTLP|6.1201}} Por exemplo: a proposição "''p''" e a "∼''p''" na conexão "∼(''p'' . ∼''p'')" produzem uma tautologia, o que mostra que se contradizem entre si. As proposições "''p'' ⊃ ''q''", "''p''" e "''q''", ligadas entre si na forma "(''p'' ⊃ ''q'') . (''p'') : ⊃ : (''q'')", produzem uma tautologia, o que mostra que ''q'' se segue de ''p'' e ''p'' ⊃ ''q''. Que "(''x'') . ''fx'' : ⊃ : ''fa''" seja uma tautologia, mostra que ''fa'' se segue de (''x'') . ''fx'', etc., etc.


'''6.1202''' É claro que, em vez da tautologia, é possível empregar a contradição para os mesmos fins.
{{ParTLP|6.1202}} É claro que, em vez da tautologia, é possível empregar a contradição para os mesmos fins.


'''6.1203''' Para reconhecer uma tautologia como tal, nos casos em que na tautologia não aparece qualquer designação da generalidade, é possível utilizar o seguinte método intuitivo: em vez de "''p''", "''q''", "''r''", etc., escrevo "''VpF''", "''VqF''", "''VrF''", etc. As combinações de verdade são expressas por chaves:[[File:TLP 6.1203a-it.png|300px|center|link=]]e a coordenação da verdade ou da falsidade da proposição total e as combinações de verdade dos argumentos de verdade, por meio de traços, do modo seguinte:[[File:TLP 6.1203b-it.png|300px|center|link=]]Este signo representaria, por exemplo, a proposição "''p'' ⊃ ''q''". Vou verificar, por exemplo, se a proposição ∼(''p'' . ∼''p'') (lei da contradição) é uma tautologia. A forma "∼''ξ''" será escrita em nossa notação:[[File:TLP 6.1203c-it.png|200px|center|link=]]A forma "''ξ'' . ''η''":[[File:TLP 6.1203d-it.png|300px|center|link=]]De modo que a proposição ∼(''p'' . ∼''q'') será:[[File:TLP 6.1203e-it.png|250px|center|link=]]Em lugar de "''q''" coloquemos "''p''" e examinemos a conexão dos ''V'' e ''F'' mais exteriores com os mais interiores; logo verificamos que a verdade da proposição total coordena-se com ''tôdas'' as combinações de verdade de seus argumentos, enquanto que sua falsidade, com nenhuma das combinações de verdade.
{{ParTLP|6.1203}} Para reconhecer uma tautologia como tal, nos casos em que na tautologia não aparece qualquer designação da generalidade, é possível utilizar o seguinte método intuitivo: em vez de "''p''", "''q''", "''r''", etc., escrevo "''VpF''", "''VqF''", "''VrF''", etc. As combinações de verdade são expressas por chaves:[[File:TLP 6.1203a-it.png|300px|center|link=]]e a coordenação da verdade ou da falsidade da proposição total e as combinações de verdade dos argumentos de verdade, por meio de traços, do modo seguinte:[[File:TLP 6.1203b-it.png|300px|center|link=]]Este signo representaria, por exemplo, a proposição "''p'' ⊃ ''q''". Vou verificar, por exemplo, se a proposição ∼(''p'' . ∼''p'') (lei da contradição) é uma tautologia. A forma "∼''ξ''" será escrita em nossa notação:[[File:TLP 6.1203c-it.png|200px|center|link=]]A forma "''ξ'' . ''η''":[[File:TLP 6.1203d-it.png|300px|center|link=]]De modo que a proposição ∼(''p'' . ∼''q'') será:[[File:TLP 6.1203e-it.png|250px|center|link=]]Em lugar de "''q''" coloquemos "''p''" e examinemos a conexão dos ''V'' e ''F'' mais exteriores com os mais interiores; logo verificamos que a verdade da proposição total coordena-se com ''tôdas'' as combinações de verdade de seus argumentos, enquanto que sua falsidade, com nenhuma das combinações de verdade.


'''6.121''' As proposições da lógica demonstram as propriedades lógicas das proposições, pois se ligam em proposições que não dizem nada.
{{ParTLP|6.121}} As proposições da lógica demonstram as propriedades lógicas das proposições, pois se ligam em proposições que não dizem nada.


É possível chamar a êsse método de método-nulo. Na proposição lógica as proposições são levadas a se equilibrarem mùtuamente, de modo que a situação de equilíbrio indica como tais proposições devem ser constituídas de um ponto de vista lógico.
É possível chamar a êsse método de método-nulo. Na proposição lógica as proposições são levadas a se equilibrarem mùtuamente, de modo que a situação de equilíbrio indica como tais proposições devem ser constituídas de um ponto de vista lógico.


'''6.122''' Donde resulta ser possível viver sem as proposições lógicas, já que podemos reconhecer, graças à mera inspeção dessas proposições, suas propriedades formais numa notação correspondente.
{{ParTLP|6.122}} Donde resulta ser possível viver sem as proposições lógicas, já que podemos reconhecer, graças à mera inspeção dessas proposições, suas propriedades formais numa notação correspondente.


'''6.1221''' Se, por exemplo, duas proposições "''p''" e "''q''" geram, na conexão ''p'' ⊃ ''q'', uma tautologia, é claro então que ''q'' se segue de ''p''.
{{ParTLP|6.1221}} Se, por exemplo, duas proposições "''p''" e "''q''" geram, na conexão ''p'' ⊃ ''q'', uma tautologia, é claro então que ''q'' se segue de ''p''.


Que, por exemplo, "''q''" segue-se de "''p'' ⊃ ''q'' . ''p''", vemos graças ao exame de ambas as proposições, mas podemos mostrá-lo ligando-as em "''p'' ⊃ ''q'' . ''p'' : ⊃ : ''q''" e mostrando que esta última forma uma tautologia.
Que, por exemplo, "''q''" segue-se de "''p'' ⊃ ''q'' . ''p''", vemos graças ao exame de ambas as proposições, mas podemos mostrá-lo ligando-as em "''p'' ⊃ ''q'' . ''p'' : ⊃ : ''q''" e mostrando que esta última forma uma tautologia.


'''6.1222''' Isso ilumina a questão: porque as proposições lógicas não podem ser confirmadas pela experiência nem refutadas por ela. Não só uma proposição da lógica não pode ser refutada por uma experiência possível, mas também não há de ser confirmada por ela.
{{ParTLP|6.1222}} Isso ilumina a questão: porque as proposições lógicas não podem ser confirmadas pela experiência nem refutadas por ela. Não só uma proposição da lógica não pode ser refutada por uma experiência possível, mas também não há de ser confirmada por ela.


'''6.1223''' E assim se torna claro porque muitas vezes sentimos como se as "verdades lógicas" fôssem ''postuladas'' por nós; podemos com efeito postulá-las enquanto podemos postular uma notação satisfatória.
{{ParTLP|6.1223}} E assim se torna claro porque muitas vezes sentimos como se as "verdades lógicas" fôssem ''postuladas'' por nós; podemos com efeito postulá-las enquanto podemos postular uma notação satisfatória.


'''6.1224''' Agora se torna claro porque a lógica foi chamada teoria das formas e das inferências.
{{ParTLP|6.1224}} Agora se torna claro porque a lógica foi chamada teoria das formas e das inferências.


'''6.123''' É claro que as leis lógicas não devem elas próprias depender de outras leis lógicas.
{{ParTLP|6.123}} É claro que as leis lógicas não devem elas próprias depender de outras leis lógicas.


(Não há, como Russell imaginou, para cada ''type'' uma certa lei da contradição, mas basta uma, desde que não se aplique a si mesma.)
(Não há, como Russell imaginou, para cada ''type'' uma certa lei da contradição, mas basta uma, desde que não se aplique a si mesma.)


'''6.1231''' O sintoma da proposição lógica ''não'' é a validade universal.
{{ParTLP|6.1231}} O sintoma da proposição lógica ''não'' é a validade universal.


Ser universal quer dizer apenas: valer para tôdas as coisas de modo acidental. Uma proposição não universalizada pode ser tautologia tanto como uma proposição universalizada.
Ser universal quer dizer apenas: valer para tôdas as coisas de modo acidental. Uma proposição não universalizada pode ser tautologia tanto como uma proposição universalizada.


'''6.1232''' A validade lógica universal pode ser chamada essencial, em oposição àquela acidental, como a da proposição: "Todos os homens são mortais". Proposições como o ''axiom of reducibility'' de Russell não são proposições lógicas, o que esclarece nosso sentimento de que, quando verdadeiras, só o podem ser graças a um acaso favorável.
{{ParTLP|6.1232}} A validade lógica universal pode ser chamada essencial, em oposição àquela acidental, como a da proposição: "Todos os homens são mortais". Proposições como o ''axiom of reducibility'' de Russell não são proposições lógicas, o que esclarece nosso sentimento de que, quando verdadeiras, só o podem ser graças a um acaso favorável.


'''6.1233''' É plausível pensar um mundo em que não valha o ''axiom of reducibility''; de sorte que se torna claro que a lógica nada tem a ver com a questão de nosso mundo ser realmente assim ou não.
{{ParTLP|6.1233}} É plausível pensar um mundo em que não valha o ''axiom of reducibility''; de sorte que se torna claro que a lógica nada tem a ver com a questão de nosso mundo ser realmente assim ou não.


'''6.124''' As proposições lógicas descrevem os andaimes do mundo, ou melhor, os representam. Não "tratam" de nada. Pressupõem que os nomes possuam denotação e as proposições elementares, sentido. E tal é sua vinculação com o mundo. É claro que isso deve indicar alguma coisa a respeito do mundo, que certas vinculações de símbolos — que essencialmente possuem um caráter determinado — são tautologias. E aqui está o que é decisivo. Dissemos que, nos símbolos que usamos, muito era arbitrário, muito não o era. E na lógica apenas isso se exprime; o que quer dizer que na lógica ''nós'' não exprimimos o que queremos com a ajuda de signos, mas que a natureza dos signos naturalmente necessários, na lógica, asserta-se a si própria. Ao conhecermos a sintaxe lógica de uma linguagem simbólica qualquer, já estão dadas todas as proposições da lógica.
{{ParTLP|6.124}} As proposições lógicas descrevem os andaimes do mundo, ou melhor, os representam. Não "tratam" de nada. Pressupõem que os nomes possuam denotação e as proposições elementares, sentido. E tal é sua vinculação com o mundo. É claro que isso deve indicar alguma coisa a respeito do mundo, que certas vinculações de símbolos — que essencialmente possuem um caráter determinado — são tautologias. E aqui está o que é decisivo. Dissemos que, nos símbolos que usamos, muito era arbitrário, muito não o era. E na lógica apenas isso se exprime; o que quer dizer que na lógica ''nós'' não exprimimos o que queremos com a ajuda de signos, mas que a natureza dos signos naturalmente necessários, na lógica, asserta-se a si própria. Ao conhecermos a sintaxe lógica de uma linguagem simbólica qualquer, já estão dadas todas as proposições da lógica.


'''6.125''' É possível, e isto também de acordo com a velha concepção da lógica, dar prèviamente uma descrição de todas as proposições lógicas "verdadeiras".
{{ParTLP|6.125}} É possível, e isto também de acordo com a velha concepção da lógica, dar prèviamente uma descrição de todas as proposições lógicas "verdadeiras".


'''6.1251''' ''Nunca'' poderá haver, pois, surpresas na lógica.
{{ParTLP|6.1251}} ''Nunca'' poderá haver, pois, surpresas na lógica.


'''6.126''' É possível calcular se uma proposição pertence à lógica calculando as propriedades lógicas do ''simbolo''.
{{ParTLP|6.126}} É possível calcular se uma proposição pertence à lógica calculando as propriedades lógicas do ''simbolo''.


E é o que fazemos ao "provar" uma proposição lógica. Porquanto, sem nos preocuparmos com o sentido e a denotação, formamos a proposição lógica a partir de outras meramente segundo as ''regras dos signos''.
E é o que fazemos ao "provar" uma proposição lógica. Porquanto, sem nos preocuparmos com o sentido e a denotação, formamos a proposição lógica a partir de outras meramente segundo as ''regras dos signos''.
Line 1,606: Line 1,608:
Este modo de mostrar que suas proposições são tautologias é, sem dúvida, para a lógica, inteiramente inessencial. Exatamente porque as proposições de que parte a prova já devem mostrar, sem prova, que são tautologias.
Este modo de mostrar que suas proposições são tautologias é, sem dúvida, para a lógica, inteiramente inessencial. Exatamente porque as proposições de que parte a prova já devem mostrar, sem prova, que são tautologias.


'''6.1261''' Na lógica, processo e resultado são equivalentes. (Por isso não há nenhuma surpresa.)
{{ParTLP|6.1261}} Na lógica, processo e resultado são equivalentes. (Por isso não há nenhuma surpresa.)


'''6.1262''' A prova na lógica é apenas um expediente mecânico para facilitar o reconhecimento da tautologia onde ela é complicada.
{{ParTLP|6.1262}} A prova na lógica é apenas um expediente mecânico para facilitar o reconhecimento da tautologia onde ela é complicada.


'''6.1263''' Seria, pois, extraordinário poder provar ''lògicamente'' uma proposição significativa a partir de outra, e ainda uma proposição lógica. É claro desde logo que a prova lógica de uma proposição significativa e a prova ''na'' lógica devem ser coisas inteiramente diferentes.
{{ParTLP|6.1263}} Seria, pois, extraordinário poder provar ''lògicamente'' uma proposição significativa a partir de outra, e ainda uma proposição lógica. É claro desde logo que a prova lógica de uma proposição significativa e a prova ''na'' lógica devem ser coisas inteiramente diferentes.


'''6.1264''' A proposição significativa asserta algo e sua prova mostra que é assim; na lógica cada proposição está sob a forma de uma prova.
{{ParTLP|6.1264}} A proposição significativa asserta algo e sua prova mostra que é assim; na lógica cada proposição está sob a forma de uma prova.


Cada proposição da lógica é um modus ponens representado num signo. (E não é possível exprimir o ''modus ponens'' por meio de uma proposição.)
Cada proposição da lógica é um modus ponens representado num signo. (E não é possível exprimir o ''modus ponens'' por meio de uma proposição.)


'''6.1265''' Sempre se pode conceber a lógica de tal modo que cada proposição seja sua própria prova.
{{ParTLP|6.1265}} Sempre se pode conceber a lógica de tal modo que cada proposição seja sua própria prova.


'''6.127''' Tôdas as proposições da lógica são equiponderantes, não existem entre elas princípios essenciais e proposições derivadas.
{{ParTLP|6.127}} Tôdas as proposições da lógica são equiponderantes, não existem entre elas princípios essenciais e proposições derivadas.


Cada tautologia, ela própria, mostra que é uma tautologia.
Cada tautologia, ela própria, mostra que é uma tautologia.


'''6.1271''' É claro que o número dos princípios lógicos é arbitrário, pois se poderia derivar a lógica de um único princípio, por exemplo, formando meramente o produto lógico dos princípios de Frege. (Frege talvez dissesse que êsses princípios não seriam mais transparentes de modo imediato. Seria extraordinário, porém, que um pensador tão exato como Frege tomasse, como critério de uma proposição lógica, seu grau de transparência.)
{{ParTLP|6.1271}} É claro que o número dos princípios lógicos é arbitrário, pois se poderia derivar a lógica de um único princípio, por exemplo, formando meramente o produto lógico dos princípios de Frege. (Frege talvez dissesse que êsses princípios não seriam mais transparentes de modo imediato. Seria extraordinário, porém, que um pensador tão exato como Frege tomasse, como critério de uma proposição lógica, seu grau de transparência.)


'''6.13''' A lógica não é teoria, mas figuração especular do mundo.
{{ParTLP|6.13}} A lógica não é teoria, mas figuração especular do mundo.


A lógica é transcendental.
A lógica é transcendental.


'''6.2''' A matemática é um método lógico.
{{ParTLP|6.2}} A matemática é um método lógico.


As proposições da matemática são equações e, portanto, pseudoproposições.
As proposições da matemática são equações e, portanto, pseudoproposições.


'''6.21''' A proposição da matemática não exprime pensamentos.
{{ParTLP|6.21}} A proposição da matemática não exprime pensamentos.


'''6.211''' Na vida, não é da proposição matemática que precisamos, usamo-la ''apenas'' para inferir, de proposições que não pertencem à matemática, outras que igualmente não pertencem a ela.
{{ParTLP|6.211}} Na vida, não é da proposição matemática que precisamos, usamo-la ''apenas'' para inferir, de proposições que não pertencem à matemática, outras que igualmente não pertencem a ela.


(Na filosofia, a questão "para que precisamos efetivamente de tal palavra ou de tal proposição" sempre conduz a valiosas visualizações.)
(Na filosofia, a questão "para que precisamos efetivamente de tal palavra ou de tal proposição" sempre conduz a valiosas visualizações.)


'''6.22''' A lógica do mundo que as proposições lógicas mostram nas tautologias, a matemática a mostra nas equações.
{{ParTLP|6.22}} A lógica do mundo que as proposições lógicas mostram nas tautologias, a matemática a mostra nas equações.


'''6.23''' Se duas expressões estiverem ligadas pelo signo de igualdade, isto quer dizer que são mùtuamente substituíveis. Quando, porém, isto vier a ocorrer, deve mostrar-se nas próprias expressões.
{{ParTLP|6.23}} Se duas expressões estiverem ligadas pelo signo de igualdade, isto quer dizer que são mùtuamente substituíveis. Quando, porém, isto vier a ocorrer, deve mostrar-se nas próprias expressões.


Caracteriza a forma lógica de duas expressões serem mùtuamente substituíveis.
Caracteriza a forma lógica de duas expressões serem mùtuamente substituíveis.


'''6.231''' É propriedade da afirmação poder ser concebida como dupla negação.
{{ParTLP|6.231}} É propriedade da afirmação poder ser concebida como dupla negação.


E propriedade de "1 + 1 + 1 + 1" poder ser concebida como "(1 + 1) + (1 + 1)".
E propriedade de "1 + 1 + 1 + 1" poder ser concebida como "(1 + 1) + (1 + 1)".


'''6.232''' Frege diz que ambas as expressões têm a mesma denotação mas sentido diverso.
{{ParTLP|6.232}} Frege diz que ambas as expressões têm a mesma denotação mas sentido diverso.


É essencial para a equação, entretanto, ela não ser necessária para mostrar que ambas as expressões, ligadas pelo signo de igualdade, possuam a mesma denotação, pois isto se vê a partir de ambas as expressões.
É essencial para a equação, entretanto, ela não ser necessária para mostrar que ambas as expressões, ligadas pelo signo de igualdade, possuam a mesma denotação, pois isto se vê a partir de ambas as expressões.


'''6.2321''' E que as proposições da matemática possam ser provadas, nada mais quer dizer que sua correção é reconhecida sem precisar comparar o que elas exprimem com os fatos, do ponto de vista de sua correção.
{{ParTLP|6.2321}} E que as proposições da matemática possam ser provadas, nada mais quer dizer que sua correção é reconhecida sem precisar comparar o que elas exprimem com os fatos, do ponto de vista de sua correção.


'''6.2322''' Não se ''afirma'' a identidade da denotação de duas expressões, pois, para poder afirmar algo a respeito de sua denotação, devo conhecer essa denotação e, ao conhecê-la, já sei se denota a mesma coisa ou algo diferente.
{{ParTLP|6.2322}} Não se ''afirma'' a identidade da denotação de duas expressões, pois, para poder afirmar algo a respeito de sua denotação, devo conhecer essa denotação e, ao conhecê-la, já sei se denota a mesma coisa ou algo diferente.


'''6.2323''' A equação revela apenas o ponto de vista do qual considero ambas as expressões, a saber, o ponto de vista da igualdade de sua denotação.
{{ParTLP|6.2323}} A equação revela apenas o ponto de vista do qual considero ambas as expressões, a saber, o ponto de vista da igualdade de sua denotação.


'''6.233''' A pergunta se é preciso a intuição para resolver problemas matemáticos deve ser respondida considerando que a própria linguagem fornece a intuição necessária.
{{ParTLP|6.233}} A pergunta se é preciso a intuição para resolver problemas matemáticos deve ser respondida considerando que a própria linguagem fornece a intuição necessária.


'''6.2331''' O processo de ''calcular'' faz intervir precisamente essa intuição.
{{ParTLP|6.2331}} O processo de ''calcular'' faz intervir precisamente essa intuição.


O cálculo não é experimento.
O cálculo não é experimento.


'''6.234''' A matemática é um método da lógica.
{{ParTLP|6.234}} A matemática é um método da lógica.


'''6.2341''' O que é essencial para o método matemático é trabalhar com equações. E dêsse método depende particularmente que cada proposição da matemática deve ser compreendida de per si.
{{ParTLP|6.2341}} O que é essencial para o método matemático é trabalhar com equações. E dêsse método depende particularmente que cada proposição da matemática deve ser compreendida de per si.


'''6.24''' O método pelo qual a matemática chega às equações é o da substituição.
{{ParTLP|6.24}} O método pelo qual a matemática chega às equações é o da substituição.


Porquanto a equação exprime o caráter substitutivo das duas expressões, de sorte que passamos de um número de equações para uma nova equação, substituindo expressões por outras, de acordo com as equações.
Porquanto a equação exprime o caráter substitutivo das duas expressões, de sorte que passamos de um número de equações para uma nova equação, substituindo expressões por outras, de acordo com as equações.


'''6.241''' É desta maneira então que se desdobra a prova de 2 × 2 = 4{{p center|<math>( \Omega^{ \nu} )^{\mu \prime} x = \Omega^{ \nu \times \mu \prime} x \text{ Def.}</math>}}{{p center|<math>\Omega^{2 \times 2 \prime} x = (\Omega^2 )^{2 \prime} x = ( \Omega^2 )^{1+1 \prime} x = \Omega^{2 \prime} \Omega^{2 \prime} x = \Omega^{1 + 1 \prime} \Omega^{1 + 1 \prime} x</math>}}{{p center|<math>(\Omega ' \Omega)^{\prime} (\Omega ' \Omega)^{\prime} x = \Omega ' \Omega ' \Omega ' \Omega ' x = \Omega^{1 + 1 + 1 + 1 \prime} x = \Omega^{4 \prime} x</math>}}'''6.3''' A investigação da lógica denota a investigação de ''tôda a legalidade''. Fora dela tudo é acidente.
{{ParTLP|6.241}} É desta maneira então que se desdobra a prova de 2 × 2 = 4
'''6.31''' A assim chamada lei da indução não pode, em caso algum, ser uma lei lógica, pois é patentemente uma proposição significativa. — De sorte que nem mesmo pode ser uma lei ''a priori''.


'''6.32''' A lei da causalidade não é lei mas forma de uma lei.
{{p center|<math>( \Omega^{ \nu} )^{\mu \prime} x = \Omega^{ \nu \times \mu \prime} x \text{ Def.}</math>}}
{{p center|<math>\Omega^{2 \times 2 \prime} x = (\Omega^2 )^{2 \prime} x = ( \Omega^2 )^{1+1 \prime} x = \Omega^{2 \prime} \Omega^{2 \prime} x = \Omega^{1 + 1 \prime} \Omega^{1 + 1 \prime} x</math>}}
{{p center|<math>(\Omega ' \Omega)^{\prime} (\Omega ' \Omega)^{\prime} x = \Omega ' \Omega ' \Omega ' \Omega ' x = \Omega^{1 + 1 + 1 + 1 \prime} x = \Omega^{4 \prime} x</math>}}


'''6.321''' "Lei de causalidade" é um nome genérico. E assim como dizemos, na mecânica, que existem leis mínimas — por exemplo, a de ação menor — existem na física leis de causalidade, leis da forma da causalidade.
{{ParTLP|6.3}} A investigação da lógica denota a investigação de ''tôda a legalidade''. Fora dela tudo é acidente.


'''6.3211''' Já se teve, com efeito, um pressentimento de que era preciso uma "lei de ação mínima" antes de se saber exatamente o que rezava. (Aqui como sempre, o que é certo ''a priori'' se revela como algo puramente lógico.)
{{ParTLP|6.31}} A assim chamada lei da indução não pode, em caso algum, ser uma lei lógica, pois é patentemente uma proposição significativa. — De sorte que nem mesmo pode ser uma lei ''a priori''.


'''6.33''' Não ''acreditamos'' ''a priori'' numa lei da conservação, mas ''conhecemos a priori'' a possibilidade de uma forma lógica.
{{ParTLP|6.32}} A lei da causalidade não é lei mas forma de uma lei.


'''6.34''' Todas aquelas proposições, como o princípio de razão suficiente, o de continuidade na natureza, o do mínimo esforço na natureza, etc., etc., tôdas são visualizações ''a priori'' a respeito da possibilidade de enformar proposições da ciência.
{{ParTLP|6.321}} "Lei de causalidade" é um nome genérico. E assim como dizemos, na mecânica, que existem leis mínimas — por exemplo, a de ação menor — existem na física leis de causalidade, leis da forma da causalidade.


'''6.341''' A mecânica newtoniana, por exemplo, conduz a descrição do universo a uma forma unificada. Tomemos uma superfície branca e sobre ela manchas pretas irregulares. Dizemos então: seja qual for a figuração que faço, sempre posso aproximar-me quanto quiser de sua descrição, se cubro a superfície com uma rêde quadriculada suficientemente fina de modo a poder dizer de cada quadrado se é branco ou prêto. Conduzi dessa maneira a descrição da superfície a uma forma unificada. Essa forma é qualquer, pois teria empregado com o mesmo sucesso uma rêde feita em triângulos ou em hexágonos. É possível que a descrição com auxílio de uma rêde em triângulos fôsse mais simples, isto é, com uma grossa rêde em triângulos poderíamos ter obtido uma descrição mais precisa das manchas do
{{ParTLP|6.3211}} Já se teve, com efeito, um pressentimento de que era preciso uma "lei de ação mínima" antes de se saber exatamente o que rezava. (Aqui como sempre, o que é certo ''a priori'' se revela como algo puramente lógico.)
 
{{ParTLP|6.33}} Não ''acreditamos'' ''a priori'' numa lei da conservação, mas ''conhecemos a priori'' a possibilidade de uma forma lógica.
 
{{ParTLP|6.34}} Todas aquelas proposições, como o princípio de razão suficiente, o de continuidade na natureza, o do mínimo esforço na natureza, etc., etc., tôdas são visualizações ''a priori'' a respeito da possibilidade de enformar proposições da ciência.
 
{{ParTLP|6.341}} A mecânica newtoniana, por exemplo, conduz a descrição do universo a uma forma unificada. Tomemos uma superfície branca e sobre ela manchas pretas irregulares. Dizemos então: seja qual for a figuração que faço, sempre posso aproximar-me quanto quiser de sua descrição, se cubro a superfície com uma rêde quadriculada suficientemente fina de modo a poder dizer de cada quadrado se é branco ou prêto. Conduzi dessa maneira a descrição da superfície a uma forma unificada. Essa forma é qualquer, pois teria empregado com o mesmo sucesso uma rêde feita em triângulos ou em hexágonos. É possível que a descrição com auxílio de uma rêde em triângulos fôsse mais simples, isto é, com uma grossa rêde em triângulos poderíamos ter obtido uma descrição mais precisa das manchas do


que com outra mais fina e quadriculada (ou vice-versa), e assim por diante. Às diversas rêdes correspondem diversos sistemas de descrever o mundo. A mecânica determina uma forma de descrição do mundo, pois diz: tôdas as proposições da descrição do mundo devem ser obtidas de um número de proposições dadas — os axiomas mecânicos — segundo um modo dado. Com isto provê as pedras para a construção do edifício científico, dizendo: sejam quais forem os edifícios que pretendas levantar, deves construí-los com estas e apenas estas pedras.
que com outra mais fina e quadriculada (ou vice-versa), e assim por diante. Às diversas rêdes correspondem diversos sistemas de descrever o mundo. A mecânica determina uma forma de descrição do mundo, pois diz: tôdas as proposições da descrição do mundo devem ser obtidas de um número de proposições dadas — os axiomas mecânicos — segundo um modo dado. Com isto provê as pedras para a construção do edifício científico, dizendo: sejam quais forem os edifícios que pretendas levantar, deves construí-los com estas e apenas estas pedras.
Line 1,691: Line 1,700:
(Assim como se escreve qualquer número com o sistema numérico, com o sistema da mecânica deve-se poder escrever qualquer proposição da física.)
(Assim como se escreve qualquer número com o sistema numérico, com o sistema da mecânica deve-se poder escrever qualquer proposição da física.)


'''6.342''' Vemos assim a posição oposta da lógica e da mecânica. (Poder-se-ia também fazer a rêde composta de figuras diversas, como de triângulos e hexágonos.) Que uma figuração como a mencionada acima seja descrita por uma rêde de uma forma dada, não asserta ''nada'' a respeito da figuração. (Porquanto isso vale para cada figuração dessa espécie.) Caracteriza, porém, a figuração poder ser ''completamente'' descrita por uma determinada rêde de ''determinada'' finura.
{{ParTLP|6.342}} Vemos assim a posição oposta da lógica e da mecânica. (Poder-se-ia também fazer a rêde composta de figuras diversas, como de triângulos e hexágonos.) Que uma figuração como a mencionada acima seja descrita por uma rêde de uma forma dada, não asserta ''nada'' a respeito da figuração. (Porquanto isso vale para cada figuração dessa espécie.) Caracteriza, porém, a figuração poder ser ''completamente'' descrita por uma determinada rêde de ''determinada'' finura.


Do mesmo modo, nada asserta a respeito do mundo poder ser descrito pela mecânica newtoniana; asserta, entretanto, poder ser descrito por ela ''tal'' como precisamente vem a ser. Também diz algo a respeito do mundo poder ser descrito, por uma mecânica, de maneira mais simples do que por outra.
Do mesmo modo, nada asserta a respeito do mundo poder ser descrito pela mecânica newtoniana; asserta, entretanto, poder ser descrito por ela ''tal'' como precisamente vem a ser. Também diz algo a respeito do mundo poder ser descrito, por uma mecânica, de maneira mais simples do que por outra.


'''6.343''' A mecânica é uma tentativa de construir, conforme um plano único, tôdas as proposições ''verdadeiras'' que precisamos para a descrição do mundo.
{{ParTLP|6.343}} A mecânica é uma tentativa de construir, conforme um plano único, tôdas as proposições ''verdadeiras'' que precisamos para a descrição do mundo.


'''6.3431''' Através de todo o aparato lógico, as leis físicas ainda falam de objetos do mundo.
{{ParTLP|6.3431}} Através de todo o aparato lógico, as leis físicas ainda falam de objetos do mundo.


'''6.3432''' Não devemos nos esquecer de que a descrição do mundo feita pela mecânica é sempre inteiramente geral. Nunca trata, por exemplo, de um ponto material ''determinado'', mas únicamente de ''qualquer um''.
{{ParTLP|6.3432}} Não devemos nos esquecer de que a descrição do mundo feita pela mecânica é sempre inteiramente geral. Nunca trata, por exemplo, de um ponto material ''determinado'', mas únicamente de ''qualquer um''.


'''6.35''' Embora as manchas em nossa figuração sejam figuras geométricas, a geometria evidentemente nada tem a dizer sobre sua forma efetiva e sobre sua condição. A rêde, porém, é ''puramente'' geométrica, tôdas as suas propriedades podem ser dadas ''a priori''.
{{ParTLP|6.35}} Embora as manchas em nossa figuração sejam figuras geométricas, a geometria evidentemente nada tem a dizer sobre sua forma efetiva e sobre sua condição. A rêde, porém, é ''puramente'' geométrica, tôdas as suas propriedades podem ser dadas ''a priori''.


Leis como o princípio de razão suficiente, etc., tratam da rêde, não, porém, do que ela descreve.
Leis como o princípio de razão suficiente, etc., tratam da rêde, não, porém, do que ela descreve.


'''6.36''' Se houvesse uma lei da causalidade, seria do seguinte teor: "há leis naturais".
{{ParTLP|6.36}} Se houvesse uma lei da causalidade, seria do seguinte teor: "há leis naturais".


No entanto, òbviamente isto não se pode dizer: mostra-se.
No entanto, òbviamente isto não se pode dizer: mostra-se.


'''6.361''' Segundo as expressões de Hertz, poder-se-ia dizer: apenas as conexões ''em conformidade com a lei'' são ''pensáveis''.
{{ParTLP|6.361}} Segundo as expressões de Hertz, poder-se-ia dizer: apenas as conexões ''em conformidade com a lei'' são ''pensáveis''.


'''6.3611''' Não podemos comparar nenhum processo com o "decurso do tempo" (êsse decurso não existe), apenas com outro processo — em particular, com o andar de um cronômetro.
{{ParTLP|6.3611}} Não podemos comparar nenhum processo com o "decurso do tempo" (êsse decurso não existe), apenas com outro processo — em particular, com o andar de um cronômetro.


Por isso a descrição do curso temporal só é possível porque nos apoiamos em outro processo.
Por isso a descrição do curso temporal só é possível porque nos apoiamos em outro processo.
Line 1,717: Line 1,726:
É análogo o que acontece com o espaço. Quando se diz, por exemplo, que nenhum de dois acontecimentos (mùtuamente exclusivos) tem lugar, porque não há ''nenhuma causa'' que leve um a realizar-se ao invés do outro, na realidade trata-se apenas da impossibilidade de descrever ''um'' dentre os dois acontecimentos quando não há uma assimetria qualquer. ''Desde que haja'' tal assimetria, podemos tomá-la como ''causa'' do vir-a-ser de um e do não vir-a-ser do outro.
É análogo o que acontece com o espaço. Quando se diz, por exemplo, que nenhum de dois acontecimentos (mùtuamente exclusivos) tem lugar, porque não há ''nenhuma causa'' que leve um a realizar-se ao invés do outro, na realidade trata-se apenas da impossibilidade de descrever ''um'' dentre os dois acontecimentos quando não há uma assimetria qualquer. ''Desde que haja'' tal assimetria, podemos tomá-la como ''causa'' do vir-a-ser de um e do não vir-a-ser do outro.


'''6.36111''' O problema kantiano da mão direita e da mão esquerda que não se cobrem já surge no plano e até mesmo num espaço unidimensional, onde duas figuras congruentes ''a'' e ''b'' não se cobrem a não ser que se movam fora dêsse espaço. A mão esquerda e a direita são de fato perfeitamente congruentes.
{{ParTLP|6.36111}} O problema kantiano da mão direita e da mão esquerda que não se cobrem já surge no plano e até mesmo num espaço unidimensional, onde duas figuras congruentes ''a'' e ''b'' não se cobrem a não ser que se movam fora dêsse espaço. A mão esquerda e a direita são de fato perfeitamente congruentes.


E nada tem a ver com isso a impossibilidade de fazer com que se cubram.[[File:TLP 6.36111.png|330px|center|link=]]Seria possível vestir a luva direita na mão esquerda se a girássemos num espaço quadridimensional.
E nada tem a ver com isso a impossibilidade de fazer com que se cubram.[[File:TLP 6.36111.png|330px|center|link=]]Seria possível vestir a luva direita na mão esquerda se a girássemos num espaço quadridimensional.


'''6.362''' O que pode ser descrito pode acontecer e o que a lei da causalidade há de excluir não pode ser descrito.
{{ParTLP|6.362}} O que pode ser descrito pode acontecer e o que a lei da causalidade há de excluir não pode ser descrito.


'''6.363''' O processo da indução consiste em aceitar a lei ''mais simples'' que possa estar conforme com nossa experiência.
{{ParTLP|6.363}} O processo da indução consiste em aceitar a lei ''mais simples'' que possa estar conforme com nossa experiência.


'''6.3631''' Este processo todavia não tem fundamento lógico, mas apenas psicológico.
{{ParTLP|6.3631}} Este processo todavia não tem fundamento lógico, mas apenas psicológico.


É claro que não há razão alguma para acreditar que o caso mais simples realmente ocorrerá.
É claro que não há razão alguma para acreditar que o caso mais simples realmente ocorrerá.


'''6.36311''' Que o sol se levante amanhã, é uma hipótese, e isto quer dizer: não ''sabemos'' se se levantará.
{{ParTLP|6.36311}} Que o sol se levante amanhã, é uma hipótese, e isto quer dizer: não ''sabemos'' se se levantará.


'''6.37''' Não há obrigação para algo acontecer depois de alguma coisa ter acontecido. Não há necessidade que não seja ''lógica''.
{{ParTLP|6.37}} Não há obrigação para algo acontecer depois de alguma coisa ter acontecido. Não há necessidade que não seja ''lógica''.


'''6.371''' Na base de toda moderna visão do mundo está a ilusão de que as assim chamadas leis naturais sejam esclarecimentos a propósito dos fenômenos naturais.
{{ParTLP|6.371}} Na base de toda moderna visão do mundo está a ilusão de que as assim chamadas leis naturais sejam esclarecimentos a propósito dos fenômenos naturais.


'''6.372''' Colocam-se assim diante das leis naturais como diante de algo intangível, como os antigos diante de Deus e do destino.
{{ParTLP|6.372}} Colocam-se assim diante das leis naturais como diante de algo intangível, como os antigos diante de Deus e do destino.


E ambos têm e não têm razão. Os antigos, entretanto, eram tanto mais claros quanto mais reconheciam um claro término, enquanto os novos sistemas devem parecê-lo quando ''tudo'' estiver explicado.
E ambos têm e não têm razão. Os antigos, entretanto, eram tanto mais claros quanto mais reconheciam um claro término, enquanto os novos sistemas devem parecê-lo quando ''tudo'' estiver explicado.


'''6.373''' O mundo independe de minha vontade.
{{ParTLP|6.373}} O mundo independe de minha vontade.


'''6.374''' Se acontecesse tudo o que desejássemos, isto seria, por assim dizer, uma graça do destino, já que não há vinculação ''lógica'' entre vontade e mundo; e, suposta uma vinculação física, não podemos querê-la de novo.
{{ParTLP|6.374}} Se acontecesse tudo o que desejássemos, isto seria, por assim dizer, uma graça do destino, já que não há vinculação ''lógica'' entre vontade e mundo; e, suposta uma vinculação física, não podemos querê-la de novo.


'''6.375''' Havendo somente uma necessidade ''lógica'', só há uma impossibilidade ''lógica''.
{{ParTLP|6.375}} Havendo somente uma necessidade ''lógica'', só há uma impossibilidade ''lógica''.


'''6.3751''' Que, por exemplo, duas côres estejam concomitantemente no mesmo lugar do campo visual é impossível, e por certo lògicamente impossível, porquanto isto se exclui em virtude da estrutura lógica da côr.
{{ParTLP|6.3751}} Que, por exemplo, duas côres estejam concomitantemente no mesmo lugar do campo visual é impossível, e por certo lògicamente impossível, porquanto isto se exclui em virtude da estrutura lógica da côr.


Consideremos como essa contradição se representa na física. Aproximadamente do seguinte modo: uma partícula não pode ao mesmo tempo possuir duas velocidades; quer dizer que ela não pode estar concomitantemente em dois lugares, o que significa que partículas, que estão em diferentes lugares num mesmo tempo, não podem ser idênticas.
Consideremos como essa contradição se representa na física. Aproximadamente do seguinte modo: uma partícula não pode ao mesmo tempo possuir duas velocidades; quer dizer que ela não pode estar concomitantemente em dois lugares, o que significa que partículas, que estão em diferentes lugares num mesmo tempo, não podem ser idênticas.
Line 1,751: Line 1,760:
(É claro que o produto lógico de duas proposições elementares não pode ser nem uma tautologia nem uma contradição. A asserção de que um ponto do campo visual tem, ao mesmo tempo, duas côres diferentes é uma contradição.)
(É claro que o produto lógico de duas proposições elementares não pode ser nem uma tautologia nem uma contradição. A asserção de que um ponto do campo visual tem, ao mesmo tempo, duas côres diferentes é uma contradição.)


'''6.4''' Todas as proposições têm igual valor.
{{ParTLP|6.4}} Todas as proposições têm igual valor.


'''6.41''' O sentido do mundo deve estar fora dêle. No mundo tudo é como é e acontece como acontece: ''nêle'' não há valor — e se houvesse, o valor não teria valor.
{{ParTLP|6.41}} O sentido do mundo deve estar fora dêle. No mundo tudo é como é e acontece como acontece: ''nêle'' não há valor — e se houvesse, o valor não teria valor.


Se houver um valor que tenha valor, então deve permanecer fora de todos os acontecimentos e do ser-peculiar, pois todos os acontecimentos e o ser-peculiar são acidentais.
Se houver um valor que tenha valor, então deve permanecer fora de todos os acontecimentos e do ser-peculiar, pois todos os acontecimentos e o ser-peculiar são acidentais.
Line 1,761: Line 1,770:
Deve estar fora do mundo.
Deve estar fora do mundo.


'''6.42''' Por isso não pode haver proposições da ética.
{{ParTLP|6.42}} Por isso não pode haver proposições da ética.


Proposições não podem exprimir nada além.
Proposições não podem exprimir nada além.


'''6.421''' É claro que a ética não se deixa exprimir.
{{ParTLP|6.421}} É claro que a ética não se deixa exprimir.


A ética é transcendental.
A ética é transcendental.
Line 1,771: Line 1,780:
(Ética e estética são um só.)
(Ética e estética são um só.)


'''6.422''' O primeiro pensamento para estabelecer uma lei ética da forma "tu deves..." consiste em: E o que se daria se eu não fizesse isso? No entanto, é claro que a ética nada tem a ver com castigo e recompensa no sentido comum. Essa questão a respeito das ''conseqüências'' de uma ação deve ser insignificante. — No mínimo essas conseqüências não serão acontecimentos. Algo, porém, deve estar correto na colocação da questão. Por certo deve existir uma espécie de recompensa ética e de castigo ético que devem, todavia, estar na própria ação.
{{ParTLP|6.422}} O primeiro pensamento para estabelecer uma lei ética da forma "tu deves..." consiste em: E o que se daria se eu não fizesse isso? No entanto, é claro que a ética nada tem a ver com castigo e recompensa no sentido comum. Essa questão a respeito das ''conseqüências'' de uma ação deve ser insignificante. — No mínimo essas conseqüências não serão acontecimentos. Algo, porém, deve estar correto na colocação da questão. Por certo deve existir uma espécie de recompensa ética e de castigo ético que devem, todavia, estar na própria ação.


(Mas também é claro que a recompensa deve ter algo agradável, o castigo, algo desagradável.)
(Mas também é claro que a recompensa deve ter algo agradável, o castigo, algo desagradável.)


'''6.423''' No que respeita à vontade como portador do que é ético, nada pode ser dito.
{{ParTLP|6.423}} No que respeita à vontade como portador do que é ético, nada pode ser dito.


A vontade como fenômeno apenas interessa à psicologia.
A vontade como fenômeno apenas interessa à psicologia.


'''6.43''' Se querer o bem ou querer o mal muda o mundo, isto só poderá mudar os limites do mundo, nunca os fatos; nunca o que pode ser expresso pela linguagem.
{{ParTLP|6.43}} Se querer o bem ou querer o mal muda o mundo, isto só poderá mudar os limites do mundo, nunca os fatos; nunca o que pode ser expresso pela linguagem.


Em suma, por isso o mundo deve em geral tornar-se outro. Deve, por assim dizer, crescer ou diminuir como um todo.
Em suma, por isso o mundo deve em geral tornar-se outro. Deve, por assim dizer, crescer ou diminuir como um todo.
Line 1,785: Line 1,794:
O mundo dos felizes é diferente do mundo dos infelizes.
O mundo dos felizes é diferente do mundo dos infelizes.


'''6.431''' Também como na morte, o mundo não se altera mas acaba.
{{ParTLP|6.431}} Também como na morte, o mundo não se altera mas acaba.


'''6.4311''' A morte não é acontecimento da vida. Não se vive a morte.
{{ParTLP|6.4311}} A morte não é acontecimento da vida. Não se vive a morte.


Se por eternidade não se entender a duração infinita do tempo mas a atemporalidade, vive eternamente quem vive no presente.
Se por eternidade não se entender a duração infinita do tempo mas a atemporalidade, vive eternamente quem vive no presente.
Line 1,793: Line 1,802:
Nossa vida está privada de fim como nosso campo visual, de limite.
Nossa vida está privada de fim como nosso campo visual, de limite.


'''6.4312''' A imortalidade temporal da alma humana, a saber, seu continuar a viver eternamente ainda depois da morte, não está de maneira alguma assegurada; além do mais, essa assunção não cumpre nada do que sempre se quis lograr com ela. Algum enigma será resolvido por ter eu continuado a viver eternamente? Não é a vida eterna tão enigmática como a presente? A solução do enigma da vida no espaço e no tempo reside ''fora'' do espaço e do tempo.
{{ParTLP|6.4312}} A imortalidade temporal da alma humana, a saber, seu continuar a viver eternamente ainda depois da morte, não está de maneira alguma assegurada; além do mais, essa assunção não cumpre nada do que sempre se quis lograr com ela. Algum enigma será resolvido por ter eu continuado a viver eternamente? Não é a vida eterna tão enigmática como a presente? A solução do enigma da vida no espaço e no tempo reside ''fora'' do espaço e do tempo.


(Não são problemas de ciência natural a serem resolvidos.)
(Não são problemas de ciência natural a serem resolvidos.)


'''6.432''' ''Como'' é o mundo é perfeitamente indiferente para o que está além. Deus não se manifesta ''no'' mundo.
{{ParTLP|6.432}} ''Como'' é o mundo é perfeitamente indiferente para o que está além. Deus não se manifesta ''no'' mundo.


'''6.4321''' Os fatos fazem todos parte da tarefa mas não da solução.
{{ParTLP|6.4321}} Os fatos fazem todos parte da tarefa mas não da solução.


'''6.44''' O que é místico não é ''como'' o mundo é mas ''que'' êle seja.
{{ParTLP|6.44}} O que é místico não é ''como'' o mundo é mas ''que'' êle seja.


'''6.45''' A intuição do mundo ''sub specie aeterni'' é a intuição dêle como um todo limitado.
{{ParTLP|6.45}} A intuição do mundo ''sub specie aeterni'' é a intuição dêle como um todo limitado.


É místico o sentimento do mundo como um todo limitado.
É místico o sentimento do mundo como um todo limitado.


'''6.5''' Para uma resposta inexprimível é inexprimível a pergunta.
{{ParTLP|6.5}} Para uma resposta inexprimível é inexprimível a pergunta.


''O enigma'' não existe.
''O enigma'' não existe.
Line 1,813: Line 1,822:
Se uma questão pode ser colocada, poderá também ser respondida.
Se uma questão pode ser colocada, poderá também ser respondida.


'''6.51''' O cepticismo ''não'' é irrefutável mas patentemente absurdo, quando pretende duvidar onde não cabe perguntar.
{{ParTLP|6.51}} O cepticismo ''não'' é irrefutável mas patentemente absurdo, quando pretende duvidar onde não cabe perguntar.


A dúvida, pois, só existe onde existe uma questão, uma questão apenas onde existe uma resposta, e esta sòmente onde algo ''pode ser dito''.
A dúvida, pois, só existe onde existe uma questão, uma questão apenas onde existe uma resposta, e esta sòmente onde algo ''pode ser dito''.


'''6.52''' Sentimos que, mesmo que ''tôdas as possíveis'' questões científicas fôssem respondidas, nossos problemas vitais não teriam sido tocados. Sem dúvida, não cabe mais pergunta alguma, e esta é precisamente a resposta.
{{ParTLP|6.52}} Sentimos que, mesmo que ''tôdas as possíveis'' questões científicas fôssem respondidas, nossos problemas vitais não teriam sido tocados. Sem dúvida, não cabe mais pergunta alguma, e esta é precisamente a resposta.


'''6.521''' Observa-se a solução dos problemas da vida no desaparecimento dêsses problemas.
{{ParTLP|6.521}} Observa-se a solução dos problemas da vida no desaparecimento dêsses problemas.


(Esta não é a razão por que os homens, para os quais o sentido da vida se tornou claro depois de um longo duvidar, não podem mais dizer em que consiste êsse sentido ?)
(Esta não é a razão por que os homens, para os quais o sentido da vida se tornou claro depois de um longo duvidar, não podem mais dizer em que consiste êsse sentido ?)


'''6.522''' Existe com certeza o indizível. Isto ''se mostra'', é o que é místico.
{{ParTLP|6.522}} Existe com certeza o indizível. Isto ''se mostra'', é o que é místico.


'''6.53''' O método correto em filosofia seria pròpriamente: nada dizer a não ser o que pode ser dito, isto é, proposições das ciências naturais — algo, portanto, que nada tem a haver com a filosofia; e sempre que alguém quisesse dizer algo a respeito da metafísica, demonstrar-lhe que não conferiu denotação a certos signos de suas proposições. Para outrem êsse método não seria satisfatório — êle não teria o sentimento de que lhe estaríamos ensinando filosofia — mas seria o único método estritamente correto.
{{ParTLP|6.53}} O método correto em filosofia seria pròpriamente: nada dizer a não ser o que pode ser dito, isto é, proposições das ciências naturais — algo, portanto, que nada tem a haver com a filosofia; e sempre que alguém quisesse dizer algo a respeito da metafísica, demonstrar-lhe que não conferiu denotação a certos signos de suas proposições. Para outrem êsse método não seria satisfatório — êle não teria o sentimento de que lhe estaríamos ensinando filosofia — mas seria o único método estritamente correto.


'''6.54''' Minhas proposições se elucidam do seguinte modo: quem me entende, por fim as reconhecerá como absurdas, quando graças a elas — por elas — tiver escalado para além delas. (É preciso por assim dizer jogar fora a escada depois de ter subido por ela.)
{{ParTLP|6.54}} Minhas proposições se elucidam do seguinte modo: quem me entende, por fim as reconhecerá como absurdas, quando graças a elas — por elas — tiver escalado para além delas. (É preciso por assim dizer jogar fora a escada depois de ter subido por ela.)


Deve-se vencer essas proposições para ver o mundo corretamente.
Deve-se vencer essas proposições para ver o mundo corretamente.


'''7''' O que não se pode falar, deve-se calar.<references />
{{ParTLP|7}} O que não se pode falar, deve-se calar.
 
<references />