Tense-Logic and the Revival of Philosophical Theology

Abstract

The article discusses Nicholas Wolterstorff’s explanations for the flourishing of philosophical theology in analytic philosophy by taking Arthur Norman Prior’s (1914–1969) development of tense-logic into account. Prior’s work challenged the prevailing anti-metaphysical norms in analytic philosophy and introduced an alternative understanding of the relationship between logic and metaphysics. Prior’s application of tense-logic to an analysis of the concept of existence in quantified tense-logic and his exploration of future contingency in branching time semantics provide a strong reason for why analytic philosophy naturally incorporates philosophical theology. These considerations lead us to modify Wolterstorff’s emphasis on the importance of meta-epistemology for the resurgence of philosophical theology. A development in logic was necessary. Furthermore, Prior’s importance questions the assumption that philosophical theology was a consequence of theistic philosophers seeking ways to defend theistic beliefs in analytic philosophy. This is not true for Prior. His invention of tense-logic and discussion of omniscience was driven by an existential interest in finding answers to philosophical problems concerning divine foreknowledge and human freedom which ultimately led him to reject his Christian beliefs.