Notas Ditadas a G.E. Moore na Noruega: Difference between revisions

Parece existir à primeira vista uma certa ambiguidade no que significa dizer que uma proposição é “verdadeira”, devido ao fato que parece como se, no caso de diferentes proposições, o modo como elas correspondem aos fatos aos quais correspondem é bem diferente. Mas o que é realmente comum em todos os casos é que eles devem ter ''a forma geral de uma proposição.'' Ao fornecer a forma geral de uma proposição, você está explicando quais tipos de modos de juntar os símbolos de coisas e relações vai corresponder às (se análoga às) coisas) que têm essas relações na realidade. Ao fazer desse modo você está dizendo o que significa dizer que uma proposição é verdadeira; e você deve fazer isso de uma vez por todas. Ao dizer “Essa proposição ''tem sentido''” significa ‘“Essa proposição é verdadeira” significa…’ (“p” é verdadeiro = “p”. p . Def. : apenas em vez de “p” nós devemos introduzir a forma geral de uma proposição).

Parece à primeira vista como se a notação ab devesse ser falsa, pois parece tratar verdadeiro e falso como se estivessem exatamente no mesmo nível. Deve ser possível ver a partir dos símbolos mesmos que existe uma diferença essencial entre os polos, se a notação for correta; e parece como se de fato isso fosse impossível.

Que, quando certa regra é dada, um símbolo ''mostra'' uma verdade lógica:  

Esse símbolo pode ser interpretado como uma tautologia ou uma contradição.

ϕ não pode possivelmente estar à esquerda de (ou em qualquer outra relação com) o símbolo de uma propriedade. Então o símbolo de uma propriedade, e.g., ψx é ''que'' ψ está à esquerda de uma forma-nome, e outro símbolo ϕ não pode possivelmente estar à esquerda de tal ''fato:'' se pudesse, nós deveríamos ter uma linguagem ilógica, o que é impossível.

É muito importante que as aparentes relações lógicas v, ⊃, etc. precisem de colchetes, pontos, etc., i.e. ter “gamas”; que por si só mostra que eles não são relações. Esse fato tem sido menosprezado, porque é muito universal -a coisa mesma que deixa isso importante. [Cf. 5.461.]

Uma tautologia (''não'' uma proposição lógica), não é sem sentido da mesma forma em que, e.g., uma proposição na qual palavras que não têm significado ocorrem. O que acontece nela é que todas as suas partes simples têm significado, mas as conexões entre essas paralisam ou destroem umas às outras, de modo que elas todas estão conectadas somente numa maneira irrelevante.

Funções lógicas todas pressupõem umas às outras. Assim como podemos ver que ~p não tem sentido, se p não tem nenhum; então também podemos dizer p não tem se ~p não tem. O caso é bem diferente com ϕa e a: pois aqui a tem significado independentemente de ϕa, ainda que ϕa pressuponha isso.