Im SEP-Eintrag zu Wittgenstein scheint die Beschreibung der Logik, die im Tractatus Logico-Philosophicus zur Beschreibung seines logischen Atomismus verwendet wird, zumindest formal klassischer Aussagenkalkül zu sein (ich meine dies im modernen mathematischen Sinne, inspiriert von Frege). Außerdem erwähnt das SEP nicht die Verwendung von Qualifizierern (es sei denn, es handelt sich um ein Versehen oder es ist bereits in dem enthalten, was Wittgenstein mit einem Satz meint), es kann keine Logik erster Ordnung sein.
Ist das richtig?
Sie können Michael Potters „The Logic of the Tractatus“ im Handbook of the History of Logic Vol. 5: Von Russell zur Kirche.
Darin diskutiert er unter anderem Wittgensteins logischen Atomismus, seine Darstellung von Wahrheitstabellen für die Fregesche Logik.
Darin behauptet Potter, dass Wittgensteins System nicht nur quantifizierend ist, sondern eine Quantifizierung höherer Ordnung zulässt. Dies ist nicht verwunderlich, da der Tractatus stark von Frege beeinflusst wurde, der in seiner Begriffsschrift eine übergeordnete Logik entwickelte .
Potter vergleicht die Verwendung von immer umfassenderen Metasprachen durch den Tractatus mit einer Russell-Ramsey-Typentheorie, in der jede Ebene der Metasprache einen Aufstieg zu einer neuen Ordnung innerhalb der Typentheorie darstellt.
Es gibt eine Diskussion über die Quantifizierung sowie eine Darstellung von Wittgensteins Klassentheorie.
Kurz gesagt, Potter ist in der Lage, eine beeindruckende Menge an technischem Material aus einem zweifellos ziemlich obskuren Werk herauszuziehen.
Josef Weissmann
Dennis