My undergrad used to offer an inter-departmental major between Computer Science and Philosophy. At first I thought it was crazy, but there were many overlaps:

My undergrad used to offer an inter-departmental major between Computer Science and Philosophy. At first I thought it was crazy, but there were many overlaps: formal proving, digital logic and hardware, AI, and many more.