Bolzano, Bernard

From New World Encyclopedia
m
(6 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Paid}}{{claimed}}{{Approved}}{{Images OK}}{{Submitted}}{{Contracted}}
+
{{Paid}}{{Approved}}{{Images OK}}{{Submitted}}{{copyedited}}
 
{{epname|Bolzano, Bernard}}
 
{{epname|Bolzano, Bernard}}
 
[[image:Bernard Bolzano.jpg|thumb|200px|Bernard Bolzano]]
 
[[image:Bernard Bolzano.jpg|thumb|200px|Bernard Bolzano]]
'''Bernard Placidus Johann Nepomuk Bolzano''' (October 5, 1781 – December 18, 1848) was a [[Czech Republic|Czech]] [[mathematics|mathematician]], [[theology|theologian]], [[philosopher]] and [[logic|logician]]. His logical analysis of mathematical problems made him a pioneer in [[geometry]] and [[calculus]]. His philosophical applications of logic contributed to the development of [[analytic philosophy]] and [[phenomenology]]. In his most well-known work, ''Theory of Science'', he attempted to provide a logical and systematic way to approach all the sciences. His theological contributions are less notable; although he was ordained as a [[Catholic]] priest, he harbored many doubts about [[Christianity]].
+
'''Bernard Placidus Johann Nepomuk Bolzano''' (October 5, 1781 – December 18, 1848) was a [[Czech Republic|Czech]] [[mathematics|mathematician]], [[theology|theologian]], [[philosopher]], and [[logic|logician]]. His logical analysis of mathematical problems made him a pioneer in [[geometry]] and [[calculus]]. His philosophical applications of logic contributed to the development of [[analytic philosophy]] and [[phenomenology]]. In his most well-known work, ''Theory of Science,'' he attempted to provide a logical and systematic way to approach all the sciences. His theological contributions are less notable; although he was ordained as a [[Catholic]] priest, he harbored many doubts about [[Christianity]].
 +
{{toc}}
 +
==Early life==
 +
Bolzano was born in 1781, into a devout [[Roman Catholic]] family in [[Prague]], which was then part of the Austrian Empire. His father, Bernard Pompeius Bolzano, was a native of Lombardy who had moved to Prague at a young age and had married Maria Cecelia Maurer, the German-speaking daughter of a Prague merchant. Bernard was the fourth of their twelve children and one of only two who lived to adulthood. He was strongly influenced by his [[Catholic]] upbringing both at home and at school. His father was a highly charitable man who expressed his religious beliefs through his philanthropic efforts, which included the founding an orphanage. Young Bernard also attended a school run by the Roman Catholic order of the Piarists. These experiences left Bolzano more impressed by the humanitarian aspects of [[Christianity]] than its doctrines.
  
==Early Life==
+
In 1796, Bolzano enrolled in Prague's Charles University where he studied [[mathematics]], [[philosophy]], and [[physics]]. He was especially interested in the [[Philosophy of Mathematics]] and was influenced by the writings of the German mathematician Abraham Gotthelf Kästner. In 1800, he went against his father's wishes by studying [[theology]] at Charles Univesrsity. Meanwhile, he also pursued a doctoral degree in mathematics, which he received in 1804. Soon afterwards, Bolzano was ordained as a [[Catholic]] [[priest]] and appointed to Charles University's chair of [[philosophy of religion]], which had just been created by the Austrian emperor Francis I as a means of strengthening the empire against the influences of the [[Enlightenment]] and the [[French Revolution]].
Bolzano was born in 1781 into a devout [[Roman Catholic]] family in [[Prague]], which was then part of the Austrian Empire. His father, Bernard Pompeius Bolzano, was a native of Lombardy who had moved to Prague at a young age and had married Maria Cecelia Maurer, the German-speaking daughter of a Prague merchant. Bernard was the fourth of their twelve children and one of only two who lived to adulthood. He was strongly influenced by his [[Catholic]] upbringing both at home and at school. His father was a highly charitable man who expressed his religious beliefs through his philanthropic efforts, which included the founding an orphanage. Young Bernard also attended a school run by the Roman Catholic order of the Piarists. These experiences left Bolzano more impressed by the humanitarian aspects of [[Christianity]] than its doctrines.
 
  
In 1796, Bolzano enrolled in Prague's Charles University where he studied [[mathematics]], [[philosophy]], and [[physics]]. He was especially interested in the [[Philosophy of Mathematics]] and was influenced by the writings of the German mathematician Abraham Gotthelf Kästner. In 1800, he went against his father's wishes by studying [[theology]] at Charles Univesrsity. Meanwhile, he also pursued a doctoral degree in mathematics, which he received in 1804. Soon afterwards, Bolzano was ordained as a [[Catholic]] [[priest]] and appointed to Charles University's chair of [[philosophy of religion]], which had just been created by the Austrian emporer Francis I as a means of strengthening the empire against the influences of the [[Enlightenment]] and the [[French Revolution]].
+
==Professional career==
 +
