Abstract
In this paper I try to answer four basic questions: (1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God? I address them by presenting a formal-logical account to the concept of God. I take it as a methodological desideratum that this should be done within the simplest existing logical formalism. I start with first-order logic (FOL) with identity, and then show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God. I focus exclusively on the monotheistic concept of God.
Highlights
The analysis of the concept of God centers around divine attributes such as omniscience, omnipotence, wholly goodness, eternity, simplicity and incorporeality
(1) How the concept of God is to be represented? (2) Are there any logical principles governing it? (3) If so, what kind of logic lies behind them? (4) Can there be a logic of the concept of God after all?
I start with first-order logic (FOL) with identity, and show that its simplest modal extension (SQML, or the simplest quantified modal logic) is enough for us to formalize a minimally satisfactory theory of the concept of God
Summary
The analysis of the concept of God centers around divine attributes such as omniscience, omnipotence, wholly goodness, eternity, simplicity and incorporeality. Christian theologians have for centuries struggled with the logical problem of trinity, which is basically the problem of dealing with the (apparent) inconsistency of orthodox Christian concept of God. From the philosophical side, Anselm for example has wondered about the individual and conjoint consistency of the attributes he derived from his definition of God. The conclusions we make about the concept of God⎯that it is consistent or that there is an object that falls under it, for example⎯will someway or other be affected by the way we represent God and the framework within which the representation occurs. Such a impassible at the same time? When contemporary philosophers argue for and against the existence of God, or for and against the consistency of the concept of God, they generally assume a monotheistic approach
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
