Loogikaseaduste ja teoreemide sisuline tähendus ning Gödeli lause
Karmo Talts
Vaatame, mida loogikaseadused ja teoreemid sisuliselt ütlevad. Vasturääkivuse seadus ütleb, et kui P on väide, siis P pole korraga tõene ja väär. Välistatud kolmanda seadus ütleb, et kui P on väide, siis P on tõene või väär. Jne.
Vaatame nüüd Gödeli mittetäielikkuse teoreemi. Gödeli lause on loogikavalem, mitte sisuline väide. Seega juhul, kui on võimalik sõnastada sisuline väide, millel on Gödeli lause vorm, on selle väite puhul tegu tõestamatu väitega.
No comments:
Post a Comment