Bolzano held his position at the university until 1819, and was also elected dean of the philosophy department in 1818. During this time, he published his first book, ''Beyträge zu einer begründeteren Darstellung der Mathematik'' ''(Contributions to a More Well-founded Presentation of Mathematics)'', in which he opposes [[Kant]]'s views on [[mathematics]]. His sermons and lectures on [[philosophy]] and [[religion]] were highly popular with the students but disturbing to Church and government officials. Instead of reinforcing Catholic doctrine, he voiced his own liberal opinions, advocating pacifism and socialism. He criticized the government for discrimination and pleaded the cause of minority groups within the empire, such as the Jews and the Czechs. He was suspended from his position in 1819, and forced to resign when he refused to recant his political beliefs. After a lengthy trial held by the Catholic Church, he was forbidden from preaching in public or publishing any of his writing.
  
==Professional Career==
+
Subsequently, Bolzano retired to live with friends in the small [[Bohemia|Bohemian]] village of Techobuz. In spite of the government's censorship, he continued to develop some of his most important ideas, publishing books either anonymously or outside of the Austrian Empire. He wrote two major [[philosophy|philosophical]] works during this time: His most significant religious discourse, ''Lehrbuch der Religionswissenschaft'' ''(Textbook of the Science of Religion)'', in 1834, and his masterpiece, ''Wissenschaftslehre'' ''(Theory of Science)'', in 1837. He also wrote an account on [[Leibniz|Leibnizian]] [[metaphysics]] called ''Athanasia'' ''(Immortality)'' in 1827. Bolzano's great mathematical work, ''Paradoxien des Unendlichen'' ''(The Paradoxes of the Infinite)'', was not published until three years after his death and was greatly admired by eminent [[logic|logicians]], including [[Charles Peirce]], [[Georg Cantor]], and [[Richard Dedekind]].
Bolzano held his position at the university until 1819 and was also elected dean of the philosophy department in 1818. During this time, he published his first book, ''Beyträge zu einer begründeteren Darstellung der Mathematik'' (''Contributions to a More Well-founded Presentation of Mathematics''), in which he opposes [[Kant]]'s views on [[mathematics]]. His sermons and lectures on [[philosophy]] and [[religion]] were highly popular with the students but disturbing to Church and government officials. Instead of reinforcing Catholic doctrine, he voiced his own liberal opinions, advocating pacifism and socialism. He criticized the government for discrimination and pleaded the cause of minority groups within the empire, such as the Jews and the Czechs. He was suspended from his position in 1819 and forced to resign when he refused to recant his political beliefs. After a lengthy trial held by the Catholic Church, he was forbidden from preaching in public or publishing any of his writing.
 
  
Subsequently, Bolzano retired to live with friends in the small [[Bohemia|Bohemian]] village of Techobuz. In spite of the government's censorship, he continued to develop some of his most important ideas, publishing books either anonymously or outside of the Austrian Empire. He wrote two major [[philosophy|philosophical]] works during this time: his most significant religious discourse, ''Lehrbuch der Religionswissenschaft'' (''Textbook of the Science of Religion''), in 1834 and his masterpiece ''Wissenschaftslehre'' (''Theory of Science'') in 1837. He also wrote an account on [[Leibniz|Leibnizian]] [[metaphysics]] called ''Athanasia'' (''Immortality'') in 1827. Bolzano's great mathematical work, ''Paradoxien des Unendlichen'' (''The Paradoxes of the Infinite''), was not published until three years after his death and was greatly admired by eminent [[logic|logicians]], including [[Charles Peirce]], [[Georg Cantor]], and [[Richard Dedekind]].
+
Bolzano spent the last years of his life in [[Prague]] with his brother Johann. In 1848, he succumbed to chronic respiratory illness and died of a cold. He did not achieve great recognition until many years after his death, when much of his unfinished work, including his treatise on philosophy of mathematics, ''Grössenlehre'' ''(Theory of Quantity)'', was published. [[Otto Stolz]] also rediscovered many of his lost journal articles and republished them in 1881.
  
Bolzano spent the last years of his life in [[Prague]] with his brother Johann. In 1848, he succumbed to chronic respiratory illness and died of a cold. He did not achieve great recognition until many years after his death, when much of his unfinished work, including his treatise on philosophy of mathematics, ''Grössenlehre'' (''Theory of Quantity''), was published. Otto Stolz also rediscovered many of his lost journal articles and republished them in 1881.
+
==Contribution to philosophy==
 +
In his [[philosophy]], Bolzano developed an [[ontology]] in which the world consists of "actual" and "non-actual" objects. Actual objects are further divided into "substances" such as tables or human beings and the "adherents" to substances such as colors or mental states. Non-actual objects consist of non-material things, such as numbers and what Bolzano called "Sätze-an-sich" ("propositions-as-such").  The Sätze-an-sich include what are essentially logical axioms and abstract truths, which Bolzano believed to exist independently of the human mind.
  
