What is logic for? Is logic about thinking? I used to think so, believing that logic was something like the ‘doctrine of thinking’, or even the ‘doctrine of correct thinking’. A closer look, however, reveals that what we call logic, and the field of study that goes by this name, is about proving rather than thinking. Classical logic is in fact the science of the proof. But there’s a lot more to thinking than proving. If you want to proof something, first you have to find the proofs. Then you have to assess these proofs in context – a context