5 ms·

That's good food for thought, thanks. It makes me wonder whether it'd be possible for small teams to work on Argdown (or other proposition-formulation language

• TeMPOraL 6y ago
  The key question is: what would be the goal of use? I mentioned in the linked thread that I'm not convinced argument maps are too helpful for finding answers to tough questions. I only played with them on Kialo, so it may be me being inexperienced, but for now, I've identified the following problems: - They don't promote or facilitate expressing the most important things: facts, quantities and probabilities. - The tree structure is a step up from linear arguments, but it's only an imprefect projection of the underlying graph-like "thoughtspace". A thing I've seen frequently on Kialo was the same argument showing up in several places in the tree, to support or weaken some other thought - and that same argument was supported or weakened by different things in each instance. In a more perfect representation, any argument would show up only once - but that means the representation needs to work with at least directed acyclic graphs. Some HNers helpfully pointed out that argument maps work as input data (a way to serialize actual arguments people make), and output results (a projection generated from a larger, graph-like thing). This is worth exploring, IMO. Assuming these two, or some other use cases, I think that yes, Argdown artifacts could be made by expert teams and shared for reuse. As for unit testing, that's a tough one. What would you unit test against? We could run some sanity checks on the language to ensure that something listed as a "con" is actually a "con" and not a "pro". But going beyond that is, I think, entering the space covered by a bunch of specialty fields that I'll jointly refer to as "symbolic AI" - and IIRC, that hit some serious roadblocks few decades ago. I don't know what's that state of the art of machine-readable reasoning - but right now, I think that unless we can convince regular people to write their arguments as machine-provable theorems, there isn't much we can unit-test beyond superficial language features. (Part of the reason I think the way forward may be modelling actual systems of interest, instead of arguments about them, is that it automatically forces you to work with artifacts that are concrete and understandable by machines. For instance, when I was implementing the dynamic system I mentioned above, I purposefully opted to use the "units of measure" feature of InsightMaker. This is akin to static typing in programming - suddenly, I had the computer prevent me from making invalid arguments by confusing amounts with flow rates, etc. But of course, nothing prevents one from building a structurally correct model that still has no relationship to reality.)
  • jka 6y ago
    In honest truth, I'm not sure - but at the moment, a hypothetical use case that springs to mind for debating tools is "bridge building". If two distanced communities could articulate the core of their world views -- and yep, I realize that even within groups, it's never going to be possible to get perfect agreement on what those are -- then the resulting argument trees could be shared with each other and could lead to the possibility of constructive discussion, critique and understanding.