Predikaatidele rakenduvate predikaatide sõnastamine kui uute predikaatide sõnastamine ja paradoksid
Karmo Talts
Vaatame selle tähendust, et sõnastades predikaadi "predikaadile P rakendub predikaat Q" sõnastame me uue predikaadi, mis erineb P-st, predikaatide defineerimise jaoks. Kui me defineerime predikaadi X "X-il on predikaat P"-na, siis me defineerime X-i X-ist erineva erineva predikaadina ja rikume identsusseadust.
Vaatame nüüd selle tähendust valetaja paradoksi jaoks. Valetajalause X, mis on defineeritud X on väärana, on defineeritud X-ist erineva väitena.
Vaatame nüüd Nelson-Grellingi paradoks. Kui me lubaks heteroloogilise heteroloogilisuse predikaati, siis oleks tegu heteroloogilisuse predikaadist erineva predikaadiga. Seega nii lai definitsioon, mille järgi mistahes endale mitte rakenduv predikaat on heteroloogiline, defineerib heteroloogilisus predikaadi iseendast erineva predikaadina.
No comments:
Post a Comment