Väärad väited ja nimede ning nende poolt nimetavate väidete asendatavuse küsimus
Karmo Talts
Vaatame, kuidas me tavaliselt käsitleme nime X-i ja väite Y, mille nimi on X, asendatavust. Kui Y on tõene, siis me saame X-i asendamisel Y-iga tõese väite. Kui Y on väär, siis me saame X-i asendamisel Y-iga väära väite.
Vaatame kuhu see käsitlus meid viib. Patoloogilistel juhtudel võib see viia paradoksini.
Sõnastame nüüd uue käsitluse. Kui Y on tõene, siis on lubatud X-i asendada Y-iga. Kui Y on väär, siis pole lubatud X-i asendada Y-iga.
Vaatame nüüd valetaja paradoksi. Kui X on väite "X on väär" nimi ja väide "X on väär" on tõene, siis me saame asendada X-i väitega "X on väär" ja tõestada vasturääkivuse. Kui väide "X on väär" on väär, siis pole meil lubatud X-i asendada väitega "X on väär" ja midagi tõestada.
No comments:
Post a Comment