bolzano enuncia in forma chiara e concentrata alcune delle sue idee principali sulla logica e sulla metodologia della matematica. discute in particolare una distinzione tra le proposizioni, in quanto concepite dalla mente di un essere pensante o espresse a parole e le proposizioni in quanto entita` astratte, indipendenti da una mente e dalla loro espressione linguistica. quest`ultimo costituisce il dominio delle matematiche, dove tra le proposizioni esiste un certo ordinamento deduttivo, una gerarchia basata sul rapporto di fondamento e conseguenza, ampiamente indagata da colui che seppe anticipare alcune idee fondamentali della logica contemporanea.