Pregled bibliografske jedinice broj: 274392
Weakened Gödelian ontological systems
Weakened Gödelian ontological systems // Logic Colloquium 2002, Colloquium Logicum 2002: Program Booklet / Organizing Commitees (ur.).
Münster: Westfällische Wilhelms-Universität, 2002. (predavanje, međunarodna recenzija, sažetak, znanstveni)
CROSBI ID: 274392 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Weakened Gödelian ontological systems
Autori
Kovač, Srećko
Vrsta, podvrsta i kategorija rada
Sažeci sa skupova, sažetak, znanstveni
Izvornik
Logic Colloquium 2002, Colloquium Logicum 2002: Program Booklet
/ Organizing Commitees - Münster : Westfällische Wilhelms-Universität, 2002
Skup
Logic Colloquium 2002 - ASL European Summer Meeting
Mjesto i datum
Münster, Njemačka, 03.08.2002. - 09.08.2002
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
Gödel; ontological proof; completeness proof
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Filozofija
POVEZANOST RADA
