Bolzano als Vorläufer der mathematischen Logik. (Q577634)

Anläßlich des 150-sten Geburtstages von \textit{Bernard Bolzano} weist Verf. auf die große Bedeutung hin, die \textit{Bolzano} in der Geschichte der exakten Logik zukommt. Auf Grund seiner Vorwegnahme grundlegender Überlegungen und Begriffsbildungen der mathematischen Logik -Entdeckung der Aussage- und Satzfunktionen, Ansätze zu einer Deskriptionstheorie, Kennzeichnung der ``immer wahren'' und der ``immer falschen'' Aussagefunktionen -- muß er, wenn ihm auch die kalkülmäßige Nutzbarmachung seiner Entdeckungen verborgen blieb, als ein Klassiker der exakten Logik angesehen werden.