[phd514]

As a semi-related aside, Cornelius Van Til developed a lot of similar ideas about the logical necessity of the supernatural in the area of theological apologetics.