An idea I've been kicking around -- and am tempted to pull into a coherent form -- is that actually there is a close connection between philosophy and computer science.

Much of philosophy is arguments about various abstractions. Computer science is about using abstractions to engineer software and about proofs about software-related abstractions.

To give one example: I think of the philosophical debate about the semantics of proper nouns as coupled to the notions of reference vs value equality in programming language design.