Tõeliste vasturääkivuste puudumine ja predikaatide defineerimine
Karmo Talts
Vaatame, mida tähendab eeldus, et tõelisi vasturääkivusi pole olemas, predikaatide defineerimise jaoks. Kui me defineerime predikaadi X predikaadina Y, ei tähenda see seda, et leidub X, mis on ekvivalentne Y-iga, vaid, et iga X on ekvivalentne Y-iga. Kui eeldusest, et leidub X, mis on ekvivalentne Y-iga, järeldub vasturääkivus, siis on X-ide hulk tühi.
Kommentaare ei ole:
Postita kommentaar