Tractatus logico-philosophicus (italiano): Difference between revisions

{{ParTLP|5.6331}} Il campo visivo, cioè, non ha una forma come questa:

{{ParTLP|5.634}} Ciò è connesso con il fatto che nessuna parte della nostra esperienza è al contempo a priori.

{{ParTLP|6.1203}} Per riconoscere una tautologia come tale nei casi in cui nella tautologia non compare alcuna simbolizzazione di generalità ci si può servire del seguente metodo grafico: scrivo anziché «''p''», «''q''», «''r''» ecc. «V ''p'' F», «V ''q'' F», «V ''r'' F» ecc. Esprimo le combinazioni di verità mediante parentesi, ad es.:

ed esprimo la correlazione tra la verità o falsità dell'intera proposizione e le combinazioni di verità degli argomenti di verità mediante linee nel modo seguente:

Questo segno presenterebbe dunque ad es. la proposizione ''p'' ⊃ ''q''. Ora voglio ad es. controllare se la proposizione ~(''p'' . ~''p'') (principio di non contraddizione) è una tautologia. La forma «~ ξ» viene scritta, nella nostra notazione,

la forma « ξ . η» così:

Perciò la proposizione ~(''p'' . ~''q'') ha questo aspetto:

Se inseriamo qui «''p''» al posto di «''q''» e controlliamo il collegamento delle V e F più esterne con le più interne, risulta che la verità dell'intera proposizione è associata a ''tutte'' le combinazioni di verità del suo argomento, la sua falsità a nessuna delle combinazioni di verità.