Born: 5 October 1781 in Prague, Bohemia, Austrian Habsburg domain (now Czech Republic)
Died: 18 December 1848 in Prague, Bohemia (now Czech Republic)

Bernard Bolzano's parents were Bernard Pompeius Bolzano and Maria Cecilia Maurer. His mother Maria, the daughter of a Prague merchant, was German speaking and a devout Roman Catholic. Bernard Bolzano senior, the father of the subject of this biography, was born in the north of Italy and had emigrated to Prague. He made his living as a dealer in art, but was a man of modest means. Well educated, he was also a pious Roman Catholic who showed great concern towards others. An indication of how seriously he put his beliefs into practice is the fact that he was the driving force behind the founding of an orphanage in Prague. Bernard, the subject of this biography, was born in the oldest part of the city of Prague, being the fourth of his parents twelve children. Despite the large family, Bernard and one of his brothers, Johann, were the only two to reach adulthood. His health, however, was delicate and he had to fight against respiratory problems throughout his life.

Bolzano's upbringing was a major factor in the ideas that he taught later in his life. He was much influenced by his father's active attempts to care for his fellow men, and this was strengthened by the Piarist Gymnasium that Bolzano attended in Prague between 1791 and 1796. There he was taught by the Roman Catholic followers of Joseph Calasanz who was the Spanish founder of the Ordo Clericorum Regularium Pauperum Matris Dei Scholarum Piarum (Order of Poor Clerks Regular of the Mother of God of the Pious Schools). Although Spanish, Calasanz founded Order, usually called by the name Piarists, in Rome at the beginning of the 17^th century. Members of the Piarist Order were teachers who made a fourth vow to take special care of young people in addition to the usual three vows made by monks. It is fair to say that Bolzano left this environment more convinced of the moral beliefs, which had been foremost in his upbringing and in his schooling, than in the purely religious Christian beliefs.

Bolzano entered the Philosophy Faculty of the Charles University of Prague in 1796, studying philosophy, physics and mathematics. Bolzano was particularly influenced in his mathematical studies by reading Kaestner's Mathematische Anfangsgründe. Kaestner was concerned with philosophical questions in mathematics, was deeply interested in the philosophy of mathematics, and took great care to prove many results which were thought "obvious", so not requiring proof, by other mathematicians of the day. Bolzano, who soon developed a strong belief in this approach, wrote:-

My special pleasure in mathematics rested therefore particularly on its purely speculative parts, in other words I prized only that part of mathematics which was at the same time philosophy.

During the year 1799-1800 Bolzano undertook research in mathematics with Frantisek Josef Gerstner and also contemplated his future. In the autumn of 1800, against his father's wishes, he began three years of theological study at the Charles University. While pursuing his theological studies he prepared a doctoral thesis on geometry. He received his doctorate in 1804 writing a thesis giving his view of mathematics, and what constitutes a correct mathematical proof. In the preface he wrote:-

I could not be satisfied with a completely strict proof if it were not derived from concepts which the thesis to be proved contained, but rather made use of some fortuitous, alien, intermediate concept, which is always an erroneous transition to another kind.

Two days after receiving his doctorate Bolzano was ordained a Roman Catholic priest. However, as Russ points out in [50]:-

He came to realise that teaching and not ministering defined his true vocation.

In fact his years of study of theology had done nothing to strengthen his acceptance of the religious beliefs on which Christianity is founded. However, his professor at the Charles University had put forward an argument which Bolzano had found very persuasive, namely that faith in a doctrine was justified if it led to moral good. Later in his writings Bolzano argued for a more general form of this argument:-

Of all actions possible to you, choose always the one which, weighing all consequences, will most further the good of the totality, in all its parts.

This allowed Bolzano to accept the mystical elements of Christianity for the greater good of mankind, although he did not accept them to be historically true.

In order to understand the events of Bolzano's life, we need to fill in a little background about the situation in Bohemia. From early in the 17^th century, after Roman Catholic forces defeated the Bohemian Protestants, Bohemia had been ruled by the Habsburgs. It was absorbed into the Austrian Empire, German became the language of instruction in grammar schools and the Charles University, and Czech nationalism was suppressed. In 1781 Joseph II granted religious tolerance but the French Revolution brought in an era of free thinking which the rulers feared. To hold the Empire together, the rulers decided to move against all nationalistic organisations which they believed encouraged ideas of independence for various parts of the Empire. In 1804, Emperor Franz who ruled from Vienna, decided that one way to counter the impact of the enlightenment was to strengthen the hold of the Roman Catholic Church which tended to be very conservative and opposed to liberal thinking. He set up chairs of philosophy of religion in the universities as one of the means to achieve his aims.

