Karmo Talts
Sõnastame järgmise mitte-monotoonse hulkade moodustamise põhimõtet: kui objektidel on ühine predikaat P, siis neist saab normaaljuhul moodustada hulga.
Vaatame nüüd sellise hulkade moodustamise põhimõttel põhineva matemaatika rakendatavust. Kui normaaljuhul saab ühise predikaadiga P objektidest moodustada hulga, siis normaaljuhul saab neid loendada. Kui neid saab normaaljuhul loendada, siis neil on normaaljuhul arv. Kui neil on normaaljuhul arv, siis saab nende arvu normaaljuhul kasutada matemaatikatehetes ja võrrandites.
Vaatame nüüd ebanormaalseid juhte. Ebanormaalse predikaadi P puhul pole objektidel predikaadiga P arvu ja seega puudub nende objektide arv, mida saaks kasutada matemaatikatehetes ja võrrandites.
Kommentaare ei ole:
Postita kommentaar