Bernard Bolzano i idea logicyzmu

Logicyzm, inspirowany myślą G. W. Leibniza, wymieniany zwyczajowo obok intuicjonizmu i formalizmu, odegrał niezwykłą ważną rolę w nowoczesnych dziejach badań nad podstawami matematyki oraz w dziejach samej filozofii matematyki. Celem autora niniejszej rozprawy jest wykazanie, że już około 70 lat przed powstaniem prac klasyków logicyzmu (Frege, Rusell, Whitehead) w pracach praskiego matematyka, filozofa i teologa Bernarda Bolzano (1781-1848) ujawniła się tendencja i próba realizacji programu redukcji matematyki do dyscypliny bardziej podstawowej - teorii, w którą, "w sposób naturalny", uwikłany był aksjomat nieskończoności.