A calculus for propositional concepts. (Q2611345)

Der vorliegende Aufbau des Aussagenkalküls (und zwar im wesentlichen des \textit{Lewis}schen, der ja den \textit{Whitehead-Russell}schen umfaßt) ist in der Absicht durchgeführt worden, im Gegensatz zu \textit{Peirce}, \textit{Schroeder} und \textit{Huntington} die Form- und Umformungsbestimmungen des Kalküls nicht stillschweigend als bekannt vorauszusetzen, und andererseits im Gegensatz zu den Principia Mathematica diese syntaktischen Fragen nicht mit der Untersuchung der Kalkülformeln selbst zu vermengen. Die Methode erinnert stark an \textit{Carnap} sowie -- besonders hinsichtlich der Formalisierung syntaktischer Begriffe -- an die polnischen Logiker (\textit{Chwistek}, \textit{Lukasiewicz}, \textit{Tarski} u. a.).