Uwaga, otwiera nowe okno. PDFDrukujEmail



Edward Nieznański

Modele świata w sformalizowanych systemach teodycei

  • język publikacji: angielski


Streszczenie

W artykule prezentuje się różne wizje świata opisywane przez wybrane sformalizowane systemy teodycei. Pierwsze z omawianych formalizacji rekonstruują argument 'ex motu' i prezentują rzeczywistość jako łańcuchową relację poruszania. Dowodzi się w tym przypadku 'primum movens' lub 'movens immobile'. Idę łańcucha zakwestionowała Francesca Rivetti-Barbò w związku z fałszywym postulatem o spójności relacji poruszania. Peter Geach zasugerował jednak, że postulat ten da się utrzymać w przypadku relacji stawania się światów materialnych. Korneliusz Policki wyznaczył z kolei wizję świata, którą generuje częściowy porządek relacji poruszania. W swoim dowodzie istnienia 'primum movens immobile' wykorzystał lemat Kuratowskiego-Zorna. Rivetti-Barbò i Ivo Thomas zaproponowali wizję świata opartą na quasipółstrukturze multiplikatywnej. Kurt Gödel założył natomiast, że świat jest algebrą Boole’a, w której generatorem ultrafiltru własności pozytywnych jest 'summum bonum'. Na koniec charakteryzuje się formalizacje prezentujące Leibniza koncepcję świata, w której kluczową rolę pełni zasada dostatecznej racji istnienia.