Logik, Mathematik und Naturerkennen