If it's worth saying, but not worth its own post (even in Discussion), then it goes here.
Notes for future OT posters:
1. Please add the 'open_thread' tag.
2. Check if there is an active Open Thread before posting a new one. (Immediately before; refresh the list-of-threads page before posting.)
3. Open Threads should be posted in Discussion, and not Main.
4. Open Threads should start on Monday, and end on Sunday.
Thanks! Ok, so now a more detailed question:
As I said, I'd like to do formal epistemology. I'm an undergrad right now, and I need to decide on my major. If that's about all the formal stuff I'll need then there are a bunch of different majors that include that, and the question becomes which additional courses could help with formal epistemology or related disciplines.
Here's what I've come up with so far:
I'm anyway doing a minor in philosophy, which includes at least some logic.
"Math sophistication" is good, as is familiarity with basic stats and ML. In computer science depts., ML is often taught at the grad level, though. Specific major not so important.
I found reading and doing proofs paid a lot of dividends.