Saul Kripke (1940 – 2022) Philosopher