Gottfried Wilhelm Leibniz

Gottfried Wilhelm Leibniz (also known as Leibnitz; 1 July 1646 [O.S. 21 June] – 14 November 1716) was a German polymath whose diverse activities encompassed mathematics, philosophy, science, and diplomacy. He is recognized, alongside Isaac Newton, for independently developing calculus, in addition to making significant contributions to other mathematical fields like binary arithmetic and statistics. Often referred to as the "last universal genius," Leibniz possessed extensive knowledge across numerous disciplines, a breadth of expertise that became uncommon after his era due to the advent of the Industrial Revolution and the rise of specialized labor. His influence is particularly notable in both the history of philosophy and the history of mathematics. His prolific writings covered subjects such as philosophy, theology, ethics, politics, law, history, philology, games, and music, among other areas of study. Furthermore, Leibniz made substantial advancements in physics and technology, and he foresaw concepts that would emerge considerably later in fields including probability theory, biology, medicine, geology, psychology, linguistics, and computer science.

Gottfried Wilhelm Leibniz (or Leibnitz; 1 July 1646 [O.S. 21 June] – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist, and diplomat who is credited, alongside Isaac Newton, with the creation of calculus in addition to many other branches of mathematics, such as binary arithmetic and statistics. Leibniz has been called the "last universal genius" due to his vast expertise across fields, which became a rarity after his lifetime with the coming of the Industrial Revolution and the spread of specialized labour. He is a prominent figure in both the history of philosophy and the history of mathematics. He wrote works on philosophy, theology, ethics, politics, law, history, philology, games, music, and other studies. Leibniz also made major contributions to physics and technology, and anticipated notions that surfaced much later in probability theory, biology, medicine, geology, psychology, linguistics and computer science.

In library science, Leibniz developed a cataloging system at the Herzog August Library in Wolfenbüttel, Germany, which subsequently became a foundational model for numerous major European libraries. His extensive contributions across diverse subjects were disseminated through various scholarly journals, tens of thousands of letters, and numerous unpublished manuscripts. He authored his works in multiple languages, predominantly Latin, French, and German.

Philosophically, he stood as a preeminent exponent of 17th-century rationalism and idealism. In mathematics, his primary accomplishment was the independent development of differential and integral calculus, concurrent with Newton's work. Leibniz's notational system for calculus has gained preference as the standard and more precise method of expression. Beyond his calculus contributions, he is also credited with conceiving the modern binary number system, which underpins contemporary communications and digital computing, despite English astronomer Thomas Harriot having developed a similar system decades earlier. As early as 1679, he conceptualized the field of combinatorial topology and played a role in initiating fractional calculus.

During the 20th century, Leibniz's concepts of the law of continuity and the transcendental law of homogeneity were rigorously formulated mathematically through non-standard analysis. He also pioneered advancements in mechanical calculators. In his efforts to integrate automatic multiplication and division into Pascal's calculator, he became the first to describe a pinwheel calculator in 1685 and invented the Leibniz wheel, a component subsequently utilized in the arithmometer, which was the first mass-produced mechanical calculator.

Within philosophy and theology, Leibniz is primarily recognized for his optimism, specifically his assertion that this world is, in a qualified sense, the optimal world God could have created. This perspective was occasionally satirized by other intellectuals, notably Voltaire in his novella Candide. He is counted among the three most influential early modern rationalists, alongside René Descartes and Baruch Spinoza. His philosophical framework also incorporated elements from the scholastic tradition, particularly the premise that substantial knowledge of reality can be derived through reasoning from first principles or established definitions. Leibniz's work foreshadowed modern logic and continues to influence contemporary analytic philosophy, exemplified by its adoption of the term possible world to delineate modal concepts.

Biographical Overview

Early Life and Education

Gottfried Leibniz was born on 1 July [O.S. 21 June] 1646, in Leipzig, then part of the Electorate of Saxony within the Holy Roman Empire (present-day Saxony, Germany). His parents were Friedrich Leibniz (1597–1652) and Catharina Schmuck (1621–1664). He was baptized two days later at St. Nicholas Church in Leipzig, with the Lutheran theologian Martin Geier serving as his godfather. Following his father's death when Leibniz was six, he was subsequently raised by his mother.

Leibniz's father, a Professor of Moral Philosophy and Dean of Philosophy at the University of Leipzig, bequeathed his personal library to his son. Leibniz gained unrestricted access to this collection from the age of seven, shortly after his father's passing. Although his formal schooling focused on a limited set of established texts, the extensive library allowed him to delve into a diverse array of advanced philosophical and theological works, which would typically be inaccessible until university. This exposure, particularly to texts predominantly in Latin, fostered his mastery of the language by the age of 12. Remarkably, at 13, he composed 300 hexameters of Latin verse in a single morning for a school event.

In April 1661, at the age of 14, Leibniz matriculated at the University of Leipzig, his father's alma mater. Among his mentors there was Jakob Thomasius, a former student of Friedrich. He completed his Bachelor of Philosophy degree in December 1662. On June 9, 1663 [O.S. May 30], he successfully defended his Disputatio Metaphysica de Principio Individui (transl. Metaphysical Disputation on the Principle of Individuation), a work that explored the principle of individuation and introduced an early formulation of monadic substance theory. Leibniz was awarded his Master of Philosophy degree on February 7, 1664. In December 1664, he published and defended the dissertation Specimen Quaestionum Philosophicarum ex Jure collectarum (transl. An Essay of Collected Philosophical Problems of Right), which posited both a theoretical and pedagogical connection between philosophy and law. Following a year of legal studies, he obtained his Bachelor of Law degree on September 28, 1665, with a dissertation titled De conditionibus (transl. On Conditions).

In early 1666, at the age of 19, Leibniz authored his inaugural book, De Arte Combinatoria (transl. On the Combinatorial Art). The initial section of this work also served as his habilitation thesis in Philosophy, which he successfully defended in March 1666. De Arte Combinatoria drew inspiration from Ramon Llull's Ars Magna and included a geometrically formulated proof for the existence of God, derived from the argument from motion.

Leibniz's subsequent academic objective was to acquire his license and Doctorate in Law, a qualification typically necessitating three years of study. However, in 1666, the University of Leipzig rejected his doctoral application and declined to confer upon him a Doctorate in Law, most probably attributing this decision to his young age. Consequently, Leibniz departed from Leipzig.

Leibniz subsequently enrolled at the University of Altdorf, where he promptly submitted a thesis, likely developed during his earlier time in Leipzig. This thesis was titled Disputatio Inauguralis de Casibus Perplexis in Jure (transl. Inaugural Disputation on Ambiguous Legal Cases). In November 1666, Leibniz successfully obtained both his license to practice law and his Doctorate in Law. He subsequently declined an offer for an academic appointment at Altdorf, stating that "my thoughts were turned in an entirely different direction".

In his adult life, Leibniz frequently presented himself as "Gottfried von Leibniz". Numerous posthumously published editions of his works displayed his name on the title page as "Freiherr G. W. von Leibniz." Nevertheless, no contemporary governmental record has been discovered that substantiates his conferral of any noble title.

1666–1676

Leibniz's initial employment was as a salaried secretary for an alchemical society in Nuremberg. Despite possessing limited knowledge of alchemy at the time, he presented himself as highly proficient. He subsequently encountered Johann Christian von Boyneburg (1622–1672), the former chief minister to Johann Philipp von Schönborn, the Elector of Mainz. Von Boyneburg engaged Leibniz as an assistant and, following his reconciliation with the Elector, introduced Leibniz to him. Leibniz then dedicated a legal essay to the Elector, strategically seeking employment. This maneuver proved successful; the Elector enlisted Leibniz to aid in revising the Electorate's legal code. By 1669, Leibniz had been appointed assessor in the Court of Appeal. Although von Boyneburg passed away in late 1672, Leibniz continued in the service of his widow until his dismissal in 1674.

Von Boyneburg significantly advanced Leibniz's reputation, leading to favorable recognition of Leibniz's memoranda and correspondence. Following his service to the Elector, Leibniz transitioned into a diplomatic role, publishing an essay under a fictitious Polish nobleman's pseudonym, which unsuccessfully advocated for the German candidate to the Polish throne. During Leibniz's adult life, Louis XIV's ambitions, supported by French military and economic power, constituted the primary force in European geopolitics. Concurrently, the Thirty Years' War had left German-speaking Europe depleted, fragmented, and economically underdeveloped. Leibniz proposed a strategy to safeguard German-speaking Europe by diverting Louis XIV: France would be encouraged to seize Egypt as a preliminary step toward an eventual conquest of the Dutch East Indies. In exchange, France would commit to leaving Germany and the Netherlands undisturbed. This proposal garnered the Elector's cautious endorsement. In 1672, the French government invited Leibniz to Paris for discussions, but the plan quickly became obsolete with the onset of the Franco-Dutch War. Napoleon's unsuccessful invasion of Egypt in 1798 can be viewed as an unintentional, belated execution of Leibniz's concept, occurring after colonial dominance in the Eastern Hemisphere had already shifted from the Dutch to the British.

Consequently, Leibniz traveled to Paris in 1672. Shortly after his arrival, he encountered the Dutch physicist and mathematician Christiaan Huygens, which prompted him to recognize deficiencies in his own mathematical and physical knowledge. Under Huygens' mentorship, Leibniz embarked on a rigorous self-study regimen that rapidly propelled him to make substantial contributions to both fields, including the independent discovery of his version of differential and integral calculus. He engaged with Nicolas Malebranche and Antoine Arnauld, prominent French philosophers of that era, and meticulously studied both the published and unpublished works of Descartes and Pascal. Furthermore, he established a lasting friendship with the German mathematician Ehrenfried Walther von Tschirnhaus, maintaining correspondence with him throughout their lives.

When it became evident that France would not proceed with its part of Leibniz's Egyptian strategy, the Elector dispatched his nephew, accompanied by Leibniz, on a related diplomatic mission to the English government in London in early 1673. While in London, Leibniz met Henry Oldenburg and John Collins. He also presented a calculating machine, which he had designed and been constructing since 1670, to the Royal Society. This device was capable of performing all four fundamental arithmetic operations—addition, subtraction, multiplication, and division—leading the society to promptly admit him as an external member.

The mission concluded abruptly upon receiving news of the Elector's death on February 12, 1673. Leibniz immediately returned to Paris, rather than to Mainz as originally intended. The simultaneous deaths of his two patrons within the same winter necessitated that Leibniz secure a new foundation for his professional career.

In this context, a 1669 invitation from Duke John Frederick of Brunswick to Although Leibniz had initially declined the invitation, he commenced correspondence with the duke in 1671. By 1673, the duke formally offered Leibniz the position of counsellor. Leibniz accepted this role with considerable reluctance two years later, in 1675, only after it became clear that no employment opportunities were forthcoming in Paris, whose intellectual vibrancy he greatly valued, or with the Habsburg imperial court.

In 1675, he sought admission to the French Academy of Sciences as a foreign honorary member; however, his application was denied on the grounds that the academy already had a sufficient number of foreign members, and thus no invitation was extended. He departed Paris in October 1676.

House of Hanover, 1676–1716

Leibniz successfully postponed his arrival in Hanover until the close of 1676, undertaking one final brief journey to London. During this visit, Isaac Newton accused him of having prior access to his unpublished work on calculus, an allegation later cited decades afterward as evidence supporting the claim that Leibniz had plagiarized calculus from Newton. En route from London to Hanover, Leibniz made a stop in The Hague, where he met Antonie van Leeuwenhoek, the pioneering discoverer of microorganisms. He also engaged in several days of intensive discussions with Baruch Spinoza, who had recently completed, but not yet published, his magnum opus, the Ethics. Spinoza passed away very shortly after Leibniz's visit.

In 1677, Leibniz received a promotion, at his own request, to the position of Privy Counselor of Justice, a role he maintained throughout his remaining life. He provided service to three successive rulers of the House of Brunswick, fulfilling roles as a historian, political consultant, and, most significantly, as the librarian of the ducal collection. Subsequently, he dedicated his writing to a wide array of political, historical, and theological issues pertinent to the House of Brunswick; the documents produced from this work constitute a significant component of the historical archives for that era.

Leibniz initiated advocacy for a project aimed at enhancing mining operations in the Harz mountains through the application of windmills. This endeavor proved largely ineffective in improving mining efficiency and was consequently terminated by Duke Ernst August in 1685.

Among the limited individuals in northern Germany who embraced Leibniz's ideas were Electress Sophia of Hanover (1630–1714), her daughter Sophia Charlotte of Hanover, Queen in Prussia (1668–1705), who was an acknowledged follower, and Caroline of Ansbach, the consort of Electress Sophia's grandson, the future George II. For each of these women, he served as a correspondent, counselor, and confidant. Conversely, their approval of Leibniz surpassed that of their respective spouses and the future King George I of Great Britain.

Hanover's population, approximately 10,000, and its provincial character ultimately became a source of irritation for Leibniz. Despite this, holding a prominent position as a courtier to the House of Brunswick constituted a considerable honor, particularly given the rapid increase in the House's prestige during Leibniz's tenure. By 1692, the Duke of Brunswick had attained the status of a hereditary Elector within the Holy Roman Empire. The British Act of Settlement of 1701 formally designated Electress Sophia and her lineage as the royal family of England, contingent upon the deaths of both King William III and his sister-in-law and successor, Queen Anne. Leibniz participated in the preliminary initiatives and negotiations that culminated in this Act, though his efforts were not consistently efficacious. For instance, an anonymous publication he released in England, intended to advance the Brunswick interest, received formal censure from the British Parliament.

The House of Brunswick permitted Leibniz's extensive dedication to intellectual endeavors distinct from his courtly responsibilities, including the refinement of calculus, contributions to other areas of mathematics, logic, physics, and philosophy, and the maintenance of an extensive correspondence. His work on calculus commenced in 1674, with the initial evidence of its application appearing in his extant notebooks in 1675. By 1677, he had developed a cohesive system, though its publication did not occur until 1684. Leibniz's most significant mathematical treatises were disseminated between 1682 and 1692, primarily through the journal Acta Eruditorum, which he co-founded with Otto Mencke in 1682. This publication was instrumental in advancing his mathematical and scientific standing, which subsequently augmented his prominence in diplomacy, history, theology, and philosophy.

Elector Ernest Augustus commissioned Leibniz to compose a history of the House of Brunswick, tracing its origins to the era of Charlemagne or earlier, with the expectation that the resulting publication would further his dynastic aspirations. Between 1687 and 1690, Leibniz undertook extensive travels across Germany, Austria, and Italy, diligently searching for and locating archival documents relevant to this undertaking. Despite the passage of decades, the historical work remained unproduced; the subsequent Elector expressed considerable displeasure regarding Leibniz's perceived procrastination. Leibniz ultimately failed to complete the project, partly due to his prodigious output across numerous other fields, but also because he insisted on crafting a meticulously researched and scholarly volume based on primary archival sources, whereas his patrons would have been content with a concise, accessible book, perhaps little more than a commented genealogy, deliverable within three years or less. In 1691, Leibniz received an appointment as Librarian of the Herzog August Library in Wolfenbüttel, Lower Saxony. The publication of three volumes of the Scriptores rerum Brunsvicensium occurred between 1707 and 1711.

In 1708, John Keill, contributing to the journal of the Royal Society and presumably with Newton's endorsement, leveled an accusation against Leibniz, alleging plagiarism of Newton's calculus. This event initiated the calculus priority dispute, a controversy that overshadowed the remainder of Leibniz's existence. A subsequent formal inquiry by the Royal Society (wherein Newton participated without official acknowledgment), conducted in response to Leibniz's request for a retraction, affirmed Keill's allegation. Conversely, historians of mathematics writing since approximately 1900 have generally exonerated Leibniz, highlighting significant distinctions between his and Newton's formulations of calculus.

Leibniz commenced a two-year residency in Vienna in 1712, during which he served as Imperial Court Councillor to the Habsburgs. Following Queen Anne's demise in 1714, Elector George Louis ascended to the British throne as King George I, in accordance with the 1701 Act of Settlement. Despite Leibniz's significant contributions to this succession, it did not lead to his personal advancement. King George I, even with the intervention of Caroline of Ansbach, the Princess of Wales, prohibited Leibniz from joining his London court until the philosopher completed at least one volume of the Brunswick family history, a project commissioned by his father nearly three decades prior. Furthermore, integrating Leibniz into the London court would have been perceived as an affront to Newton, who was widely considered the victor in the calculus priority dispute and held an esteemed position within British official circles. Concurrently, his close friend and advocate, Dowager Electress Sophia, passed away in 1714. In 1716, during his travels in northern Europe, Tsar Peter the Great of Russia encountered Leibniz in Bad Pyrmont; Leibniz had developed an interest in Russian affairs since 1708 and had been appointed an advisor in 1711.

Demise

Leibniz passed away in Hanover in 1716 and was subsequently interred in the New Town Church (Neustädter Kirche). At the time of his death, he had fallen into such disfavor that his funeral was attended solely by his personal secretary, with neither King George I (who was in the vicinity of Hanover) nor any other courtier present. Despite his lifetime membership in both the Royal Society and the Berlin Academy of Sciences, neither institution formally acknowledged his passing. His burial site remained unmarked for over five decades. Nevertheless, Fontenelle delivered a eulogy for Leibniz before the French Academy of Sciences in Paris, an institution that had elected him as a foreign member in 1700. This commendation was commissioned by the Duchess of Orleans, a niece of Electress Sophia.

Private Life

Leibniz remained unmarried throughout his life. At the age of 50, he proposed to an unidentified woman but rescinded his offer due to her protracted deliberation. Although he occasionally expressed financial concerns, the substantial inheritance bequeathed to his sole heir, his sister's stepson, indicated that the Brunswick family had compensated him adequately. In his diplomatic activities, he sometimes exhibited a lack of scruple, a characteristic not uncommon among professional diplomats of his era. Notably, Leibniz was found to have backdated and modified personal manuscripts on multiple occasions, actions that negatively impacted his reputation during the calculus controversy.

Leibniz possessed a charming demeanor, refined manners, and a notable sense of humor and imagination. He cultivated numerous friendships and garnered admirers across Europe. He was recognized as a Protestant and a philosophical theist, maintaining a steadfast commitment to Trinitarian Christianity throughout his existence.

Philosophical Contributions

Leibniz's philosophical framework often appears disparate, primarily because his philosophical output comprises a diverse collection of shorter works, including journal articles, posthumously published manuscripts, and extensive correspondence. While he authored two comprehensive philosophical treatises, only the Théodicée ('theodicy'), completed in 1710, saw publication during his lifetime.

Leibniz identified the commencement of his philosophical career with his Discourse on Metaphysics, written in 1686 as a critical response to an ongoing debate between Nicolas Malebranche and Antoine Arnauld. This work initiated a substantial correspondence with Arnauld; however, both the Discourse and the correspondence remained unpublished until the 19th century. His formal introduction to European philosophical discourse occurred in 1695 with the journal article "New System of the Nature and Communication of Substances." From 1695 to 1705, he developed his New Essays on Human Understanding, an extensive critique of John Locke's 1690 work, An Essay Concerning Human Understanding. Nevertheless, upon learning of Locke's death in 1704, Leibniz decided against its publication, resulting in the New Essays not being released until 1765. The Monadologie, composed in 1714 and published posthumously, comprises 90 aphorisms.

Leibniz authored a concise treatise, "Primae veritates" ('first truths'), initially published by Louis Couturat in 1903, which encapsulated his metaphysical perspectives. Although the paper lacked a date, its composition in Vienna during 1689 was established only in 1999. This determination arose from the continuous historical-critical scholarly editing of Leibniz's collected works, undertaken by the editorial project Gottfried Wilhelm Leibniz: Sämtliche Schriften und Briefe ('Gottfried Wilhelm Leibniz: Complete Writings and Letters'), colloquially known as the Leibniz-Edition ('Leibniz edition'), which ultimately published Leibniz's philosophical texts spanning the years 1677–1690. Couturat's interpretation of this document significantly shaped 20th-century scholarship on Leibniz, particularly within analytic philosophy. Following a thorough examination of all Leibniz's philosophical works predating 1688, informed by the 1999 additions to the Leibniz-Edition, Mercer (2001) challenged Couturat's interpretation.

In 1676, Leibniz encountered Baruch Spinoza, perused some of his unreleased manuscripts, and assimilated certain Spinozan concepts. Despite forming a friendship with Spinoza and acknowledging his formidable intellect, Leibniz expressed concern regarding Spinoza's conclusions, particularly those diverging from Christian orthodoxy.

In contrast to Descartes and Spinoza, Leibniz pursued a formal university education in philosophy. His Leipzig professor, Jakob Thomasius, who also oversaw his Bachelor of Arts thesis in philosophy, significantly influenced him. Leibniz additionally studied the works of Francisco Suárez, a Spanish Jesuit whose scholarship garnered respect even within Lutheran academic institutions. While profoundly engaged with the novel methodologies and findings of Descartes, Huygens, Newton, and Boyle, Leibniz's interpretations of their contributions were shaped by the foundational philosophical tenets of his own education.

Philosophical Principles

Leibniz frequently referenced one or more of seven foundational philosophical principles:

• Principle of Identity and Contradiction. This principle asserts that if a proposition holds true, its negation must be false, and conversely.
• Principle of the Identity of Indiscernibles. This principle posits that two distinct entities cannot share all their properties. Specifically, if every predicate applicable to x is also applicable to y, and vice versa, then x and y are considered identical; to assume two things are indiscernible is to effectively refer to the same entity by different designations. The concept of the "identity of indiscernibles" is a recurring theme in contemporary logic and philosophy. It has, however, garnered significant debate and critique, particularly from the perspectives of corpuscular philosophy and quantum mechanics. Its converse, frequently termed Leibniz's law or the indiscernibility of identicals, generally remains undisputed.
• Principle of Sufficient Reason. This principle states: "A sufficient reason must exist for anything to exist, for any event to transpire, and for any truth to be valid."
• Principle of Pre-established Harmony. As articulated in Discourse on Metaphysics (XIV), this principle posits that "[T]he inherent nature of each substance ensures that its occurrences correspond to those of all other substances, yet without direct interaction between them." For instance, a dropped glass shatters not due to the physical impact compelling its fragmentation, but because its intrinsic nature "anticipates" and corresponds to the event of striking the ground.
• Principle of the Law of Continuity. Expressed in the Latin maxim Natura non facit saltus, which translates literally as 'lit.'Nature does not make jumps''.
• Principle of Optimism. This principle asserts that "God invariably selects the optimal course of action."
• Principle of Plenitude. Leibniz posited that the optimal of all conceivable worlds would manifest every authentic possibility. In his Théodicée, he contended that this supreme world encompasses all possibilities, and that humanity's limited temporal experience offers no basis to challenge the inherent perfection of nature.

While Leibniz occasionally provided rational justifications for particular principles, he more frequently assumed their validity.

Monads

Leibniz's most renowned metaphysical contribution is his theory of monads, articulated in Monadologie. This theory posits that the universe comprises an infinite multitude of simple substances, termed monads. Monads bear resemblance to the corpuscles found in the mechanical philosophy of René Descartes and other thinkers. These fundamental substances, or monads, represent the "ultimate units of existence in nature." Lacking constituent parts, monads derive their existence from their inherent qualities. These qualities undergo continuous temporal transformation, rendering each monad distinct. Furthermore, they remain impervious to temporal effects, being subject solely to creation and annihilation. Monads function as centers of force, asserting that substance itself is force, whereas space, matter, and motion are purely phenomenal manifestations. Contesting Newton's views, Leibniz contended that space, time, and motion are entirely relative, stating: "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." Albert Einstein, who identified as a "Leibnizian," asserted in the introduction to Max Jammer's work Concepts of Space that Leibnizian philosophy surpassed Newtonianism, suggesting that Leibniz's concepts would have prevailed over Newton's had contemporary technological limitations not existed; Joseph Agassi posits that Leibniz's work laid foundational groundwork for Einstein's theory of relativity.

Leibniz's argument for the existence of God is comprehensively presented in Théodicée. Rational thought is fundamentally guided by the principle of contradiction and the principle of sufficient reason. Employing these principles of reasoning, Leibniz deduced that God constitutes the ultimate reason for all existence. Everything observable and experiential is subject to flux, and the contingent nature of this world is explicable by the potential for its alternative spatial and temporal configurations. Consequently, the contingent world necessitates a fundamental, necessary reason for its being. To elucidate his reasoning, Leibniz employs the analogy of a geometry textbook. He argues that even if such a book were derived from an infinite succession of copies, an underlying reason for its content would still be required. From this, Leibniz concluded the necessity of the "monas monadum," or God.

The ontological core of a monad resides in its irreducible simplicity. In contrast to atoms, monads lack any material or spatial attributes. A further distinction from atoms is their absolute mutual independence, rendering any perceived interactions among monads merely phenomenal. Rather, through the principle of pre-established harmony, each monad adheres to a unique, pre-programmed set of "instructions," thereby "knowing" its actions at every instant. Owing to these intrinsic directives, each monad functions as a microcosmic reflection of the universe. Monads are not necessarily "small"; for instance, each human being can be considered a monad, which introduces complexities regarding free will.

Monads are posited to resolve the following philosophical difficulties:

• The problem of mind-matter interaction, as presented in Descartes' philosophical system.
• The inherent lack of individuation within Spinoza's system, which characterizes individual entities as merely accidental.

Theodicy and Optimism

The Théodicée endeavors to rationalize the world's apparent imperfections by asserting its optimality among all conceivable worlds. This world is necessarily the best possible and most harmonized, given its creation by an omnipotent and omniscient God, who would not elect to create an imperfect world if a superior alternative were knowable or feasible. Consequently, any discernible flaws within this world must inherently exist in every possible world; otherwise, God would have opted to create a world devoid of such imperfections.

Leibniz posited that theological and philosophical truths are inherently non-contradictory, arguing that both reason and faith originate as "gifts of God," thus any conflict between them would suggest divine self-contention. His work, Théodicée, represents an endeavor to harmonize his individual philosophical framework with his understanding of Christian doctrines. This undertaking was partly driven by Leibniz's conviction, prevalent among many Enlightenment philosophers and theologians, regarding the rational and enlightened character of Christianity. Furthermore, it was influenced by his belief in the perfectibility of human nature, contingent upon humanity's adherence to sound philosophy and religion, and by his assertion that metaphysical necessity must possess a rational or logical basis, even when such causality appeared inexplicable through physical necessity, as defined by scientific natural laws.

Leibniz maintained that the complete reconciliation of reason and faith necessitates the rejection of any religious tenet indefensible by rational inquiry. He subsequently addressed a core critique of Christian theism: the paradox of evil's existence in a world governed by an omnibenevolent, omniscient, and omnipotent God. Leibniz's response posited that while God possesses infinite wisdom and power, human beings, as created entities, are inherently limited in both their wisdom and volitional capacity. This inherent limitation renders humanity susceptible to erroneous beliefs, flawed judgments, and ineffectual actions when exercising free will. God, therefore, does not arbitrarily impose pain and suffering; instead, he permits both moral evil (sin) and physical evil (pain and suffering) as the inevitable outcomes of metaphysical evil (imperfection). These evils serve as mechanisms for humans to recognize and rectify their mistaken choices, and as a necessary contrast to genuine good.

Furthermore, while human actions originate from antecedent causes ultimately rooted in God, thus being metaphysically certain and known to the divine, individual free will operates within the framework of natural laws. Within this framework, choices are merely contingently necessary, ultimately determined by a "wonderful spontaneity" that offers individuals an exemption from strict predestination.

Discourse on Metaphysics

Leibniz asserted that "God is an absolutely perfect being." He further elaborated on this perfection in section VI, characterizing it as the simplest form yielding the most substantial outcome (VI). Consequently, he declared that every conceivable type of perfection "pertains to him (God) in the highest degree" (I). Although Leibniz did not explicitly enumerate specific categories of perfection, he emphasized a criterion that, for him, unequivocally identifies imperfections and thereby affirms God's perfection: "that one acts imperfectly if he acts with less perfection than he is capable of." Given God's perfect nature, he is incapable of imperfect action (III). This premise implies that all divine decisions concerning the world must be perfect. Leibniz also offered reassurance, stating that because God acts with the utmost perfection, those who love him cannot suffer harm. Nevertheless, loving God presents a challenge, as Leibniz contended that humans are "not disposed to wish for that which God desires" due to their capacity to modify their own inclinations (IV). While many individuals may act in defiance, Leibniz concluded that genuine love for God is attainable only through contentment "with all that comes to us according to his will" (IV).

Leibniz posits that God, being "an absolutely perfect being" (I), would inherently act imperfectly if His actions fell short of His full capabilities (III). Consequently, his syllogism concludes that God created the world with absolute perfection. This perspective also influences the appropriate understanding of God and His divine will. Leibniz asserts that, concerning God's will, one must recognize God as "the best of all masters," who comprehends the success of His benevolent intentions; thus, humanity is obligated to conform to His good will, to the extent it is comprehensible (IV). Regarding the perception of God, Leibniz cautions against admiring His creation solely due to its creator, as this approach risks diminishing divine glory and genuine love for God. Instead, the creator should be admired for the excellence of His work (II). Leibniz further argues that if the goodness of the Earth is attributed solely to God's will, rather than to objective standards of goodness, then praising God for His actions becomes problematic, as contradictory actions could also be deemed praiseworthy under such a definition (II). He subsequently contends that fundamental principles and geometry do not originate merely from God's will, but rather derive from His intrinsic understanding.

Leibniz famously posed the question: "Why is there something rather than nothing?" He then asserted that "The sufficient reason ... is found in a substance which ... is a necessary being bearing the reason for its existence within itself." Martin Heidegger subsequently characterized this inquiry as "the fundamental question of metaphysics."

Symbolic Thought and the Rational Resolution of Disputes

Leibniz posited that a significant portion of human reasoning could be formalized into a type of calculation, and that such computational methods possessed the capacity to resolve numerous disagreements :

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, without further ado, to see who is right.

Leibniz's calculus ratiocinator, an early precursor to symbolic logic, can be understood as a methodology designed to render such calculations practicable. Leibniz authored numerous memoranda, which are now interpreted as foundational explorations toward establishing symbolic logic and, consequently, his calculus. These texts remained unpublished until Carl Immanuel Gerhardt edited and released a selection in 1859. Louis Couturat subsequently published another selection in 1901, by which point Charles Sanders Peirce and Gottlob Frege had already established the primary advancements in modern logic.

Leibniz considered symbols to be fundamentally important for human cognition. He ascribed such profound significance to the development of effective notations that he credited them with all his mathematical discoveries. His innovative notation for calculus exemplifies his proficiency in this area. Leibniz's profound interest in symbols and notation, coupled with his conviction that they are indispensable for robust logic and mathematics, positioned him as a forerunner of semiotics.

Leibniz, however, extended his theoretical explorations considerably. He defined a "character" as any written sign, and subsequently distinguished a "real" character as one that directly signifies an idea, rather than merely representing the word that embodies it. Certain real characters, such as logical notation, primarily function to streamline reasoning processes. He classified numerous characters prevalent in his era, including Egyptian hieroglyphics, Chinese characters, and symbols from astronomy and chemistry, as not "real." Instead, he advocated for the development of a characteristica universalis, or 'universal characteristic,' conceived as an alphabet of human thought wherein each fundamental concept would be denoted by a distinct '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 ideas would be represented through the combination of characters denoting simpler concepts. Leibniz recognized that the unique nature of prime factorization implied a pivotal function for prime numbers within the universal characteristic, a remarkable foreshadowing of Gödel numbering. However, it is acknowledged that no intuitive or mnemonic method exists for assigning prime numbers to a given set of elementary concepts.

Initially, as a mathematical novice, Leibniz did not conceptualize the characteristic as an algebraic system but rather as a universal language or script. It was not until 1676 that he developed the concept of an "algebra of thought," which was modeled on and incorporated conventional algebra and its notation. This resultant characteristic encompassed a logical calculus, combinatorics, algebra, his analysis situs (a geometry of situation), and a universal concept language, among other elements. The precise intentions behind Leibniz's characteristica universalis and calculus ratiocinator, and the degree to which contemporary formal logic accurately reflects this calculus, remain subjects of ongoing scholarly debate. Leibniz's vision of reasoning through a universal symbolic language and computational methods remarkably anticipated significant 20th-century advancements in formal systems, such as Turing completeness, where computation served to define equivalent universal languages.

Formal logic

Leibniz is recognized as one of the most significant logicians in the historical period spanning from Aristotle to Gottlob Frege. He articulated the fundamental properties of concepts now known as conjunction, disjunction, negation, identity, set inclusion, and the empty set. The foundational tenets of Leibniz's logic, and arguably his entire philosophical framework, can be distilled into two primary principles:

1. All human ideas are composed of a limited set of simple ideas, which collectively constitute the fundamental 'alphabet' of human cognition.
2. Complex ideas emerge from these simple components through a consistent and symmetrical combination process, akin to arithmetical multiplication.

Formal logic, as it developed in the early 20th century, necessitates, at a minimum, unary negation and quantified variables that operate across a defined universe of discourse.

Leibniz did not publish any works on formal logic during his lifetime; the majority of his contributions to this field exist as working drafts. Bertrand Russell, in his History of Western Philosophy, asserted that Leibniz's unpublished logical developments had achieved a sophistication not paralleled for another two centuries.

Russell's seminal research on Leibniz revealed that many of Leibniz's most striking philosophical concepts and assertions (e.g., the idea that each fundamental monad reflects the entire universe) derive logically from his deliberate decision to dismiss relations between entities as lacking reality. Instead, he considered such relations to be inherent qualities of individual things (as Leibniz exclusively recognized unary predicates). For instance, the statement "Mary is the mother of John" would, in his view, describe distinct qualities pertaining to Mary and to John. This perspective diverges from the relational logic advanced by De Morgan, Peirce, Schröder, and Russell himself, which is now standard in predicate logic. Significantly, Leibniz also posited that space and time were fundamentally relational.

Leibniz's 1690 formulation of his algebra of concepts, which is deductively equivalent to Boolean algebra, along with its related metaphysical implications, holds contemporary relevance in the field of computational metaphysics.

Mathematics

While the mathematical concept of a function was implicitly present in the trigonometric and logarithmic tables of his era, Leibniz was the first to explicitly utilize it, in 1692 and 1694, to designate various geometric concepts derived from curves, including abscissa, ordinate, tangent, chord, and the perpendicular. During the 18th century, the term "function" gradually shed these specific geometrical connotations. Leibniz also distinguished himself as a pioneer in actuarial science, undertaking calculations for the purchase price of life annuities and the settlement of state debts.

Leibniz's investigations into formal logic, which also bear relevance to mathematics, are addressed previously. A comprehensive overview of Leibniz's works on calculus is provided by Bos (1974).

Leibniz, credited with inventing one of the earliest mechanical calculators, articulated his perspective on computation, stating: "For it is unworthy of excellent men to lose hours like slaves in the labour of calculation which could safely be relegated to anyone else if machines were used."

Linear systems

Leibniz organized the coefficients of linear equation systems into arrays, now known as matrices, to determine potential solutions. This approach subsequently became known as Gaussian elimination. Leibniz established the foundational principles and theory of determinants; however, the Japanese mathematician Seki Takakazu independently made similar discoveries. His writings illustrate the computation of determinants through cofactors. The method of calculating determinants using cofactors is termed the Leibniz formula. However, applying this method to find the determinant of a large n matrix is impractical, as it necessitates the calculation of n! products and the enumeration of n-permutations. Leibniz also employed determinants to solve systems of linear equations, a technique now referred to as Cramer's rule. Leibniz developed this determinant-based method for solving linear systems in 1684, predating Gabriel Cramer's publication of similar findings in 1750. Despite Gaussian elimination requiring ${\displaystyle O(n^{3})}$ arithmetic operations, contemporary linear algebra curricula typically introduce cofactor expansion prior to LU factorization.

Geometry

The Leibniz formula for π is expressed as:

§67§ − §1718§ §1920§ + §3132§ §3334§ − §4647§ §4849§ + ⋯ = π §7273§ . {\displaystyle 1\,-\,{\frac {1}{3}}\,+\,{\frac {1}{5}}\,-\,{\frac {1}{7}}\,+\,\cdots \,=\,{\frac {\pi }{4}}.}

Leibniz posited that circles "can most simply be expressed by this series, that is, the aggregate of fractions alternately added and subtracted." Nevertheless, this formula achieves accuracy only with a substantial number of terms; for instance, 10,000,000 terms are required to approximate the value of ⁠π/§89§⁠ correctly to eight decimal places. Leibniz endeavored to formulate a definition for a straight line concurrently with his efforts to prove the parallel postulate. Although most mathematicians defined a straight line as the shortest path between two points, Leibniz contended that this represented a characteristic rather than a fundamental definition of a straight line.

Calculus

Leibniz, alongside Isaac Newton, is recognized for the independent invention of calculus, encompassing both differential and integral forms. His notebooks indicate a pivotal advancement on November 11, 1675, when he first utilized integral calculus to determine the area beneath the curve of a function y = f(x). Leibniz also introduced several enduring notations, including the integral sign ∫ (${\displaystyle \displaystyle \int f(x)\,dx}$), which is an elongated 'S' derived from the Latin term summa, and the symbol d for differentials (${\displaystyle {\frac {dy}{dx}}}$), originating from the Latin word differentia. His work on calculus remained unpublished until 1684. In his 1693 publication, Supplementum geometriae dimensoriae..., Leibniz illustrated the inverse relationship between integration and differentiation, a concept subsequently known as the fundamental theorem of calculus. Nevertheless, James Gregory is recognized for the geometric formulation of this theorem, Isaac Barrow provided a more generalized geometric proof, and Newton contributed to the underlying theoretical framework. The concept gained clarity through Leibniz's formalization and innovative notation. The product rule in differential calculus continues to be referred to as "Leibniz's law." Furthermore, the theorem outlining the conditions and method for differentiating under the integral sign is known as the Leibniz integral rule.

In his development of calculus, Leibniz utilized infinitesimals, manipulating them in a manner that implied paradoxical algebraic characteristics. George Berkeley critiqued these methods in his treatises, The Analyst and De Motu. Contemporary research suggests that Leibnizian calculus was internally consistent and possessed a more robust foundation than Berkeley's empiricist critiques acknowledged.

Leibniz introduced the concept of fractional calculus in a 1695 letter to Guillaume de l'Hôpital. Concurrently, Leibniz corresponded with Johann Bernoulli regarding derivatives of "general order." The 1697 correspondence between Leibniz and John Wallis included a discussion of Wallis's infinite product for §89§ §1011§ {\displaystyle {\frac {1}{2}}} π. Leibniz proposed employing differential calculus to derive this outcome. He also utilized the notation d §3435§ / §4041§ y {\displaystyle {d}^{1/2}{y}} to represent a derivative of order §6465§ §6667§ {\displaystyle {\frac {1}{2}}} .

From 1711 until his demise, Leibniz was involved in a contentious dispute with John Keill, Newton, and other individuals concerning the independent invention of calculus relative to Newton.

Karl Weierstrass's adherents generally disapproved of the application of infinitesimals in mathematics; however, this concept persisted in scientific and engineering disciplines, and even within rigorous mathematical frameworks, primarily through the essential computational tool known as the differential. Subsequently, starting in 1960, Abraham Robinson developed a rigorous theoretical basis for Leibniz's infinitesimals, employing model theory within the domain of hyperreal numbers. This development, termed non-standard analysis, is often regarded as a posthumous validation of Leibniz's original mathematical insights. Furthermore, Robinson's transfer principle serves as a mathematical realization of Leibniz's heuristic law of continuity, whereas the standard part function actualizes the Leibnizian transcendental law of homogeneity.

Topology

Leibniz is credited with coining the term analysis situs, which was subsequently adopted in the 19th century to denote the field now recognized as topology. The interpretation of this historical connection, however, presents divergent perspectives. For instance, Mates, referencing a 1954 German publication by Jacob Freudenthal, contends:

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.

Conversely, Hideaki Hirano presents an alternative viewpoint, citing Mandelbrot:

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.

Consequently, the fractal geometry championed by Mandelbrot leveraged Leibniz's concepts of self-similarity and the principle of continuity, encapsulated by the maxim Natura non facit saltus. Furthermore, Leibniz's metaphysical assertion that "the straight line is a curve, any part of which is similar to the whole" foreshadowed topological concepts by over two centuries. Regarding the concept of "packing," Leibniz instructed his friend and correspondent Des Bosses to visualize a circle, then to inscribe three congruent circles of maximum radius within it; these smaller circles could, in turn, be filled with three even smaller circles using an identical procedure. This iterative process, extendable infinitely, provides a clear illustration of self-similarity. The refinement of Euclid's axiom proposed by Leibniz similarly incorporates this concept.

Leibniz conceptualized the domain of combinatorial topology as early as 1679 in his treatise titled Characteristica Geometrica, wherein he "endeavored to articulate fundamental geometric properties of figures, employ specific symbols for their representation, and synthesize these properties through operations to generate novel ones."

Science and Engineering

Contemporary scholarly discourse frequently examines Leibniz's extensive writings, not merely for their prescient insights and potentially unrecognized discoveries, but also for their capacity to advance current knowledge. A significant portion of his contributions to physics is compiled within Gerhardt's Mathematical Writings.

Physics

Leibniz made substantial contributions to the nascent fields of statics and dynamics, frequently articulating divergent views from those of Descartes and Newton. He formulated a novel theory of motion, or dynamics, grounded in the concepts of kinetic and potential energy, which posited space as relative, in stark contrast to Newton's firm conviction that space was absolute. A notable illustration of Leibniz's developed physical thought is his 1695 work, Specimen Dynamicum.

Before the advent of subatomic particle discoveries and the principles of quantum mechanics, many of Leibniz's theoretical concepts concerning natural phenomena, which could not be reduced to statics and dynamics, lacked coherent interpretation. For example, he presciently argued, in opposition to Newton, that space, time, and motion are relative rather than absolute. He stated: "Regarding my own perspective, I have repeatedly affirmed that I consider space to be merely relative, just as time is, and that I perceive it as an order of coexistences, analogous to how time represents an order of successions."

Leibniz advocated a relational understanding of space and time, contrasting with Newton's substantivalist perspective. Newton's substantivalism posited space and time as independent entities, existing autonomously from physical objects. Conversely, Leibniz's relationalism conceptualized space and time as relational systems that emerge from the interactions between objects. The development of general relativity and subsequent historical analyses in physics have since lent greater credence to Leibniz's position.

Among Leibniz's endeavors was the reformulation of Newton's theory into a vortex theory. Nevertheless, this undertaking extended beyond a mere vortex model, fundamentally aiming to address a profound challenge in physics: elucidating the origin of matter's cohesion.

The principle of sufficient reason has found application in contemporary cosmology, while his identity of indiscernibles is relevant in quantum mechanics, a domain some scholars suggest he, to some extent, foresaw. Beyond his philosophical theories concerning the nature of reality, Leibniz's advancements in calculus have also significantly influenced the field of physics.

The concept of vis viva

Leibniz's concept of vis viva (meaning 'living force') is expressed as mv§1516§, which corresponds to twice the contemporary definition of kinetic energy. He recognized that the total energy within specific mechanical systems would remain constant, thus viewing it as an intrinsic motive property of matter. This particular aspect of his thought also unfortunately sparked another nationalistic controversy. His vis viva was perceived as competing with the principle of momentum conservation, which was advocated by Newton in England and by Descartes and Voltaire in France. Consequently, scholars in these nations often disregarded Leibniz's proposition. Leibniz was, however, aware of the validity of momentum conservation. Fundamentally, both energy and momentum are conserved in closed systems, rendering both theoretical frameworks valid. Within Einstein's General Relativity, energy and momentum are not independently conserved. This observation was initially considered a critical flaw until Emmy Noether demonstrated that, when considered collectively as the four-dimensional energy-momentum tensor, they are indeed conserved.

Other Contributions to Natural Science

Leibniz's hypothesis of a molten Earth core foreshadowed modern geological understanding. In the field of embryology, while adhering to preformationism, he also posited that organisms result from the intricate combination of an infinite array of potential microstructures and their inherent capabilities. His studies in comparative anatomy and fossils informed a remarkable transformist intuition evident in his work on life sciences and paleontology. A significant treatise on this topic, Protogaea, which remained unpublished during his lifetime, has recently been made available in English. He developed a foundational organismic theory. In medicine, he urged contemporary physicians, with some success, to base their theories on meticulous comparative observations and validated experiments, and to clearly differentiate between scientific and metaphysical perspectives.

Psychology

Leibniz demonstrated a profound and sustained interest in psychology, and he is often regarded as an underappreciated pioneer in the field. His writings explored subjects now recognized as core psychological domains, including attention, consciousness, memory, associative learning, motivation (conceptualized as "striving"), emergent individuality, and the overarching dynamics of development (a precursor to evolutionary psychology). In his New Essays and Monadology, Leibniz frequently drew upon quotidian observations, such as canine behavior or the sound of the sea, and formulated insightful analogies, like the synchronized operation of clocks or the function of a clock's balance spring. Furthermore, he established postulates and principles pertinent to psychology, notably the continuum extending from unobserved petites perceptions to distinct, self-aware apperception. He also articulated psychophysical parallelism, considering both causality and teleology: "Souls act according to the laws of final causes, through aspirations, ends and means. Bodies act according to the laws of efficient causes, i.e. the laws of motion. And these two realms, that of efficient causes and of final causes, harmonize with one another." This concept addresses the mind-body problem, positing that the mind and brain do not exert reciprocal influence but rather operate in parallel, independently yet harmoniously. Nevertheless, Leibniz did not employ the specific term psychologia. Leibniz's epistemological stance, articulated in opposition to John Locke and English empiricism (sensualism), was unequivocally stated: "Nihil est in intellectu quod non fuerit in sensu, nisi intellectu ipse," which translates to "Nothing is in the intellect that was not first in the senses, except the intellect itself." He contended that principles not derived from sensory impressions, such as logical inferences, categories of thought, the principle of causality, and the principle of purpose (teleology), are discernible within human perception and consciousness.

Wilhelm Wundt, recognized as the founder of psychology as an academic discipline, emerged as Leibniz's most significant interpreter. In 1862, Wundt prominently featured the "... nisi intellectu ipse" quotation on the title page of his Beiträge zur Theorie der Sinneswahrnehmung (Contributions on the Theory of Sensory Perception) and subsequently authored a comprehensive and ambitious monograph dedicated to Leibniz. Wundt further developed Leibniz's concept of apperception, transforming it into an experimentally grounded apperception psychology that incorporated neuropsychological modeling. This exemplifies how a philosophical concept can effectively catalyze a psychological research program. A fundamental principle in Leibniz's philosophy, "the principle of equality of separate but corresponding viewpoints," proved particularly influential. Wundt characterized this philosophical approach, known as perspectivism, in terms that also resonated with his own work: viewpoints that "supplement one another, while also being able to appear as opposites that only resolve themselves when considered more deeply." A substantial portion of Leibniz's work subsequently exerted considerable influence on the field of psychology. Leibniz posited the existence of numerous petites perceptions, or small perceptions, which are apprehended by individuals but remain outside conscious awareness. Adhering to the principle of natural continuity, he theorized that the transition between conscious and unconscious states likely involved intermediary stages. Consequently, he inferred the existence of a perpetually unconscious segment of the mind. His theory of consciousness, particularly its connection to the principle of continuity, can be interpreted as an early conceptualization of sleep stages. Thus, Leibniz's perceptual theory is considered a precursor among various theories contributing to the development of the concept of the unconscious. Leibniz directly influenced Ernst Platner, who is credited with originating the term Unbewußtseyn (unconscious). Furthermore, the concept of subliminal stimuli finds its origins in his theory of small perceptions. Leibniz's insights concerning music and tonal perception subsequently informed Wilhelm Wundt's laboratory investigations.

Social science

In public health, he championed the establishment of a medical administrative authority, endowed with authority over epidemiology and veterinary medicine. He endeavored to establish a coherent medical training program focused on public health and preventive measures. In economic policy, he suggested tax reforms, a national insurance program, and analyzed the balance of trade. He also proposed concepts that foreshadowed the later development of game theory. In sociology, he established foundational principles for communication theory.

Technology

In 1906, Garland published a volume of Leibniz's writings detailing his numerous practical inventions and engineering endeavors. Currently, only a limited number of these texts are available in English translation. Nevertheless, Leibniz is widely recognized as a dedicated inventor, engineer, and applied scientist, who held a profound appreciation for practical applications. Adhering to the maxim theoria cum praxi, he advocated for the integration of theoretical principles with practical applications, leading to his recognition as a progenitor of applied science. His designs included wind-powered propellers, water pumps, ore extraction machinery, hydraulic presses, lamps, submarines, and clocks. In collaboration with Denis Papin, he developed a steam engine. He also conceptualized a method for water desalination. Between 1680 and 1685, he unsuccessfully attempted to mitigate the persistent flooding issues plaguing the ducal silver mines in the Harz mountains.

Computation

Leibniz is often regarded as a foundational figure in computer science and information theory. He documented the binary numeral system (base 2) early in his career and continued to explore it over time. During his comparative study of various cultures to inform his metaphysical perspectives, Leibniz encountered the ancient Chinese text, the I Ching. He interpreted a diagram depicting yin and yang, correlating these concepts with zero and one. Leibniz shared conceptual commonalities with Juan Caramuel y Lobkowitz and Thomas Harriot, both of whom independently developed the binary system, and whose works on the subject he was acquainted with. Juan Caramuel y Lobkowitz conducted extensive research on logarithms, including those with base 2. Thomas Harriot's manuscripts featured a table of binary numbers and their corresponding notation, illustrating that any number could be expressed within a base-2 system. Nevertheless, Leibniz refined the binary system and elucidated fundamental logical properties, including conjunction, disjunction, negation, identity, inclusion, and the empty set. His work foreshadowed Lagrangian interpolation and algorithmic information theory. The principles of his calculus ratiocinator predated certain aspects of the universal Turing machine. In 1961, Norbert Wiener proposed that Leibniz be recognized as the patron saint of cybernetics. Wiener famously stated, "Indeed, the general idea of a computing machine is nothing but a mechanization of Leibniz's Calculus Ratiocinator."

In 1671, Leibniz commenced the development of a machine capable of performing all four arithmetic operations, progressively refining its design over several years. This "stepped reckoner" garnered considerable attention and contributed to his election to the Royal Society in 1673. Several such machines were constructed in Hanover under his direction by a skilled craftsman. Their success was limited, primarily due to their inability to fully mechanize the carry operation. Couturat documented the discovery of an unpublished note by Leibniz, dated 1674, which detailed a machine designed to execute certain algebraic operations. Leibniz also conceived a cipher machine, which has since been reproduced, and was recovered by Nicholas Rescher in 2010. By 1693, Leibniz had outlined the design for a machine, which he termed an "integraph," theoretically capable of integrating differential equations.

Leibniz's early work anticipated hardware and software concepts that were substantially developed much later by Charles Babbage and Ada Lovelace. In 1679, while contemplating his binary arithmetic, Leibniz conceptualized a machine where binary numbers would be represented by marbles, controlled by a rudimentary form of punched cards. Contemporary electronic digital computers utilize shift registers, voltage gradients, and electron pulses instead of Leibniz's gravity-driven marbles; however, their operational principles largely align with his 1679 vision.

Librarian

Later in his career, following von Boyneburg's death, Leibniz relocated to Paris and subsequently accepted a librarian position at the Hanoverian court of Johann Friedrich, Duke of Brunswick-Luneburg. Although Leibniz's predecessor, Tobias Fleischer, had already devised a cataloging system for the ducal library, it was considered rudimentary. At this institution, Leibniz prioritized the library's overall advancement over mere cataloging. For instance, within a month of his appointment, he formulated a comprehensive strategy for its expansion. He was among the first to advocate for developing a core collection for a library, asserting that "a library for display and ostentation is a luxury and indeed superfluous, but a well-stocked and organized library is important and useful for all areas of human endeavor and is to be regarded on the same level as schools and churches." However, Leibniz lacked the necessary funding to implement his vision for the library. After his tenure there, by the end of 1690, Leibniz was appointed privy-councilor and librarian of the Bibliotheca Augusta at Wolfenbüttel, an extensive collection comprising at least 25,946 printed volumes. At this library, Leibniz focused on enhancing the existing catalog. While he was not permitted to overhaul the established closed catalog entirely, he was authorized to improve it, a task he commenced immediately. He developed an alphabetical author catalog and also conceived other cataloging methodologies that were not ultimately implemented. Through his service as librarian for the ducal libraries in Hanover and Wolfenbüttel, Leibniz effectively became a foundational figure in library science. He notably dedicated considerable attention to subject classification, advocating for a well-balanced library encompassing a wide array of subjects and interests. For example, Leibniz proposed the following classification system in the Otivm Hanoveranvm Sive Miscellanea (1737):

He also devised a book indexing system, unaware of the only other such extant system at the time, that of the Bodleian Library at Oxford University. Furthermore, he urged publishers to disseminate abstracts of all new titles produced annually, presented in a standardized format to facilitate indexing. His aspiration was for this abstracting initiative to eventually encompass all printed material from his era back to Gutenberg. Neither proposal achieved immediate success; however, similar practices became standard among English-language publishers during the 20th century, under the auspices of the Library of Congress and the British Library.

Leibniz advocated for the establishment of an empirical database as a means to advance all sciences. His concepts of characteristica universalis, calculus ratiocinator, and a "community of minds"—intended, among other objectives, to foster political and religious unity in Europe—can be viewed as distant, unwitting precursors to artificial languages (such as Esperanto and its counterparts), symbolic logic, and even the World Wide Web.

Advocacy for Scientific Societies

Leibniz underscored the collaborative nature of research, thus enthusiastically promoting the establishment of national scientific societies, modeled after the British Royal Society and the French Académie royale des sciences. Specifically, through his correspondence and travels, he advocated for the creation of such societies in Dresden, Saint Petersburg, Vienna, and Berlin. Only one of these projects materialized: in 1700, the Berlin Academy of Sciences was founded. Leibniz drafted its initial statutes and served as its first president for the remainder of his life. This academy subsequently evolved into the German Academy of Sciences, which publishes the ongoing Leibniz-Edition of his collected works.

Legal and Ethical Philosophy

While Leibniz's writings on law, ethics, and politics were historically overlooked by English-speaking scholars, this trend has since shifted.

Leibniz neither championed absolute monarchy, as did Hobbes, nor endorsed tyranny in any form. However, he also did not align with the political and constitutional perspectives of his contemporary John Locke, whose views were later invoked to support liberalism in 18th-century America and beyond. An excerpt from a 1695 letter to Baron J. C. Boyneburg's son Philipp offers significant insight into Leibniz's political sentiments:

Regarding the significant issue of the power of sovereigns and the obedience owed by their peoples, Leibniz often posited that rulers should acknowledge their subjects' right to resistance, while subjects, conversely, should be convinced of the necessity of passive obedience. Nevertheless, he largely concurred with Grotius, advocating for general obedience, given that the detrimental consequences of revolution far outweigh the grievances that precipitate it. He conceded, however, that a ruler might engage in such extreme actions, imperiling the state's welfare to an extent that nullifies the obligation to endure. Such circumstances are exceedingly uncommon, and any theologian sanctioning violence on this basis must exercise extreme caution, as overreach poses a significantly greater threat than insufficient action.

In 1677, Leibniz advocated for the establishment of a European confederation, to be governed by a council or senate comprising members representing their respective nations and empowered to vote according to their individual consciences. This concept is occasionally regarded as a precursor to the modern European Union. He also envisioned Europe embracing a unified religion. These proposals were subsequently reiterated by him in 1715.

Concurrently, Leibniz developed an interreligious and multicultural initiative aimed at establishing a universal system of justice, an endeavor that necessitated a comprehensive interdisciplinary approach. To articulate this project, he integrated insights from linguistics (particularly Sinology), moral and legal philosophy, management, economics, and politics.

Law

Although Leibniz received training as a legal academic, his work under the mentorship of Erhard Weigel, a Cartesian sympathizer, already demonstrated efforts to resolve legal issues through rationalist mathematical methodologies. Weigel's impact is particularly evident in the work titled Specimen Quaestionum Philosophicarum ex Jure collectarum ('An Essay of Collected Philosophical Problems of Right'). For instance, the Disputatio Inauguralis de Casibus Perplexis in Jure ('Inaugural Disputation on Ambiguous Legal Cases') employed early combinatorial techniques to address certain legal controversies, whereas his 1666 treatise, De Arte Combinatoria ('On the Art of Combination'), incorporated straightforward legal problems as illustrative examples.

The application of combinatorial methods to resolve legal and moral dilemmas appears to derive from Llullist inspiration, transmitted through the works of Athanasius Kircher and Daniel Schwenter. Ramón Llull, for example, endeavored to settle ecumenical disagreements by employing a combinatorial reasoning approach that he considered universal, terming it a mathesis universalis.

During the late 1660s, Johann Philipp von Schönborn, the enlightened Prince-Bishop of Mainz, initiated a comprehensive review of the legal system and advertised a position to assist his incumbent law commissioner. Leibniz departed Franconia and traveled to Mainz even prior to securing the appointment. Upon arriving in Frankfurt am Main, Leibniz authored "The New Method of Teaching and Learning the Law" as part of his application. This treatise advocated for a reform of legal education and exhibited a characteristic syncretic approach, incorporating elements from Thomism, Hobbesianism, Cartesianism, and traditional jurisprudence. Leibniz's assertion that legal instruction should not merely instill rules, akin to animal training, but rather empower students to cultivate their own public reason, evidently resonated with von Schönborn, leading to Leibniz's successful appointment.

Leibniz's subsequent significant endeavor to identify a universal rational foundation for law, thereby establishing a legal "science of right," occurred during his tenure in Mainz from 1667 to 1672. Initially drawing from Hobbes' mechanistic theory of power, Leibniz subsequently employed logico-combinatorial methods in an effort to define justice. As his work, known as Elementa Juris Naturalis, progressed, he incorporated modal concepts of right (possibility) and obligation (necessity), which may represent the nascent formulation of his possible worlds doctrine within a deontic framework. Although the Elementa ultimately remained unpublished, Leibniz persistently refined his drafts and disseminated their concepts to his correspondents throughout his life.

Ecumenism

Leibniz dedicated substantial intellectual and diplomatic efforts to what is now recognized as an ecumenical undertaking, aiming to reconcile the Roman Catholic and Lutheran churches. His approach mirrored that of his early patrons, Baron von Boyneburg and Duke John Frederick, both of whom were born Lutherans but converted to Catholicism in adulthood. They actively promoted the reunification of the two faiths and enthusiastically supported similar initiatives by others. Notably, the House of Brunswick maintained its Lutheran affiliation, as the Duke's children did not adopt their father's conversion. These endeavors encompassed correspondence with the French bishop Jacques-Bénigne Bossuet and engaged Leibniz in various theological controversies. He apparently believed that a comprehensive application of reason would be sufficient to mend the schism resulting from the Reformation.

Philology

As a philologist, Leibniz demonstrated an ardent interest in languages, assiduously acquiring any available information concerning vocabulary and grammar. In 1710, he introduced concepts of gradualism and uniformitarianism into linguistics through a concise essay. He challenged the prevalent belief among contemporary Christian scholars that Hebrew constituted the primordial language of humanity. Concurrently, he dismissed the notion of disparate language families, positing instead a common origin for all. Furthermore, he disproved the contemporary argument by Swedish scholars that a proto-Swedish form served as the progenitor of the Germanic languages. He investigated the origins of Slavic languages and exhibited a profound fascination with classical Chinese. Leibniz also possessed expertise in the Sanskrit language.

He oversaw the publication of the princeps editio ('first modern edition') of the late medieval Chronicon Holtzatiae, which is a Latin chronicle detailing the history of the County of Holstein.

Sinophilia

Leibniz is arguably the first prominent European intellectual to develop a profound interest in Chinese civilization, gaining knowledge through correspondence with and reading works by European Christian missionaries stationed in China. He reportedly read Confucius Sinarum Philosophus during its initial year of publication. He concluded that Europeans had much to gain from the Confucian ethical tradition. He contemplated the possibility that Chinese characters might inadvertently represent a form of his universal characteristic. He observed the correspondence between the I Ching hexagrams and binary numbers ranging from 000000 to 111111, inferring that this correlation demonstrated significant Chinese achievements in the philosophical mathematics he esteemed. Leibniz conveyed his concepts of the binary system, interpreted as representing Christianity, to the Emperor of China, with the aspiration of facilitating his conversion. Leibniz was among the contemporary Western philosophers who sought to integrate Confucian principles with prevalent European beliefs.

Leibniz's affinity for Chinese philosophy stemmed from his perception of its congruence with his own philosophical tenets. Historian E.R. Hughes posits that Leibniz's concepts of "simple substance" and "pre-established harmony" were directly influenced by Confucianism, noting their development during his engagement with Confucius Sinarum Philosophus.

Polymath

During his extensive tour of European archives, undertaken to research the uncompleted Brunswick family history, Leibniz resided in Vienna from May 1688 to February 1689, engaging in significant legal and diplomatic activities on behalf of the Brunswick family. He inspected mines, consulted with mining engineers, and endeavored to secure export agreements for lead extracted from the ducal mines in the Harz mountains. His proposition for illuminating Vienna's streets with rapeseed oil lamps was subsequently adopted. In a formal audience with the Austrian Emperor and through subsequent memoranda, he championed the reorganization of the Austrian economy, the reform of coinage across much of Central Europe, the negotiation of a Concordat between the Habsburgs and the Vatican, and the establishment of an imperial research library, an official archive, and a public insurance fund. He authored and published a significant treatise on mechanics.

Posthumous reputation

Upon his death, Leibniz's scholarly standing had diminished. He was primarily recognized for a single work, Théodicée, whose purported core argument was satirized by Voltaire in his widely read novel, Candide. The novel concludes with the character Candide uttering "non liquet" ('it is not clear'), a phrase historically employed in the Roman Republic to denote a legal verdict of 'not proven'. Voltaire's portrayal of Leibniz's philosophical concepts proved so influential that it was widely accepted as an accurate representation. Consequently, Voltaire and his work Candide are partly responsible for the persistent lack of appreciation and comprehension of Leibniz's intellectual contributions. Furthermore, Leibniz's reputation suffered considerably due to his fervent disciple, Christian Wolff, whose dogmatic and simplistic philosophical approach was detrimental. David Hume was also influenced by Leibniz, having engaged with his Théodicée and incorporated certain concepts. Irrespective of these factors, the prevailing philosophical trends were shifting away from the 17th-century rationalism and systematic construction, of which Leibniz had been a prominent advocate. His extensive work in law, diplomacy, and history was largely considered to be of transient significance. The extensive and profound nature of his correspondence remained unacknowledged.

Leibniz's scholarly standing commenced its resurgence following the 1765 publication of his Nouveaux Essais. Subsequently, in 1768, Louis Dutens undertook the editorship of the inaugural multi-volume compilation of Leibniz's works, which was succeeded in the 19th century by numerous other editions, notably those prepared by Erdmann, Foucher de Careil, Gerhardt, Gerland, Klopp, and Mollat. Concurrently, the publication of Leibniz's extensive correspondence with prominent figures, including Antoine Arnauld, Samuel Clarke, Sophia of Hanover, and her daughter Sophia Charlotte of Hanover, was initiated.

The year 1900 marked the publication of Bertrand Russell's critical examination of Leibniz's metaphysical theories. Subsequently, Louis Couturat released a significant scholarly work on Leibniz and compiled a volume of Leibniz's previously unreleased writings, primarily focusing on logic. These contributions elevated Leibniz's standing among 20th-century analytical and linguistic philosophers within the Anglophone academic sphere, although he had already significantly influenced numerous German scholars, including Bernhard Riemann. For instance, Leibniz's Latin phrase salva veritate, signifying 'interchangeability without loss of or compromising the truth', frequently appears in the works of Willard Quine. Despite these developments, the extensive secondary literature concerning Leibniz did not truly flourish until the post-World War II era. This trend was particularly evident in English-speaking nations; Gregory Brown's bibliography indicates that fewer than 30 English-language entries were published prior to 1946. American scholarship on Leibniz significantly benefited from Leroy Loemker (1900–1985), whose contributions included translations and interpretive essays published in LeClerc (1973). Gilles Deleuze also held Leibniz's philosophy in high esteem, publishing The Fold: Leibniz and the Baroque in 1988.

Nicholas Jolley has posited that Leibniz's standing as a philosopher may currently be at its zenith since his lifetime. Both analytical and contemporary philosophical discourse consistently reference his concepts of identity, individuation, and possible worlds. Historical research into 17th- and 18th-century intellectual currents has elucidated the "Intellectual Revolution" of the 17th century, which predated the more widely recognized Industrial and commercial revolutions of the 18th and 19th centuries.

Across Germany, several significant institutions have been named in honor of Leibniz. Specifically in Hanover, he serves as the namesake for several of the city's most prominent institutions:

• Leibniz University Hannover
• The Leibniz-Akademie, which functions as an institution providing both academic and non-academic training and advanced education within the business domain.
• The Gottfried Wilhelm Leibniz Bibliothek – Niedersächsische Landesbibliothek, recognized as one of Germany's largest regional and academic libraries, and one of three state libraries in Lower Saxony, alongside the Oldenburg State Library and the Herzog August Library in Wolfenbüttel.
• The Gottfried-Wilhelm-Leibniz-Gesellschaft, an organization dedicated to fostering and propagating Leibniz's philosophical and scientific principles.

Beyond the city of Hanover:

• Leibniz Association, Berlin
• The Leibniz Scientific Society (Leibniz-Sozietät der Wissenschaften), established in Berlin in 1993 as a registered association, maintains the legacy and operations of the former Akademie der Wissenschaften der DDR ('Academy of Sciences of the GDR') through continuous personnel.
• The Leibniz Kolleg at Tübingen University functions as the institution's primary propaedeutic entity, designed to facilitate informed academic choices for high school graduates. This is achieved through a ten-month, extensive general curriculum that simultaneously introduces participants to scholarly methodologies.
• The Leibniz Supercomputing Centre is located in Garching, near Munich.
• Over 20 educational institutions across Germany bear the name Leibniz.

Awards:

• The Leibniz-Ring-Hannover, an accolade presented annually since 1997 by the Hanover Press Club, recognizes individuals or organizations "who have drawn attention to themselves through an outstanding performance or have made a special mark through their life's work."
• The Leibniz-Medaille, conferred by the Berlin-Brandenburg Academy of Sciences and Humanities, was instituted in 1906. Historically, it was awarded by the Prussian Academy of Sciences and subsequently by the German Academy of Sciences at Berlin.
• The Gottfried-Wilhelm-Leibniz-Medaille, awarded by the Leibniz-Sozietät.
• The Leibniz-Medaille der Akademie der Wissenschaften und der Literatur Mainz.

In 1985, the German government established the Leibniz Prize, which, as of 2025, provides an annual award of €2.5million to each of up to ten recipients. This prize held the distinction of being the world's most substantial award for scientific accomplishment before the inception of the Fundamental Physics Prize.

Leibniz's manuscript collection, housed at the Gottfried Wilhelm Leibniz Bibliothek – Niedersächsische Landesbibliothek, was designated a part of UNESCO's Memory of the World Register in 2007.

Cultural References

Leibniz continues to garner popular recognition. For instance, the Google Doodle on July 1, 2018, commemorated his 372nd birthday, depicting his hand, with a quill, inscribing Google in binary ASCII code.

Voltaire's 1759 satire, Candide, represents one of the earliest popular, albeit indirect, portrayals of Leibniz's philosophy. In this work, Leibniz is caricatured as Professor Pangloss, who is characterized as "the greatest philosopher of the Holy Roman Empire."

Leibniz is also featured as a prominent historical character in Neal Stephenson's novel series, The Baroque Cycle. Stephenson has attributed the inspiration for this series to his engagement with texts and discussions pertaining to Leibniz.

Leibniz is also a character in Adam Ehrlich Sachs's novel, "The Organs of Sense."

The German biscuit, Choco Leibniz, is named in honor of Leibniz. Its producer, Bahlsen, is headquartered in Hanover, the city where Leibniz resided for forty years until his demise.

Writings and Publication

Leibniz primarily composed his works in three languages: scholastic Latin, French, and German. During his lifetime, he disseminated numerous pamphlets and scholarly articles, yet only two philosophical treatises were published: De Arte Combinatoria and Théodicée. (Additionally, he issued many pamphlets, often anonymously, on behalf of the House of Brunswick-Lüneburg, notably De jure suprematum, translated as 'On the Right of Supremacy', which offered a significant examination of the concept of sovereignty.) A substantial work, his Nouveaux essais sur l'entendement humain ('New Essays on Human Understanding'), was released posthumously, having been withheld from publication by Leibniz following John Locke's death. The immense scope of Leibniz's Nachlass ('literary estate') became apparent only in 1895, upon Bodemann's completion of a catalogue detailing Leibniz's manuscripts and correspondence. This estate comprises approximately 15,000 letters addressed to over 1,000 recipients, alongside more than 40,000 other documents. Notably, a considerable number of these letters are extensive, resembling essays. A significant portion of his extensive correspondence, particularly letters post-1700, remains unpublished, and much of what has been published has appeared only in recent decades. The working catalogue of the Leibniz-Edition, encompassing over 67,000 records, covers nearly all of his known writings and his incoming and outgoing correspondence. The sheer volume, diversity, and disorganization of Leibniz's writings are a foreseeable consequence of a situation he once described in a letter as follows:

Leibniz articulated a profound sense of being extraordinarily distracted and extensively engaged. He detailed his efforts to locate diverse materials within archives, examining historical papers and seeking out unpublished documents, with the objective of elucidating the history of the [House of] Brunswick. Simultaneously, he managed a substantial volume of correspondence and possessed numerous mathematical results, philosophical insights, and other literary innovations that he deemed crucial to preserve, often leading to uncertainty regarding his starting point.

The existing components of the Leibniz-Edition, which compiles Leibniz's collected works, are structured as follows:

• Series 1 comprises Political, Historical, and General Correspondence, spanning 25 volumes and covering the period from 1666 to 1706.
• Series 2 contains Philosophical Correspondence, presented in 3 volumes and dating from 1663 to 1700.
• Series 3 encompasses Mathematical, Scientific, and Technical Correspondence, comprising 8 volumes from 1672 to 1698.
• Series 4 includes Political Writings, published in 9 volumes and covering the years 1667 to 1702.
• Series 5, dedicated to Historical and Linguistic Writings, is currently in preparation.
• Series 6 features Philosophical Writings, consisting of 7 volumes from 1663 to 1690, alongside Nouveaux essais sur l'entendement humain.
• Series 7 presents Mathematical Writings, compiled into 6 volumes from 1672 to 1676.
• Series 8 contains Scientific, Medical, and Technical Writings, published as a single volume covering the period 1668 to 1676.

The comprehensive cataloguing of Leibniz's entire Nachlass commenced in 1901. This endeavor faced significant impediments from both World War I and World War II, followed by decades of Germany's division into East and West, which fragmented scholarly access and dispersed parts of his literary legacy. The ambitious undertaking involved processing approximately 200,000 written and printed pages across seven languages. In 1985, the project underwent reorganization and was integrated into a collaborative initiative involving German federal and state (Länder) academies. Subsequently, the Potsdam, Münster, Hanover, and Berlin branches have collectively issued 57 volumes of the Leibniz-Edition, each averaging 870 pages, in addition to developing index and concordance resources.

Selected Works

The dates provided typically indicate the year of a work's completion, rather than its subsequent publication date.

• 1666 (published 1690): De Arte Combinatoria ('On the Art of Combination'); partially translated by Loemker (1969) and Parkinson (1966)
• 1667: Nova Methodus Discendae Docendaeque Iurisprudentiae ('A New Method for Learning and Teaching Jurisprudence')
• 1667: "Dialogus de connexione inter res et verba" ('A Dialogue on the Connection Between Things and Words')
• 1671: Hypothesis Physica Nova ('New Physical Hypothesis')
• 1673: Confessio philosophi ('A Philosopher's Creed')
• October 1684: "Meditationes de cognitione, veritate et ideis" ('Meditations on Knowledge, Truth, and Ideas')
• November 1684: "Nova methodus pro maximis et minimis" ('New Method for Maximums and Minimums')
• 1686: Discours de métaphysique
• 1686: Generales inquisitiones de analysi notionum et veritatum ('General Inquiries About the Analysis of Concepts and of Truths')
• 1694: "De primae philosophiae Emendatione, et de Notione Substantiae" ('On the Correction of First Philosophy and the Notion of Substance')
• 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')
• 1704 (published 1765): Nouveaux essais sur l'entendement humain
• 1707–1710: Scriptores rerum Brunsvicensium (3 volumes)
• 1710: Théodicée
• 1714: "Principes de la nature et de la Grâce fondés en raison"
• 1714: Monadologie

Posthumous Works

• In 1717, Collectanea Etymologica was published, edited by Johann Georg von Eckhart, who served as Leibniz's secretary.
• The work Protogaea was released in 1749.
• In 1750, Origines Guelficae was published.

Collections

Six significant collections of English translations include those by Wiener (1951), Parkinson (1966), Loemker (1969), Ariew & Garber (1989), Woolhouse & Francks (1998), and Strickland (2006).

The historical-critical scholarly editing of Leibniz's collected papers, initiated in 1901 and managed by various editorial projects, is still in progress as of 2025. This endeavor is currently overseen by the editorial project titled Gottfried Wilhelm Leibniz: Sämtliche Schriften und Briefe (translated as 'Gottfried Wilhelm Leibniz: Complete Writings and Letters'), colloquially known as the Leibniz-Edition (or 'Leibniz edition').

General Leibniz Rule

• General Leibniz rule
• Leibniz Association
• Leibniz Operator
• List of German Inventors and Discoverers
• List of Pioneers in Computer Science
• List of Entities Named After Gottfried Leibniz
• Mathesis universalis
• Scientific Revolution
• Leibniz University Hannover
• Bartholomew Des Bosses
• Joachim Bouvet
• Outline of Gottfried Wilhelm Leibniz
• Gottfried Wilhelm Leibniz Bibliography

Notes

References

Citations

Sources

Bibliographies

Primary Literature

Secondary Literature up to 1950

Secondary Literature Post-1950

Works by Gottfried Wilhelm Leibniz

• Works by Gottfried Wilhelm Leibniz at Project Gutenberg
• Works by or about Gottfried Wilhelm Leibniz
• Works by Gottfried Wilhelm Leibniz
• Peckhaus, Volker. "Leibniz's Influence on 19th Century Logic." In Zalta, Edward N. (ed.), Stanford Encyclopedia of Philosophy. ISSN 1095-5054. OCLC 429049174.Burnham, Douglas. "Gottfried Leibniz: Metaphysics." In Fieser, James; Dowden, Bradley (eds.), Internet Encyclopedia of Philosophy. ISSN 2161-0002. OCLC 37741658.Carlin, Laurence. "Gottfried Leibniz: Causation." In Fieser, James; Dowden, Bradley (eds.), Internet Encyclopedia of Philosophy. ISSN 2161-0002. OCLC 37741658.Fieser, James; Dowden, Bradley (eds.). "Leibniz: Modal Metaphysics." Internet Encyclopedia of Philosophy. ISSN 2161-0002. OCLC 37741658.Fieser, James; Dowden, Bradley (eds.). "Leibniz: Philosophy of Mind." Internet Encyclopedia of Philosophy. ISSN 2161-0002. OCLC 37741658.Lenzen, Wolfgang. "Leibniz: Logic." In Fieser, James; Dowden, Bradley (eds.), Internet Encyclopedia of Philosophy. ISSN 2161-0002. OCLC 37741658.O'Connor, John J.; Robertson, Edmund F. "Gottfried Wilhelm Leibniz." MacTutor History of Mathematics Archive. University of St Andrews.
• Protogæa (1693, Latin, published in Acta eruditorum)
• Protogaea (1749, German)
• Leibniz's Opera omnia (1768, 6 volumes)
• Leibniz's arithmetical machine (1710)
• Leibniz's binary numeral system, 'De progressione dyadica' (1679)