This paper is intended to be an investigation for clarifying what it means for God to be omniscient within the realm of formal epistemic propositional logic. Assuming the validity of the Classical Propositional Calculus with its rules and laws, we shall borrow the tools of modal logics in order to describe and define the concept of Divine Knowledge. We shall try to proceed analytically, step by step, adding exactly those schemata and rules which are better suited to approximate the infinite understanding and knowledge traditionally attributed in Christianity to God.
E. Calardo, A. Rotolo (2013). God’s Omniscience: A Formal Analysis in Normal and Non-normal Epistemic Logics. Krakow : Copernicus Center Press.
God’s Omniscience: A Formal Analysis in Normal and Non-normal Epistemic Logics
CALARDO, ERICA;ROTOLO, ANTONINO
2013
Abstract
This paper is intended to be an investigation for clarifying what it means for God to be omniscient within the realm of formal epistemic propositional logic. Assuming the validity of the Classical Propositional Calculus with its rules and laws, we shall borrow the tools of modal logics in order to describe and define the concept of Divine Knowledge. We shall try to proceed analytically, step by step, adding exactly those schemata and rules which are better suited to approximate the infinite understanding and knowledge traditionally attributed in Christianity to God.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.