==Contribution to Philosophy==
+
In his 1837 ''Theory of Science,'' he attempts 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 are basically an extension of his earlier thoughts in the philosophy of mathematics, for example his 1810 ''Beyträge,'' where he refutes Kant's approach to mathematics by emphasizing the distinction between the objective relationship between logical consequences and our subjective recognition of these connections. For Bolzano, it was not enough to 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.
In his [[philosophy]], Bolzano developed an [[ontology]] in which the world consists of "actual" and "non-actual" objects.  Actual objects are further divided into "substances" such as tables or human beings and the "adherents" to substances such as colors or mental states.  Non-actual objects consist of non-material things such as numbers and what Bolzano called "Sätze-an-sich" ("propositions-as-such").  The Sätze-an-sich include 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 attempts 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 are basically an extension of his earlier thoughts in the philosophy of mathematics, for example his 1810 ''Beyträge'', where he refutes Kant's approach to mathematics by emphasizing the distinction between the objective relationship between logical consequences and our subjective recognition of these connections. For Bolzano, it was not enough to 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.
 
  
 
===[[Metaphysics]]===
 
===[[Metaphysics]]===
Bolzano's metaphysical system, as he describes it in ''Theory of Science'', is composed of four realms:
+
Bolzano's metaphysical system, as he describes it in ''Theory of Science,'' is composed of four realms:
 
(1) the realm of language, composed of words and sentences; (2) the realm of thought, composed of subjective ideas and judgments; (3) the realm of logic, composed of objective ideas and propositions in themselves; and (4) the realm of all objects, which also contains the other three realms and divides into attributes and pure objects.
 
(1) the realm of language, composed of words and sentences; (2) the realm of thought, composed of subjective ideas and judgments; (3) the realm of logic, composed of objective ideas and propositions in themselves; and (4) the realm of all objects, which also contains the other three realms and divides into attributes and pure objects.
  
Line 28: Line 28:
  
 
==="Sätze an sich"===
 
==="Sätze an sich"===
"Sätze an sich" (Propositions-as-such) is a basic notion in Bolzano's ''Theory of Science''. Before giving a definition, Bolzano first introduces the notions of proposition– spoken, written or otherwise– and idea. "The grass is green" is a proposition because, in this connection of words, something is said or asserted. "Green grass," however, is only an idea in that it represents something but does not say or assert anything. Bolzano's notion of proposition is fairly broad; "A rectangle is round" counts as a proposition, even though it is false by virtue of self-contradiction, because it is composed in an intelligible manner out of intelligible parts. A Sätze an sich is what is thought when one thinks about a proposition and can still ask oneself whether or not this proposition has been said or thought by someone or not. Hence, a Sätze an sich states that something is or is not, with no condition on it being true or false, or being spoken or thought. Bolzano's use of the term "an sich" differs greatly from that of [[Kant]].
+
"Sätze an sich" (Propositions-as-such) is a basic notion in Bolzano's ''Theory of Science''. Before giving a definition, Bolzano first introduces the notions of propositionspoken, written, or otherwiseand idea. "The grass is green" is a proposition because, in this connection of words, something is said or asserted. "Green grass," however, is only an idea in that it represents something but does not say or assert anything. Bolzano's notion of proposition is fairly broad; "A rectangle is round" counts as a proposition, even though it is false by virtue of self-contradiction, because it is composed in an intelligible manner out of intelligible parts. A Sätze an sich is what is thought when one thinks about a proposition and can still ask oneself whether or not this proposition has been said or thought by someone or not. Hence, a Sätze an sich states that something is or is not, with no condition on it being true or false, or being spoken or thought. Bolzano's use of the term "an sich" differs greatly from that of [[Kant]].
  
 
===[[Logic]]===
 
===[[Logic]]===
According to Bolzano, all propositions are composed of three (simple or complex) elements: a subject, a predicate, and a copula. Instead of the more traditional copulative term "is," Bolzano prefers "has." The reason for this is that "has," unlike "is," can connect a concrete term, such as "Socrates," to an abstract term such as "baldness." "Socrates has baldness" is, according to Bolzano, preferable to "Socrates is bald" because the latter form is less basic. "Bald" is itself composed of the elements "something," that," "has," and "baldness." Bolzano also reduces existential propositions to this form: "Socrates exists" would simply become "Socrates has existence."
+
According to Bolzano, all propositions are composed of three (simple or complex) elements: A subject, a predicate, and a copula. Instead of the more traditional copulative term "is," Bolzano prefers "has." The reason for this is that "has," unlike "is," can connect a concrete term, such as "Socrates," to an abstract term such as "baldness." "Socrates has baldness" is, according to Bolzano, preferable to "Socrates is bald" because the latter form is less basic. "Bald" is itself composed of the elements "something," "that," "has," and "baldness." Bolzano also reduces existential propositions to this form: "Socrates exists" would simply become "Socrates has existence."
  
The notion of variations also plays a key role in Bolzano’s logical theory. Various logical relations are defined in terms of the changes in truth value that propositions incur when their non-logical parts are replaced by others. Logically analytical propositions, for instance, are those in which all the non-logical parts can be replaced without change of truth value. Two propositions are compatible with respect to one of their component parts, x, if there is at least one term that can be inserted that would make both true. A proposition, Q, is "deducible" from a proposition, P, with respect to certain of their non-logical parts, if any replacement of those parts that makes P true also makes Q true. If a proposition is deducible from another with respect to all its non-logical parts, it is said to be "logically deducible." Besides the relation of deducibility, Bolzano also describes the stricter relation of "consequentiality." This is an asymmetric relation that exists between true propositions when one of the propositions is both deducible from and explained by the other.
+
The notion of variations also plays a key role in Bolzano’s logical theory. Various logical relations are defined in terms of the changes in truth value that propositions incur when their non-logical parts are replaced by others. Logically analytical propositions, for instance, are those in which all the non-logical parts can be replaced without change of truth value. Two propositions are compatible with respect to one of their component parts, x, if there is at least one term that can be inserted that would make both true. A proposition, Q, is "deducible" from a proposition, P, with respect to certain of their non-logical parts, if any replacement of those parts that makes P true also makes Q true. If a proposition is deducible from another with respect to all its non-logical parts, it is said to be "logically deducible." Besides the relation of deductibility, Bolzano also describes the stricter relation of "consequentiality." This is an asymmetric relation that exists between true propositions when one of the propositions is both deducible from and explained by the other.
  
==Contribution to Mathematics==
+
==Contribution to mathematics==
Bolzano's first work in the field of mathematics was his 1804 doctoral dissertation on geometry, in which he attempted to solve [[Euclid]]'s parallel postulate. He was also the first person to attempt to prove the theory of continuous simple closed curves which would later be called the Jordan curve theorem.  
+
Bolzano's first work in the field of mathematics was his 1804 doctoral dissertation on geometry, in which he attempted to solve [[Euclid]]'s parallel postulate. He was also the first person to attempt to prove the theory of continuous simple closed curves which would later be called the [[Jordan curve theorem]].  
  
Bolzano made ground-breaking contributions to the foundations of mathematical analysis in his 1817 ''Purely Analytic Proof'', in which he introduces 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). These findings preceded similar ones by Augustin Louis Cauchy some years later and helped solve some of the fundamental contradictions which mathematicians were encountering in calculus.
+
Bolzano made ground-breaking contributions to the foundations of mathematical analysis in his 1817, ''Purely Analytic Proof,'' in which he introduces 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). These findings preceded similar ones by Augustin Louis Cauchy some years later and helped solve some of the fundamental contradictions which mathematicians were encountering in calculus.
  
 
Bolzano's work in the understanding of infinity was an important precursor to the development of set theory in [[mathematics]]. In ''Paradoxes of the Infinite'' he introduces the concept of a "set" ("Menge") for the first time. He gives examples of one-to-one correspondences between the elements of an infinite set and the elements of a proper subset and describes some of the paradoxes of infinite sets. This understanding of sets was later taken up and developed by [[Georg Cantor]], who is the official originator of set theory.
 
Bolzano's work in the understanding of infinity was an important precursor to the development of set theory in [[mathematics]]. In ''Paradoxes of the Infinite'' he introduces the concept of a "set" ("Menge") for the first time. He gives examples of one-to-one correspondences between the elements of an infinite set and the elements of a proper subset and describes some of the paradoxes of infinite sets. This understanding of sets was later taken up and developed by [[Georg Cantor]], who is the official originator of set theory.
  
Today Bolzano is mostly remembered for the Bolzano-Weierstrass Theorem, which Karl Weierstrass developed independently and published years after Bolzano's first proof. It was initially called the Weierstrass Theorem until historians of mathematics uncovered Bolzano's earlier work.
+
Today Bolzano is mostly remembered for the [[Bolzano-Weierstrass Theorem]], which Karl Weierstrass developed independently and published years after Bolzano's first proof. It was initially called the Weierstrass Theorem until historians of mathematics uncovered Bolzano's earlier work.
  
==Religious Views==
+
==Religious views==
Throughout his life, Bolzano was plagued by doubts about religion and the doctrines of [[Christianity]]. He concluded that a religious doctrine could only be justified if believing in it led to a moral good or conferred some benefit on humankind. Bolzano's lifelong belief in the importance of logical analysis forced him to reject [[Kant]]'s philosophy, especially his [[categorical imperative]] and ideas of the postulates. He preferred a more humanistic and [[utilitarianism|utilitarian]] form of ethics.
+
Throughout his life, Bolzano was plagued by doubts about religion and the doctrines of [[Christianity]]. He concluded that a religious doctrine could only be justified if believing in it led to a moral good or conferred some benefit on humankind. Bolzano's lifelong belief in the importance of logical analysis forced him to reject [[Kant]]'s philosophy, especially his [[categorical imperative]] and ideas of the postulates. He preferred a more humanistic and [[utilitarianism|utilitarian]] form of ethics.
  
 
==Influence==
 
==Influence==
Bolzano's work would play an important role in the development of [[analytic philosophy]] and [[phenomenology]]. He had an impact on key figures such as [[Gottlob Frege]], [[Edmund Husserl]], and [[Bertrand Russell]]. Frege, inspired by Bolzano's purely analytic approach to mathematics, sought to eliminate any appeal to intuition in basic mathematical proofs. Russell was similarly aided by Bolzano's work in his defense of logicism in ''Principia Mathematica''. [[Husserl]] was especially impressed by ''Theory of Science'', saying that it "far surpasses anything that world literature has to offer in the way of a systematic sketch of [[logic]]." He went on to use some of Bolzano's ontological concepts from that work in his development of phenomenology. Bolzano's work in logic also played a role in Kazimierz Twardowski's efforts to introduce scientific philosophy to Poland through the Lwów-Warsaw School of Logic.
+
Bolzano's work would play an important role in the development of [[analytic philosophy]] and [[phenomenology]]. He had an impact on key figures such as [[Gottlob Frege]], [[Edmund Husserl]], and [[Bertrand Russell]]. Frege, inspired by Bolzano's purely analytic approach to mathematics, sought to eliminate any appeal to intuition in basic mathematical proofs. Russell was similarly aided by Bolzano's work in his defense of logicism in ''Principia Mathematica''. [[Husserl]] was especially impressed by ''Theory of Science,'' saying that it "far surpasses anything that world literature has to offer in the way of a systematic sketch of [[logic]]." He went on to use some of Bolzano's ontological concepts from that work in his development of phenomenology. Bolzano's work in logic also played a role in Kazimierz Twardowski's efforts to introduce scientific philosophy to Poland through the Lwów-Warsaw School of Logic.
 +
 
 
==Bibliography==
 
==Bibliography==
 
*Berg, Jan. ''Bolzano's Logic''. Stockholm: Almqvist & Wiksell, 1962.  
 
*Berg, Jan. ''Bolzano's Logic''. Stockholm: Almqvist & Wiksell, 1962.  
*Bolzano, Bernard, and Rolf George. ''Theory of Science; Attempt at a Detailed and in the Main Novel Exposition of Logic with Constant Attention to Earlier Authors.'' Berkeley: University of California Press, 1972. ISBN 0520017870 ISBN 9780520017870
+
*Bolzano, Bernard, and Rolf George. ''Theory of Science; Attempt at a Detailed and in the Main Novel Exposition of Logic with Constant Attention to Earlier Authors.'' Berkeley: University of California Press, 1972. ISBN 9780520017870
*Bolzano, Bernard, and Steve Russ. ''The Mathematical Works of Bernard Bolzano.'' Oxford: Oxford University Press, 2004. ISBN 0198539304 ISBN 9780198539308
+
*Bolzano, Bernard, and Steve Russ. ''The Mathematical Works of Bernard Bolzano.'' Oxford: Oxford University Press, 2004. ISBN 9780198539308
*Bolzano, Bernard. ''Paradoxes of the Infinite. Rare masterpieces of philosophy and science.'' London: Routledge and Kegan Paul, 1982.
+
*Bolzano, Bernard. ''Paradoxes of the Infinite. Rare Masterpieces of Philosophy and Science.'' London: Routledge and Kegan Paul, 1982.
*Coffa, Alberto, and Linda Wessels. ''The Semantic Tradition from Kant to Carnap: To the Vienna Station.'' Cambridge: Cambridge University Press, 1991. ISBN: 0521374294 9780521374293
+
*Coffa, Alberto, and Linda Wessels. ''The Semantic Tradition from Kant to Carnap: To the Vienna Station.'' Cambridge: Cambridge University Press, 1991. ISBN 0521374294  
*Ewald, William. ''From Kant to Hilbert: A Source Book in the Foundations of Mathematics.'' Oxford: Clarendon Press, 1999. ISBN 019850537X ISBN 9780198505372 ISBN 0198505353 ISBN 9780198505358 ISBN 0198505361 ISBN 9780198505365
+
*Ewald, William. ''From Kant to Hilbert: A Source Book in the Foundations of Mathematics.'' Oxford: Clarendon Press, 1999. ISBN 019850537X  
 
*Jarník, Vojtěch, and Bernard Bolzano. ''Bolzano and the Foundations of Mathematical Analysis.'' Prague: Society of Czechoslovak Mathematicians and Physicists, 1981
 
*Jarník, Vojtěch, and Bernard Bolzano. ''Bolzano and the Foundations of Mathematical Analysis.'' Prague: Society of Czechoslovak Mathematicians and Physicists, 1981
 
*Russ, Stephen Bruce. ''The Mathematical Works of Bernard Bolzano Published between 1804 and 1817.'' [England]: Open University, 1980.  
 
