The development of theories of mathematical logic and the principles of mathematics. (Q1484675)

Der vorliegende Aufsatz ist der erste aus einer Reihe von Artikeln über den im Titel angegebenen Gegenstand. Der Verf. leitet sie mit den folgenden Betrachtungen ein: ``Die primäre Bedeutung eines symbolischen Kalkuls scheint in der Ökonomie geistiger Arbeit zu liegen, die er erzielt; hierin wurzelt die eigenartige Macht und die schnelle Entwicklung der mathematischen Kenntnisse. Versuche zur Behandlung der Operationen der formalen Logik in einer analogen Weise waren nicht selten von einigen der philosophischeren Mathematikern, wie \textit{Leibniz} und \textit{Lambert}, gemacht worden; allein ihre Bemühungen blieben ziemlich unbekannt, und so waren es um die Mitte des 19. Jahrhunderts \textit{Boole} und \textit{De Morgan}, denen man eine mathematische, obschon sicherlich nicht quantitative Art in der Betrachtung der Logik verdankt. Hierdurch wurde nicht nur die überlieferte oder Aristotelische Lehre von der Logik umgestaltet und vervollständigt; sondern hieraus ist im Laufe der Zeit ein Instrument hervorgegangen, das auf eine sichere Art zur Erforschung der Grundbegriffe der Mathematik geeignet ist, einer Aufgabe, die von Philosophen immer wiedei in Angriff genommen war, bei der sie aber immer wieder gescheitert sind. Das Ziel dieser Folge von Abhandlungen ist ein möglichst erschöpfender Bericht über die Leistung dieser Schaffner an der Reformation und ferneren Entwicklung unserer Kenntnis von der Logik nach dem Muster der symbolischsten Methode, die wir kennen, derjenigen der Algebra, von der Zeit \textit{Booles} bis auf den heutigen Tag. Die Werke von \textit{Lambert, Ploucquet, Holland} und anderen sind außer einigen Zitaten, aus denen weitere Auskunft zu erhalten ist, übergangen worden. Doch war es nötig, etwas ausführlicher auf die großen Förderungen und noch größere Pläne zu weiteren Förderungen bei \textit{Leibniz} einzugehen. Und selbst hier besteht die Erörterung zumeist in Hinweisen auf die Werke von \textit{Russell} und \textit{Couturat}, die sehr gründliche Studien über die \textit{Leibniz}sche Theorie der Logik gemacht haben.'' Der vorliegende Artikel umfaßt \textit{Gottfried Wilhelm Leibniz} (S. 329-332) und \textit{George Boole} (332-352), behandelt also im wesentlichen die Leistungen \textit{Booles} und gibt von ihnen eine gute Vorstellung.