The Philosophy of Software