Gottfried Wilhelm Leibniz
|Gottfried Wilhelm Leibniz|
Portrait by Christoph Bernhard Francke
|Born||July 1, 1646
Leipzig, Electorate of Saxony, Holy Roman Empire
|Died||November 14, 1716
Hanover, Electorate of Hanover, Holy Roman Empire
|Alma mater||Leipzig University
University of Altdorf
|Mathematics, metaphysics, logic, theodicy, universal language|
Best of all possible worlds
Leibniz formula for π
Leibniz harmonic triangle
Leibniz formula for determinants
Leibniz integral rule
Principle of sufficient reason
Notation for differentiation
Proof of Fermat's little theorem
Law of Continuity
Transcendental Law of Homogeneity
Gottfried Wilhelm (von) Leibniz (//; German: [ˈɡɔtfʁiːt ˈvɪlhɛlm fɔn ˈlaɪbnɪts] or [ˈlaɪpnɪts]; French: Godefroi Guillaume Leibnitz; July 1, 1646 – November 14, 1716) was a German polymath and philosopher who occupies a prominent place in the history of mathematics and the history of philosophy. Scholars including Bertrand Russell believe Leibniz developed calculus independently of Isaac Newton, and Leibniz's notation has been widely used ever since it was published. It was only in the 20th century that his Law of Continuity and Transcendental Law of Homogeneity found mathematical implementation (by means of non-standard analysis). He became one of the most prolific inventors in the field of mechanical calculators. While working on adding automatic multiplication and division to Pascal's calculator, he was the first to describe a pinwheel calculator in 1685 and invented the Leibniz wheel, used in the arithmometer, the first mass-produced mechanical calculator. He also refined the binary number system, which is the foundation of virtually all digital computers.
In philosophy, Leibniz is most noted for his optimism, i.e. his conclusion that our Universe is, in a restricted sense, the best possible one that God could have created, an idea that was often lampooned by others such as Voltaire. Leibniz, along with René Descartes and Baruch Spinoza, was one of the three great 17th-century advocates of rationalism. The work of Leibniz anticipated modern logic and analytic philosophy, but his philosophy also looks back to the scholastic tradition, in which conclusions are produced by applying reason of first principles or prior definitions rather than to empirical evidence.
Leibniz made major contributions to physics and technology, and anticipated notions that surfaced much later in philosophy, probability theory, biology, medicine, geology, psychology, linguistics, and computer science. He wrote works on philosophy, politics, law, ethics, theology, history, and philology. Leibniz's contributions to this vast array of subjects were scattered in various learned journals, in tens of thousands of letters, and in unpublished manuscripts. He wrote in several languages, but primarily in Latin, French, and German. There is no complete gathering of the writings of Leibniz.
- 1 Biography
- 2 Death
- 3 Personal life
- 4 Philosopher
- 5 Mathematician
- 6 Scientist and engineer
- 7 Lawyer, moralist
- 8 Philologist
- 9 Sinophile
- 10 As polymath
- 11 Posthumous reputation
- 12 Writings and edition
- 13 See also
- 14 Notes
- 15 References
- 16 External links
21. Juny am Sontag 1646 Ist mein Sohn Gottfried Wilhelm, post sextam vespertinam 1/4 uff 7 uhr abents zur welt gebohren, im Wassermann.
His father died when he was six and a half years old, and from that point on he was raised by his mother. Her teachings influenced Leibniz's philosophical thoughts in his later life.
Leibniz's father had been a Professor of Moral Philosophy at the University of Leipzig, and the boy later inherited his father's personal library. He was given free access to it from the age of seven. While Leibniz's schoolwork was largely confined to the study of a small canon of authorities, his father's library enabled him to study a wide variety of advanced philosophical and theological works—ones that he would not have otherwise been able to read until his college years. Access to his father's library, largely written in Latin, also led to his proficiency in the Latin language, which he achieved by the age of 12. He also composed 300 hexameters of Latin verse, in a single morning, for a special event at school at the age of 13.
He enrolled in his father's former university at age 15, and completed his bachelor's degree in Philosophy in December 1662. He defended his Disputatio Metaphysica de Principio Individui, which addressed the principle of individuation, on June 9, 1663. Leibniz earned his master's degree in philosophy on February 7, 1664. He published and defended a dissertation Specimen Quaestionum Philosophicarum ex Jure collectarum, arguing for both a theoretical and a pedagogical relationship between philosophy and law, in December 1664. After one year of legal studies, he was awarded his bachelor's degree in law on September 28, 1665.
In 1666, at age 20, Leibniz wrote his first book, De Arte Combinatoria (On the Art of Combinations), the first part of which was also his habilitation thesis in Philosophy. His next goal was to earn his license and Doctorate in Law, which normally required three years of study. In 1666, the University of Leipzig turned down Leibniz's doctoral application and refused to grant him a Doctorate in Law, most likely due to his relative youth. Leibniz subsequently left Leipzig.
Leibniz then enrolled in the University of Altdorf and quickly submitted a thesis, which he had probably been working on earlier in Leipzig. The title of his thesis was Disputatio Inauguralis De Casibus Perplexis In Jure. Leibniz earned his license to practice law and his Doctorate in Law in November 1666. He next declined the offer of an academic appointment at Altdorf, saying that "my thoughts were turned in an entirely different direction".
As an adult, Leibniz often introduced himself as "Gottfried von Leibniz". Many posthumously published editions of his writings presented his name on the title page as "Freiherr G. W. von Leibniz." However, no document has ever been found from any contemporary government that stated his appointment to any form of nobility.
Leibniz's first position was as a salaried secretary to an alchemical society in Nuremberg. He knew fairly little about the subject at that time but presented himself as deeply learned. He soon met Johann Christian von Boyneburg (1622–1672), the dismissed chief minister of the Elector of Mainz, Johann Philipp von Schönborn. Von Boyneburg hired Leibniz as an assistant, and shortly thereafter reconciled with the Elector and introduced Leibniz to him. Leibniz then dedicated an essay on law to the Elector in the hope of obtaining employment. The stratagem worked; the Elector asked Leibniz to assist with the redrafting of the legal code for his Electorate. In 1669, Leibniz was appointed Assessor in the Court of Appeal. Although von Boyneburg died late in 1672, Leibniz remained under the employment of his widow until she dismissed him in 1674.
Von Boyneburg did much to promote Leibniz's reputation, and the latter's memoranda and letters began to attract favorable notice. After Leibniz's service to the Elector there soon followed a diplomatic role. He published an essay, under the pseudonym of a fictitious Polish nobleman, arguing (unsuccessfully) for the German candidate for the Polish crown. The main force in European geopolitics during Leibniz's adult life was the ambition of Louis XIV of France, backed by French military and economic might. Meanwhile, the Thirty Years' War had left German-speaking Europe exhausted, fragmented, and economically backward. Leibniz proposed to protect German-speaking Europe by distracting Louis as follows. France would be invited to take Egypt as a stepping stone towards an eventual conquest of the Dutch East Indies. In return, France would agree to leave Germany and the Netherlands undisturbed. This plan obtained the Elector's cautious support. In 1672, the French government invited Leibniz to Paris for discussion, but the plan was soon overtaken by the outbreak of the Franco-Dutch War and became irrelevant. Napoleon's failed invasion of Egypt in 1798 can be seen as an unwitting, late implementation of Leibniz's plan, after the Eastern hemisphere colonial supremacy in Europe had already passed from the Dutch to the British.
Thus Leibniz began several years in Paris. Soon after arriving, he met Dutch physicist and mathematician Christiaan Huygens and realised that his own knowledge of mathematics and physics was patchy. With Huygens as his mentor, he began a program of self-study that soon pushed him to making major contributions to both subjects, including discovering his version of the differential and integral calculus. He met Nicolas Malebranche and Antoine Arnauld, the leading French philosophers of the day, and studied the writings of Descartes and Pascal, unpublished as well as published. He befriended a German mathematician, Ehrenfried Walther von Tschirnhaus; they corresponded for the rest of their lives. In 1675 he was admitted by the French Academy of Sciences as a foreign honorary member, despite his lack of attention to the academy.
When it became clear that France would not implement its part of Leibniz's Egyptian plan, the Elector sent his nephew, escorted by Leibniz, on a related mission to the English government in London, early in 1673. There Leibniz came into acquaintance of Henry Oldenburg and John Collins. He met with the Royal Society where he demonstrated a calculating machine that he had designed and had been building since 1670. The machine was able to execute all four basic operations (adding, subtracting, multiplying, and dividing), and the Society quickly made him an external member. The mission ended abruptly when news reached it of the Elector's death, whereupon Leibniz promptly returned to Paris and not, as had been planned, to Mainz.
The sudden deaths of his two patrons in the same winter meant that Leibniz had to find a new basis for his career. In this regard, a 1669 invitation from the Duke of Brunswick to visit Hanover proved fateful. Leibniz declined the invitation, but began corresponding with the Duke in 1671. In 1673, the Duke offered him the post of Counsellor which Leibniz very reluctantly accepted two years later, only after it became clear that no employment in Paris, whose intellectual stimulation he relished, or with the Habsburg imperial court was forthcoming.
House of Hanover, 1676–1716
Leibniz managed to delay his arrival in Hanover until the end of 1676 after making one more short journey to London, where he was later accused by Newton of being shown some of Newton's unpublished work on the calculus. This was alleged to be evidence supporting the accusation, made decades later, that he had stolen the calculus from Newton. On the journey from London to Hanover, Leibniz stopped in The Hague where he met van Leeuwenhoek, the discoverer of microorganisms. He also spent several days in intense discussion with Spinoza, who had just completed his masterwork, the Ethics.
In 1677, he was promoted, at his request, to Privy Counselor of Justice, a post he held for the rest of his life. Leibniz served three consecutive rulers of the House of Brunswick as historian, political adviser, and most consequentially, as librarian of the ducal library. He thenceforth employed his pen on all the various political, historical, and theological matters involving the House of Brunswick; the resulting documents form a valuable part of the historical record for the period.
Among the few people in north Germany to accept Leibniz were the Electress Sophia of Hanover (1630–1714), her daughter Sophia Charlotte of Hanover (1668–1705), the Queen of Prussia and his avowed disciple, and Caroline of Ansbach, the consort of her grandson, the future George II. To each of these women he was correspondent, adviser, and friend. In turn, they all approved of Leibniz more than did their spouses and the future king George I of Great Britain.
The population of Hanover was only about 10,000, and its provinciality eventually grated on Leibniz. Nevertheless, to be a major courtier to the House of Brunswick was quite an honor, especially in light of the meteoric rise in the prestige of that House during Leibniz's association with it. In 1692, the Duke of Brunswick became a hereditary Elector of the Holy Roman Empire. The British Act of Settlement 1701 designated the Electress Sophia and her descent as the royal family of England, once both King William III and his sister-in-law and successor, Queen Anne, were dead. Leibniz played a role in the initiatives and negotiations leading up to that Act, but not always an effective one. For example, something he published anonymously in England, thinking to promote the Brunswick cause, was formally censured by the British Parliament.
The Brunswicks tolerated the enormous effort Leibniz devoted to intellectual pursuits unrelated to his duties as a courtier, pursuits such as perfecting the calculus, writing about other mathematics, logic, physics, and philosophy, and keeping up a vast correspondence. He began working on the calculus in 1674; the earliest evidence of its use in his surviving notebooks is 1675. By 1677 he had a coherent system in hand, but did not publish it until 1684. Leibniz's most important mathematical papers were published between 1682 and 1692, usually in a journal which he and Otto Mencke founded in 1682, the Acta Eruditorum. That journal played a key role in advancing his mathematical and scientific reputation, which in turn enhanced his eminence in diplomacy, history, theology, and philosophy.
The Elector Ernest Augustus commissioned Leibniz to write a history of the House of Brunswick, going back to the time of Charlemagne or earlier, hoping that the resulting book would advance his dynastic ambitions. From 1687 to 1690, Leibniz traveled extensively in Germany, Austria, and Italy, seeking and finding archival materials bearing on this project. Decades went by but no history appeared; the next Elector became quite annoyed at Leibniz's apparent dilatoriness. Leibniz never finished the project, in part because of his huge output on many other fronts, but also because he insisted on writing a meticulously researched and erudite book based on archival sources, when his patrons would have been quite happy with a short popular book, one perhaps little more than a genealogy with commentary, to be completed in three years or less. They never knew that he had in fact carried out a fair part of his assigned task: when the material Leibniz had written and collected for his history of the House of Brunswick was finally published in the 19th century, it filled three volumes.
In 1708, John Keill, writing in the journal of the Royal Society and with Newton's presumed blessing, accused Leibniz of having plagiarized Newton's calculus. Thus began the calculus priority dispute which darkened the remainder of Leibniz's life. A formal investigation by the Royal Society (in which Newton was an unacknowledged participant), undertaken in response to Leibniz's demand for a retraction, upheld Keill's charge. Historians of mathematics writing since 1900 or so have tended to acquit Leibniz, pointing to important differences between Leibniz's and Newton's versions of the calculus.
In 1711, while traveling in northern Europe, the Russian Tsar Peter the Great stopped in Hanover and met Leibniz, who then took some interest in Russian matters for the rest of his life. In 1712, Leibniz began a two-year residence in Vienna, where he was appointed Imperial Court Councillor to the Habsburgs. On the death of Queen Anne in 1714, Elector George Louis became King George I of Great Britain, under the terms of the 1701 Act of Settlement. Even though Leibniz had done much to bring about this happy event, it was not to be his hour of glory. Despite the intercession of the Princess of Wales, Caroline of Ansbach, George I forbade Leibniz to join him in London until he completed at least one volume of the history of the Brunswick family his father had commissioned nearly 30 years earlier. Moreover, for George I to include Leibniz in his London court would have been deemed insulting to Newton, who was seen as having won the calculus priority dispute and whose standing in British official circles could not have been higher. Finally, his dear friend and defender, the Dowager Electress Sophia, died in 1714.
Leibniz died in Hanover in 1716: at the time, he was so out of favor that neither George I (who happened to be near Hanover at that time) nor any fellow courtier other than his personal secretary attended the funeral. Even though Leibniz was a life member of the Royal Society and the Berlin Academy of Sciences, neither organization saw fit to honor his passing. His grave went unmarked for more than 50 years. Leibniz was eulogized by Fontenelle, before the Academie des Sciences in Paris, which had admitted him as a foreign member in 1700. The eulogy was composed at the behest of the Duchess of Orleans, a niece of the Electress Sophia.
Leibniz never married. He complained on occasion about money, but the fair sum he left to his sole heir, his sister's stepson, proved that the Brunswicks had, by and large, paid him well. In his diplomatic endeavors, he at times verged on the unscrupulous, as was all too often the case with professional diplomats of his day. On several occasions, Leibniz backdated and altered personal manuscripts, actions which put him in a bad light during the calculus controversy. On the other hand, he was charming, well-mannered, and not without humor and imagination. He had many friends and admirers all over Europe. On Leibniz's religious views, although he is considered by some biographers as a deist, he has also been claimed as a theist; for example, biographer Herbert Breger states, "Leibniz believed in the God of Christianity and he also had an extraordinarily high esteem for reason and its capabilities."
Leibniz's philosophical thinking appears fragmented, because his philosophical writings consist mainly of a multitude of short pieces: journal articles, manuscripts published long after his death, and many letters to many correspondents. He wrote only two book-length philosophical treatises, of which only the Théodicée of 1710 was published in his lifetime.
Leibniz dated his beginning as a philosopher to his Discourse on Metaphysics, which he composed in 1686 as a commentary on a running dispute between Nicolas Malebranche and Antoine Arnauld. This led to an extensive and valuable correspondence with Arnauld; it and the Discourse were not published until the 19th century. In 1695, Leibniz made his public entrée into European philosophy with a journal article titled "New System of the Nature and Communication of Substances". Between 1695 and 1705, he composed his New Essays on Human Understanding, a lengthy commentary on John Locke's 1690 An Essay Concerning Human Understanding, but upon learning of Locke's 1704 death, lost the desire to publish it, so that the New Essays were not published until 1765. The Monadologie, composed in 1714 and published posthumously, consists of 90 aphorisms.
Leibniz met Spinoza in 1676, read some of his unpublished writings, and has since been suspected of appropriating some of Spinoza's ideas. While Leibniz admired Spinoza's powerful intellect, he was also forthrightly dismayed by Spinoza's conclusions, especially when these were inconsistent with Christian orthodoxy.
Unlike Descartes and Spinoza, Leibniz had a thorough university education in philosophy. He was influenced by his Leipzig professor Jakob Thomasius, who also supervised his BA thesis in philosophy. Leibniz also eagerly read Francisco Suárez, a Spanish Jesuit respected even in Lutheran universities. Leibniz was deeply interested in the new methods and conclusions of Descartes, Huygens, Newton, and Boyle, but viewed their work through a lens heavily tinted by scholastic notions. Yet it remains the case that Leibniz's methods and concerns often anticipate the logic, and analytic and linguistic philosophy of the 20th century.
Leibniz variously invoked one or another of seven fundamental philosophical Principles:
- Identity/contradiction. If a proposition is true, then its negation is false and vice versa.
- Identity of indiscernibles. Two distinct things cannot have all their properties in common. If every predicate possessed by x is also possessed by y and vice versa, then entities x and y are identical; to suppose two things indiscernible is to suppose the same thing under two names. Frequently invoked in modern logic and philosophy. The "identity of indiscernibles" is often referred to as Leibniz's Law. It has attracted the most controversy and criticism, especially from corpuscular philosophy and quantum mechanics.
- Sufficient reason. "There must be a sufficient reason for anything to exist, for any event to occur, for any truth to obtain."
- Pre-established harmony. "[T]he appropriate nature of each substance brings it about that what happens to one corresponds to what happens to all the others, without, however, their acting upon one another directly." (Discourse on Metaphysics, XIV) A dropped glass shatters because it "knows" it has hit the ground, and not because the impact with the ground "compels" the glass to split.
- Law of Continuity. Natura non saltum facit.
- Optimism. "God assuredly always chooses the best."
- Plenitude. "Leibniz believed that the best of all possible worlds would actualize every genuine possibility, and argued in Théodicée that this best of all possible worlds will contain all possibilities, with our finite experience of eternity giving no reason to dispute nature's perfection."
Leibniz would on occasion give a rational defense of a specific principle, but more often took them for granted.
Leibniz's best known contribution to metaphysics is his theory of monads, as exposited in Monadologie. According to Leibniz, monads are elementary particles with blurred perceptions of one another. Monads can also be compared to the corpuscles of the Mechanical Philosophy of René Descartes and others. Monads are the ultimate elements of the universe. The monads are "substantial forms of being" with the following properties: they are eternal, indecomposable, individual, subject to their own laws, un-interacting, and each reflecting the entire universe in a pre-established harmony (a historically important example of panpsychism). Monads are centers of force; substance is force, while space, matter, and motion are merely phenomenal.
The ontological essence of a monad is its irreducible simplicity. Unlike atoms, monads possess no material or spatial character. They also differ from atoms by their complete mutual independence, so that interactions among monads are only apparent. Instead, by virtue of the principle of pre-established harmony, each monad follows a preprogrammed set of "instructions" peculiar to itself, so that a monad "knows" what to do at each moment. By virtue of these intrinsic instructions, each monad is like a little mirror of the universe. Monads need not be "small"; e.g., each human being constitutes a monad, in which case free will is problematic.
Monads are purported to have gotten rid of the problematic:
- interaction between mind and matter arising in the system of Descartes;
- lack of individuation inherent to the system of Spinoza, which represents individual creatures as merely accidental.
Theodicy and optimism
The word "optimism" is used in the classic sense of optimal, not optimistic.
The Theodicy tries to justify the apparent imperfections of the world by claiming that it is optimal among all possible worlds. It must be the best possible and most balanced world, because it was created by an all powerful and all knowing God, who would not choose to create an imperfect world if a better world could be known to him or possible to exist. In effect, apparent flaws that can be identified in this world must exist in every possible world, because otherwise God would have chosen to create the world that excluded those flaws.
Leibniz asserted that the truths of theology (religion) and philosophy cannot contradict each other, since reason and faith are both "gifts of God" so that their conflict would imply God contending against himself. The Theodicy is Leibniz's attempt to reconcile his personal philosophical system with his interpretation of the tenets of Christianity. This project was motivated in part by Leibniz's belief, shared by many conservative philosophers and theologians during the Enlightenment, in the rational and enlightened nature of the Christian religion as compared to its purportedly less advanced non-Western counterparts. It was also shaped by Leibniz's belief in the perfectibility of human nature (if humanity relied on correct philosophy and religion as a guide), and by his belief that metaphysical necessity must have a rational or logical foundation, even if this metaphysical causality seemed inexplicable in terms of physical necessity (the natural laws identified by science).
Because reason and faith must be entirely reconciled, any tenet of faith which could not be defended by reason must be rejected. Leibniz then approached one of the central criticisms of Christian theism: if God is all good, all wise and all powerful, how did evil come into the world? The answer (according to Leibniz) is that, while God is indeed unlimited in wisdom and power, his human creations, as creations, are limited both in their wisdom and in their will (power to act). This predisposes humans to false beliefs, wrong decisions and ineffective actions in the exercise of their free will. God does not arbitrarily inflict pain and suffering on humans; rather he permits both moral evil (sin) and physical evil (pain and suffering) as the necessary consequences of metaphysical evil (imperfection), as a means by which humans can identify and correct their erroneous decisions, and as a contrast to true good.
Further, although human actions flow from prior causes that ultimately arise in God, and therefore are known as a metaphysical certainty to God, an individual's free will is exercised within natural laws, where choices are merely contingently necessary, to be decided in the event by a "wonderful spontaneity" that provides individuals an escape from rigorous predestination.
Leibniz believed that much of human reasoning could be reduced to calculations of a sort, and that such calculations could resolve many differences of opinion:
The only way to rectify our reasonings is to make them as tangible as those of the Mathematicians, so that we can find our error at a glance, and when there are disputes among persons, we can simply say: Let us calculate [calculemus], without further ado, to see who is right.
Leibniz's calculus ratiocinator, which resembles symbolic logic, can be viewed as a way of making such calculations feasible. Leibniz wrote memoranda that can now be read as groping attempts to get symbolic logic—and thus his calculus—off the ground. But Gerhard and Couturat did not publish these writings until modern formal logic had emerged in Frege's Begriffsschrift and in writings by Charles Sanders Peirce and his students in the 1880s, and hence well after Boole and De Morgan began that logic in 1847.
Leibniz thought symbols were important for human understanding. He attached so much importance to the development of good notations that he attributed all his discoveries in mathematics to this. His notation for the calculus is an example of his skill in this regard. C.S. Peirce, a 19th-century pioneer of semiotics, shared Leibniz's passion for symbols and notation, and his belief that these are essential to a well-running logic and mathematics.
But Leibniz took his speculations much further. Defining a character as any written sign, he then defined a "real" character as one that represents an idea directly and not simply as the word embodying the idea. Some real characters, such as the notation of logic, serve only to facilitate reasoning. Many characters well known in his day, including Egyptian hieroglyphics, Chinese characters, and the symbols of astronomy and chemistry, he deemed not real. Instead, he proposed the creation of a characteristica universalis or "universal characteristic", built on an alphabet of human thought in which each fundamental concept would be represented by a unique "real" character:
It is obvious that if we could find characters or signs suited for expressing all our thoughts as clearly and as exactly as arithmetic expresses numbers or geometry expresses lines, we could do in all matters insofar as they are subject to reasoning all that we can do in arithmetic and geometry. For all investigations which depend on reasoning would be carried out by transposing these characters and by a species of calculus.
Complex thoughts would be represented by combining characters for simpler thoughts. Leibniz saw that the uniqueness of prime factorization suggests a central role for prime numbers in the universal characteristic, a striking anticipation of Gödel numbering. Granted, there is no intuitive or mnemonic way to number any set of elementary concepts using the prime numbers. Leibniz's idea of reasoning through a universal language of symbols and calculations however remarkably foreshadows great 20th century developments in formal systems, such as Turing completeness, where computation was used to define equivalent universal languages (see Turing degree).
Because Leibniz was a mathematical novice when he first wrote about the characteristic, at first he did not conceive it as an algebra but rather as a universal language or script. Only in 1676 did he conceive of a kind of "algebra of thought", modeled on and including conventional algebra and its notation. The resulting characteristic included a logical calculus, some combinatorics, algebra, his analysis situs (geometry of situation), a universal concept language, and more.
What Leibniz actually intended by his characteristica universalis and calculus ratiocinator, and the extent to which modern formal logic does justice to the calculus, may never be established.
Leibniz is one of the most important logicians between Aristotle and 1847, when George Boole and Augustus De Morgan each published books that began modern formal logic. Leibniz enunciated the principal properties of what we now call conjunction, disjunction, negation, identity, set inclusion, and the empty set. The principles of Leibniz's logic and, arguably, of his whole philosophy, reduce to two:
- All our ideas are compounded from a very small number of simple ideas, which form the alphabet of human thought.
- Complex ideas proceed from these simple ideas by a uniform and symmetrical combination, analogous to arithmetical multiplication.
Leibniz published nothing on formal logic in his lifetime; most of what he wrote on the subject consists of working drafts. In his book History of Western Philosophy, Bertrand Russell went so far as to claim that Leibniz had developed logic in his unpublished writings to a level which was reached only 200 years later.
Although the mathematical notion of function was implicit in trigonometric and logarithmic tables, which existed in his day, Leibniz was the first, in 1692 and 1694, to employ it explicitly, to denote any of several geometric concepts derived from a curve, such as abscissa, ordinate, tangent, chord, and the perpendicular. In the 18th century, "function" lost these geometrical associations.
Leibniz was the first to see that the coefficients of a system of linear equations could be arranged into an array, now called a matrix, which can be manipulated to find the solution of the system, if any. This method was later called Gaussian elimination. Leibniz's discoveries of Boolean algebra and of symbolic logic, also relevant to mathematics, are discussed in the preceding section. The best overview of Leibniz's writings on the calculus may be found in Bos (1974).
Leibniz is credited, along with Sir Isaac Newton, with the discovery of calculus (differential and integral calculus). According to Leibniz's notebooks, a critical breakthrough occurred on November 11, 1675, when he employed integral calculus for the first time to find the area under the graph of a function y = ƒ(x). He introduced several notations used to this day, for instance the integral sign ∫ representing an elongated S, from the Latin word summa and the d used for differentials, from the Latin word differentia. This cleverly suggestive notation for the calculus is probably his most enduring mathematical legacy. Leibniz did not publish anything about his calculus until 1684. The product rule of differential calculus is still called "Leibniz's law". In addition, the theorem that tells how and when to differentiate under the integral sign is called the Leibniz integral rule.
Leibniz exploited infinitesimals in developing the calculus, manipulating them in ways suggesting that they had paradoxical algebraic properties. George Berkeley, in a tract called The Analyst and also in De Motu, criticized these. A recent study argues that Leibnizian calculus was free of contradictions, and was better grounded than Berkeley's empiricist criticisms.
From 1711 until his death, Leibniz was engaged in a dispute with John Keill, Newton and others, over whether Leibniz had invented the calculus independently of Newton. This subject is treated at length in the article Leibniz-Newton controversy.
The use of infinitesimals in mathematics was frowned upon by followers of Karl Weierstrass, but survived in science and engineering, and even in rigorous mathematics, via the fundamental computational device known as the differential. Beginning in 1960, Abraham Robinson worked out a rigorous foundation for Leibniz's infinitesimals, using model theory, in the context of a field of hyperreal numbers. The resulting non-standard analysis can be seen as a belated vindication of Leibniz's mathematical reasoning. Robinson's transfer principle is a mathematical implementation of Leibniz's heuristic law of continuity, while the standard part function implements the Leibnizian transcendental law of homogeneity.
Leibniz was the first to use the term analysis situs, later used in the 19th century to refer to what is now known as topology. There are two takes on this situation. On the one hand, Mates, citing a 1954 paper in German by Jacob Freudenthal, argues:
Although for Leibniz the situs of a sequence of points is completely determined by the distance between them and is altered if those distances are altered, his admirer Euler, in the famous 1736 paper solving the Königsberg Bridge Problem and its generalizations, used the term geometria situs in such a sense that the situs remains unchanged under topological deformations. He mistakenly credits Leibniz with originating this concept. ...it is sometimes not realized that Leibniz used the term in an entirely different sense and hence can hardly be considered the founder of that part of mathematics.
To sample Leibniz' scientific works is a sobering experience. Next to calculus, and to other thoughts that have been carried out to completion, the number and variety of premonitory thrusts is overwhelming. We saw examples in 'packing,'... My Leibniz mania is further reinforced by finding that for one moment its hero attached importance to geometric scaling. In "Euclidis Prota"..., which is an attempt to tighten Euclid's axioms, he states,...: 'I have diverse definitions for the straight line. The straight line is a curve, any part of which is similar to the whole, and it alone has this property, not only among curves but among sets.' This claim can be proved today.
Thus the fractal geometry promoted by Mandelbrot drew on Leibniz's notions of self-similarity and the principle of continuity: natura non saltum facit. We also see that when Leibniz wrote, in a metaphysical vein, that "the straight line is a curve, any part of which is similar to the whole", he was anticipating topology by more than two centuries. As for "packing", Leibniz told to his friend and correspondent Des Bosses to imagine a circle, then to inscribe within it three congruent circles with maximum radius; the latter smaller circles could be filled with three even smaller circles by the same procedure. This process can be continued infinitely, from which arises a good idea of self-similarity. Leibniz's improvement of Euclid's axiom contains the same concept.
Scientist and engineer
Leibniz's writings are currently discussed, not only for their anticipations and possible discoveries not yet recognized, but as ways of advancing present knowledge. Much of his writing on physics is included in Gerhardt's Mathematical Writings.
Leibniz contributed a fair amount to the statics and dynamics emerging around him, often disagreeing with Descartes and Newton. He devised a new theory of motion (dynamics) based on kinetic energy and potential energy, which posited space as relative, whereas Newton was thoroughly convinced that space was absolute. An important example of Leibniz's mature physical thinking is his Specimen Dynamicum of 1695.
Until the discovery of subatomic particles and the quantum mechanics governing them, many of Leibniz's speculative ideas about aspects of nature not reducible to statics and dynamics made little sense. For instance, he anticipated Albert Einstein by arguing, against Newton, that space, time and motion are relative, not absolute: "As for my own opinion, I have said more than once, that I hold space to be something merely relative, as time is, that I hold it to be an order of coexistences, as time is an order of successions." Leibniz's rule for the derivatives of products is an important, if often overlooked, step in many proofs in diverse fields of physics. The principle of sufficient reason has been invoked in recent cosmology, and his identity of indiscernibles in quantum mechanics, a field some even credit him with having anticipated in some sense. Those who advocate digital philosophy, a recent direction in cosmology, claim Leibniz as a precursor.
The vis viva
Leibniz's vis viva (Latin for living force) is mv2, twice the modern kinetic energy. He realized that the total energy would be conserved in certain mechanical systems, so he considered it an innate motive characteristic of matter. Here too his thinking gave rise to another regrettable nationalistic dispute. His vis viva was seen as rivaling the conservation of momentum championed by Newton in England and by Descartes in France; hence academics in those countries tended to neglect Leibniz's idea. In reality, both energy and momentum are conserved, so the two approaches are equally valid.
Other natural science
By proposing that the earth has a molten core, he anticipated modern geology. In embryology, he was a preformationist, but also proposed that organisms are the outcome of a combination of an infinite number of possible microstructures and of their powers. In the life sciences and paleontology, he revealed an amazing transformist intuition, fueled by his study of comparative anatomy and fossils. One of his principal works on this subject, Protogaea, unpublished in his lifetime, has recently been published in English for the first time. He worked out a primal organismic theory. In medicine, he exhorted the physicians of his time—with some results—to ground their theories in detailed comparative observations and verified experiments, and to distinguish firmly scientific and metaphysical points of view.
Much of Leibniz's work went on to have a great impact on the field of psychology. His theory regarding consciousness in relation to the principle of continuity can be seen as an early theory regarding the stages of sleep. He believed that by the principle that phenomena found in nature were continuous by default, it was likely that the transition between conscious and unconscious states had intermediary steps. Though Leibniz's ideas regarding pre-established harmony were rejected by many, psychologists embraced his ideas of psychophysical parallelism. This idea refers to the mind–body problem, stating that the mind and brain do not act upon each other, but act alongside each other separately but in harmony.
Leibniz believed that the mind had a very active role in perception, and plays a much larger role in sensory input. He focused heavily on perception, distinguishing between the type of perception where we are conscious of a stimulus, and the other which is being aware of a distinct perception. He thought that there are many petites perceptions, or small perceptions of which we perceive but of which we are unaware. For example, when a bag of rice is spilled, we see the rice but are not necessarily aware of how many grains are in the pile. With this principle, there are an infinite number of perceptions within us at any given time of which we are unaware. For this to be true, there must also be a portion of the mind of which we are unaware at any given time. In this way, Leibniz's theory of perception can be viewed as one of many theories leading up to the idea of the unconscious. Additionally, the idea of subliminal stimuli can be traced back to his theory of small perceptions. Leibniz was a direct influence on Ernst Platner, who is credited with originally coining the term Unbewußtseyn (unconscious).
In public health, he advocated establishing a medical administrative authority, with powers over epidemiology and veterinary medicine. He worked to set up a coherent medical training program, oriented towards public health and preventive measures. In economic policy, he proposed tax reforms and a national insurance program, and discussed the balance of trade. He even proposed something akin to what much later emerged as game theory. In sociology he laid the ground for communication theory.
In 1906, Garland published a volume of Leibniz's writings bearing on his many practical inventions and engineering work. To date, few of these writings have been translated into English. Nevertheless, it is well understood that Leibniz was a serious inventor, engineer, and applied scientist, with great respect for practical life. Following the motto theoria cum praxi, he urged that theory be combined with practical application, and thus has been claimed as the father of applied science. He designed wind-driven propellers and water pumps, mining machines to extract ore, hydraulic presses, lamps, submarines, clocks, etc. With Denis Papin, he invented a steam engine. He even proposed a method for desalinating water. From 1680 to 1685, he struggled to overcome the chronic flooding that afflicted the ducal silver mines in the Harz Mountains, but did not succeed.
Leibniz may have been the first computer scientist and information theorist. Early in life, he documented the binary numeral system (base 2), then revisited that system throughout his career. He anticipated Lagrangian interpolation and algorithmic information theory. His calculus ratiocinator anticipated aspects of the universal Turing machine. In 1934, Norbert Wiener claimed to have found in Leibniz's writings a mention of the concept of feedback, central to Wiener's later cybernetic theory.
In 1671, Leibniz began to invent a machine that could execute all four arithmetical operations, gradually improving it over a number of years. This "Stepped Reckoner" attracted fair attention and was the basis of his election to the Royal Society in 1673. A number of such machines were made during his years in Hanover, by a craftsman working under Leibniz's supervision. It was not an unambiguous success because it did not fully mechanize the operation of carrying. Couturat reported finding an unpublished note by Leibniz, dated 1674, describing a machine capable of performing some algebraic operations. Leibniz also devised a (now reproduced) cipher machine, recovered by Nicholas Rescher in 2010. In 1693, Leibniz released to the public a design of a machine which could, in theory, integrate differential equations.
Leibniz was groping towards hardware and software concepts worked out much later by Charles Babbage and Ada Lovelace. In 1679, while mulling over his binary arithmetic, Leibniz imagined a machine in which binary numbers were represented by marbles, governed by a rudimentary sort of punched cards. Modern electronic digital computers replace Leibniz's marbles moving by gravity with shift registers, voltage gradients, and pulses of electrons, but otherwise they run roughly as Leibniz envisioned in 1679.
While serving as librarian of the ducal libraries in Hanover and Wolfenbuettel, Leibniz effectively became one of the founders of library science. The latter library was enormous for its day, as it contained more than 100,000 volumes, and Leibniz helped design a new building for it, believed to be the first building explicitly designed to be a library. He also designed a book indexing system in ignorance of the only other such system then extant, that of the Bodleian Library at Oxford University. He also called on publishers to distribute abstracts of all new titles they produced each year, in a standard form that would facilitate indexing. He hoped that this abstracting project would eventually include everything printed from his day back to Gutenberg. Neither proposal met with success at the time, but something like them became standard practice among English language publishers during the 20th century, under the aegis of the Library of Congress and the British Library.
He called for the creation of an empirical database as a way to further all sciences. His characteristica universalis, calculus ratiocinator, and a "community of minds"—intended, among other things, to bring political and religious unity to Europe—can be seen as distant unwitting anticipations of artificial languages (e.g., Esperanto and its rivals), symbolic logic, even the World Wide Web.
Advocate of scientific societies
Leibniz emphasized that research was a collaborative endeavor. Hence he warmly advocated the formation of national scientific societies along the lines of the British Royal Society and the French Academie Royale des Sciences. More specifically, in his correspondence and travels he urged the creation of such societies in Dresden, Saint Petersburg, Vienna, and Berlin. Only one such project came to fruition; in 1700, the Berlin Academy of Sciences was created. Leibniz drew up its first statutes, and served as its first President for the remainder of his life. That Academy evolved into the German Academy of Sciences, the publisher of the ongoing critical edition of his works.
With the possible exception of Marcus Aurelius, no philosopher has ever had as much experience with practical affairs of state as Leibniz. Leibniz's writings on law, ethics, and politics were long overlooked by English-speaking scholars, but this has changed of late.
While Leibniz was no apologist for absolute monarchy like Hobbes, or for tyranny in any form, neither did he echo the political and constitutional views of his contemporary John Locke, views invoked in support of democracy, in 18th-century America and later elsewhere. The following excerpt from a 1695 letter to Baron J. C. Boyneburg's son Philipp is very revealing of Leibniz's political sentiments:
As for.. the great question of the power of sovereigns and the obedience their peoples owe them, I usually say that it would be good for princes to be persuaded that their people have the right to resist them, and for the people, on the other hand, to be persuaded to obey them passively. I am, however, quite of the opinion of Grotius, that one ought to obey as a rule, the evil of revolution being greater beyond comparison than the evils causing it. Yet I recognize that a prince can go to such excess, and place the well-being of the state in such danger, that the obligation to endure ceases. This is most rare, however, and the theologian who authorizes violence under this pretext should take care against excess; excess being infinitely more dangerous than deficiency.
In 1677, Leibniz called for a European confederation, governed by a council or senate, whose members would represent entire nations and would be free to vote their consciences; this is sometimes tendentiously considered an anticipation of the European Union. He believed that Europe would adopt a uniform religion. He reiterated these proposals in 1715.
But at the same time, he arrived to propose an interreligious and multicultural project to create a universal system of justice, which required from him a broad interdisciplinary perspective. In order to it, he combined linguistics, especially sinology, moral and law philosophy, management, economics, politics.
Leibniz devoted considerable intellectual and diplomatic effort to what would now be called ecumenical endeavor, seeking to reconcile first the Roman Catholic and Lutheran churches, later the Lutheran and Reformed churches. In this respect, he followed the example of his early patrons, Baron von Boyneburg and the Duke John Frederick—both cradle Lutherans who converted to Catholicism as adults—who did what they could to encourage the reunion of the two faiths, and who warmly welcomed such endeavors by others. (The House of Brunswick remained Lutheran because the Duke's children did not follow their father.) These efforts included corresponding with the French bishop Jacques-Bénigne Bossuet, and involved Leibniz in a fair bit of theological controversy. He evidently thought that the thoroughgoing application of reason would suffice to heal the breach caused by the Reformation.
Leibniz the philologist was an avid student of languages, eagerly latching on to any information about vocabulary and grammar that came his way. He refuted the belief, widely held by Christian scholars in his day, that Hebrew was the primeval language of the human race. He also refuted the argument, advanced by Swedish scholars in his day, that a form of proto-Swedish was the ancestor of the Germanic languages. He puzzled over the origins of the Slavic languages, was aware of the existence of Sanskrit, and was fascinated by classical Chinese.
Leibniz was perhaps the first major European intellect to take a close interest in Chinese civilization, which he knew by corresponding with, and reading other works by, European Christian missionaries posted in China. Having read Confucius Sinarum Philosophus on the first year of its publication, he concluded that Europeans could learn much from the Confucian ethical tradition. He mulled over the possibility that the Chinese characters were an unwitting form of his universal characteristic. He noted with fascination how the I Ching hexagrams correspond to the binary numbers from 000000 to 111111, and concluded that this mapping was evidence of major Chinese accomplishments in the sort of philosophical mathematics he admired.
Leibniz's attraction to Chinese philosophy originates from his perception that Chinese philosophy was similar to his own. The historian E.R. Hughes suggests that Leibniz's ideas of "simple substance" and "pre-established harmony" were directly influenced by Confucianism, pointing to the fact that they were conceived during the period that he was reading Confucius Sinarum Philosophus.
While making his grand tour of European archives to research the Brunswick family history that he never completed, Leibniz stopped in Vienna between May 1688 and February 1689, where he did much legal and diplomatic work for the Brunswicks. He visited mines, talked with mine engineers, and tried to negotiate export contracts for lead from the ducal mines in the Harz mountains. His proposal that the streets of Vienna be lit with lamps burning rapeseed oil was implemented. During a formal audience with the Austrian Emperor and in subsequent memoranda, he advocated reorganizing the Austrian economy, reforming the coinage of much of central Europe, negotiating a Concordat between the Habsburgs and the Vatican, and creating an imperial research library, official archive, and public insurance fund. He wrote and published an important paper on mechanics.
Leibniz also wrote a short paper, Primae veritates, first published by Louis Couturat in 1903, (pp. 518–523)  summarizing his views on metaphysics. The paper is undated; that he wrote it while in Vienna in 1689 was determined only in 1999, when the ongoing critical edition finally published Leibniz's philosophical writings for the period 1677–90. Couturat's reading of this paper was the launching point for much 20th-century thinking about Leibniz, especially among analytic philosophers. But after a meticulous study of all of Leibniz's philosophical writings up to 1688—a study the 1999 additions to the critical edition made possible—Mercer (2001) begged to differ with Couturat's reading; the jury is still out.
As a mathematician and philosopher
When Leibniz died, his reputation was in decline. He was remembered for only one book, the Théodicée, whose supposed central argument Voltaire lampooned in his popular book Candide, which concludes with the character Candide saying, "Non liquet" (it is not clear), a term that was applied during the Roman Republic to a legal verdict of "not proven". Voltaire's depiction of Leibniz's ideas was so influential that many believed it to be an accurate description. Thus Voltaire and his Candide bear some of the blame for the lingering failure to appreciate and understand Leibniz's ideas. Leibniz had an ardent disciple, Christian Wolff, whose dogmatic and facile outlook did Leibniz's reputation much harm. He also influenced David Hume who read his Théodicée and used some of his ideas. In any event, philosophical fashion was moving away from the rationalism and system building of the 17th century, of which Leibniz had been such an ardent proponent. His work on law, diplomacy, and history was seen as of ephemeral interest. The vastness and richness of his correspondence went unrecognized.
Much of Europe came to doubt that Leibniz had discovered the calculus independently of Newton, and hence his whole work in mathematics and physics was neglected. Voltaire, an admirer of Newton, also wrote Candide at least in part to discredit Leibniz's claim to having discovered the calculus and Leibniz's charge that Newton's theory of universal gravitation was incorrect. The rise of relativity and subsequent work in the history of mathematics has put Leibniz's stance in a more favorable light.
Leibniz's long march to his present glory began with the 1765 publication of the Nouveaux Essais, which Kant read closely. In 1768, Dutens edited the first multi-volume edition of Leibniz's writings, followed in the 19th century by a number of editions, including those edited by Erdmann, Foucher de Careil, Gerhardt, Gerland, Klopp, and Mollat. Publication of Leibniz's correspondence with notables such as Antoine Arnauld, Samuel Clarke, Sophia of Hanover, and her daughter Sophia Charlotte of Hanover, began.
In 1900, Bertrand Russell published a critical study of Leibniz's metaphysics. Shortly thereafter, Louis Couturat published an important study of Leibniz, and edited a volume of Leibniz's heretofore unpublished writings, mainly on logic. They made Leibniz somewhat respectable among 20th-century analytical and linguistic philosophers in the English-speaking world (Leibniz had already been of great influence to many Germans such as Bernhard Riemann). For example, Leibniz's phrase salva veritate, meaning interchangeability without loss of or compromising the truth, recurs in Willard Quine's writings. Nevertheless, the secondary literature on Leibniz did not really blossom until after World War II. This is especially true of English speaking countries; in Gregory Brown's bibliography fewer than 30 of the English language entries were published before 1946. American Leibniz studies owe much to Leroy Loemker (1904–85) through his translations and his interpretive essays in LeClerc (1973).
Nicholas Jolley has surmised that Leibniz's reputation as a philosopher is now perhaps higher than at any time since he was alive. Analytic and contemporary philosophy continue to invoke his notions of identity, individuation, and possible worlds. Work in the history of 17th- and 18th-century ideas has revealed more clearly the 17th-century "Intellectual Revolution" that preceded the better-known Industrial and commercial revolutions of the 18th and 19th centuries.
In 1985, the German government created the Leibniz Prize, offering an annual award of 1.55 million euros for experimental results and 770,000 euros for theoretical ones. It is the world's largest prize for scientific achievement.
Writings and edition
Leibniz mainly wrote in three languages: scholastic Latin, French and German. During his lifetime, he published many pamphlets and scholarly articles, but only two "philosophical" books, the Combinatorial Art and the Théodicée. (He published numerous pamphlets, often anonymous, on behalf of the House of Brunswick-Lüneburg, most notably the "De jure suprematum" a major consideration of the nature of sovereignty). One substantial book appeared posthumously, his Nouveaux essais sur l'entendement humain, which Leibniz had withheld from publication after the death of John Locke. Only in 1895, when Bodemann completed his catalogue of Leibniz's manuscripts and correspondence, did the enormous extent of Leibniz's Nachlass become clear: about 15,000 letters to more than 1000 recipients plus more than 40,000 other items. Moreover, quite a few of these letters are of essay length. Much of his vast correspondence, especially the letters dated after 1700, remains unpublished, and much of what is published has been so only in recent decades. The amount, variety, and disorder of Leibniz's writings are a predictable result of a situation he described in a letter as follows:
I cannot tell you how extraordinarily distracted and spread out I am. I am trying to find various things in the archives; I look at old papers and hunt up unpublished documents. From these I hope to shed some light on the history of the [House of] Brunswick. I receive and answer a huge number of letters. At the same time, I have so many mathematical results, philosophical thoughts, and other literary innovations that should not be allowed to vanish that I often do not know where to begin.
The extant parts of the critical edition of Leibniz's writings are organized as follows:
- Series 1. Political, Historical, and General Correspondence. 25 vols., 1666–1706.
- Series 2. Philosophical Correspondence. 3 vols., 1663–1700.
- Series 3. Mathematical, Scientific, and Technical Correspondence. 8 vols., 1672–1698.
- Series 4. Political Writings. 7 vols., 1667–99.
- Series 5. Historical and Linguistic Writings. Inactive.
- Series 6. Philosophical Writings. 7 vols., 1663–90, and Nouveaux essais sur l'entendement humain.
- Series 7. Mathematical Writings. 6 vols., 1672–76.
- Series 8. Scientific, Medical, and Technical Writings. 1 vol., 1668-76.
The systematic cataloguing of all of Leibniz's Nachlass began in 1901. It was hampered by two world wars and decades of German division in two states with the cold war's "iron curtain" in between, separating scholars, and also scattering portions of his literary estates. The ambitious project has had to deal with seven languages contained in some 200,000 pages of written and printed paper. In 1985 it was reorganized and included in a joint program of German federal and state (Länder) academies. Since then the branches in Potsdam, Münster, Hanover and Berlin have jointly published 57 volumes of the critical edition, with an average of 870 pages, and prepared index and concordance works.
The year given is usually that in which the work was completed, not of its eventual publication.
- 1666. De Arte Combinatoria (On the Art of Combination); partially translated in Loemker §1 and Parkinson (1966).
- 1671. Hypothesis Physica Nova (New Physical Hypothesis); Loemker §8.I (partial).
- 1673 Confessio philosophi (A Philosopher's Creed); an English translation is available.
- 1684. Nova methodus pro maximis et minimis (New method for maximums and minimums); translated in Struik, D. J., 1969. A Source Book in Mathematics, 1200–1800. Harvard University Press: 271–81.
- 1686. Discours de métaphysique; Martin and Brown (1988), Ariew and Garber 35, Loemker §35, Wiener III.3, Woolhouse and Francks 1. An online translation by Jonathan Bennett is available.
- 1686. Generales inquisitiones de analysi notionum et veritatum (General Inquiries About the Analysis of Concepts and of Truths)
- 1695. Système nouveau de la nature et de la communication des substances (New System of Nature)
- 1700. Accessiones historicae
- 1703. Explication de l'Arithmétique Binaire (Explanation of Binary Arithmetic); Gerhardt, Mathematical Writings VII.223. An online translation by Lloyd Strickland is available.
- 1707. Scriptores rerum Brunsvicensium
- 1710. Théodicée; Farrer, A.M., and Huggard, E.M., trans., 1985 (1952). Wiener III.11 (part). An online translation is available at Project Gutenberg.
- 1714. Monadologie; translated by Nicholas Rescher, 1991. The Monadology: An Edition for Students. University of Pittsburgh Press. Ariew and Garber 213, Loemker §67, Wiener III.13, Woolhouse and Francks 19. Online translations: Jonathan Bennett's translation; Latta's translation; French, Latin and Spanish edition, with facsimile of Leibniz's manuscript.
- 1717. Collectanea Etymologica, edited by the secretary of Leibniz Johann Georg von Eckhart
- 1750. Origines Guelficae
- 1765. Nouveaux essais sur l'entendement humain; completed in 1704. Remnant, Peter, and Bennett, Jonathan, trans., 1996. New Essays on Human Understanding Langley translation 1896. Cambridge University Press. Wiener III.6 (part). An online translation of the Preface and Book I by Jonathan Bennett is available.
Six important collections of English translations are Wiener (1951), Parkinson (1966), Loemker (1969), Ariew and Garber (1989), Woolhouse and Francks (1998), and Strickland (2006). The ongoing critical edition of all of Leibniz's writings is Sämtliche Schriften und Briefe.
- Alternating series test - Leibniz test
- General Leibniz rule
- Leibniz Association
- Leibniz operator
- List of German inventors and discoverers
- List of things named after Gottfried Leibniz
- Mathesis universalis
- Scientific revolution
- University of Hanover - Gottfried Wilhelm Leibniz Universität Hannover
- Franz Exner, "Über Leibnitz'ens Universal-Wissenschaft", 1843; "Universalwissenschaft" in the Meyers Großes Konversations-Lexikon; Stanley Burris, "Leibniz's Influence on 19th Century Logic", Stanford Encyclopedia of Philosophy
- The History of Philosophy, Vol. IV: Modern Philosophy: From Descartes to Leibniz by Frederick C. Copleston (1958)
- "It is in Leibniz that Tarde finds the main conditions for the metaphysics of possession.He sees in Monadology (1714) the beginning of a movement of dissolution of classical ontology (notably the identity of "being" and "simplicity"), which would, in a still implicitand unthinking form, find its most obvious confirmation in today's science." In: "The Dynamics of Possession: An Introduction to The Sociology of Gabriel Tarde" by Didier Debaise
- "Leibniz" entry in Collins English Dictionary, HarperCollins Publishers, 1998.
- Max Mangold (ed.), ed. (2005). Duden-Aussprachewörterbuch (Duden Pronunciation Dictionary) (in German) (7th ed.). Mannheim: Bibliographisches Institut GmbH. ISBN 978-3-411-04066-7. <templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- Eva-Maria Krech et al. (ed.), ed. (2010). Deutsches Aussprachewörterbuch (German Pronunciation Dictionary) (in German) (1st ed.). Berlin: Walter de Gruyter GmbH & Co. KG. ISBN 978-3-11-018203-3. <templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- See inscription of the engraving depicted in the "1666–1674" section.
- Russell, Bertrand (2013-04-15). History of Western Philosophy: Collectors Edition. Routledge. p. 564. ISBN 9781135692841.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- David Smith, pp. 173–181 (1929)
- Roughly 40%, 35%, and 25%, respectively.www.gwlb.de. Leibniz-Nachlass (i.e. Legacy of Leibniz), Gottfried Wilhelm Leibniz Bibliothek (one of the three Official Libraries of the German state Lower Saxony).
- Baird, Forrest E.; Walter Kaufmann (2008). From Plato to Derrida. Upper Saddle River, New Jersey: Pearson Prentice Hall. ISBN 0-13-158591-6.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- It is possible that the words "in Aquarius" refer to the Moon (the Sun in Cancer; Sagittarius rising (Ascendant)); see Astro-Databank chart of Gottfried Leibniz.
- The original has "1/4 uff 7 uhr" but there is no reason to assume that in the 17th century this meant a quarter to seven. The quote is given by Hartmut Hecht in Gottfried Wilhelm Leibniz (Teubner-Archiv zur Mathematik, Volume 2, 1992), in the first lines of chapter 2, Der junge Leibniz, p. 15; see H. Hecht, Der junge Leibniz; see also G. E. Guhrauer, G. W. Frhr. v. Leibnitz. B. 1. Breslau 1846, Anm. S. 4.
- Mackie (1845), 21
- Mackie (1845), 22
- Mackie (1845), 26
- A few copies were produced as requested for the habilitation procedure; it was reprinted without his consent in 1690.
- Jolley, Nicholas (1995). The Cambridge Companion to Leibniz. Cambridge University Press.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>:20
- Simmons, George (2007). Calculus Gems: Brief Lives and Memorable Mathematics. MAA.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>:143
- Mackie (1845), 38
- Mackie (1845), 39
- Mackie (1845), 40
- Aiton 1985: 312
- Ariew R., G.W. Leibniz, life and works, p.21 in The Cambridge Companion to Leibniz, ed. by N. Jolley, Cambridge University Press, 1994, ISBN 0521365880, Extract of page 21
- Mackie (1845), 43
- Mackie (1845), 44-45
- Mackie (1845), 58-61
- Mackie (1845), 69-70
- Mackie (1845), 73-74
- On the encounter between Newton and Leibniz and a review of the evidence, see Alfred Rupert Hall, Philosophers at War: The Quarrel Between Newton and Leibniz, (Cambridge, 2002), pp. 44–69.
- Mackie (1845), p.117-118
- For a study of Leibniz's correspondence with Sophia Charlotte, see MacDonald Ross, George, 1990, "Leibniz’s Exposition of His System to Queen Sophie Charlotte and Other Ladies." In Leibniz in Berlin, ed. H. Poser and A. Heinekamp, Stuttgart: Franz Steiner, 1990, 61-69.
- Mackie (1845), 109
- See Wiener IV.6 and Loemker § 40. Also see a curious passage titled "Leibniz's Philosophical Dream," first published by Bodemann in 1895 and translated on p. 253 of Morris, Mary, ed. and trans., 1934. Philosophical Writings. Dent & Sons Ltd.
- "Christian Mathematicians – Leibniz GOD & MATH Thinking Christianly About Math Education".<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- Gottfried Wilhelm Leibniz (2012). Peter Loptson, ed. Discourse on Metaphysics and Other Writings. Broadview Press. pp. 23–24. ISBN 9781554810116.
The answer is unknowable, but it may not be unreasonable to see him, at least in theological terms, as essentially a deist. He is a determinist: there are no miracles (the events so called being merely instances of infrequently occurring natural laws); Christ has no real role in the system; we live forever, and hence we carry on after our deaths, but then everything — every individual substance — carries on forever. Nonetheless, Leibniz is a theist. His system is generated from, and needs, the postulate of a creative god. In fact, though, despite Leibniz's protestations, his God is more the architect and engineer of the vast complex world-system than the embodiment of love of Christian orthodoxy.
- Christopher Ernest Cosans (2009). Owen's Ape & Darwin's Bulldog: Beyond Darwinism and Creationism. Indiana University Press. pp. 102–103. ISBN 9780253220516.
In advancing his system of mechanics, Newton claimed that collisions of celestial objects would cause a loss of energy that would require God to intervene from time to time to maintain order in the solar system (Vailati 1997, 37–42). In criticizing this implication, Leibniz remarks: "Sir Isaac Newton and his followers have also a very odd opinion concerning the work of God. According to their doctrine, God Almighty wants to wind up his watch from time to time; otherwise it would cease to move." (Leibniz 1715, 675) Leibniz argues that any scientific theory that relies on God to perform miracles after He had first made the universe indicates that God lacked sufficient foresight or power to establish adequate natural laws in the first place. In defense of Newton's theism, Clarke is unapologetic: "'tis not a diminution but the true glory of his workmanship that nothing is done without his continual government and inspection"' (Leibniz 1715, 676–677). Clarke is believed to have consulted closely with Newton on how to respond to Leibniz. He asserts that Leibniz's deism leads to "the notion of materialism and fate" (1715, 677), because it excludes God from the daily workings of nature.
- Shelby D. Hunt (2003). Controversy in Marketing Theory: For Reason, Realism, Truth, and Objectivity. M.E. Sharpe. p. 33. ISBN 9780765609311.
Consistent with the liberal views of the Enlightenment, Leibniz was an optimist with respect to human reasoning and scientific progress (Popper 1963, p.69). Although he was a great reader and admirer of Spinoza, Leibniz, being a confirmed deist, rejected emphatically Spinoza's pantheism: God and nature, for Leibniz, were not simply two different "labels" for the same "thing".
- Ariew & Garber, 69; Loemker, §§36, 38
- Ariew & Garber, 138; Loemker, §47; Wiener, II.4
- Ariew & Garber, 272–84; Loemker, §§14, 20, 21; Wiener, III.8
- Mates (1986), chpts. 7.3, 9
- Loemker 717
- See Jolley (1995: 129–31), Woolhouse and Francks (1998), and Mercer (2001).
- Loemker 311
- For a precis of what Leibniz meant by these and other Principles, see Mercer (2001: 473–84). For a classic discussion of Sufficient Reason and Plenitude, see Lovejoy (1957).
- Rutherford (1998) is a detailed scholarly study of Leibniz's theodicy.
- Magill, Frank (ed.). Masterpieces of World Philosophy. New York: Harper Collins (1990).
- Magill, Frank (ed.) (1990)
- The Art of Discovery 1685, Wiener 51
- Many of his memoranda are translated in Parkinson 1966.
- Loemker, however, who translated some of Leibniz's works into English, said that the symbols of chemistry were real characters, so there is disagreement among Leibniz scholars on this point.
- Preface to the General Science, 1677. Revision of Rutherford's translation in Jolley 1995: 234. Also Wiener I.4
- A good introductory discussion of the "characteristic" is Jolley (1995: 226–40). An early, yet still classic, discussion of the "characteristic" and "calculus" is Couturat (1901: chpts. 3,4).
- Struik (1969), 367
- Jesseph, Douglas M. (1998). "Leibniz on the Foundations of the Calculus: The Question of the Reality of Infinitesimal Magnitudes". Perspectives on Science. 6.1&2: 6–40. Retrieved 31 December 2011.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- Leibniz, Gottfried Wilhelm Freiherr von; Gerhardt, Carl Immanuel (trans.) (1920). The Early Mathematical Manuscripts of Leibniz. Open Court Publishing. p. 93. Retrieved 10 November 2013.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- For an English translation of this paper, see Struik (1969: 271–84), who also translates parts of two other key papers by Leibniz on the calculus.
- Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
- Loemker §27
- Mates (1986), 240
- HIRANO, Hideaki. "Leibniz's Cultural Pluralism And Natural Law". Archived from the original on 22 May 2009. Retrieved March 10, 2010.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- Mandelbrot (1977), 419. Quoted in Hirano (1997).
- Ariew and Garber 117, Loemker §46, W II.5. On Leibniz and physics, see the chapter by Garber in Jolley (1995) and Wilson (1989).
- See H. G. Alexander, ed., The Leibniz-Clarke Correspondence, Manchester: Manchester University Press, pp. 25–26.
- See Ariew and Garber 155–86, Loemker §§53–55, W II.6–7a
- On Leibniz and biology, see Loemker (1969a: VIII).
- On Leibniz and psychology, see Loemker (1969a: IX).
- Larry M. Jorgensen, The Principle of Continuity and Leibniz's Theory of Consciousness
- D. Brett King, Wayne Viney and William Woody. A History of Psychology: Ideas and Context (2009), 150–153.
- Nicholls and Leibscher, Thinking the Unconscious: Nineteenth-Century German Thought (2010), 6.
- King et al. (2009), 150–153.
- Nicholls and Leibscher, Thinking the Unconscious: Nineteenth-Century German Thought (2010), 9.
- Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
- Aiton (1985), 107–114, 136
- Davis (2000) discusses Leibniz's prophetic role in the emergence of calculating machines and of formal languages.
- See Couturat (1901): 473–78.
- Couturat (1901), 115
- See N. Rescher, Leibniz and Cryptography (Pittsburgh, University Library Systems, University of Pittsburgh, 2012).
- The Reality Club: Wake Up Call for Europe Tech
- On Leibniz's projects for scientific societies, see Couturat (1901), App. IV.
- See, for example, Ariew and Garber 19, 94, 111, 193; Riley 1988; Loemker §§2, 7, 20, 29, 44, 59, 62, 65; W I.1, IV.1–3
- See (in order of difficulty) Jolley (2005: chpt. 7), Gregory Brown's chapter in Jolley (1995), Hostler (1975), and Riley (1996).
- Loemker: 59, fn 16. Translation revised.
- Loemker: 58, fn 9
- See José Andrés-Gallego: 42. “Are Humanism and Mixed Methods Related? Leibniz’s Universal (Chinese) Dream”: Journal of Mixed Methods Research, 29(2) (2015): 118-132: http://mmr.sagepub.com/content/9/2/118.abstract.
- Perkins (2004), 117
- Lua error in Module:Citation/CS1/Identifiers at line 47: attempt to index field 'wikibase' (a nil value).
- On Leibniz, the I Ching, and binary numbers, see Aiton (1985: 245–48). Leibniz's writings on Chinese civilization are collected and translated in Cook and Rosemont (1994), and discussed in Perkins (2004).
- Later translated as Loemker 267 and Woolhouse and Francks 30
- A VI, 4, n. 324, pp. 1643-1649 with the title: Principia Logico-Metaphysica
- Vasilyev, 1993
- Russell, 1900
- Jolley, 217–19
- "Letters from and to Gottfried Wilhelm Leibniz within the collection of manuscript papers of Gottfried Wilhelm Leibniz". UNESCO Memory of the World Programme. 2008-05-16. Retrieved 2009-12-15.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- 1695 letter to Vincent Placcius in Gerhardt.
- www.leibniz-edition.de. See photograph there.
- Bodemann, Eduard, Die Leibniz-Handschriften der Königlichen öffentlichen Bibliothek zu Hannover, 1895, (anastatic reprint: Hildesheim, Georg Olms, 1966).
- Bodemann, Eduard, Der Briefwechsel des Gottfried Wilhelm Leibniz in der Königlichen öffentliche Bibliothek zu Hannover, 1895, (anastatic reprint: Hildesheim, Georg Olms, 1966).
- Ravier, Émile, Bibliographie des œuvres de Leibniz, Paris: Alcan, 1937 (anastatic reprint Hildesheim: Georg Olms, 1966).
- Heinekamp, Albert and Mertens, Marlen. Leibniz-Bibliographie. Die Literatur über Leibniz bis 1980, Frankfurt: Vittorio Klostermann, 1984.
- Heinekamp, Albert and Mertens, Marlen. Leibniz-Bibliographie. Die Literatur über Leibniz. Band II: 1981-1990, Frankfurt: Vittorio Klostermann, 1996.
An updated bibliography of more than 25.000 titles is available at Leibniz Bibliographie.
- Wiener, Philip, (ed.), 1951. Leibniz: Selections. Scribner.
- Schrecker, Paul & Schrecker, Anne Martin, (eds.), 1965. Monadology and other Philosophical Essays. Prentice-Hall.
- Parkinson, G. H. R. (ed.), 1966. Logical Papers. Clarendon Press.
- Mason, H.T. & Parkinson, G.H.R. (eds.), 1967. The Leibniz-Arnauld Correspondence. Manchester University Press.
- Loemker, Leroy, (ed.), 1969 (1956). Leibniz: Philosophical Papers and Letters. Reidel.
- Morris, Mary & Parkinson, G. H. R. (eds.), 1973. Philosophical Writings. Everyman’s University Library.
- Riley, Patrick, (ed.), 1988. Leibniz: Political Writings. Cambridge University Press.
- Niall, R. Martin, D. & Brown, Stuart (eds.), 1988. Discourse on Metaphysics and Related Writings. Manchester University Press.
- Ariew, Roger and Garber, Daniel. (eds.), 1989. Leibniz: Philosophical Essays. Hackett.
- Rescher, Nicholas (ed.), 1991. G. W. Leibniz’s Monadology. An Edition for Students, University of Pittsburgh Press.
- Parkinson, G. H. R. (ed.) 1992. De Summa Rerum. Metaphysical Papers, 1675-1676. Yale University Press.
- Cook, Daniel, & Rosemont, Henry Jr., (eds.), 1994. Leibniz: Writings on China. Open Court.
- Farrer, Austin (ed.), 1995. Theodicy, Open Court.
- Remnant, Peter, & Bennett, Jonathan, (eds.), 1996 (1981). Leibniz: New Essays on Human Understanding. Cambridge University Press.
- Woolhouse, R.S., and Francks, R., (eds.), 1997. Leibniz’s ‘New System’ and Associated Contemporary Texts. Oxford University Press.
- Woolhouse, R.S., and Francks, R., (eds.), 1998. Leibniz: Philosophical Texts. Oxford University Press.
- Ariew, Roger, (ed.), 2000. G. W. Leibniz and Samuel Clarke: Correspondence. Hackett.
- Richard T. W. Arthur, (ed.), 2001. The Labyrinth of the Continuum: Writings on the Continuum Problem, 1672-1686. Yale University Press.
- Robert C. Sleigh Jr., (ed.), 2005. Confessio Philosophi: Papers Concerning the Problem of Evil, 1671-1678. Yale University Press.
- Dascal, Marcelo (ed.), 2006. “G. W. Leibniz. The Art of Controversies’’, Springer.
- Strickland, Lloyd, 2006 (ed.). The Shorter Leibniz Texts: A Collection of New Translations. Continuum.
- Look, Brandon and Rutherford, Donald (eds.), 2007. The Leibniz-Des Bosses Correspondence, Yale University Press.
- Cohen, Claudine and Wakefield, Andre, (eds.), 2008. Protogaea. University of Chicago Press.
- Murray, Michael, (ed.) 2011. Dissertation on Predestination and Grace, Yale University Press.
- Strickand, Lloyd (ed.), 2011. Leibniz and the two Sophies. The Philosophical Correspondence, Toronto.
- Lodge, Pail (ed.), 2013. The Leibniz-De Volder Correspondence: With Selections from the Correspondence Between Leibniz and Johann Bernoulli, Yale University Press.
- Artosi, Alberto, Pieri, Bernardo, Sartor, Giovanni (eds.), 2014. Leibniz: Logico-Philosophical Puzzles in the Law, Springer.
Secondary literature up to 1950
- Du Bois-Reymond, Paul, 1974. Leibnizsche Gedanken in der neueren Naturwissenschaft, Berlin: Dummler, 1871 (reprinted in his Vorträge über Philosophie und Gesellschaft, Hamburg: Felix Meiner.
- Couturat, Louis, 1901. La Logique de Leibniz. Paris: Felix Alcan.
- Heidegger, Martin, 1983. The Metaphysical Foundations of Logic. Indiana University Press (lecture course, 1928).
- Lovejoy, Arthur O., 1957 (1936). "Plenitude and Sufficient Reason in Leibniz and Spinoza" in his The Great Chain of Being. Harvard University Press: 144–82. Reprinted in Frankfurt, H. G., (ed.), 1972. Leibniz: A Collection of Critical Essays. Anchor Books 1972.
- Mackie, John Milton; Guhrauer, Gottschalk Eduard, 1845. Life of Godfrey William von Leibnitz. Gould, Kendall and Lincoln.
- Smith, David Eugene (1929). A Source Book in Mathematics. New York and London: McGraw-Hill Book Company, Inc.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- Ward, A. W., 1911. Leibniz as a Politician (lecture)
Secondary literature post-1950
- Adams, Robert Merrihew. 1994. Leibniz: Determinist, Theist, Idealist. New York: Oxford, Oxford University Press.
- Aiton, Eric J., 1985. Leibniz: A Biography. Hilger (UK).
- Antognazza, Maria Rosa, 2008. Leibniz: An Intellectual Biography. Cambridge Univ. Press.
- Stuart Brown (ed.), 1999. The Young Leibniz and His Philosophy (1646-76), Dordrecht, Kluwer.
- Davis, Martin, 2000. The Universal Computer: The Road from Leibniz to Turing. WW Norton.
- Deleuze, Gilles, 1993. The Fold: Leibniz and the Baroque. University of Minnesota Press.
- Finster, Reinhard & van den Heuvel, Gerd 2000. Gottfried Wilhelm Leibniz. Mit Selbstzeugnissen und Bilddokumenten. 4. Auflage. Rowohlt, Reinbek bei Hamburg (Rowohlts Monographien, 50481), ISBN 3-499-50481-2.
- Grattan-Guinness, Ivor, 1997. The Norton History of the Mathematical Sciences. W W Norton.
- Hall, A. R., 1980. Philosophers at War: The Quarrel between Newton and Leibniz. Cambridge University Press.
- Hostler, John, 1975. Leibniz's Moral Philosophy. UK: Duckworth.
- Ishiguro, Hidé 1990. Leibniz's Philosophy of Logic and Language. Cambridge University Press.
- Jolley, Nicholas, ed., 1995. The Cambridge Companion to Leibniz. Cambridge University Press.
- Kaldis, Byron, 2011. Leibniz' Argument for Innate Ideas in Just the Arguments: 100 of the Most Important Arguments in Western Philosophy edited by M Bruce & S Barbone. Blackwell.
- LeClerc, Ivor, ed., 1973. The Philosophy of Leibniz and the Modern World. Vanderbilt University Press.
- Mates, Benson, 1986. The Philosophy of Leibniz: Metaphysics and Language. Oxford University Press.
- Mercer, Christia, 2001. Leibniz's Metaphysics: Its Origins and Development. Cambridge University Press.
- Perkins, Franklin, 2004. Leibniz and China: A Commerce of Light. Cambridge University Press.
- Riley, Patrick, 1996. Leibniz's Universal Jurisprudence: Justice as the Charity of the Wise. Harvard University Press.
- Rutherford, Donald, 1998. Leibniz and the Rational Order of Nature. Cambridge University Press.
- Smith, Justin E. H., 2011. Divine Machines. Leibniz and the Sciences of Life, Princeton University Press.
- Wilson, Catherine, 1989. Leibniz's Metaphysics: A Historical and Comparative Study. Princeton University Press.
- Zalta, E. N. (2000). "A (Leibnizian) Theory of Concepts" (PDF). Philosophiegeschichte und logische Analyse / Logical Analysis and History of Philosophy. 3: 137–183.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
|Wikimedia Commons has media related to Gottfried Wilhelm Leibniz.|
|Wikisource has original works written by or about:
|Wikiquote has quotations related to: Gottfried Wilhelm Leibniz|
- Works by Gottfried Wilhelm Leibniz at Project Gutenberg
- Works by Gottfried Wilhelm Leibniz at LibriVox (public domain audiobooks)
- Brandon C. Look. "Gottfried Wilhelm Leibniz". Stanford Encyclopedia of Philosophy.<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>
- Gottfried Leibniz: Metaphysics entry by Douglas Burnham in the Internet Encyclopedia of Philosophy
- Gottfried Leibniz: Causation entry by Laurence Carlin in the Internet Encyclopedia of Philosophy
- Leibniz: Logic entry by Wolfgang Lenzen in the Internet Encyclopedia of Philosophy
- O'Connor, John J.; Robertson, Edmund F., "Gottfried Wilhelm Leibniz", MacTutor History of Mathematics archive, University of St Andrews<templatestyles src="Module:Citation/CS1/styles.css"></templatestyles>.
- Gottfried Wilhelm Leibniz at the Mathematics Genealogy Project
- Translations by Jonathan Bennett, of the New Essays, the exchanges with Bayle, Arnauld and Clarke, and about 15 shorter works.
- Gottfried Wilhelm Leibniz: Texts and Translations, compiled by Donald Rutherford, UCSD
- Leibnitiana, links and resources edited by Gregory Brown, University of Houston
- Philosophical Works of Leibniz translated by G.M. Duncan (1890)
- The Best of All Possible Worlds: Nicholas Rescher Talks About Gottfried Wilhelm von Leibniz's "Versatility and Creativity"
- "Protogæa" (1693, Latin, in Acta eruditorum) - Linda Hall Library
- Protogaea (1749, German) - full digital facsimile from Linda Hall Library
- Leibniz' arithmetical machine, 1710, online and analyzed on BibNum [click 'à télécharger' for English analysis]