Remarques critiques concernant la notion de la variable dans le système de la sémantique rationnelle. (Q2598613)

Die vorliegende Abhandlung des Lemberger Grundlagenforschers ist eine Art von Einführung in das System der sogenannten rationellen Semantik, das inzwischen unter dem Titel ``New foundation of formal metamathematics'' (J. Symbolic Logic 3 (1938), 1-36); JFM 64.0029.*) erschienen ist. Sie ist angeregt worden durch eine Folge von kritischen Diskussionen dieses Systems in einem Lemberger Zirkel. Der Wortführer dieser Kritik ist der Lemberger Professor \textit{K. Ajdukiewicz} gewesen, der selbst der Warschauer Schule angehört. Die Abhandlung zerfällt in zwei Teile. Der erste beschäftigt sich effektiv mit den Variablen, die in die vorbereitenden Hilfskonstruktionen eingeführt sind. Es wird ein Verfahren angegeben, durch dessen Anwendung diese Variablen zum Verschwinden gebracht werden können. Der zweite beschäftigt sich dem Titel nach mit den SystemVariablen. In Wirklichkeit ist das Thema des zweiten Teils ein kommentierter Abriß des ganzen Systems. Das Studium dieser Abhandlung wird wichtig werden, wenn das System so durchstudiert worden ist, daß andere von ihm Gebrauch machen können. Die Singularitäten dieses Systems, unter denen die planmäßige Nichtunterscheidung von Zeichen und Bezeichnetem besonders hervorzuheben ist, sind der Grund dafür, daß diese Stufe noch nicht erreicht ist.