EN
Józef Maria Bocheński is widely known as a promoter of the application of logic to theology and the philosophy of God. His analysis of St Thomas Aquinas’s quinque viae has become a traditional benchmark for numerous formal analyses of the arguments for the existence of God. Thus, we can say that he was a precursor of formal natural theology, which nowadays is undergoing dynamic developments. Bocheński used formal methods to analyze not only arguments for the existence of God, but also their counterarguments. Conducting those two types of analyses is postulated in his programme of studies on God. In this paper, I will discuss Bocheński’s only available case of the second type of analysis mentioned above, in which he considers Immanuel Kant’s objections to the cosmological argument.