5,953
edits
No edit summary |
No edit summary |
||
Line 120: | Line 120: | ||
Como assimetria é introduzida pelo fornecimento de uma descrição de forma particular de símbolo que nós chamamos de “tautologia”. A descrição do ab-símbolo sozinha é simétrica em relação a a e b; mas essa descrição, mais o fato de que o que satisfaz a descrição de uma tautologia ''é'' uma tautologia é assimétrica em relação a eles. Dizer que uma descrição era simétrica em relação a dois símbolos significaria que nós poderíamos substituir um pelo outro, e ainda assim a descrição permanece a mesma, i.e. significa o mesmo). | Como assimetria é introduzida pelo fornecimento de uma descrição de forma particular de símbolo que nós chamamos de “tautologia”. A descrição do ab-símbolo sozinha é simétrica em relação a a e b; mas essa descrição, mais o fato de que o que satisfaz a descrição de uma tautologia ''é'' uma tautologia é assimétrica em relação a eles. Dizer que uma descrição era simétrica em relação a dois símbolos significaria que nós poderíamos substituir um pelo outro, e ainda assim a descrição permanece a mesma, i.e. significa o mesmo). | ||
Pegue p.q e q. Quando você escreve p.q na notação ab, é impossível ver do símbolo sozinho que q se segue dele, pois, se você fosse interpretar o polo verdadeiro como falso, o mesmo símbolo iria significar p | Pegue p.q e q. Quando você escreve p.q na notação ab, é impossível ver do símbolo sozinho que q se segue dele, pois, se você fosse interpretar o polo verdadeiro como falso, o mesmo símbolo iria significar p ∨ q, do qual q não se segue. Mas no momento em que você diz ''quais'' símbolos são tautologias, imediatamente se torna possível ver do fato de que eles são e o símbolo original que se segue de q. | ||
Proposições lógicas, {{small caps|é claro}}, todas mostram algo diferente: todas elas mostram, ''do mesmo modo'', viz. pelo fato de que elas são tautologias, mas elas são diferentes tautologias e portanto cada uma mostra algo diferente. | Proposições lógicas, {{small caps|é claro}}, todas mostram algo diferente: todas elas mostram, ''do mesmo modo'', viz. pelo fato de que elas são tautologias, mas elas são diferentes tautologias e portanto cada uma mostra algo diferente. | ||
Line 126: | Line 126: | ||
O que é não-arbitrário sobre nossos símbolos não são eles, nem as regras que damos; mas o fato de que, tendo dadas certas regras, outras são fixadas = se seguem logicamente. [Cf. 3.342.] | O que é não-arbitrário sobre nossos símbolos não são eles, nem as regras que damos; mas o fato de que, tendo dadas certas regras, outras são fixadas = se seguem logicamente. [Cf. 3.342.] | ||
Assim, embora fosse possível interpretar a forma que tomamos como a forma de uma tautologia, como de uma contradição e vice versa, elas ''são'' diferentes na forma lógica porque, apesar da forma aparente dos símbolos ser a mesma, o que ''simboliza'' neles é diferente, e por isso o que se segue sobre os símbolos de uma interpretação vai ser diferente do que se segue de outra. Mas a diferença entre a e b ''não'' é uma forma lógica, de modo que nada vai se seguir dessa diferença sozinha quanto a interpretação de outros símbolos. Então, e.g., p.q., p | Assim, embora fosse possível interpretar a forma que tomamos como a forma de uma tautologia, como de uma contradição e vice versa, elas ''são'' diferentes na forma lógica porque, apesar da forma aparente dos símbolos ser a mesma, o que ''simboliza'' neles é diferente, e por isso o que se segue sobre os símbolos de uma interpretação vai ser diferente do que se segue de outra. Mas a diferença entre a e b ''não'' é uma forma lógica, de modo que nada vai se seguir dessa diferença sozinha quanto a interpretação de outros símbolos. Então, e.g., p.q., p ∨ q parecem símbolos da exata ''mesma'' forma lógica na notação ab. Ainda assim elas dizem algo inteiramente diferente; e, se você perguntar por quê, a resposta parece ser: Em um caso o esboço em cima tem o formato b, em outro o formato a. Enquanto que a interpretação de uma tautologia como uma tautologia é uma interpretação de uma ''forma lógica'', não o fornecimento de um significado para o rascunho de uma forma particular. O que importa é que a interpretação da forma do simbolismo deve ser fixada dando uma interpretação para suas ''propriedades lógicas'', e ''não'' dando interpretações para rascunhos particulares. | ||
Constantes lógicas não podem ser transformadas em variáveis: porque nelas ''o que'' simboliza ''não'' é o mesmo; todos os símbolos pelos quais uma variável pode ser substituída simbolizam no ''mesmo'' sentido. | Constantes lógicas não podem ser transformadas em variáveis: porque nelas ''o que'' simboliza ''não'' é o mesmo; todos os símbolos pelos quais uma variável pode ser substituída simbolizam no ''mesmo'' sentido. | ||
Line 158: | Line 158: | ||
{{p indent|p é falso <nowiki>=</nowiki> ~(p é verdadeiro) Def.}} | {{p indent|p é falso <nowiki>=</nowiki> ~(p é verdadeiro) Def.}} | ||
É muito importante que as aparentes relações lógicas | É muito importante que as aparentes relações lógicas ∨, ⊃, 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.] | ||
Existem relações ''internas'' entre uma proposição e outra; mas uma proposição não pode ter com outra ''a'' relação interna que um ''nome'' tem com a proposição da qual seja constituinte e que deveria significar ao dizer que “ocorre” nela. Nesse sentido, uma proposição não pode “ocorrer” em outra. | Existem relações ''internas'' entre uma proposição e outra; mas uma proposição não pode ter com outra ''a'' relação interna que um ''nome'' tem com a proposição da qual seja constituinte e que deveria significar ao dizer que “ocorre” nela. Nesse sentido, uma proposição não pode “ocorrer” em outra. |