A Formal-Logical Approach to the Concept of God

Manuscrito. Revista Internacional de Filosofia 44 (4):224-260 (2021)
  Copy   BIBTEX

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.

Author's Profile

Ricardo Sousa Silvestre
Federal University of Campina Grande

Analytics

Added to PP
2021-08-10

Downloads
636 (#35,301)

6 months
167 (#19,969)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?