3 Ergebnisse.

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 ...

Das Logische Credo befasst sich mit dem anspruchsvollen Theologik-Programm, das Anselm von Canterbury vor fast tausend Jahren konzipierte. Es präzisiert die logische Basis seiner Philosophie und weist ihre Konsistenz durch Modelle nach. Sein Beweis der Existenz Gottes und andere theologische Beweise können so genau überprüft und nachgerechnet werden. Im anschließenden Gang durch die Theologik-Geschichte werden Ansätze von Platon, Aristoteles, Stoikern, ...

Das Buch behandelt die aristotelische Logik aus einem historisch-philologischen und einem systematischen Blickwinkel: Es analysiert Aristoteles-Quellen und Kalküle der aristotelischen Tradition und entwickelt in einer dialektischen Synthese einen umfassenden Kalkül. Zunächst will es den wesentlichen Stoff der verschiedenen Logik-Ebenen bei Aristoteles erfassen und in einer straffen, präzisen und modernen algebraischen Darstellung neu vermitteln. Weil Aristoteles aber mehr als zweitausend Jahre ...