Ontologické důkazy analyticky

Ontological proofs of God's existence are of a great interest among analytical philosophers of the second half of the 20-th century. St. Anselm's proving of God does not seem to be refutated by Kant's criticism; here the modern view of the notion of existence (a bit similar to Kantian) is used but the main reasons arose from contemporary logical semantics (and related philosophy) in general. Present paper, resuming the development of the notions of existence and of ontological proofs, maps theoretical backgrounds of arguments arguing for/against the validity of ontological proofs. Norman Malcolm's (and Charles Hartshorn's) application of modal logic in early sixties is the first comprehensive explication supporting Anselm's argumentation; it provoked a large discussion in analytical philosophy. One of the most persuading contribution, namely the explication given by Pavel Tichý (using the ideas of transparent intensional logic) is discussed here in detail.