5,923
edits
Tractatus Logico-Philosophicus (português): Difference between revisions
Tractatus Logico-Philosophicus (português) (view source)
Revision as of 12:57, 26 December 2023
, 9 months agono edit summary
No edit summary |
No edit summary |
||
| Line 910: | Line 910: | ||
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. | |||
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: | |||
{| style="margin: 0 auto 0 auto;" | |||
|(VVVV)(''p'', ''q'') | |||
|Tautologia | |||
|(Se ''p'', então ''p''; e se ''g'', então ''q''.) (''p'' ⊃ ''p'' . ''q'' ⊃ ''q'') | |||
|- | |||
|(FVVV)(''p'', ''q'') | |||
|em palavras: | |||
|Não ambos ''p'' e ''q''. (∼(''p'' . ''q'')) | |||
|- | |||
|(VFVV)(''p'', ''q'') | |||
|em palavras: | |||
|Se ''q'', então ''p''. (''q'' ⊃ ''p'') | |||
|- | |||
|(VVFV)(''p'', ''q'') | |||
|em palavras: | |||
|Se ''p'', então ''q''. (''p'' ⊃ ''q'') | |||
|- | |||
|(VVVF)(''p'', ''q'') | |||
|em palavras: | |||
|''p'' ou ''q'' (''p'' ∨ ''q'') | |||
|- | |||
|(FFVV)(''p'', ''q'') | |||
|em palavras: | |||
|Não ''q''. ∼''q'' | |||
|- | |||
|(FVFV)(''p'', ''q'') | |||
|em palavras: | |||
|Não ''p''. ∼''p'' | |||
|- | |||
|(FVVF)(''p'', ''q'') | |||
|em palavras: | |||
|''p'' ou ''q'' mas não ambos. (''p'' . ∼''q'' : ∨ : ''q'' . ∼''p'') | |||
|- | |||
|(VFFV)(''p'', ''q'') | |||
|em palavras: | |||
|Se ''p'', então ''q''; e se ''q'', então ''p''. (''p'' ≡ ''q'') | |||
|- | |||
|(VFVF)(''p'', ''q'') | |||
|em palavras: | |||
|''p'' | |||
|- | |||
|(VVFF)(''p'', ''q'') | |||
|em palavras: | |||
|''q'' | |||
|- | |||
|(FFFV)(''p'', ''q'') | |||
|em palavras: | |||
|Nem ''p'' nem ''q''. (∼''p'' . ∼''q'') ou (''p''<nowiki> | </nowiki>''q'') | |||
|- | |||
|(FFVF)(''p'', ''q'') | |||
|em palavras: | |||
|''p'' e não ''q''. (''p'' . ∼''q'') | |||
|- | |||
|(FVFF)(''p'', ''q'') | |||
|em palavras: | |||
|''q'' e não ''p''. (''q'' . ∼''p'') | |||
|- | |||
|(VFFF)(''p'', ''q'') | |||
|em palavras: | |||
|''q'' e ''p'' (''q'' . ''p'') | |||
|- | |||
|(FFFF)(''p'', ''q'') | |||
|Contradição | |||
|(''p'' e não ''p''; e ''q'' e não ''g''.) (''p'' . ∼''p'' . ''q'' . ∼''q'') | |||
|} | |||
A essas possibilidades de verdade de seus argumentos de verdade, que confirmam as proposições, chamo de seus ''fundamentos de verdade''. | |||
Se os fundamentos de verdade comuns a um número de proposições, também forem fundamentos de verdade de uma proposição determinada, dizemos então que a verdade dessa proposição se segue da verdade daquelas outras. | |||
Em particular a verdade de uma proposição "''p''" segue-se da de outra "''q''" se todos os fundamentos de verdade da segunda forem fundamentos de verdade da primeira. | |||
Os fundamentos de verdade de uma estão contidos nos da outra; assim, ''p'' segue-se de ''q''. | |||
Se ''p'' segue-se de ''q'', o sentido de "''p''" está contigo no sentido de "''q''". | |||
<references /> | |||