Naiivse hulkade moodustamise põhimõtte kontrapositsioon ja reaalselt eksisteerivate predikaatide defineerimine
Karmo Talts
Vaatame naiivset hulkade moodustamise skeemi ja selle kontrapositsiooni. Kui P on predikaat, siis saab elementidest, millel on P, moodustada hulga. Seega siis, kui elementidest, millel on P, ei saa moodustada hulka, pole P predikaat.
Vaatame nüüd, kuidas on võimalik, et mõnesid predikaate, mille me defineerime, ei eksisteeri. Selleks, et definitsioon määratleks tõelise predikaadi, peab definitsioon väljendama kooskõlaliselt mõeldavat kontseptsiooni ja kontseptsioon on kooskõlaliselt mõeldav siis, kui on võimalik moodustada hulk, millesse kuuluvad kõik elemendid, mille kohta kontseptsioon käib.
No comments:
Post a Comment