All Properties are Divine or God exists

Logic and Logical Philosophy 3 (27):329-350 (2018)
  Copy   BIBTEX


A metaphysical system engendered by a third order quantified modal logic S5 plus impredicative comprehension principles is used to isolate a third order predicate D, and by being able to impredicatively take a second order predicate G to hold of an individual just if the individual necessarily has all second order properties which are D we in Section 2 derive the thesis (40) that all properties are D or some individual is G. In Section 3 theorems 1 to 3 suggest a sufficient kinship to Gödelian ontological arguments so as to think of thesis (40) in terms of divine property and Godly being; divine replaces positive with Gödel and others. Thesis (40), the sacred thesis, supports the ontological argument that God exists because some property is not divine. In Section 4 a fixed point analysis is used as diagnosis so that atheists may settle for the minimal fixed point. Theorem 3 shows it consistent to postulate theistic fixed points, and a monotheistic result follows if one assumes theism and that it is divine to be identical with a deity. Theorem 4 (the Monotheorem) states that if Gg and it is divine to be identical with g, then necessarily all objects which are G are identical with g. The impredicative origin of D suggests weakened Gaunilo-like objections that offer related theses for other second order properties and their associated diverse presumptive individual bearers. Nevertheless, in the last section we finesse these Gaunilo-like objections by adopting what we call an apathiatheistic opinion which suggest that the best concepts `God’ allow thorough indifference as to whether God exists or not.



External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

God and the grounding of morality.David James Redmond - 2018 - Dissertation, University of Iowa
Kenoticism and Essential Divine Properties.Eric Yang - forthcoming - Religious Studies.
Divine Foundationalism.Einar Duenger Bohn - 2018 - Philosophy Compass 13 (10):e12524.
Possible predicates and actual properties.Roy Cook - 2019 - Synthese 196 (7):2555-2582.
Tropes as Divine Acts: The Nature of Creaturely Properties in a World Sustained by God.Robert K. Garcia - 2015 - European Journal for Philosophy of Religion 7 (3):105--130.
St. Anselm’s Ontological Arguments.Marie Duží - 2011 - Polish Journal of Philosophy 5 (1):7-37.
Properties and the Interpretation of Second-Order Logic.B. Hale - 2013 - Philosophia Mathematica 21 (2):133-156.
Physicalism and Classical Theism.Peter Forrest - 1996 - Faith and Philosophy 13 (2):179-200.
Divine Desire Theory and Obligation.Christian Miller - 2009 - In Yujin Nagasawa & Erik J. Wielenberg (eds.), New Waves in Philosophy of Religion. Palgrave-Macmillan. pp. 105--24.
Précis of Mind in a Physical World.Jaegwon Kim - 2002 - Philosophy and Phenomenological Research 65 (3):640-643.
Divine Simplicity.Thomas Schärtl - 2018 - European Journal for Philosophy of Religion 10 (2):51-88.


Added to PP

345 (#33,853)

6 months
52 (#25,332)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Frode Bjørdal
University of Oslo

Citations of this work

No citations found.

Add more citations

References found in this work

Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
The proper treatment of quantification in ordinary English.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht. pp. 221--242.
English as a Formal Language.Richard Montague - 1970 - In Bruno Visentini (ed.), Linguaggi nella societa e nella tecnica. Edizioni di Communita. pp. 188-221.
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.

View all 8 references / Add more references