Tractatus logico-philosophicus (italiano): Difference between revisions

no edit summary
No edit summary
No edit summary
Line 1,553: Line 1,553:
{{ParTLP|5.6331}} Il campo visivo, cioè, non ha una forma come questa:
{{ParTLP|5.6331}} Il campo visivo, cioè, non ha una forma come questa:


[[File:TLP 5.6331en.png|250px|center|link=]]
[[File:TLP 5.6331it.png|250px|center|link=]]


{{ParTLP|5.634}} Ciò è connesso con il fatto che nessuna parte della nostra esperienza è al contempo a priori.
{{ParTLP|5.634}} Ciò è connesso con il fatto che nessuna parte della nostra esperienza è al contempo a priori.
Line 1,639: Line 1,639:
{{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.:
{{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.:


[[File:TLP 6.1203a-en.png|300px|center|link=]]
[[File:TLP 6.1203a-it.png|300px|center|link=]]


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:
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:


[[File:TLP 6.1203b-en.png|300px|center|link=]]
[[File:TLP 6.1203b-it.png|300px|center|link=]]


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,
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,


[[File:TLP 6.1203c-en.png|250px|center|link=]]
[[File:TLP 6.1203c-it.png|200px|center|link=]]


la forma « ξ . η» così:
la forma « ξ . η» così:


[[File:TLP 6.1203d-en.png|300px|center|link=]]
[[File:TLP 6.1203d-it.png|300px|center|link=]]


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


[[File:TLP 6.1203e-en.png|250px|center|link=]]
[[File:TLP 6.1203e-it.png|250px|center|link=]]


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à.
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à.