Předložená práce si klade za cíl představit příklad využití dvoudimenzionální modální logiky, nástroje vycházejícího z oblasti exaktních věd, v problematice, které se podrobně věnuje filosofická teologie. Pro toto představení byl vybrán konkrétní problém týkající se kosmologického důkazu Tomáše Akvinského, který je položen do konfrontace s kritikou, kterou vůči tomuto argumentu předložil Immanuel Kant.The aim of this presented work is to provide an introduction into using of a two dimensional modal logic in the topic, which is examines in detail in philosophical theology. For this purpose a specific problem concerning St. Thomas Aquinas's cosmological argument was chosen. This argument is compared with the criticism that was submitted by Immanuel Kant.