This article presents the works of three Polish philosophers: I.M. Bocheński, J.F. Drewnowski and J. Salamucha, who tried to make the thomistic philosophy more exact, with the help of the modem logic. In this way they ...