Chairs in the universities were filled by competition and Bolzano entered two such competitions for chairs at the Charles University. One was for the chair of mathematics which became vacant on the death of Stanislaw Vydra, the other being for the new chair in the philosophy of religion which Emperor Franz had just established. Bolzano came top in both competitions, but the university preferred to give him the chair in the philosophy of religion since they were then able to give the mathematics chair to Ladislaw Jandera who had substituted for Vydra during his illness between 1801 and 1804. In many ways Bolzano was exactly the wrong person to fill this chair given the reasons for its creation, for he stood for all the ideas which Franz feared, being a free thinker who believed in social justice, pacifism, and equality for the Czech speaking Bohemians.

His appointment to the chair had to be confirmed in Vienna, and they certainly understood that he was not the Roman Catholic conservative that they had been hoping would be appointed. Confirmation of his appointment was delayed while Vienna considered what its best action should be, but in 1807 it was granted [10]:-

... he lectured on religion and moral philosophy with strong pacifistic and socialistic overtones. He used the pulpit to proclaim before hundreds of impressed students a kind of utopian socialism. In his sermons he tried to prove the essential equality of all human beings, attacked private property obtained without work, and exhorted his listeners to sacrifice everything in their struggle for human rights.

The appointment of Bolzano was viewed with suspicion by the Austrian rulers in Vienna. He criticised discrimination wherever he saw it, principally by the German speaking Bohemians against their Czech fellow citizens, and also he criticised the anti-Semitism displayed by both the German and Czech Bohemians. Some members of the Roman Catholic Church were also unhappy because Bolzano's lectures contains elements of rationalism. He certainly had supporters within the Church, for example the important Archbishop of Prague and Dr Fessl who directed the seminary of Leitmeritz. In 1815 Bolzano was elected to the Royal Bohemian Society of Sciences which was bilingual society drawing its members mainly from the German speakers but also from Czech speakers. Bolzano published On the Condition of the Two Nationalities in Bohemia in 1816 in which he put into print his concerns that the Czech Bohemians were dominated by the German speaking Bohemians. The peasants were Czech speaking, the cities largely inhabited by German speakers but Bolzano saw the problems which were being created due to increasing industrialisation which saw Czech speakers moving into the cities. Bolzano's career continued to flourish, despite the fact that charges were bought against him at the Vienna court in 1816, and in 1818 he was elected Dean of the Faculty of Philosophy at Charles University.

Bolzano was suspended from his position in December 1819 after pressure from the Austrian government. In addition to being suspended from his professorship, he was put under house arrest, had his mail censored, and not allowed to publish. Between 1821 and 1825 he was tried by the Church, and despite his strong defence of his views, was required to recant his supposed heresies. He refused to do so and resigned his chair. From 1823 he had spent the summers living near the village of Techobuz in southern Bohemia, on the estate of his friends Josef and Anna Hoffmann, while he spent the winter living in Prague with his brother Johann. J J I Hoffmann was a mathematician who had reviewed several of Bolzano's earlier works (see [54]). Between 1830 and 1841 he lived throughout the year with the Hoffmanns, having much time to devote to study. When Anna Hoffmann took ill in 1841, Bolzano and the Hoffmanns moved to Prague where they all lived with Johann Bolzano (Anna died in 1842). There Bolzano again became an active member of the Royal Bohemian Society of Sciences and was president during 1842-43. He had suffered from respiratory problems for most of his life and these became more severe as he grew older. In the winter of 1848 he contracted a cold which, given the poor condition of his lungs, led to his death.

Although some of his books had to be published outside the Austrian Empire because of government censorship, he continued to write and to play an important role in the intellectual life of his country. In fact he had won a partial lifting of the publication ban, and he was only forbidden from publishing anything of a religious or political nature.

Bolzano wrote Beyträge zu einer begründeteren Darstellung der Mathematik. Erste Lieferung (1810), the first of an intended series on the foundations of mathematics. Bolzano wrote the second of his series but did not publish it. Instead he decided to:-

... make myself better known to the learned world by publishing some papers which, by their titles, would be more suited to arouse attention.

Pursuing this strategy he published Der binomische Lehrsatz ... (1816) and Rein analytischer Beweis ... (Pure Analytical Proof) (1817), which contain an attempt to free calculus from the concept of the infinitesimal. He is clear in his intention stating in the preface of the first of these that the work is:-

... a sample of a new way of developing analysis.

Although Bolzano did achieve exactly what he set out to achieve, he did not do so in the short term, his ideas only becoming well known after his death. In [50] Russ describes Bolzano's aims in the 1817 paper:-

