If I am not mistaken, you have several criticisms of truthmapper. I've tried to respond to them in a carefully numbered fashion. This separation might be a rough approximation of the way a software tool would structure an argument.
A proof from the sole premise 'A is A' concluding 'Taxation is slavery' is certainly fallacious, I agree. Can you expand on what the 'same reason' is? I'm not sure what I'm expected to see in the argument you reference. It is awkward at the very least, but it is more detailed, concrete and falsifiable than many trollish claims, and some of its flaws are pointed out in the critiques.
The site may encourage people to be sloppy in their argumentation, or it may make sloppiness more obvious.
The video makes a fallacious claim "all assumptions explicit", and that diminishes my trust of the organization, I agree.
I'm not sure what you mean by "argument should work like an Aristotelian syllogism". There are many flaws in syllogisms - the one I remember is the inability to prove that a horse's head is an animal's head. Because the claims are natural language text, the structure truthmapper enforces is looser than a syllogism; merely a tree of claims and supporting claims.
You're entirely correct, the logo is not good.
Paying official attention to argumentation may encourage making it a status contest, with individuals striving to "win" rather than striving to discover the truth. This is a thorny problem for rationality, but I don't think it is confined to argumentation software.
I think we only disagree on 4. (You agree with me on 2,3, and 5, and I agree with you that 6 is not confined to software). I think the expansion of 1 you want really is 4, and I admit I explained 4 poorly. It is kind of tangled in my own head, but maybe I can do better:
TruthMapper encourages people to think that an argument on politics or religion or culture is structured like a deductive proof, where if there's a problem, it's because someone accidentally used (A -> B) and (B) to conclude (A) or something silly like that. The real problem with all of ...
In reply to: Community Epistemic Practice
There are software tools, possibly helpful for community truth-seeking. For example, truthmapping.com is described very well here. Also, debategraph.org, and I'm sure there are others.