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