Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi

Weakened Gödelian ontological systems (CROSBI ID 523075)

Prilog sa skupa u zborniku | sažetak izlaganja sa skupa | međunarodna recenzija

Kovač, Srećko Weakened Gödelian ontological systems // Logic Colloquium 2002, Colloquium Logicum 2002: Program Booklet / Organizing Commitees (ur.). Münster: Westfällische Wilhelms-Universität, 2002. str. 40-x

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

Povezanost rada

Filozofija