Kant claimed one could know most of the interesting things a priori, even if one couldn't know everything.
I don't think that's true. Much of the point of the first Critique was to vindicate experience as a source of knowledge, for which he thought he needed to appeal to certain synthetic a priori propositions (like causality). When we at LW appeal to causality as a necessary part of the map, but not necessarily a part of the territory, we are making a similar move. Kant was the great enemy of metaphysics.
About morality, you're largely right, though a fair bulk of his writing on morality consists of discussions of social practices and law.
Straight from Wikipedia.
I just had to stare at this a while. We can have papers published about this, we really ought to be able to get papers published about Friendly AI subproblems.
My favorite part is at the very end.
Trivialism is the theory that every proposition is true. A consequence of trivialism is that all statements, including all contradictions of the form "p and not p" (that something both 'is' and 'isn't' at the same time), are true.[1]
[edit]See also
[edit]References
[edit]Further reading