Immanuel Kant was a German philosopher and one of the central Enlightenment thinkers.
Alonzo Church was an American mathematician and logician, best known for his contributions to the development of the lambda calculus and the Church-Turing thesis.
Peter Geach was a renowned British philosopher and logician, known for his extensive contributions to the fields of linguistics, philosophy of language, and logic.