In this work ... Bolzano ... did not wish only to purge the concepts of limit, convergence, and derivative of geometrical components and replace them by purely arithmetical concepts. He was aware of a deeper problem: the need to refine and enrich the concept of number itself.

The paper gives a proof of the intermediate value theorem with Bolzano's new approach and in the work he defined what is now called a Cauchy sequence. The concept appears in Cauchy's work four years later but it is unlikely that Cauchy had read Bolzano's work.

After 1817, Bolzano published no further mathematical works for many years. However, in 1837, he published Wissenschaftslehre , an attempt at a complete theory of science and knowledge. Between sometime before 1830 and the 1840s, Bolzano worked on a major work Grössenlehre. This attempted to put the whole of mathematics on a logical foundation was published in parts, while Bolzano hoped that his students would finish and publish the complete work. His work on paradoxes Paradoxien des Unendlichen, a study of paradoxes of the infinite, was published in 1851, three years after his death, by one of his students. The word set appears here for the first time. In this work Bolzano gives examples of 1-1 correspondences between the elements of an infinite set and the elements of a proper subset.

Most of Bolzano's works remained in manuscript and did not become noticed and therefore did not influence the development of the subject. Many of his works were not published until 1862 or later. Bolzano's theories of mathematical infinity anticipated Georg Cantor's theory of infinite sets. It is also remarkable that he gave an example of a function which is nowhere differentiable yet everywhere continuous.

Attempts to publish Bolzano's manuscripts are described in our article Bernard Bolzano's manuscripts.

As an example of the mathematics that Bolzano was working on while he was professor of the philosophy of religion, here is a description of what he recorded in his notebook Miscellanea mathematica in 1816. The description is by Dauben reviewing this material when it was first published in 1996:-

Bolzano opens this notebook of Miscellanea mathematica with notes on irrational and transcendental numbers and functions. But he was reading and recording his ideas on a host of other subjects as well, including the problem of how best to approach the proper mathematical understanding of zero; Legendre's work on surfaces, convexity, concavity, and conditions for congruity; analysis of other geometric concepts, including lengths, areas, volumes, and spheres; trigonometric formulas and spherical trigonometry; imaginary and exponential numbers; definition of the differential and discussion of the infinite and various opinions about it, as well as aspects of maxima and minima. ... Other topics covered here include various approaches to the calculus (including the method of exhaustion), and grounds for asserting the certainty of mathematics.

In addition to his mathematical work, Bolzano was important as a philosopher and as a logician. We mention briefly two major works. First there is Lehrbuch der Religionswissenschaft (Textbook of the Science of Religion) (1834) in which he bases his religious philosophy on ethics [35]:-

He criticises Kant's categorical imperative and his doctrine of postulates, and advocates a version of utilitarianism.

His second major work which we mention is Wissenschaftslehre (Theory of Science) published in four volumes in 1837. The first two volumes cover his ideas on the philosophy of logic, the third volume presents a theory of scientific discovery, while the final volume presents his methodology of writing textbooks [17]:-

1. B van Rootselaar, Biography in Dictionary of Scientific Biography (New York 1970-1990). 
   http://www.encyclopedia.com/doc/1G2-2830900515.html
2. Biography in Encyclopaedia Britannica. 
   http://www.britannica.com/eb/article-9080527/Bernhard-Bolzano

Books:

1. J Berg, Bolzano's Logic (Stockholm, 1962).
2. H Fels, Bernhard Bolzano, sein Leben und sein Werk (Leipzig, 1929).
3. V Jarnik, Bolzano and the foundations of mathematical analysis (Prague, 1981).
4. L Novy, Bolzano, in H Wussing and W Arnold, Biographien bedeutender Mathematiker (Berlin, 1983).
5. S Russ, The mathematical works of Bernard Bolzano (Oxford University Press, Oxford, 2004).
6. J Sebestik, Logique et mathématique chez Bernard Bolzano (Librairie Philosophique J Vrin, Paris, 1992).

Articles:

