Logica a tre
valori
La logica
ordinaria utilizzata dai primi filosofi e dal senso comune è una logica a due valori. Essa è costituita
da proposizioni che possono essere vere
o false, ad esempio: o piove o c'è il
sole.
Nella
teoria quantistica quelle proposizioni riguardanti uno stato fisico non
preceduto dalla misurazione di una grandezza, e che derivano dagli stati di
sovrapposizione, quindi indeterminati, si collocano a metà strada tra i valori di verità e di falsità.
Per poter
analizzare le affermazioni indeterminate
è sufficiente applicare una regola che permetta di considerarle né vere né
false. Ciò è possibile se s'introduce un terzo
valore di verità. Il significato di indeterminato
deve essere distinto dal significato di sconosciuto,
in quanto quest'ultimo termine si applica normalmente anche ad affermazioni che
permettono due soli valori.
Il
carattere probabilistico della meccanica quantistica comporta quindi
un'indeterminazione.
Se Mario
afferma "se getto il dado al prossimo tiro farò 3" noi non abbiamo nessuna
possibilità di giudizio, in quanto Mario non ha materialmente lanciato il dado.
Un modo per verificare l'affermazione di Mario potrà essere quello di compiere
un'attenta analisi, per quanto possibile, delle grandezze cinematiche,
dinamiche e statiche del sistema da lui costituito e fornire in questo modo una
previsione, più o meno probabile, della veridicità della sua affermazione, ma
mai in modo assolutamente deterministico. Per concludere, alla domanda "l'affermazione di Mario è vera o falsa?"
noi possiamo solo limitarci a rispondere:
indefinito.
Quest'ultimo
è il terzo valore di verità ammesso dalla meccanica quantistica.
[ Picolo appunti ]
