The work shows the usefulness and limitation of modern logic in the study of traditional metaphysical problems. As is the usual case in all criticism of analytic philosophers against traditional philosophy, word usage must be limited to what the human mind can know. The notion of timeless knowledge for example contradicts our normal mode of word usage and cannot serve as adequate in reference to knowledge be it that of man or of God. If timeless knowledge applied to divine mode of knowing then there cannot be human freedom.