Yehoshua Bar-Hillel: a philosopher’s contribution to machine translation