Przeglądaj Bulletin of the Section of Logic 49/2 (2020) według tematu "computational metaphysics"
Wyświetlanie pozycji 1-1 z 1
-
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument
(Wydawnictwo Uniwersytetu Łódzkiego, 2020-06-30)Three variants of Kurt Gödel's ontological argument, proposed by Dana Scott, C. Anthony Anderson and Melvin Fitting, are encoded and rigorously assessed on the computer. In contrast to Scott's version of Gödel's argument ...