Abstract
This paper is an examination of one lesser-known set of Thomistic arguments for God’s existence that Norman Kretzmann calls G2. After offering a bird’s eye view of Thomas’ project, I argue that G2 is unsound due to the failure of its first stage, if this stage’s usage of truth per se and truth per accidens is understood under contemporary possible world semantics. Finally, I sketch out a formal account of stages two, three, and four, attempting to show how each can contribute to the natural theology project.