B. Hartley Slater has a book out, The De-Mathematisation of Logic, collecting together some of his papers. You can in fact download it free by filling in the form here. As you’ll see just from reading the first few pages, he certainly thinks that most of us are skiing too fast down the conventional well-worn slopes, ending up in tangles of confusion. Methinks he protests too much; but still, you might find some thought provoking episodes here.