On Philosophy and Computer Science