This contribution endeavours to show the substance of Machovec’s philo¬sophical thinking in the context of his time and the coordinates of his personal life. Tis we can best trace in the problems the seeking meaning in life. That is for Machovec a lifelong concern. He understands humans and their discovery of meaning in this world as a complex problem. Its core is a cultivated orientation of each individual in the world. As a “master of dialogue”, Machovec shows the possibilities of seeking self-determination in this way.
V textu je představen ontologický argument Kurta Gödela, který je porovnán s argumentem G. W. Leibnize. Argumenty jsou srovnány ve třech krocích: 1) pojetí Boha a božích vlastností, 2) pojetí esence a existence božského individua, 3) využití modální logiky. and The paper presents Kurt Gödel's ontological argument and compares it with G. W. Leibniz's argument. These arguments are confronted in three steps: 1) conception of God and God's properties, 2) conception of essence and existence of God-like individual, 3) use of modal logic.