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.

A Logical Reflection on the Modal Argument for God's Existence

A Logical Analysis of Ontological Arguments of God's Existence

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

A New Modal Framework for Epistemic Logic

Modal Structuralism And Reflection

Value-based Practical Reasoning: Modal Logic + Argumentation

Mechanized Analysis of Anselm's Modal Ontological Argument

Problems of Inconsistency and Argumentation Logics

On the Legitimacy of Modal Logic

On Non-Self-referential Fragments of Modal Logics

Advancing Logic in AI: Insights from the LNGAI 2021 Workshop

Back and Forth Between Modal Logic and Classical Logic.

To Teach Modal Logic: An Opinionated Survey

Anselm'S Ontological Argument And Grades Of Being

Preface: Special Issue on Logic and Argumentation

On Modal Platonism

On Tang Junyi’s Critique of Anselm’s Argument for the Existence of God

Reasoning From Quantified Modal Premises

Modal structuralism simplified

An Abstract Look at Awareness Models and Their Dynamics

The 'Only Possible Argument' of Kant: A Critical Reconstruction