I’ve never studied multivalued logics, although I’ve heard of them. I believe there are Polish logics which are three-valued. Is that what you’re talking about here? There is also modal logic, which has four values: positive, negative, possible, and necessary. Alvin Plantinga uses modal logic in his proof of the existence of God, and Aristotle has a few things to say about logical laws of possibility and necessity. But I don’t see how that would impact this argument or my criticism of it. If I am setting myself up for the role of Medium logic guy, I probably ought to know more about that. I’ll look into it.