A Formal-Logical Approach to the Concept of God

Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
SILAFA-4
Upload history
Archival date: 2021-08-10
View other versions
Added to PP index
2021-08-10

Total views
43 ( #57,847 of 64,179 )

Recent downloads (6 months)
43 ( #18,076 of 64,179 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.