My daughter is a philosophy major while most of my family has been STEM for generations (father's an engineer, mother taught college math, grandfather was an engineer). I'm reassured by the requirements for formal logic, and the obvious applications in law, but also at the intersection of law, ethics, and many of the ML systems that I foresee coming online.

She actually brought up this Harvard philosophy professor who had a story about keeping track of parantheses. I took advantage of the opportunity to show her the connections to Curry and from there to Lisp and the Little Schemer. She got it. She can reason, formally. That's important.