This is
the ontological argument used in modern philosophy by Descartes and Leibnitz, though the consequences which Ibn Sina draws are different.
Not exact matches
He was the first to publish a formalized version of the
argument, using the calculus of modal logic («Logic of the Ontological Argument» 471; Logic of Perfection 5
argument,
using the calculus of modal logic («Logic of the
Ontological Argument» 471; Logic of Perfection 5
Argument» 471; Logic of Perfection 50 - 51).
The third Hartshornean contribution to understanding the
ontological proof has more far - reaching implications, for it concerns the interpretation of the modal operators
used in the
argument.
What is proper to change of place (no matter what physical reality lies behind it, it can be
used simply as a model for the sake of metaphysical
argument), is that to leave one place is to occupy another of the same
ontological rank and vice versa.