Philosophy for theologians