System der Logik und Geschichte der logischen Lehren