From Possibility to Inevitability——The Logical Links through Plantinga's Ontological Argument

Zhang Lifeng

DOI: https://doi.org/10.19862/j.cnki.xsyk.2011.09.007

2011-01-01

Abstract:Alvin Plantinga makes use of modal logic S5 and its possible world semantics as his tools of argument,applies the logical inherent links between the basic philosophical concepts of possible world,world-indexed property,individual essence,instantiation etc,and clarifies the relations between maximal greatness,maximal excellence and omnipotence,omniscience and moral perfection.On the basis of the work mentioned above,he argues the existence of God.The most important contribution of the possible-world-theoretical ontological argument is that it escapes the Kantian rebuke of 'Existence is not a predicate',secondly this argument is not only formally valid,but also more vivid and more intuitional,and finally it greatly extends the connotation of the doctrine of essentialism.But for one thing,the main premise of the argument has no powerful justification;secondly,the modal intuition defense of the possibility of maximal greatness needs more detailed clarification;thirdly,the possibility of maximal greatness is a relative modality and by no means a metaphysical one,hence we must not deal with them in the same manner;finally,whether its argument tool S5 is the correct logic of metaphysical modality is in heated dispute.