Sheffer, Athanasius, (not) both/and.
Sheffer Stroke and Athanasian Creed.
Dear Sir: In Symbolic Logic I heard the claim that all of Russell's and Whitehead's operators (and, or, not, if and only if, if-then?) could be derived from the Sheffer Stroke (not both the one and the other).
But, we hold that Jesus is both God and Man, without 'confusion, division, separation, or mixture'.
It would seem that a Christian mathematics needs to be built on 'both and' in this sense.
Who is working on this, and/or has done it, please?
Charles Howard Hartman