Weakened Gödelian ontological systems (CROSBI ID 523075)
Prilog sa skupa u zborniku | sažetak izlaganja sa skupa | međunarodna recenzija
Podaci o odgovornosti
Kovač, Srećko
engleski
Weakened Gödelian ontological systems
Gödelian ontological systems are in this talk systems similar to the modal second-order S5 system (including five axioms managing the ultrafilter-like concept of ``positiveness'') that Gödel most probably assumed while establishing his ontological proof. The completeness proof for some of such systems (with restricted lambda-abstract rules) is established. The consequences of introducing world-relative domains are examined. A comparison of Gödel's ``moral aesthetic'' and ``attributive'' interpretations of Gödelian ontological systems is outlined and the philosophical consequences of the weakening of systems briefly sketched.
Gödel; ontological proof; completeness proof
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
40-x.
2002.
objavljeno
Podaci o matičnoj publikaciji
Logic Colloquium 2002, Colloquium Logicum 2002: Program Booklet
Organizing Commitees
Münster: Westfällische Wilhelms-Universität
Podaci o skupu
Logic Colloquium 2002 - ASL European Summer Meeting
predavanje
03.08.2002-09.08.2002
Münster, Njemačka