Relation of Whitehead and Russell's theory of deduction to the Boolean logic of propositions. (Q562845)

Die Ausführungen der vorstehend besprochenen Note geben dem Verf. Anlaß zu einer näheren Betrachtung über das Verhältnis der \textit{Whitehead-Russell}schen Deduktionstheorie zum \textit{Boole}schen Aussagenkalkül. Jene ist in ihrer vom Verf. entwickelten ``mathematisierten'' Gestalt (Verf. 1931; F. d. M. \(57_{\text{I}}\), 59) zwar eine Folge der \textit{Boole}schen zweielementigen Algebra, aber nicht umgekehrt; z. B. ist innerhalb der Deduktionstheorie nicht der Satz: der Elementebereich \(K\) besteht aus genau zwei Elementen, ableitbar.