Es war, oder scheint

ungefähr
etwa

so: Wir haben einen Kalkül, sagen wir, mit Kugeln einer Rechenmaschine; ersetzen den durch einen Kalkül mit Schriftzeichen; dieser Kalkül legt uns eine Ausdehnung der Rechnungsweise nahe, die der erste Kalkül uns nicht nahegelegt hat – oder viel-

248

leicht besser: der zweite Kalkül verwischt einen Unterschied, der im ersten nicht zu übersehen war. Wenn es nun die Pointe // der Witz // des ersten Kalküls

war
ist

, daß dieser Unterschied gemacht werde & er im zweiten nicht gemacht wird so hat dieser damit seine Brauchbarkeit als [e|E]rsatz des ersten Äquivalent verloren. Und nun könnte das Problem entstehen – so scheint es –: wo haben wir uns von dem ursprünglichen Kalkül entfernt, welche Grenzen in dem neuen entsprechen den natürlichen Grenzen im des alten? Kalküls
Ich habe ein System von Regeln eines Kalküls, die ˇbeiläufig nach einem andern Kalkül gemodelt waren. // Ich habe ein System von Rechenregeln, die nach denen eines andern Kalküls gemodelt

wurden
waren

. // Ich habe mir ihn zum Vorbild genommen. Bin aber über ihn hinausgegangen. Dies war sogar ein Vorzug; aber nun wurde der neue Kalkül an gewissen Stellen (zum mindesten für die alten Zwecke) unbrauchbar. Ich suche ihn daher abzuändern:

249

d.h., durch einen einigermaßen_﹖ anderen zu ersetzen. Und zwar durch einen, der die Vorteile des neuen ohne die Nachteile hat. Aber ist das eine ˇklar bestimmte Aufgabe?
Gibt es – könnte man ˇauch fragen – den richtigen logischen Kalkül,

–
–

nur ohne die Widersprüche?
Könnte man z.B. sagen, daß R's Theory of Types zwar den Widerspruch vermeidet, daß aber R's Kalkül doch nicht der allgemeine logische Kalkül ist, sondern etwa ein künstlich eingeschränkter, verstümmelter? Könnte man sagen, daß der reine, allgemeine logische Kalkül erst gefunden werden muß??

(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.