Defineeritava väite leidumise küsimus
Karmo Talts
Vaatame eeldust, et väidet X, mis on defineeritud Y-ina, ei leidu. Siis ei leidu ka Y-it.
Vaatame nüüd selle võimalike tähendusi. Väidet X ei saa eeldusel, et me oleme selle defineerinud, mitte leiduda. Teine võimalus on, et väite X defineerimine ei taga, et X leidub.
Vaatame, mida see teine võimalus tähendaks Kui väide X defineeritakse väite Y, mis leidub kaudu, siis leidub X. Kui X defineeritakse väite Y kaudu, mida ei leidu, siis X-i ei leidu.
Vaatame nüüd selle tagamist, et defineeritav väide leiduks. Kõigepealt tuleb mõni deklaratiivne tavakeele lause tähistada Y-iga, seejärel X defineerida Y-ina. Sel juhul X tähistab Y-it ja Y tähistab deklaratiivset tavakeele lauset.
No comments:
Post a Comment