Logic in Theology