Hi,

I need some help translating some symbolic logic into plain English. It comes from “Proving the Non-Existence of God” by John Pollock, Inquiry 9 (1966):v 193-196

The symbol for God is ‘g’.

The symbol for ‘x exists’ is ‘Ex’.

‘Px’ is the predicate of absolute perfection from Anselm’s version of the ontological argument.

The little box thingy is the modal operator of logical necessity.

[Note: The Df in the original is in subscript format.]

(1) g = Df(the x such that Px);

(2) therefore Pg;

(3) □(x)(Px ⊃ Ex);

(4) therefore □(Pg ⊃ Eg);

(5) therefore □Eg.

1-5 above is Pollock’s version of Anselm’s first argument from Proslogion 2 in symbolic form. Can anyone translate 1-5 in plain language? Any philosophy majors out there?