Deducibility with respect to necessary and impossible propositions. (Q2601617)

Vorliegender Aufsatz enthält eine Diskussion darüber, welche von den folgenden drei nicht übereinstimmenden Behauptungen als wahr angesehen werden können: 1) Alle notwendig wahren Prinzipien sind voneinander logisch abhängig oder voneinander ableitbar. 2) Alle Prinzipien der Logik und Mathematik sind notwendig wahr. 3) Einige Prinzipien der Logik und Mathematik sind unabhängig voneinander. Die Diskussion betrifft besonders die Frage, wie man vom Standpunkte der \textit{Lewis}schen Logik (logic of strict implication) diese drei Sätze beurteilen kann. Verf. macht auf die Auffassung von \textit{Lewis} aufmerksam, meint aber, daß die Frage nicht vollständig erledigt ist, nämlich nicht, wenn man es mit einer bestimmten Interpretation einer mathematischen Theorie zu tun hat. Sonst macht er mit viel Recht auf die unklare Bedeutung der hier und in ähnlichen Betrachtungen benutzten Worte ``Möglichkeit'', ``Unmöglichkeit'' und ``Notwendigkeit'' aufmerksam.