Philosophy and Computing. An introduction