Modern Interpretation

I’ve come to the decision to categorize boolean algebra as an assumption, and to defend assuming boolean algebra on its own merits. I think assuming binary logic is probably defensible. So, schematically, I would assume boolean algebra, defend that assumption, and use the assumption of boolean algebra to derive a paradox. Obviously there’s work that needs to be done defending my assumption, but on the other hand, I think that that work can be done. I think that the idea that “logic is true” is sound.

That being said, my hypothesis raises the possibility of three-value proofs.