Paradoksid, teise järgu loogika ja predikaadid
Karmo Talts
Vaatame paradokse teise järgu loogika seisukohast. Kuna väide, et leidub predikaat, mis kuulub kõigile mõistetele, mis ennast ei kirjelda, viib paradoksini, siis leidub hoopis predikaat, mis kuulub mõistetele, mis ei kirjelda ennast või mõistetele, mis on seda predikaati väljendavad mõisted.
Vaatame nüüd valetaja paradoksi. Kuna väde, et leidub predikaat, mis kuulub kõigile väidetele, mis väidavad asju olevat nii, nagu nad pole, viib paradoksini, siis leidub hoopis predikaat, mida omavad väited, mis väidavad asju olevat nii, nagu nad pole või väited, millest järeldub, et neil on see predikaat.
No comments:
Post a Comment