*Russ, Stephen Bruce. ''The Mathematical Works of Bernard Bolzano Published between 1804 and 1817.'' [England]: Open University, 1980.  
*Rusnock, Paul. ''Bolzano's Philosophy and the Emergence of Modern Mathematics.'' Studien zur österreichischen Philosophie, Bd. 30. Amsterdam: Rodopi, 2000. ISBN 9042015012 ISBN 9789042015012
+
*Rusnock, Paul. ''Bolzano's Philosophy and the Emergence of Modern Mathematics.'' Studien zur österreichischen Philosophie, Bd. 30. Amsterdam: Rodopi, 2000. ISBN 9042015012  
*Ústav československých a světových dějin (Československá akademie věd). ''Bernard Bolzano, 1781-1848: Bicentenary : Impact of Bolzano's Epoch on the Development of Science'' (Conference Papers). Acta historiae rerum naturalium nec non technicarum, 13. Prague: Institute of Czechoslovak and General History CSAS, 1981.  
+
*Ústav československých a světových dějin (Československá akademie věd). ''Bernard Bolzano, 1781-1848: Bicentenary: Impact of Bolzano's Epoch on the Development of Science'' (Conference Papers). Acta historiae rerum naturalium nec non technicarum, 13. Prague: Institute of Czechoslovak and General History CSAS, 1981.  
 +
 
 
== External links ==
 