1. Y Bar-Hillel, Bolzano's propositional logic, Arch. Math. Logik Grundlagenforsch. 1 (1952), 65-98.
2. Y Bar-Hillel, Bernard Bolzano, in P Edwards (ed.), The Encyclopedia of Philosophy 1 (Collier Macmillan, London, 1967), 337-338
3. J Berg, Bolzano and situation semantics: variations on a theme of variation, Bolzano - Studien. Philos. Natur. 24 (4) (1987), 373-377.
4. J Berg, Bolzano on induction, Bolzano - Studien. Philos. Natur. 24 (4) (1987), 442-446.
5. J Berg, Is Russell's antinomy derivable in Bolzano's logic?, Bolzano - Studien. Philos. Natur. 24 (4) (1987), 406-413.
6. J Berg, H Ganthaler and E Morscher, Bolzanos Biographie in tabellarischer übersicht, Bolzano - Studien. Philos. Natur. 24 (4) (1987), 353-372.
7. J Berg, A requirement for the logical basis of scientific theories implied by Bolzano's logic of variation, in Impact of Bolzano's epoch on the development of science (Prague, 1982), 415-425.
8. K Berka, Bolzano's philosophy of science, in Impact of Bolzano's epoch on the development of science (Prague, 1982), 427-442.
9. K Berka, Bernard Bolzano - historian of logic (Czech), DVT---Dejiny Ved Tech. 31 (3) (1998), 121-130.
10. P Bussotti, The problem of the foundations of mathematics at the beginning of the nineteenth century : Two lines of thought: Bolzano and Gauss (Italian), Teoria (N.S.) 20 (1) (2000), 83-95.
11. A Canada and S Villegas, Bolzano's theorem in several variables? (Spanish), Gac. R. Soc. Mat. Esp. 7 (1) (2004), 101-121.
12. C Chihara, Frege's and Bolzano's rationalist conceptions of arithmetic, Rev. Histoire Sci. 52 (3-4) (1999), 343-361.
13. A Coffa, Kant, Bolzano and the emergence of logicism, J. Philos. 74 (1982), 679-689.
14. A Coffa, Kant, Bolzano and the emergence of logicism, in Frege's philosophy of mathematics (Harvard Univ. Press, Cambridge, MA, 1995), 29-40.
15. A Coffa, Bolzano and the birth of semantics, in The Semantic Tradition from Kant to Carnap (Cambridge University Press, Cambridge, 1991), 22-40.
16. L J Cohen, Bolzano's theory of induction, in Impact of Bolzano's epoch on the development of science (Prague, 1982), 443-457.
17. G J W Dorn, Zu Bolzanos Wahrscheinlichkeitslehre, Bolzano - Studien. Philos. Natur. 24 (4) (1987), 423-441.
18. B I B Fedorov, Bolzano's ideas on the methodological analysis of science (Russian), Methodological analysis of the foundations of mathematics 'Nauka' (Moscow, 1988), 36-46.
19. B I Fedorov, B Bolzano as a precursor of constructivism, II (Russian), Logical investigations (Russian) No. 8 (Moscow, 2001), 210-216,
20. W Felscher, Bolzano, Cauchy, epsilon, delta, Amer. Math. Monthly 107 (9) (2000), 844-862.
21. R George, Bolzano on time, Bolzano - Studien. Philos. Natur. 24 (4) (1987), 452-468.
22. R George, Bolzano's concept of consequence, J. Philos. 83 (10) (1986), 558-564.
23. R George, Bolzano's consequence, relevance, and enthymemes, J. Philos. Logic 12 (3) (1983), 299-318.
24. J Hafner, Bolzano's criticism of indirect proofs, Rev. Histoire Sci. 52 (3-4) (1999), 385-398.
25. D M Johnson, Prelude to dimension theory : The geometrical investigations of Bernhard Bolzano, Archive for History of Exact Science 17 (1976), 275-296.
26. P Kitcher, Bolzano's ideal of algebraic analysis, Studies in Hist. and Philos. Sci. 6 (3) (1975), 229-269.
27. W Kunne, Bernard Bolzano, in Routledge Encyclopedia of Philosophy 1 (London, New York, 1998), 824-828.
28. D Laugwitz, Bolzano's infinitesimal numbers, Czechoslovak Math. J. 32 (1982), 667-670.
29. D Laugwitz, Bemerkungen zu Bolzanos Grössenlehre, Arch. History Exact Sci. 2 (1964/1965), 398-409.
30. P Lingua, La teoria dei numeri reali in un manoscritto di B. Bolzano, Period. Mat. (4) 42 (1964), 209-214.
31. K Macak, Bernard Bolzano and the calculus of probabilities (Czech), Mathematics in the 19th century (Czech), Vyskov, 1994 (Prometheus, Prague, 1996), 39-55.
32. P Mancosu, Bolzano and Cournot on mathematical explanation, Rev. Histoire Sci. 52 (3-4) (1999), 429-455.
33. P Maritz, The Bolzano house in Prague, Austral. Math. Soc. Gaz. 28 (4) (2001), 177-183.
34. H Metzler, Bernard Bolzanos Beitrag zum Gestaltwandel der Logik, in Impact of Bolzano's epoch on the development of science (Prague, 1982), 479-489.
35. J Meurers, Bolzanos Paradoxien des Unendlichen und die von Seeliger-Charlierschen Sätze über ein unendliches Universum, Philos. Natur. 15 (1974/75), 176-190.
36. E Morscher, Bolzanos Syllogistik, Bolzano - Studien. Philos. Natur. 24 (4) (1987), 447-451.
37. M Nemcova, Frantisek Josef Studnicka and Bernard Bolzano (Czech), Mathematics in the 19th century (Czech), Vyskov, 1994 (Prometheus, Prague, 1996), 115-119.
38. L Novy, Les mathématiciens sous l'absolutisme autrichien : Bernard Bolzano et Franz Xaver Moth, Boll. Storia Sci. Mat. 15 (1) (1995), 49-59.
39. L Novy, Bolzano's contribution to science and society, in Impact of Bolzano's epoch on the development of science (Prague, 1982), 9-23.
40. J Proust, Bolzano's theory of representation, Rev. Histoire Sci. 52 (3-4) (1999), 363-383.
41. P Rusnock, Philosophy of mathematics: Bolzano's responses to Kant and Lagrange, Rev. Histoire Sci. 52 (3-4) (1999), 399-427.
42. S Russ, Bolzano's analytic programme, The Mathematical intelligencer 14 (3) (1992), 45-53.
43. S Russ, Bolzano's analytic programme (Czech), Pokroky Mat. Fyz. Astronom. 38 (5) (1993), 249-259.
44. S Russ, Influence of Bolzano's methodology on the development of his mathematics, in Impact of Bolzano's epoch on the development of science (Prague, 1982), 335-337.
45. S B Russ, A translation of Bolzano's paper on the intermediate value theorem, Historia Math. 7 (2) (1980), 156-185.
46. G Schubring, Bernard Bolzano - Not as Unknown to His Contemporaries as is Commonly Believed?, Historia Mathematica 20 (1993), 45-53.
47. J Sebestik, The mathematical system of Bernard Bolzano (Spanish), Mathesis 6 (4) (1990), 393-417.
48. J Sebestik, Bernard Bolzano et son mémoire sur le théorème fondamental de l'analyse, Rev. Histoire Sci. Appl. 17 (1964), 129-164.
49. J Sebestik, Forme, variation et déductibilité dans la logique de Bolzano, Rev. Histoire Sci. 52 (3-4) (1999), 479-506.
50. P Simons, Bolzano, Tarski, and the limits of logic, Bolzano - Studien. Philos. Natur. 24 (4) (1987), 378-405.
51. H Sinaceur, Cauchy et Bolzano, Rev. Histoire Sci. Appl. 26 (2) (1973), 97-112.
52. H Sinaceur, Réalisme mathématique, réalisme logique chez Bolzano, Rev. Histoire Sci. 52 (3-4) (1999), 457-477.
53. H Sinaceur, Bolzano et les mathématiques, in Les philosophes et les mathématiques (Ellipses, Paris, 1996), 150-173.
54. D D Spalt, Bolzanos Lehre von den messbaren Zahlen 1830-1989, Arch. Hist. Exact Sci. 42 (1) (1991), 15-70.
55. D D Spalt, Die mathematischen und philosophischen Grundlagen des Weierstrass schen Zahlbegriffs zwischen Bolzano und Cantor, Arch. Hist. Exact Sci. 41 (4) (1991), 311-362.
56. W Stelzner, Compatibility and relevance: Bolzano and Orlov, in The Third German-Polish Workshop on Logic & Logical Philosophy, Dresden, 2001, Logic Log. Philos. No. 10, (2002), 137-171.
57. P Thompson, Bolzano's deducibility and Tarski's logical consequence, Hist. Philos. Logic 2 (1981), 11-20.
58. J van Benthem, The variety of consequence, according to Bolzano, Studia Logica 44 (4) (1985), 389-403.
59. B van Rootselaar, Bolzano's corrections to his Functionenlehre, Janus 56 (1969), 1-21.
60. B van Rootselaar, Bolzano's theory of real numbers, Arch. History Exact Sci. 2 (1964/1965), 168-180.
61. A Vogt, On the relationship between philosophy and mathematics in the work of B Bolzano and B Riemann, in Impact of Bolzano's epoch on the development of science (Prague, 1982), 365-366.
62. R V'yborn'y, Bolzano's anniversary, Austral. Math. Soc. Gaz. 28 (4) (2001), 177-183.
63. H Wussing, Bernard Bolzano und die Grundlegung der Analysis, Mitt. Math. Ges. DDR (2-4) (1981), 128-152.