While I was doing my PhD, there was a postdoc in my group who was a big fan of Peirce. Instead of breaking down logic into Deduction and Induction (as the classics do), he broke it into Abduction (explanation) and Prediction. Much more pragmatic in many ways. Sherlock Holmes was a good example of abductive reasoning.