- Tytuł:
- Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödels Ontological Argument
- Autorzy:
-
Benzmüller, Christoph
Fuenmayor, David - Powiązania:
- https://bibliotekanauki.pl/articles/750054.pdf
- Data publikacji:
- 2020
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
computational metaphysics
ontological argument
higher-order modal logic
higher-order logic
automated reasoning
modal ultrafilters - Opis:
- 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 the two variants contributed by Anderson and Fitting avoid modal collapse. Although they appear quite different on a cursory reading they are in fact closely related. This has been revealed in the computer-supported formal analysis presented in this article. Key to our formal analysis is the utilization of suitably adapted notions of (modal) ultrafilters, and a careful distinction between extensions and intensions of positive properties.
- Źródło:
-
Bulletin of the Section of Logic; 2020, 49, 2
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł