The Philosophy of Computer Science