Üldisuskvantorit kasutavate väidete eituste täpsustamise võimalus teise järgu loogikas ja esimese järgu loogika piirid
Karmo Talts
Vaatame väidet, et pole nii, et iga objekti x puhul on x-il predikaat P, teise järgu loogika seisukohast. Teise järgu loogika võimaldab meil täpsustada, et pole nii, et leidub predikaat P ja iga objekti x puhul on x-il predikaat P.
Vaatame nüüd, millal see täpsustus on tõene. See täpsustus on tõene siis, kui vähemalt üks kahest on tõene, kas ei leidu predikaati P või leidub x, millel puudub predikaat P.
Vaatame nüüd selle tähendust esimese järgu loogika jaoks. Kuna esimese järgu loogika ei suuda väljendada seda, et ei leidu predikaati P, siis esimese järgu loogika sunnib meid juhul, kui pole nii, et iga objekti x puhul on x-il predikaat P, järeldama, et leidub x ilma predikaadita P
No comments:
Post a Comment