 Bolzano’s most important metaphysical doctrines are found in his Athanasia (Bolzano 1827), in the Paradoxes of the Infinite (Bolzano 1851), and in his writings that he left unpublished; Bolzano’s pupil Příhonský, moreover, gave an exposition of Bolzano’s Atomism (Příhonský1857). Athanasia was first published anonymously (in 1827), its second edition appeared in 1838 with a statement of authorship. Its full title “Athanasia or Reasons for the Immortality of the Soul” makes clear that the book pursues a theoretical goal. Bolzano combines with this theoretical goal of the book a practical purpose as well; it is also a “book of consolation” or (as the subtitle of the second edition says) “a book for every educated person who wants peace of mind regarding this matter”.