Definitsooni sõltuvus defineeritavast
Karmo Talts
Vaatame definitsiooni defineeritavast sõltumise küsimust. Enamasti on definitsioon X defineeritavast Y sõltumatu ja seega oleks definitsiooni X abil võidud ka defineerida ka defineeritav Z, mis ei ole identne Y-iga.
Vaatame nüüd kõige lihtsamat näidet definitsiooni sõltuvusest defineeritavast. Kui definitsioon X kasutab defineeritavat Y, siis on Y enesele viitav. Kui definitsiooni X abil oleks defineeritud defineeritav Z, mida definitsioon X ise ei kasuta, poleks enesele viitamist tekkinud.
Vaatame nüüd kaudset enesele viitamist. Kui definitsioon X kasutab defineeritavat Y ja Y viitab X-ile, või Y viitab Z-ile ja Z viitab X-ile, jne., siis tekib kaudne enesele viitamine. Kui definitsiooni X oleks kasutatud Y-i defineerimisel viisil, kus sellist tsüklit ei teki, siis poleks kaudset eneseleviitamist tekkinud.
Vaatame nüüd juhtu, kus definitsioon X on lõpetamata predikaadi Y definitsioon. Kui me lõpetame Y-i kasutades X-i, siis sellises kasutuses viitab Y X-ile. Kui definitsiooni X oleks kasutatud Y-i, mis pole lõpetamata predikaat, defineerimisel, siis ei oleks saanud Y-it lõpetada, rääkimata lõpetamisest X-i abil.
Kommentaare ei ole:
Postita kommentaar