Has anyone encountered a formal version of this? I.e. a site for the creation of formal logical arguments. Users can create axioms, assign their confidence to them and structure arguments using them. Users can then see the logical consequences of their beliefs. I think it would make a very interesting format for turning debate into a competitive game, whose results are rigorous, machine readable, arguments.
While I am certainly not against the idea of a tool that can be used to create formal arguments, the proposal has a subtle but radical difference.
DISCLAIMER: I am not a mathematician, and do not fully understand the concepts I attempt to explain in the following.
In his work published as 'Notes on the Synthesis of Form', Chris. Alexander developed an algorithm for converting a matrix of relationship strengths between analysed sub-elements of a design problem into a 'tree-like' structure. In other words, a hierarchical diagram in which each node can have o...
I hope this is a good place for this - comments/suggestions welcome - offers of collaboration more than welcome!
I envisage a kind of structured wiki, centred around the creation of propositions, which can be linked to allow communities of interest to rapidly come to fairly sophisticated levels of mutual understanding; the aim being to foster the development of strong groups with confidence in shared, conscious positions. This should allow significant confidence in collaboration.
Some aspects, in no particular order;
Enough of these for now. Some imagined interactions might be more helpful;
I am a fundamentalist christian (!). I come across the site, and am appalled at its secular, materialist tone. I make a new proposition; 'The Bible is revealed truth, in all its glory' (or some such twaddle. Of course, I omit to specify which edition, and don't even consider the option of a language other than english - but hey, what do you expect?). Within days, I have assembled a wonderful active group of woolly minded people happily discussing the capacity of Noah's Ark, or whatever. The point here is that the platform is just that - a platform. Human community is a Good Thing.
Enough... Point 6 is almost recursive.......
There is more discursive (and older) material, here.
Thanks for reading, and please do comment.