Interesting, would love to see some argument graphs included in this. Too often debates don't work because nobody is attacking the arguments, but just some stuff around them, anecdotes, insults, etc.

I would love to see some formalization of attacking an axiom vs attack what follows from that axiom. If you formalize arguments, users could pick if they disagree with the conjecture or what follows from it.

And in the end you could nicely display the entire argument as a graph showing who doesn't agree with what, what gets canceled out by what etc.