I prefer Idea 1. I think “Normative rationality” should be called “Theoretical Rationality” instead. “Normative” just indicates that it’s something you should do, which applies equally well to “Applied Rationality”.
I think the problem with Idea 2 is that Instrumental Rationality and Epistemic Rationality and pretty closely intertwined, on both the Applied and Theoretical sides.
I also think that MIRI and FAI stuff should most of the time be filed under “The Future”.
I prefer Idea 1. I think “Normative rationality” should be called “Theoretical Rationality” instead. “Normative” just indicates that it’s something you should do, which applies equally well to “Applied Rationality”.
I think the problem with Idea 2 is that Instrumental Rationality and Epistemic Rationality and pretty closely intertwined, on both the Applied and Theoretical sides.
I also think that MIRI and FAI stuff should most of the time be filed under “The Future”.