–

5˙301

Hat die Logik Grundbegriffe, so müßen sie von einander unabhängig sein. Ist ein Grundbegriff eingeführt so muß er in allen Verbindungen eingeführt sein worin er überhaupt vorkomt. Man kann ihn also nicht zuerst für eine Verbindung, dann, nocheinmal für eine andere einfuhren. Z.B.: Ist die Verneinung eingeführt so müßen wir

⌊⌊si⌋⌋ sie jetzt in Sätzen von der Form ~p ebenso verstehen,

wie
als

in Sätzen wie ~(p ⌵ q) (oder (Еx).~φx) u.a.. Wir dürfen sie nicht erst für die eine Klasse von Fallen, dann für die andere einführen denn es bliebe dann zweifelhaft ob ihre Bedeutung in beiden Fällen die gleiche wäre und es wäre kein Grund vorhanden in beiden Fällen die selbe Art der Zeichenverbindung zu benützen.
(Kurz, für die Einführung der Urzeichen gilt mutatis matandis dasselbe was Frege (Grundges. d. A.) für die Einführung von Zeichen durch Definitionen gesagt hat.)

(2015–) Wittgenstein Source Bergen Nachlass Edition (WS-BNE). Edited by the Wittgenstein Archives at the University of Bergen under the direction of Alois Pichler. In: Wittgenstein Source, curated by Alois Pichler (2009–) and Joseph Wang-Kathrein (2020–). (N) Bergen: WAB.