Journal of Philosophical Logic 32 (6):565-588 (2003)
We describe a K B 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 Gidel's relation to Kant.
|Categories||categorize this paper)|
References found in this work BETA
Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics.Daniel Gallin - 1975 - American Elsevier Pub. Co..
Citations of this work BETA
Gödel, Kant, and the Path of a Science.Srećko Kovač - 2008 - Inquiry: Journal of Philosophy 51 (2):147-169.
Similar books and articles
.[author unknown] - unknown
The Deduction Rule and Linear and Near-Linear Proof Simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
A Gödelian Ontological Argument Improved.Alexander R. Pruss - 2009 - Religious Studies 45 (3):347-353.
Added to index2009-01-28
Total downloads41 ( #126,837 of 2,171,798 )
Recent downloads (6 months)1 ( #326,702 of 2,171,798 )
How can I increase my downloads?