4
edits
No edit summary |
No edit summary |
||
Line 119: | Line 119: | ||
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. | 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. | ||
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.] |