zlacker

>>snewma+(OP)
It's fun reading through the paper he links just because I've always been enamored by taking a lot of those principles that they believe should be internal to a computer, and instead making them external to a community.

In other words, I think it would be so highly useful to have a browseable corpus of arguments and conclusions, where people could collaborate on them and perhaps disagree with portions of the argument graph, adding to it and enriching it over time, so other people could read and perhaps adopt the same reasoning.

I play around with ideas with this site I occasionally work on, http://concludia.org/ - really more an excuse at this point to mess around with the concept and also get better at Akka (Pekko) programming. At some point I'll add user accounts and editable arguments and make it a real website.

>>tunesm+cj
I don't think this is the goal of your project, so let me ask this way. Is there any similiar project, where we provide truths and fallacies, combine them with logical arguments and have a language model generate sets of probable conclusions?

Would be great for brainstorming.