== External links ==
* [http://web01.shu.edu/projects/reals/history/bolzano.html Biography of Bernard Bolzano]. Retrieved May 24, 2007.
+
All links retrieved January 20, 2022.
* [http://www.formalontology.it/bolzanob.htm Bernard Bolzano and the Theory of Science]. Retrieved May 24, 2007.
+
 
 +
* [http://www.formalontology.it/bolzanob.htm Bernard Bolzano and the Theory of Science].
 
===General Philosophy Sources===
 
===General Philosophy Sources===
*[http://plato.stanford.edu/ Stanford Encyclopedia of Philosophy]. Retrieved May 23, 2007.
+
*[http://plato.stanford.edu/ Stanford Encyclopedia of Philosophy].  
*[http://www.iep.utm.edu/ The Internet Encyclopedia of Philosophy]. Retrieved May 23, 2007.
+
*[http://www.iep.utm.edu/ The Internet Encyclopedia of Philosophy].  
*[http://www.epistemelinks.com/  Philosophy Sources on Internet EpistemeLinks]. Retrieved May 23, 2007.
+
*[http://www.bu.edu/wcp/PaidArch.html Paideia Project Online].  
*[http://www.earlham.edu/~peters/gpi/index.htm Guide to Philosophy on the Internet]. Retrieved May 23, 2007.
+
*[http://www.gutenberg.org/ Project Gutenberg].  
*[http://www.bu.edu/wcp/PaidArch.html Paideia Project Online]. Retrieved May 23, 2007.
 
*[http://www.gutenberg.org/ Project Gutenberg]. Retrieved May 23, 2007.
 
  
 
[[category:Philosophy and religion]]
 
[[category:Philosophy and religion]]

Revision as of 00:01, 21 January 2022

Bernard Bolzano

Bernard Placidus Johann Nepomuk Bolzano (October 5, 1781 – December 18, 1848) was a Czech mathematician, theologian, philosopher, and logician. His logical analysis of mathematical problems made him a pioneer in geometry and calculus. His philosophical applications of logic contributed to the development of analytic philosophy and phenomenology. In his most well-known work, Theory of Science, he attempted to provide a logical and systematic way to approach all the sciences. His theological contributions are less notable; although he was ordained as a Catholic priest, he harbored many doubts about Christianity.

Early life

Bolzano was born in 1781, into a devout Roman Catholic family in Prague, which was then part of the Austrian Empire. His father, Bernard Pompeius Bolzano, was a native of Lombardy who had moved to Prague at a young age and had married Maria Cecelia Maurer, the German-speaking daughter of a Prague merchant. Bernard was the fourth of their twelve children and one of only two who lived to adulthood. He was strongly influenced by his Catholic upbringing both at home and at school. His father was a highly charitable man who expressed his religious beliefs through his philanthropic efforts, which included the founding an orphanage. Young Bernard also attended a school run by the Roman Catholic order of the Piarists. These experiences left Bolzano more impressed by the humanitarian aspects of Christianity than its doctrines.

In 1796, Bolzano enrolled in Prague's Charles University where he studied mathematics, philosophy, and physics. He was especially interested in the Philosophy of Mathematics and was influenced by the writings of the German mathematician Abraham Gotthelf Kästner. In 1800, he went against his father's wishes by studying theology at Charles Univesrsity. Meanwhile, he also pursued a doctoral degree in mathematics, which he received in 1804. Soon afterwards, Bolzano was ordained as a Catholic priest and appointed to Charles University's chair of philosophy of religion, which had just been created by the Austrian emperor Francis I as a means of strengthening the empire against the influences of the Enlightenment and the French Revolution.

Professional career

Bolzano held his position at the university until 1819, and was also elected dean of the philosophy department in 1818. During this time, he published his first book, Beyträge zu einer begründeteren Darstellung der Mathematik (Contributions to a More Well-founded Presentation of Mathematics), in which he opposes Kant's views on mathematics. His sermons and lectures on philosophy and religion were highly popular with the students but disturbing to Church and government officials. Instead of reinforcing Catholic doctrine, he voiced his own liberal opinions, advocating pacifism and socialism. He criticized the government for discrimination and pleaded the cause of minority groups within the empire, such as the Jews and the Czechs. He was suspended from his position in 1819, and forced to resign when he refused to recant his political beliefs. After a lengthy trial held by the Catholic Church, he was forbidden from preaching in public or publishing any of his writing.

Subsequently, Bolzano retired to live with friends in the small Bohemian village of Techobuz. In spite of the government's censorship, he continued to develop some of his most important ideas, publishing books either anonymously or outside of the Austrian Empire. He wrote two major philosophical works during this time: His most significant religious discourse, Lehrbuch der Religionswissenschaft (Textbook of the Science of Religion), in 1834, and his masterpiece, Wissenschaftslehre (Theory of Science), in 1837. He also wrote an account on Leibnizian metaphysics called Athanasia (Immortality) in 1827. Bolzano's great mathematical work, Paradoxien des Unendlichen (The Paradoxes of the Infinite), was not published until three years after his death and was greatly admired by eminent logicians, including Charles Peirce, Georg Cantor, and Richard Dedekind.

Bolzano spent the last years of his life in Prague with his brother Johann. In 1848, he succumbed to chronic respiratory illness and died of a cold. He did not achieve great recognition until many years after his death, when much of his unfinished work, including his treatise on philosophy of mathematics, Grössenlehre (Theory of Quantity), was published. Otto Stolz also rediscovered many of his lost journal articles and republished them in 1881.

Contribution to philosophy

In his philosophy, Bolzano developed an ontology in which the world consists of "actual" and "non-actual" objects. Actual objects are further divided into "substances" such as tables or human beings and the "adherents" to substances such as colors or mental states. Non-actual objects consist of non-material things, such as numbers and what Bolzano called "Sätze-an-sich" ("propositions-as-such"). The Sätze-an-sich include 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 attempts 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 are basically an extension of his earlier thoughts in the philosophy of mathematics, for example his 1810 Beyträge, where he refutes Kant's approach to mathematics by emphasizing the distinction between the objective relationship between logical consequences and our subjective recognition of these connections. For Bolzano, it was not enough to 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.

Metaphysics

Bolzano's metaphysical system, as he describes it in Theory of Science, is composed of four realms: (1) the realm of language, composed of words and sentences; (2) the realm of thought, composed of subjective ideas and judgments; (3) the realm of logic, composed of objective ideas and propositions in themselves; and (4) the realm of all objects, which also contains the other three realms and divides into attributes and pure objects.

Bolzano devotes a great part of Theory of Science to an explanation of these four realms and their relations. Two distinctions play a prominent role in his system. Firstly, each realm divides into parts and wholes. Words are parts of sentences, subjective ideas are parts of judgments, objective ideas are parts of propositions in themselves, and attributes are parts of pure objects. Secondly, all objects divide into those that exist, and those that are in themselves. Bolzano's original claim is that the logical realm is populated by objects of the latter kind.

"Sätze an sich"

"Sätze an sich" (Propositions-as-such) is a basic notion in Bolzano's Theory of Science. Before giving a definition, Bolzano first introduces the notions of proposition—spoken, written, or otherwise—and idea. "The grass is green" is a proposition because, in this connection of words, something is said or asserted. "Green grass," however, is only an idea in that it represents something but does not say or assert anything. Bolzano's notion of proposition is fairly broad; "A rectangle is round" counts as a proposition, even though it is false by virtue of self-contradiction, because it is composed in an intelligible manner out of intelligible parts. A Sätze an sich is what is thought when one thinks about a proposition and can still ask oneself whether or not this proposition has been said or thought by someone or not. Hence, a Sätze an sich states that something is or is not, with no condition on it being true or false, or being spoken or thought. Bolzano's use of the term "an sich" differs greatly from that of Kant.

Logic

According to Bolzano, all propositions are composed of three (simple or complex) elements: A subject, a predicate, and a copula. Instead of the more traditional copulative term "is," Bolzano prefers "has." The reason for this is that "has," unlike "is," can connect a concrete term, such as "Socrates," to an abstract term such as "baldness." "Socrates has baldness" is, according to Bolzano, preferable to "Socrates is bald" because the latter form is less basic. "Bald" is itself composed of the elements "something," "that," "has," and "baldness." Bolzano also reduces existential propositions to this form: "Socrates exists" would simply become "Socrates has existence."

The notion of variations also plays a key role in Bolzano’s logical theory. Various logical relations are defined in terms of the changes in truth value that propositions incur when their non-logical parts are replaced by others. Logically analytical propositions, for instance, are those in which all the non-logical parts can be replaced without change of truth value. Two propositions are compatible with respect to one of their component parts, x, if there is at least one term that can be inserted that would make both true. A proposition, Q, is "deducible" from a proposition, P, with respect to certain of their non-logical parts, if any replacement of those parts that makes P true also makes Q true. If a proposition is deducible from another with respect to all its non-logical parts, it is said to be "logically deducible." Besides the relation of deductibility, Bolzano also describes the stricter relation of "consequentiality." This is an asymmetric relation that exists between true propositions when one of the propositions is both deducible from and explained by the other.

Contribution to mathematics

Bolzano's first work in the field of mathematics was his 1804 doctoral dissertation on geometry, in which he attempted to solve Euclid's parallel postulate. He was also the first person to attempt to prove the theory of continuous simple closed curves which would later be called the Jordan curve theorem.

Bolzano made ground-breaking contributions to the foundations of mathematical analysis in his 1817, Purely Analytic Proof, in which he introduces 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). These findings preceded similar ones by Augustin Louis Cauchy some years later and helped solve some of the fundamental contradictions which mathematicians were encountering in calculus.

Bolzano's work in the understanding of infinity was an important precursor to the development of set theory in mathematics. In Paradoxes of the Infinite he introduces the concept of a "set" ("Menge") for the first time. He gives examples of one-to-one correspondences between the elements of an infinite set and the elements of a proper subset and describes some of the paradoxes of infinite sets. This understanding of sets was later taken up and developed by Georg Cantor, who is the official originator of set theory.

Today Bolzano is mostly remembered for the Bolzano-Weierstrass Theorem, which Karl Weierstrass developed independently and published years after Bolzano's first proof. It was initially called the Weierstrass Theorem until historians of mathematics uncovered Bolzano's earlier work.

Religious views

Throughout his life, Bolzano was plagued by doubts about religion and the doctrines of Christianity. He concluded that a religious doctrine could only be justified if believing in it led to a moral good or conferred some benefit on humankind. Bolzano's lifelong belief in the importance of logical analysis forced him to reject Kant's philosophy, especially his categorical imperative and ideas of the postulates. He preferred a more humanistic and utilitarian form of ethics.

Influence

Bolzano's work would play an important role in the development of analytic philosophy and phenomenology. He had an impact on key figures such as Gottlob Frege, Edmund Husserl, and Bertrand Russell. Frege, inspired by Bolzano's purely analytic approach to mathematics, sought to eliminate any appeal to intuition in basic mathematical proofs. Russell was similarly aided by Bolzano's work in his defense of logicism in Principia Mathematica. Husserl was especially impressed by Theory of Science, saying that it "far surpasses anything that world literature has to offer in the way of a systematic sketch of logic." He went on to use some of Bolzano's ontological concepts from that work in his development of phenomenology. Bolzano's work in logic also played a role in Kazimierz Twardowski's efforts to introduce scientific philosophy to Poland through the Lwów-Warsaw School of Logic.

Bibliography

  • Berg, Jan. Bolzano's Logic. Stockholm: Almqvist & Wiksell, 1962.
  • Bolzano, Bernard, and Rolf George. Theory of Science; Attempt at a Detailed and in the Main Novel Exposition of Logic with Constant Attention to Earlier Authors. Berkeley: University of California Press, 1972. ISBN 9780520017870
  • Bolzano, Bernard, and Steve Russ. The Mathematical Works of Bernard Bolzano. Oxford: Oxford University Press, 2004. ISBN 9780198539308
  • Bolzano, Bernard. Paradoxes of the Infinite. Rare Masterpieces of Philosophy and Science. London: Routledge and Kegan Paul, 1982.
  • Coffa, Alberto, and Linda Wessels. The Semantic Tradition from Kant to Carnap: To the Vienna Station. Cambridge: Cambridge University Press, 1991. ISBN 0521374294
  • Ewald, William. From Kant to Hilbert: A Source Book in the Foundations of Mathematics. Oxford: Clarendon Press, 1999. ISBN 019850537X
  • Jarník, Vojtěch, and Bernard Bolzano. Bolzano and the Foundations of Mathematical Analysis. Prague: Society of Czechoslovak Mathematicians and Physicists, 1981
  • Russ, Stephen Bruce. The Mathematical Works of Bernard Bolzano Published between 1804 and 1817. [England]: Open University, 1980.
  • Rusnock, Paul. Bolzano's Philosophy and the Emergence of Modern Mathematics. Studien zur österreichischen Philosophie, Bd. 30. Amsterdam: Rodopi, 2000. ISBN 9042015012
  • Ústav československých a světových dějin (Československá akademie věd). Bernard Bolzano, 1781-1848: Bicentenary: Impact of Bolzano's Epoch on the Development of Science (Conference Papers). Acta historiae rerum naturalium nec non technicarum, 13. Prague: Institute of Czechoslovak and General History CSAS, 1981.

External links

All links retrieved January 20, 2022.

General Philosophy Sources

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.