Philosophy through Computer Science (An Introduction)