Objektid, mille jaoks predikaat on defineerimata, ja loogika
Karmo Talts
Vaatame võimalust, et predikaat "x on suhtes P objektidega, mis pole iseendaga suhtes P" on defineerimata x-i jaoks. Sel juhul leidub lisaks tõestele ja vääradele väidetele väiteid, mis omistavad predikaadi P objektidele, mille jaoks P on defineerimata.
Vaatame nüüd selle tähendust loogika jaoks. Loogika tegeleb ainult väidetega, mis omistavad predikaadi P objektidele, mille jaoks P on defineeritud.
Vaatame nüüd võimalust, et ka ebamäärasus on seotud juhtudega, kus objekti jaoks on predikaat defineerimata. Sel juhul on kiilasuse predikaat defineeritud mitte-ühegi juuksekarvaga ja keskmise juuksekarvade arvuga inimeste jaoks, aga mitte nende juhtude jaoks, kus me ei suuda otsustada, kas inimene on kiilas või mitte.
No comments:
Post a Comment