Võimalus, et naiivne hulkade moodustamise põhimõte vahetab ära piisavad ja tarvilikud tingimused
Karmo Talts
Vaatame võimalust, et naiivne hulkade moodustamise põhimõte vahetab omavahel ära piisavad ja tarvilikud tingimused. Sel juhul on nii, et kui on võimalik moodustada hulk elementidest predikaadiga P, siis leidub predikaat P.
Vaatame nüüd, kas see võimalus läheb vastuollu sellega, et meie defineerime predikaate. Kui meie defineeritud predikaadid peavad vastavama objektide tegelikele omadusteke ja suhetele, siis meil õnnestub predikaadi defineerimine ainult siis, kui leidub sellele vastav omadus või suhe.
No comments:
Post a Comment