Those who want to understand logic, if they manage to pass at least an initial, though far from simple, modern course of study, eventually conclude that practically logic consists in formulating premises and a taken-from-nowhere assertion in an incomprehensible language and then proving or disproving cause-consequence links between them. Conversely, many topical tasks of logical analysis, such as forming and testing hypotheses, inferring consequences with predefined properties, and searching for, and analysis of, logical errors and inconsistencies in reasoning, among others, are outside the...