Difference between revisions of "Bernard Bolzano" - New World Encyclopedia

From New World Encyclopedia
(imported from wiki)
 
Line 1: Line 1:
 
+
{{claimed}}
 
[[image:Bernard Bolzano.jpg|thumb|200px|Bernard Bolzano]]
 
[[image:Bernard Bolzano.jpg|thumb|200px|Bernard Bolzano]]
  

Revision as of 23:18, 15 May 2007

Bernard Bolzano

Bernard Placidus Johann Nepomuk Bolzano (October 5, 1781 – December 18, 1848) was a Czech mathematician of German mother tongue, theologian, philosopher and logician. He was born in Prague.

Family

Bolzano was the son of two pious Catholics. His father, Bernard Pompeius Bolzano, was born in northern Italy and moved to Prague, where he married Maria Cecelia Maurer, the (German-speaking) daughter of a Prague merchant. Only two of their twelve children lived to adulthood.

Career

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.

Exile

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 European 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. He was also admired by key figures in philosophy such as Gottlob Frege, Edmund Husserl, and Bertrand Russell. Despite such ground-breaking contributions to the foundations of mathematical analysis as the introduction of a fully rigorous ε-δ 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.

Legacy

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 substances 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 numbers and what Bolzano called "Sätze-an-sich" ("propositions-as-such"). The Sätze-an-sich included what are essentially logical axioms and abstract truths, 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

  • Theory of science, attempt at a detailed and in the main novel exposition of logic with constant attention to earlier authors. (Edited and translated by Rolf George University of California Press, Berkeley and Los Angeles 1972)
  • Theory of science (Edited, with an introduction, by Jan Berg. Translated from the German by Burnham Terrell - D. Reidel Publishing Company, Dordrecht and Boston 1973)
  • Ewald, William B., ed., From Kant to Hilbert: A Source Book in the Foundations of Mathematics, 2 vols. Oxford University Press, 1996.
  • 1810. Contributions to a better grounded presentation of mathematics, 174-225.
  • 1817. Purely analytic proof of the theorem that between any two values which give results of opposite sing, there lies at least one real root of the equation, 225-48.
  • 1851. Paradoxes of the Infinite, 249-92 (excerpt).

External links

cs:Bernard Bolzano da:Bernard Bolzano de:Bernard Bolzano es:Bernard Bolzano fr:Bernard Bolzano ko:베르나르트 볼차노 is:Bernard Bolzano it:Bernard Bolzano ka:ბოლცანო, ბერნარდ hu:Bernard Bolzano pl:Bernard Bolzano pt:Bernard Bolzano ru:Больцано, Бернард sk:Bernard Bolzano sv:Bernhard Bolzano th:เบอร์นาร์ด โบลซาโน tr:Bernhard Bolzano

Credits

New World Encyclopedia writers and editors rewrote and completed the Wikipedia article in accordance with New World Encyclopedia standards. This article abides by terms of the Creative Commons CC-by-sa 3.0 License (CC-by-sa), which may be used and disseminated with proper attribution. Credit is due under the terms of this license that can reference both the New World Encyclopedia contributors and the selfless volunteer contributors of the Wikimedia Foundation. To cite this article click here for a list of acceptable citing formats.The history of earlier contributions by wikipedians is accessible to researchers here:

The history of this article since it was imported to New World Encyclopedia:

Note: Some restrictions may apply to use of individual images which are separately licensed.