formale logik versus natur logik