15 of the Senior Philosophers at Oxford list Logic or Rationality as one of their areas of expertese, all philosophy student study at least first-order logic, and further courses are offered.
Boolos, Putman, Quine and Kripke are notable philosopher-logicians
Boolos did Frege’s theorem, Quine did New Foundations, among other things, Kripke our standard modal-logic semantics… I don’t how useful they are, but they’re definitely logic.
15 of the Senior Philosophers at Oxford list Logic or Rationality as one of their areas of expertese, all philosophy student study at least first-order logic, and further courses are offered.
Boolos, Putman, Quine and Kripke are notable philosopher-logicians
That doesn’t quite answer his question, I believe.
You have to point not just to people called logicians, by themselves or others, but to useful logical progress made by such people.
Boolos did Frege’s theorem, Quine did New Foundations, among other things, Kripke our standard modal-logic semantics… I don’t how useful they are, but they’re definitely logic.