Der Typusbegriff im Licht der neuen Logik