Abstract:St.Anselm proposed two versions of ontological argument for God's existence.The first is well known.But it is confronted with Kant's notorious criticism,i.e."existence is not a predicate".In a modern logical perspective,this version of ontological argument is not even qualified as a well-formed inference,for its premise is not a proposition or sentence but a propositional function.So there is no question of its being valid or sound.The second or modal version of Anselm's ontological argument was "discovered" by Charles Hartshorne and Norman Malcolm.Hartshorne's modal version of ontological argument is doubtful in its two premises,one of which looks upon "exist necessarily" as a predicate,while the other explicates possibility with conceivability.We do not think the first premise could get round the Kantian criticism.As to the second premise,ontological possibility cannot be confused with logical possibility,and with too thick psychological character,conceivability is not fit for explaining ontological possibility.Malcolm's version of the modal argument gives a justification for the second premise,i.e.Anselm's Principle.Malcolm's strategy is interpreting modality in terms of tense.But in our opinion,modality and tense each fall into different philosophical categories.The study of ontological arguments shows the application of modern logic playing a key role therein.The key role manifests itself in the shift of linguistic paradigms in the study of philosophy of religion and the selection of logical inference rules.All in all,the logical analysis of ontological arguments indicates that both construction and development of ontological arguments depend on the correct application of logical techniques and means very much,and as to whether logic can be applied correctly in the study of religious philosophy,it lies on whether one has true knowledge of some important philosophical problems of logic or not.

The Logical Basis and Philosophical Implications of Modern Essentialism

Putnam on Terms of Natural Kinds——On Essentialism in Contemporary Logic Philosophical Vision

Name and Essence in the Framework of Possible World

Modality and Essence

Logical Given, Interactive Negotiation and Self-Denial of Self-Consciousness-Hegelian Pragmatism in Contemporary Analytic Philosophy and Its Critique

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

Logics of Essence and Accident

Are we Teleologically Essentialist?

On Evolvement of the Essentialist Mode of Thinking in Western Classical Philosophy

A Logical Analysis of Ontological Arguments of God's Existence

Model Logic and Philosophy

The"Objectivity Activity"Logic of Human Essence in the Perspective of Relativism and the World Significance of the"Chinese Road"

On the Origin Doctrine of Individual Essence

A Logic for Weak Essence and Strong Accident

Sortal Property and Identification of Individuals

A Theory of Necessities

Post-modernism under the Background of Anti-essentialism

The Essence of Law in the light of Objective Idealism and Naturalistic Dualism

Possibility Semantics

Study of Contingent Priori Truth:Progress from Kant to Kripke

The Escape and Capture of the Contingent: A Solution to Kripke's Puzzle of "Physical Necessity"