The Trinity and classical identity, again

Let me re-phrase an argument from an earlier post . Suppose “=” is governed by the classical rules of identity, and G, F, S, and H are names for God, the Father, the Son and the Holy Spirit. Let x ≠ y abbreviate Not( x = y ). Let D ( x ) say that x is divine. There then are three predicates A , B and C such that: A ( S ) and not A ( F ) B ( H ) and not B ( S ) C ( S ) and not C ( F ). For…