Predikaatide defineerimine ja definitsioonina kasutava predikaadi eksistentsi sõltuvus defineeritavast predikaadist
Karmo Talts
Sõnastame järgmise piirangu predikaatide defienerimisele. Kui leidub predikaat P, mis eksisteerib predikaadist Q sõltumatult, siis tohib Q defineerida P-na.
Vaatame nüüd paradoksaalseid predikaate. Kui predikaat Q leidub predikaadist P sõltumatult, siis P ei ole enesele viitav predikaat. Seega on paradoksaalsed predikaadid defineeritud predikaatide kaudu, mida ei leidu neist sõltumatult ja see on lubamatu.
No comments:
Post a Comment