Some weakened Gödelian ontological systems

Journal of Philosophical Logic 32 (6):565-588 (2003)
  Copy   BIBTEX

Abstract

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.

Categories

Keywords

Reprint years

2004

DOI

10.1023/b:logi.0000003927.84602.4b

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,072

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Modal collapse in Gödel's ontological proof.Srećko Kovač - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. pp. 50--323.
Variants of Gödel’s Ontological Proof in a Natural Deduction Calculus.B. Woltzenlogel Paleo & Annika Kanckos - 2017 - Studia Logica 105 (3):553-586.
The Development of Gödel’s Ontological Proof.Annika Kanckos & Tim Lethen - 2021 - Review of Symbolic Logic 14 (4):1011-1029.
Types, Tableaus, and Gödel’s God.Roderic A. Girle - 2002 - Springer Verlag.
Causal interpretation of Gödel's ontological proof.Srećko Kovač - 2015 - In Kordula Świętorzecka (ed.), Gödel's Ontological Argument: History, Modifications, and Controversies. Semper. pp. 163.201.
Types, Tableaus, and Gödel’s God.Melvin Chris Fitting - 2002 - Dordrecht, Boston and London: Kluwer Academic Publishers.
Proof Methods for Modal and Intuitionistic Logics.Melvin Chris Fitting - 1983 - Dordrecht and Boston: Reidel.
Some proof systems for common knowledge predicate.Yoshihito Tanaka - 2003 - Reports on Mathematical Logic:79-100.
Logic of the ontological argument.Filip D. Jevtić & Slobodan Vujošević - 2022 - Belgrade Philosophical Annual 35:111-114.
The Semantic Completeness of a Global Intuitionistic Logic.Hiroshi Aoyama - 1998 - Mathematical Logic Quarterly 44 (2):167-175.

Analytics

Added to PP
2009-01-28

Downloads
164 (#142,519)

6 months
13 (#261,362)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Srećko Kovač
Institute of Philosophy, Zagreb

Citations of this work

Ontological arguments.Graham Oppy - 2014 - Stanford Encyclopedia of Philosophy.
Modal collapse in Gödel's ontological proof.Srećko Kovač - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. pp. 50--323.
Gödel, Kant, and the Path of a Science.Srećko Kovač - 2008 - Inquiry: Journal of Philosophy 51 (2):147-169.

View all 11 citations / Add more citations

References found in this work

Critique of Pure Reason.I. Kant - 1787/1998 - Philosophy 59 (230):555-557.
Collected works.Kurt Gödel - 1986 - New York: Oxford University Press. Edited by Solomon Feferman.

View all 15 references / Add more references