Universallogik / Verbale Logik
Die Universallogik behandelt die wichtigsten klassischen Logiken der Geschichte, stellt sie in aktueller symbolischer Notation in Kalkülform dar und vereinigt sie zu einer geschichtsübergreifenden Logik, die ältere Vorstufen optimiert. Sie will, wie der Titel signalisiert, das Leibniz-Programm einer universalen logischen Kalkülsprache weiter vorantreiben. Er realisierte es im Rahmen der aristotelischen Logik und inspirierte gegen Ende des 19. Jahrhunderts Frege zur ...