The paper proposes to use automated tools to help people avoid logic errors. :) I doubt anyone is completely free from logic errors. I am certainly not. But w

The paper proposes to use automated tools to help people avoid logic errors. :) I doubt anyone is completely free from logic errors. I am certainly not. But while seeing logic errors other make, we are often blind to our own errors logic - if we were aware of them we would correct them. Just recently while considering a logical fallacy in somebody's argument I realised that on another occasion I myself used similar argumentation. So only when noticed the problem in somebody else I was able to recognize my own error. There are many reasons people make logic errors. For example, if they like the conclusion they easier accept even flawed argumets in support.