Väidete tüüp, mingit tüüpi väite esinemisjuhud, diagonaliseerimine ja loogikaseadused
Karmo Talts
Sõnastame diagonaliseerimise lemma nii: mistahes predikaadi P korral leidub väite tüüp "väited tüüpi x on ekvivalentsed väitel tüüpi x on predikaat P-ga". See, et leidub väite tüüp ei tähenda tingimata seda, et leidub seda tüüpi väidete esinemisjuhte.
Vaatame nüüd loogikaseadusi lähudes vaatest, et juhul, kui leidub mingit tüüpi väite esinemisjuht, siis saab väitemuutuja asendada seda tüüpi väite esinemisjuhuga. Kui leidub väite tüüpi x esinemisjuht, siis ei väite tüüpi x esinemisjuht olla korraga tõene ja väär. Kui leidub väite tüüpi x esinemisjuht, siis on väite tüüpi x esinemisjuht tõene või väär.
No comments:
Post a Comment