ABSTRACT
Mathematics was only a fraction of the wide yet perfectly coherent intellectual life of Bernard Bolzano. One or two unpretending excursions into algebraical typography would not place Bolzano alongside Leibniz as a pioneer of symbolic or modern or mathematical logic, great as is his affinity with Leibniz at other points. Long before logical syntax was opened up, willing acknowledgement was given to the need for correlating grammar and logic. Bolzano's epistemology must be remitted to other occasions and other studies of his work; but since the Paradoxien make use of the term, it is desirable at least to set down his own definition of it. Bolzano has not expressly treated the delimitation of pure logic in the modern acceptation, but in his first two volumes he has developed it with such purity of scientific method and with such copiousness in original and ascertained, that for this reason alone he ought to rank as one of greatest logicians of all time.
