Do philosophers use computers to find logical proofs? Or are there good reasons

Do philosophers use computers to find logical proofs? Or are there good reasons

Do philosophers use computers to find logical proofs? Or are there good reasons the task of programming a computer to do so is difficult (perhaps because of the complexity of proof required, or perhaps because you need a human for some sort of creative step)? Just from my experience of undergrad logic, it seemed to me there was a lot of repetition in what I was doing, and that it was a task I could learn and get better in -- ie, it wasn't down to pure creativity, but there were learnable, repeatable methods of searching that perhaps could be codified, made systematic.

Read another response by William Rapaport
Read another response about Logic
Print