Philosophy through Computer Science