Kvantfüüsika loogikale sobiv eitus

Kvantfüüsika loogikale sobiv eitus 

Karmo Talts

Vaatame, milline eitus sobiks kvantfüüsika loogikale. Kuna tulemused sõltuvad mõõtmiset, siis  P eitus ei pea ütlema, et pole nii, et P, vaid ütlema, et on välistatud, et mõõtmise tulemus ütleb, et P. 
Vaatame nüüd kahekordset eitust. Kui see käitub intuitsionistlikult ja seda ei saa ellimineerida, siis see ütleb, et pole välistatud, et mõõtmise tulemus ütleb, et P.
Vaatame nüüd superpositsiooni. Selle saab kirja panna P kahekordse eituse ja Q kahekordse eituse konjunktsioonina ja see ütleb, et pole välistatud, et mõõtmise tulemus ütleb, et P ja pole välistatud, et mõõtmise tulemus ütleb, et Q.