Aaron Kripke — American philosopher and logician (1940–... | namepick