L'œuvre philosophique de G. Peano. (Q2621328)

Verf. behandelt vor allem die besonderen Verdienste \textit{Peano}s um die Ausgestaltung der mathematischen Logik. In den diesbezüglichen Arbeiten \textit{Peano}s werden drei Perioden unterschieden. Erste Periode: Studium der Arbeiten von \textit{Boole} und \textit{Schröder} über den Klassenkalkül und von \textit{C. S. Peirce} und \textit{MacColl} über den Satzkalkül; hier findet sich schon die augsdrückliche Bemerkung, daß beide Kalküle isomorph seien. Zweite Periode: Schöpfung der ``idéographie'' und damit vollständige Lösung des von \textit{Leibniz} gestellten Problems, jeden Satz der Logik gänzlich in Symbolen darzustellen. Die hier von \textit{Peano} geschaffenen Zeichen sind fast alle noch heute gebräuchlich. Die dritte Periode bringt schließlich den systematischen Aufbau der Logik ``als einer mathematischen Wissenschaft'': Aus wenigen Grundsätzen werden mit Hilfe der Schlußregeln und Definitionen die wichtigsten Sätze explicite abgeleitet. (I 2.)