izvor podataka: crosbi
✓
Some weakened Gödelian ontological systems (CROSBI ID 100840)
Prilog u časopisu | izvorni znanstveni rad | međunarodna recenzija
Kovač, Srećko
Some weakened Gödelian ontological systems // Journal of philosophical logic, 32 (2003), 6; 565-588-x
Podaci o odgovornosti
Kovač, Srećko
engleski
Some weakened Gödelian ontological systems
We describe a KB Gödelian ontological system, and some other weak systems, in a fully formal way using theory of types and natural deduction, and present a completeness proof in its main and specific parts. We technically and philosophically analyze and comment on the systems (mainly with respect to the relativism of values) and include a sketch of some connected aspects of Gödel's relation to Kant.
Gödel; God-like; modal ultrafilter; ontological proof; positive property; relative consistency; Kant; type
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
Povezanost rada
Povezane osobe
Povezane ustanove