Sur le terme primitif de la logistique. (Q1459087)

Die Logistik kann aufgebaut werden mit Hilfe eines einzigen Grundbegriffs: nach Sheffer (American M. S. Trans. 14, 481; F. d. M. 44, 76 (JFM 44.0076.*), 1913) mit Hilfe des Zeichens der ``Unverträglichkeit'' oder, an Russell (The principles of mathematics, 1913, 16) anknüpfend, mit Hilfe des Zeichens für die ``Implikation'', wobei natürlich immer außerdem noch die Quantitätszeichen (``für alle'' und ``für gewisse'') verwendet werden müssen. Beim wirklichen Hinschreiben der Definitionen müßte man es aber hierbei so einrichten, daß das Äquivalenzzeichen als etwas Neues vermieden wird. Deshalb stellt sich Verf. die Frage, ob es möglich ist, ein System der Logistik aufzubauen, indem man (abgesehen von den Quantitätszeichen) das Äquivalenzzeichen als einzigen primitiven Term einführt. Es gelingt ihm hier, nachzuweisen, daß dies wirklich möglich ist.