D25vtythmttl3o.cloudfront.net

Anselm’s argument in symbols: P1: ~GR. C1: GM. C2: The atheist can conceive that GR >e GM. [Anselm also agrees that this is true.] C1 and C2 entail: C3: The atheist can conceive that something (namely GR) would be a better entity than the best conceivable entity (GM). [This is a contradiction.] Since C3 is a contradiction, P1 must be false. Thus: ................
................