The project will include ideas from the math article I’m currently working on. It means I can freely discuss it here because the main ingredients are the same as the math article.
According to the article, mathematical structures can be presented by sequences of functions. In axiomatic structures, axioms are things assumed to be “fact”. Then new facts can be derived from those axioms. So each theorem can be traced back to theorems and axioms in previous layers that build up the proof (i.e. path) for the theorem in question.
Arguments are similar. They can be broken down into building blocks. In a simplified example, imagine an argument consisting of 2 sections: A and B. A is the logical conclusion of A1 and A2. A1 is the consequence of A11, A12, A13, A14, etc. and so on (A11 consists of A111, A112, etc). This way one can draw the tree for that argument. Any inconsistency will block that branch. This is a functional approach to reconstructing arguments in a systematic structure. This tree shows the process of reasoning that led to that argument, from the very first step (i.e. axioms) to the construction of the argument. This is comparable to neural networks where different characteristics of something are being extracted. Based on this method, each argument can be presented by a sequence of numbers, each new branch in the tree updates this sequence. Also the sequence (and so the tree) illustrates the evolution path, from axioms to the argument. Kurt Godel used a similar technique and presented each mathematical theorem with a sequence of numbers. A modified version of his technique can be used here.
Everything discussed so far has been based on the traditional functional approach. But according to the math article, new approaches, such as OOP structure, are also possible . The next versions of the project will incorporate those structures. To clarify the difference, note that not all economical/politiacl arguments are built based on axioms. For example some economists might prefer higher inflation over high unemplyment while others prefer lower inflation. There are numerous examples like that. These economical/political ideologies are built based on ideological building blocks which can be presented by classes in OOP structure. It’s not about correctness or incorrectness here (in contrast to axioms), it’s about political/economaica/social ideological blocks that lead to conclusions that for example higher inflation is preferable to higher unemployment. The important thing here is what can be built based on those idealogical blocks and whether those blocks are capable of constructing coherent structures.