Philosophy and Computer Science, Explorations in Philosophy