Logik als kognitive Funktion