The aim of the book is to gauge the possibilities of formalization of the Thomistic Theodicy. The benefits of such formalization attempts may be mutual: The limits of formal logic in natural languages have not yet been sufficiently analyzed and formalization provides useful insights to develop semiotics of the Thomistic language.