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 'Only Possible Argument' of Kant: A Critical Reconstruction

A Logical Analysis of Ontological Arguments of God's Existence

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

Anselm'S Ontological Argument And Grades Of Being

Sellars’ Logical Space of Reasons and Kant’s Copernican Revolution

New remarks on the Cosmological Argument

Kant’s Theory of Concept Formation and his Theory of Definitions

Present and Future of Formal Argumentation (dagstuhl Perspectives Workshop 15362).

The Wolffian roots of Kant's teleology

Kantian and Neo-Kantian First Principles for Physical and Metaphysical Cognition

Contradiction and Kant’s Formula of Universal Law

Kant's mature account of monads as objects in the idea

Von der Kritik der Urteilskraft zum Prinzip der offenen Frage

Kant's Cognitive Approach to the Concept of Freedom:On the Origin of Categories in Critique of Pure Reason

Semantical Analysis of Intuitionistic Modal Logics between CK and IK

Radical Scepticism, How-Possible Questions and Modest Transcendental Arguments

A Formalizable Proof of the No-Supervenience Theorem: A Diagonal Limitation on the Viability of Physicalist Theories of Consciousness

The Orthologic of Epistemic Modals

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

A science for gods, a science for humans: Kant on teleological speculations in natural history