Plantinga's Modal Logic
Alvin Plantinga reformulated the Ontological Argument using modern modal logic, replacing Kant's criticism. In every possible world, a maximally great being exists; a maximally great being is necessary (exists in all possible worlds); therefore, a maximally great being exists in the actual world. The argument's validity doesn't depend on 'existence' being a predicate.
Real World
Plantinga's argument works like a logical chain: if you accept it is even possible that a maximally great being exists in some conceivable scenario, modal logic forces the conclusion that it exists in every scenario — including ours. His 1974 book 'The Nature of Necessity' presented this as a formally valid proof.
Exam Focus
Explain how Plantinga sidesteps Kant's critique by using maximal greatness rather than treating existence as a predicate.
How well did you know this?