Alternative Systems of logic. (Q562801)

Verf. vertritt hier die pragmatische Ansicht über den philosophischen Charakter der Logik. Es gibt nach ihm keine Gesetze der Logik schlechthin, die dem Universum oder der menschlichen Vernunft zugeschrieben werden könnten, sondern nur eine unbegrenzte Zahl von möglichen logischen Systemen, von denen jedes bei geeigneter Interpretation richtig und für die Deduktion anwendbar ist. Diese Systeme schließen sich gegenseitig aus in dem Sinne, daß Begriffe und Grundsätze, die einem System angehören, im allgemeinen nicht in ein anderes System eingeführt werden können. Diese Gedanken werden durch den Vergleich einiger logischen Systeme erläutert, nämlich des Aussagenkalküls der ``Principia Mathematica'', der dreiwertigen Aussagenlogik von \textit{Lukasiewicz} und der sich auf den Begriff der ``strict implication'' gründenden Logik des Verf.