Yeah, the CS head at the small college I went to was also the Philosophy head (he got his doctorate in philosophy). The same formal logic class was a requirement for the CS, philosophy, and law degrees.