[tomodachi94]

So basically a multi-person Zettelkasten? The idea with a Zettelkasten (zk for short) is that each note is a singular idea, concept, or argument that is all linked together. Arguments can link to their evidence, concepts can link to other related concepts, and so on.

https://en.m.wikipedia.org/wiki/Zettelkasten

[tunesmith]

Sort of except that it also tracks truth propagation - one person disagreeing would inform others that portion of the graph is contested. So the graph has behavior. And, the links have logical meaning, beyond just "is related to" - it respects boolean logic.

You can see some of the explanation at http://concludia.org/instructions .

[quickthrower2]

You would need a highly disciplined and motivated set of people in the team. I have been on courses where teams do this on pen/paper and it is a real skill and it is all you do for days. Forget anything else like programming, finishing work, etc.

[xpe]

I'd be stoked if you wrote more about this experience and shared it somewhere.

[couchand]

> it respects boolean logic.

Intuitionist or classical?

[tunesmith]

Intuitionist. Truth is provability; the propagation model is basically digital logic. If you mark a premise to a conclusion false, the conclusion is then marked "false" but it really just means "it is false that it is proven"; vitiated. Might still be true, just needs further work.

[gitgud]

Isn’t this what Wikipedia is in essence? Ideas, concepts linked together, with supporting evidence