Formal sciences give the most abstract representations.
People usually shy away from formalism.
For instance, there is a lack of knowledge about formal proof systems and model theory in the rationalist community that is very damaging.
Most thoughts I have are built upon these. Typically, advanced thoughts about linguistics or epistemology will inevitably rediscover those basics.
There are currently courses about those fields, but:
- They are CS/Math/Philosophy oriented, not daily-life / rationality.
- They presuppose a lot of irrelevant background knowledge. For instance, most of models used in model theory come either from databases, algebra or advanced logical considerations.
- They aren't dynamic. Collaborative course editing, online FAQ, automatically generated summaries and exercices (with correction) are paramount.
I can finally develop complex ideas in some communities.
I can finally introduce, with all the required nuances, critical considerations about personal and collective epistemology.
Smart people reading these get smarter.
I get credibility.
Dynamic features require development effort. I currently don't have time to write them, so if people want to, it'd be nice.
I need various readers to see if I'm understandable, what to add, what to remove, what to modify and such. The earlier, the better.