Bernard Bolzano (1781-1848) era um padre católico, professor da doutrina da religião católica da Faculdade Filosófica da Universidade de Praga, um matemático destacado e um dos maiores lógicos ou mesmo (como alguns gostariam) o maior lógico que viveu no longo período de tempo entre Leibniz e Frege. No que diz respeito à lógica, Bolzano antecipou quase exatamente 100 anos antes de Tarski e Carnap suas definições semânticas de verdade lógica e conseqüência lógica; e em matemática ele não é conhecido apenas por seus famosos paradoxos do infinito, mas também para determinados resultados que se tornaram e ainda são padrão em livros didáticos de matemática, como o teorema de Bolzano-Weierstrass. Bolzano também fez importantes contribuições para outros campos do conhecimento dentro e fora da filosofia. Devido à versatilidade de seus talentos e aos vários campos em que ele fez contribuições substanciais, ele se tornou um dos últimos grandes polímatas da história das ideias.