It is common practice to have the so called pure logic be followed by an applied logic a logic that has to do with concrete cognition, quite apart from all the psychology and anthropology that is commonly deemed necessary to interpolate into logic.