Logic and Logical Philosophy 3 (27):329-350 (2018)
AbstractA 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.
Similar books and articles
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.
Supervenience and property-identical divine-command theory.Michael J. Almeida - 2004 - Religious Studies 40 (3):323-333.
Properties and the Interpretation of Second-Order Logic.B. Hale - 2013 - Philosophia Mathematica 21 (2):133-156.
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.
Contingent modal semantics for some variants of Anderson-like ontological proofs.Miroslaw Szatkowski - 2007 - Journal of Applied Non-Classical Logics 17 (1):91-114.
Essence and Realization in the Ontological Argument.Timothy G. McCarthy - 2016 - Faith and Philosophy 33 (1):5-24.
Some Reflections on the Concept of 'Timeless God' in Western Thought.Ismail Cetin - 2009 - Kaygi 12:225 - 234.
Added to PP
Historical graph of downloads
Citations of this work
No citations found.
References found in this work
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.
In defense of the simplest quantified modal logic.Bernard Linsky & Edward N. Zalta - 1994 - Philosophical Perspectives 8:431-458.