Another example of quasi-formal theology: "On the Logical Problem of the Trinity" in Richard Cartwright, Philosophical Essays, Cambridge and London: The MIT Press, 1987, pp. 187-200