Abstract

The classification, comparison, and evaluation of science-theology relationships is facilitated by employing a high-level abstraction, such as a logic-based typology. The application of formal symbolic logic, fact-related dialectical logic, and the logic of complementarity yields six logical relationship types. Typologies proposed by leading exponents of science-theology interfaces like Barbour, Bube, Drees, Hefner, Miller, Peacocke, and Russell are examined in terms of logical types. Since both science and theology have a role in individual and societal life, the types "overlap" and "complementarity" look particularly promising: the distinctiveness of each domain is recognized, but also their linkages. An analysis of the New Age worldview highlights its deficiencies and suggests an elaboration of more complex logical types as combinations of basic types.