Shows that the Five Ways of Thomas Aquinas, such as his five arguments to prove the existence of God, are logically correct arguments by the standards of modern Predicate Logic. This book includes a detailed and critical discussion of the premises of each argument.