Logicians like Turing, Church, and Gödel gave us computers.
So I don't think there is any sharp distinction between programming and what logicians do. And I think it's clear that Turing (for example) was very excited about the possibilities of furthering his studies with actual physical computers he could program, given his work on Engima.
So it may be programming is one of the best tools we have for teaching logic, and one could make a good argument many of the great logicians in history would agree.
(Note my emphasis on "logician", as there are many other kinds of philosophy for which computers aren't as obviously helpful, as they are for learning logic and logical thinking.)
So I don't think there is any sharp distinction between programming and what logicians do. And I think it's clear that Turing (for example) was very excited about the possibilities of furthering his studies with actual physical computers he could program, given his work on Engima.
So it may be programming is one of the best tools we have for teaching logic, and one could make a good argument many of the great logicians in history would agree.
(Note my emphasis on "logician", as there are many other kinds of philosophy for which computers aren't as obviously helpful, as they are for learning logic and logical thinking.)