The same definition of Omniscience worded differently

Consider this definition of omniscience: “God believes all true propositions and does not believe in any of their negations.” One might wonder whether this is logically equivalent to “God knows all true propositions, and does not believe any false propositions” or to “For any proposition P, if P is true then God knows it, and if P is false then God does not believe it.”

Let’s start here: a being X is Omniscient if and only if, for any proposition P, if P is true then X knows P, and if P is false, then X does not believe P.

(∀x)(Ox ≡ (∀y)((Ty ⊃ Kxy) & (Fy ⊃ ∼Bxy)))

Where Ox is “x is Omniscient,” Ty is “y is true,” Kxy is “x knows y,” Fy is “y is false,” and Bxy is “x believes y”. However, for a proposition to be false just means for some proposition to be ‘not’-true. So:

(∀x)(Ox ≡ (∀y)((Ty ⊃ Kxy) & (~Ty ⊃ ∼Bxy)))

However, for God to know something presumably requires only that it be true, since it isn’t possible for God to have unjustified beliefs. So,

(∀x)(Ox ≡ (∀y)((Ty ⊃ Bxy) & (~Ty ⊃ ∼Bxy)))

However, that seems to be logically equivalent to the following:

(∀x)(Ox ≡ (∀y)((Ty ≡ Bxy)))

So, a being is omniscient just in case that being believes all true propositions and doesn’t believe any of their negations.

Advertisements

About tylerjourneaux

I am an aspiring Catholic theologian and philosopher, and I have a keen interest in apologetics. I am creating this blog both in order to practice and improve my writing and memory retention as I publish my thoughts, and in order to give evidence of my ability to understand and communicate thoughts on topics pertinent to Theology, Philosophy, philosophical theology, Catholic (Christian) Apologetics, philosophy of religion and textual criticism.
This entry was posted in Logic, Natural Theology, Philosophical Theology, Philosophy, Philosophy of Religion and tagged . Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s