An analysis of logical substitution. (Q1834560)

Diese Arbeit von \textit{Curry} enthält im Abschnitt I das Programm einer logischen Theorie, worin die Voraussetzungen geringer sein sollen als in jeder anderen ihm bekannten Theorie. In den Abschnitten II und III will er im Anschluß an \textit{Schönfinkel} den logischen Substitutionsprozeß analysieren. In II gibt er die \textit{Schönfinkel}schen Ideen wieder; dabei sieht er sich aber genötigt, eine ziemlich komplizierte Regel (4, S. 371) hinzuzufügen. Er beschäftigt sich dann weiter damit, einfachere Regeln zu finden, welche jene komplizierte Regel ersetzen können. Dies gelingt ihm, wie er in III zeigt, jedenfalls innerhalb eines etwas eingeschränkteren Operationskreises. Es gelingt ihm dadurch, eine Analysis der Substitution durchzuführen, soweit dieser Prozeß eine Transformation ist, d. h. in einer Ersetzung von Variablen durch Variablen besteht, wobei verschiedene Variablen auch durch dieselben ersetzt werden können. (II.)