Ask HN: Is there any programming language to argument thought processes?
I feel the need to argument a lot of stuff, product decisions, vision etc. I also feel the need to break down thoughts to simple facts to find where I disagree with others. A kind of programming language focused on that would really help and save time.
Just as an example of what I'm thinking about, here it is my thought process on why eliminating fake news from Facebook would really strengthen Facebook’s dictatorship:
Facebook => Central authority
Fake news => Elections impact => Bad
Fake news => Eliminate
Eliminate (Fake news) => Binary decision + Central authority => Dictatorship The field of textual entailment in natural language processing is similar to that problem. Worth reading papers on this.