| Bernard Bolzano |
Article Index for Bernard |
Website Links For Bernard |
Information AboutBernard Bolzano |
|
Bernard Placidus Johann Nepomuk Bolzano ( October 5 , 1781 – December 18 , 1848 ) was a Czech Mathematician of German mother tongue, Theologian , Philosopher and Logic ian. He was born in Prague . Bolzano entered the University Of Prague in 1796 and studied mathematics, philosophy and Physics . Starting in 1800 , he also began studying theology, became a Catholic priest and was appointed to the chair of religion in 1805 . He proved to be a popular lecturer not just in religion but also philosophy, and was elected head of the philosophy department in 1818 . However, his political convictions (which he was inclined to share with others with some frequency) eventually proved to be too Liberal for the conservative institution, and in 1819 he was dismissed from his positions and exiled to the countryside for the remainder of his life. Although forbidden to publish in mainstream journals as a condition of his exile, Bolzano continued to develop his ideas and publish them either on his own or in obscure Eastern Europe an journals. Bolzano's early work '' Paradoxien Des Unendlichen (The Paradoxes Of The Infinite) '' was greatly admired by many of the eminent logicians of the day, including Charles Peirce , Georg Cantor , and Richard Dedekind . Despite such ground-breaking contributions to the foundations of mathematical Analysis as the introduction of a fully Rigor ous ε-δ Definition of a Mathematical Limit and the first purely Analytic Proof of the Intermediate Value Theorem (also known as Bolzano's Theorem ), much of Bolzano's work remained virtually unknown until Otto Stolz rediscovered many of his lost journal articles and republished them in 1881 . Today he is mostly remembered for the Bolzano-Weierstrass Theorem , which Karl Weierstrass developed independently and published years after Bolzano's first proof and which was initially called the Weierstrass theorem until historians of mathematics uncovered Bolzano's earlier work. In his philosophy, Bolzano developed an Ontology in which the world consisted of ''actual'' and ''non-actual'' objects. Actual objects were further divided into '' Substance s'' such as tables or human beings and the ''adherents to substances'' such as colors or mental states. Non-actual objects consisted of Non-material things such as Number s and what Bolzano called '' "Sätze-an-sich" ("Ideas-as-such") ''. The Sätze-an-sich included what are essentially Logical Axioms and abstract Truth s, which Bolzano believed to exist independently of the human mind. In his 1837 "Theory of Science" he attempted to provide logical foundations for all sciences, building on abstractions like part-relation, abstract objects, attributes, sentence-shapes, ideas-as-such, propositions, sums and sets, collections, substances, adherences, subjective ideas, judgments, and sentence-occurrences. These attempts were basically an extension of his earlier thoughts in the philosophy of mathematics, for example his 1810 ''Beiträge'' where he emphasized the distinction between the objective relationship between logical consequences and our subjective recognition of these connections. For Bolzano, it was not enough that we merely have ''confirmation'' of natural or mathematical truths, but rather it was the proper role of the sciences (both pure and applied) to seek out ''justification'' in terms of the fundamental truths that may or may not appear to be obvious to our intuitions. WRITINGS IN ENGLISH
EXTERNAL LINKS |
|
|