Artykuł podejmuje kwestię pozaformalnej filozofii nieskończoności w wydaniu Georga Cantora. Podstawowa teza artykułu wyra ża przekonanie, że znajomość kontrowersji wokół nieaksjomatycznego pojęcia nieskoń czoności pozwala na lepszy wgląd w procedury formalne w teorii mnogości. Cantorowską filozofię nieskończoności wyrażają trzy zasady heurystyczne: (1) zasada aktualnej nieskończoności - każda ściśle stosowana matematycznie nieskończoność potencjalna (zmienna wielkość skończona, dziedzina niekompletna) zakłada nieskończoność aktualną (stały zakres zmienności uprzednio określony względem zmiennych); (2) zasada finityzmu - matematyzacja pojęcia nieskończoności wymaga jego finityzacji, poprzez (a) wprowadzenie jednorodnego ontycznie statusu wszystkich dopuszczonych matematycznie zbiorów, (b) ustalenie, że wszystkie takie zbiory posiadają charakterystykę liczbową (arytmetyczną); (3) zasada absolutnej nieskończoności - istnieją mnogości, które nie są zbiorami, tzn. nie są dopuszczonymi matematycznie obiektami i nie posiadają pełnej charakterystyki liczbowej (mogą natomiast występować w dowodach nie wprost jako pewne określone obiekty) i które wyznaczają granice matematyzacji pojęcia nieskończoności.
Dateien herunterladen
Zitierregeln
Zitiert von / Teilen
Lizenz