Gottfried Leibniz

Primeiros anos

Gottfried Leibniz nasceu em 1.º de julho de 1646, em Leipzig, no Eleitorado da Saxônia, então parte do Sacro Império Romano-Germânico (hoje no estado alemão da Saxônia). Seus pais foram Friedrich Leibniz (1597–1652) e Catharina Schmuck (1621–1664). Ele foi batizado dois dias depois na Igreja de São Nicolau, em Leipzig; seu padrinho foi o teólogo luterano Martin Geier. O pai morreu quando Leibniz tinha seis anos, e sua criação ficou a cargo da mãe e de um tio.

O pai de Leibniz lecionava filosofia moral na Universidade de Leipzig e também foi decano da faculdade de filosofia. Leibniz herdou sua biblioteca particular e pôde consultá-la livremente a partir dos sete anos, pouco depois da morte do pai. Embora as aulas se concentrassem em um pequeno conjunto de autores consagrados, os livros da família lhe deram acesso a obras filosóficas e teológicas avançadas que, de outro modo, só teria conhecido na universidade. Como grande parte desse acervo estava em latim, ele dominou a língua aos doze anos. Aos treze, compôs 300 hexâmetros latinos em uma única manhã para uma ocasião especial na escola.

Leibniz frequentou a Alte Nikolaischule, em Leipzig. Em abril de 1661, aos catorze anos, matriculou-se na universidade em que seu pai lecionara. Entre seus professores estava Jakob Thomasius, antigo aluno de Friedrich. Leibniz concluiu o bacharelado em filosofia em dezembro de 1662 e assistiu a aulas de verão na Universidade de Jena em 1663, onde estudou com Erhard Weigel. Em 9 de junho de 1663 (30 de maio pelo calendário juliano), defendeu a Disputatio Metaphysica de Principio Individui ("Disputação metafísica sobre o princípio da individuação"), que abordava o princípio de individuação e apresentava uma primeira versão da teoria monádica da substância. Obteve o título de mestre em filosofia em 7 de fevereiro de 1664. Em dezembro daquele ano, publicou e defendeu a dissertação Specimen Quaestionum Philosophicarum ex Jure collectarum ("Ensaio sobre questões filosóficas colhidas do direito"), na qual defendia uma relação teórica e pedagógica entre filosofia e direito. Após um ano de estudos jurídicos, recebeu o título de bacharel em direito em 28 de setembro de 1665. A dissertação intitulava-se De conditionibus ("Sobre as condições").

No início de 1666, aos dezenove anos, Leibniz escreveu seu primeiro livro, De Arte Combinatoria ("Sobre a arte combinatória"). Sua primeira parte serviu como tese de habilitação em filosofia, defendida em março daquele ano. De Arte Combinatoria foi inspirado na Ars Magna de Raimundo Lúlio e continha uma prova da existência de Deus por distinção de casos.

Seu objetivo seguinte era obter a licença profissional e o doutorado em direito, que normalmente exigiam três anos de estudo. Em 1666, a Universidade de Leipzig rejeitou o pedido, provavelmente por considerá-lo jovem demais. Leibniz deixou Leipzig.

Leibniz matriculou-se então na Universidade de Altdorf e logo apresentou uma tese na qual provavelmente já trabalhara em Leipzig. A tese intitulava-se Disputatio Inauguralis de Casibus Perplexis in Jure ("Disputação inaugural sobre casos jurídicos ambíguos"). Em novembro de 1666, recebeu a licença para exercer a advocacia e o doutorado em direito. Seu orientador nesse doutorado foi Bartholomäus Leonhard von Schwendendörffer. Recusou em seguida um cargo docente em Altdorf, afirmando que seus pensamentos "tomaram uma direção inteiramente diferente".

Na idade adulta, Leibniz muitas vezes se apresentava como "Gottfried von Leibniz". Muitas edições póstumas de seus escritos trazem "Freiherr G. W. von Leibniz" na folha de rosto. Não se conhece, porém, documento oficial da época que comprove sua elevação à nobreza.

1666–1676

O primeiro emprego de Leibniz foi como secretário remunerado de uma sociedade de alquimia em Nuremberga. Embora soubesse pouco sobre o assunto, apresentou-se como um estudioso. Conheceu então Johann Christian von Boyneburg (1622–1672), antigo ministro principal do eleitor de Mogúncia, Johann Philipp von Schönborn. Boyneburg contratou-o como assistente, reconciliou-se pouco depois com o eleitor e apresentou-lhe Leibniz. Este dedicou ao eleitor um ensaio jurídico na esperança de ser contratado. A estratégia funcionou: foi convidado a colaborar na revisão do código de leis do eleitorado. Em 1669, tornou-se assessor do tribunal de apelações. Boyneburg morreu no fim de 1672, mas Leibniz continuou a trabalhar para sua viúva até ser dispensado em 1674.

Boyneburg ajudou a divulgar o trabalho de Leibniz, cujas cartas e memorandos começaram a despertar interesse. Depois do serviço ao eleitor, vieram as missões diplomáticas. Sob o pseudônimo de um nobre polonês fictício, Leibniz publicou um ensaio em defesa de um candidato alemão à coroa da Polônia, sem sucesso. A política europeia de sua época era marcada pelas ambições de Luís XIV e pelo poder militar e econômico da França. A Guerra dos Trinta Anos havia deixado os territórios germanófonos exaustos, fragmentados e economicamente enfraquecidos. Leibniz propôs desviar a atenção do rei francês oferecendo-lhe a conquista do Egito como etapa para uma futura conquista das Índias Orientais Holandesas. Em troca, a França deixaria a Alemanha e os Países Baixos em paz. O eleitor apoiou o plano com cautela. Em 1672, o governo francês convidou Leibniz a Paris para discuti-lo, mas o início da Guerra Franco-Holandesa tornou a proposta irrelevante.

Leibniz chegou a Paris em 1672. Ali conheceu o físico e matemático neerlandês Christiaan Huygens e percebeu lacunas em sua formação matemática e física. Sob a orientação de Huygens, iniciou um programa de estudos por conta própria que o levaria a contribuir para ambas as áreas, inclusive com sua versão do cálculo diferencial e integral. Conheceu Nicolas Malebranche e Antoine Arnauld, então importantes filósofos franceses, e estudou obras publicadas e inéditas de Descartes e Pascal. Tornou-se amigo do matemático alemão Ehrenfried Walther von Tschirnhaus, com quem se corresponderia pelo resto da vida.

Quando ficou claro que a França não adotaria o plano egípcio, o eleitor enviou um sobrinho a Londres em missão diplomática no início de 1673, acompanhado por Leibniz. Ali, Leibniz conheceu Henry Oldenburg e John Collins. Apresentou à Royal Society uma máquina de calcular que projetava e construía desde 1670. O modelo que apresentou à sociedade ainda estava incompleto; seu projeto previa uma máquina capaz de executar as quatro operações aritméticas básicas. A Royal Society o elegeu membro em 9 de abril de 1673.

A missão terminou quando chegou a notícia da morte do eleitor, ocorrida em 12 de fevereiro de 1673. Leibniz voltou a Paris, em vez de seguir para Mogúncia como planejado. A morte de seus dois patronos naquele inverno obrigou-o a procurar outro rumo para a carreira.

Um convite feito em 1669 pelo duque João Frederico de Brunsvique-Luneburgo para que Leibniz visitasse Hanôver acabou sendo decisivo. Leibniz recusou-o, mas passou a corresponder-se com o duque em 1671. Em 1673, João Frederico ofereceu-lhe o cargo de conselheiro. Leibniz só o aceitou, com relutância, dois anos depois, quando se tornou claro que não conseguiria um emprego em Paris, cuja vida intelectual apreciava, nem na corte imperial dos Habsburgo.

Em 1675, Leibniz tentou ingressar como membro honorário estrangeiro na Academia de Ciências da França, mas não recebeu convite porque a instituição julgou já ter estrangeiros em número suficiente. Deixou Paris em outubro de 1676.

Casa de Hanôver, 1676–1716

Antes de chegar a Hanôver, no fim de 1676, Leibniz fez outra breve viagem a Londres. Newton alegou mais tarde que ele tivera acesso antecipado a seus estudos inéditos sobre o cálculo. Essa alegação alimentou, décadas depois, a acusação de que teria se apropriado da descoberta de Newton. No caminho de Londres a Hanôver, Leibniz passou pela Haia, onde conheceu Anton van Leeuwenhoek, descobridor dos microrganismos. Também conversou por vários dias com Espinosa, que acabara de concluir, mas ainda não publicara, a Ética. Espinosa morreu pouco depois dessa visita.

Em 1677, a seu pedido, Leibniz foi promovido a conselheiro privado de Justiça, cargo que manteve até a morte. Serviu a três governantes sucessivos da Casa de Brunsvique como historiador, conselheiro político e bibliotecário da biblioteca ducal. Passou a redigir documentos sobre questões políticas, históricas e teológicas ligadas à dinastia, que integram o registro histórico do período.

Leibniz propôs usar moinhos de vento para melhorar a mineração nas montanhas Harz. A iniciativa trouxe poucos resultados, e o duque Ernesto Augusto encerrou-a em 1685.

Entre as pessoas do norte da Alemanha próximas de Leibniz estavam a eleitora Sofia de Hanôver (1630–1714), sua filha Sofia Carlota de Hanôver (1668–1705), rainha na Prússia e discípula declarada do filósofo, e Carolina de Brandemburgo-Ansbach, esposa de um neto de Sofia, o futuro Jorge II da Grã-Bretanha. Leibniz trocava cartas com as três, aconselhava-as e mantinha com elas uma amizade. Elas lhe eram mais favoráveis que seus maridos e que o futuro rei Jorge I da Grã-Bretanha.

Hanôver tinha cerca de 10.000 habitantes, e seu ambiente provinciano acabou incomodando Leibniz. Ainda assim, ser um importante cortesão da Casa de Brunsvique era uma distinção, especialmente à medida que o prestígio da dinastia crescia. Em 1692, o duque de Brunsvique tornou-se eleitor hereditário do Sacro Império Romano-Germânico. O Decreto de Estabelecimento de 1701 designou a eleitora Sofia de Hanôver e seus descendentes como sucessores da Coroa inglesa após as mortes do rei Guilherme III e da rainha Ana da Grã-Bretanha. Leibniz participou das iniciativas e negociações que levaram ao ato, embora nem sempre com êxito. Um texto anônimo que publicou na Inglaterra em defesa da causa de Brunsvique, por exemplo, foi censurado pelo Parlamento britânico.

Os governantes de Brunsvique toleravam o tempo que Leibniz dedicava a atividades intelectuais além de suas funções na corte, como aperfeiçoar o cálculo, estudar matemática, lógica, física e filosofia e manter uma extensa correspondência. Começou a trabalhar no cálculo em 1674. A primeira evidência desse trabalho nos cadernos preservados data de 1675. Em 1677, já havia elaborado um sistema coerente, mas só o publicou em 1684. Seus principais artigos matemáticos saíram entre 1682 e 1692, em geral na revista Acta Eruditorum, fundada por Otto Mencke em 1682, da qual Leibniz foi colaborador. A publicação ajudou a estabelecer sua reputação matemática e científica e ampliou sua influência na diplomacia, na história, na teologia e na filosofia.

O eleitor Ernesto Augusto encomendou a Leibniz uma história da Casa de Brunsvique que remontasse a Carlos Magno ou a uma época anterior, na esperança de fortalecer as pretensões da dinastia. Entre 1687 e 1690, Leibniz viajou pela Alemanha, Áustria e Itália em busca de documentos de arquivo. As décadas passaram sem que o livro fosse concluído, o que irritou o sucessor de Ernesto Augusto. Leibniz se ocupava de muitos outros projetos e insistia em produzir uma obra erudita e minuciosamente documentada. Seus patronos, ao contrário, teriam preferido um livro breve, talvez pouco mais que uma genealogia comentada, concluído em até três anos. Em 1691, Leibniz também foi nomeado bibliotecário da Biblioteca Herzog August, em Wolfenbüttel, na Baixa Saxônia. Três volumes de Scriptores rerum Brunsvicensium foram publicados entre 1707 e 1711.

Em 1708, John Keill acusou Leibniz de plagiar o cálculo de Newton em um artigo publicado na revista da Royal Society, presumivelmente com a aprovação de Newton. Começou assim a disputa pela prioridade na invenção do cálculo, que marcaria o restante da vida de Leibniz. Em resposta à exigência de retratação feita por ele, a Royal Society abriu uma investigação da qual Newton participou sem que isso fosse divulgado. O relatório confirmou a acusação de Keill. Historiadores da matemática desde o início do século XX, porém, tendem a considerar Leibniz independente de Newton, apontando diferenças importantes entre os dois desenvolvimentos do cálculo.

Em 1712, Leibniz iniciou uma estadia de dois anos em Viena e foi nomeado conselheiro da corte imperial dos Habsburgo. Com a morte da rainha Ana, em 1714, o eleitor Jorge Luís tornou-se Jorge I da Grã-Bretanha, conforme o ato de 1701. Leibniz havia contribuído para essa sucessão, mas não recebeu uma posição de destaque na nova corte. Apesar da intervenção de Carolina de Brandemburgo-Ansbach, princesa de Gales, Jorge I proibiu-o de segui-lo a Londres antes de concluir ao menos um volume da história da Casa de Brunsvique, encomendada quase trinta anos antes. A presença de Leibniz na corte britânica também poderia ser vista como uma afronta a Newton, cuja posição oficial se fortalecera após a disputa sobre o cálculo. Outra defensora de Leibniz, a eleitora viúva Sofia, morreu em 1714. Em 1716, o czar Pedro I da Rússia passou por Bad Pyrmont durante uma viagem pelo norte da Europa e encontrou Leibniz, interessado nos assuntos russos desde 1708 e nomeado conselheiro do czar em 1711.

Morte

Leibniz morreu em Hanôver em 1716 e foi sepultado na Neustädter Kirche (igreja da Cidade Nova). Havia perdido tanto prestígio na corte que nem Jorge I, então perto de Hanôver, nem os demais cortesãos compareceram ao funeral, com exceção de seu secretário pessoal. Apesar de Leibniz integrar a Royal Society e a Academia de Ciências de Berlim, nenhuma das instituições prestou homenagem à sua morte. Seu túmulo permaneceu sem identificação por mais de cinquenta anos. Na Academia de Ciências da França, da qual Leibniz era membro estrangeiro desde 1700, Fontenelle pronunciou, contudo, um elogio póstumo redigido a pedido da duquesa de Orléans, Isabel Carlota do Palatinado, sobrinha da eleitora Sofia.

Vida pessoal

Leibniz nunca se casou. Aos 50 anos, pediu uma mulher não identificada em casamento, mas mudou de ideia quando ela demorou a responder. Às vezes reclamava de dificuldades financeiras, embora a quantia deixada ao único herdeiro, enteado de sua irmã, indique que recebera uma remuneração considerável dos Brunsviques. Como outros diplomatas de sua época, nem sempre agiu de maneira escrupulosa. Em algumas ocasiões, alterou e retrodatou manuscritos próprios, o que prejudicou sua imagem durante a controvérsia sobre o cálculo.

Era afável, cortês e dotado de humor e imaginação. Tinha amigos e admiradores em toda a Europa. Era protestante e adepto do teísmo filosófico. Manteve ao longo da vida seu compromisso com o cristianismo trinitário.

Princípios

Leibniz invocou de várias maneiras um ou outro dos sete princípios filosóficos fundamentais:

• Identidade e contradição: se uma proposição é verdadeira, sua negação é falsa, e vice-versa.
• Identidade dos indiscerníveis: duas coisas distintas não podem compartilhar todas as propriedades. Se cada predicado de x também pertence a y, e vice-versa, x e y são a mesma entidade. O princípio é frequente na lógica e na filosofia contemporâneas e despertou críticas, especialmente na filosofia corpuscular e na mecânica quântica. Seu converso, a indiscernibilidade dos idênticos, também chamado de lei de Leibniz, é menos controverso.
• Razão suficiente. "Deve haver uma razão suficiente para que algo exista, para que qualquer evento ocorra, para que alguma verdade seja obtida".
• Harmonia preestabelecida: a natureza de cada substância faz com que o que lhe acontece corresponda ao que acontece às demais, sem que elas interajam diretamente. Leibniz comparou a correspondência entre mente e corpo a dois relógios sincronizados, que marcam a mesma hora sem agir diretamente um sobre o outro.
• Lei da continuidade. Natura non facit saltus (a natureza não dá saltos).
• Otimismo. "Deus certamente sempre escolhe o melhor".
• Plenitude: para Leibniz, o melhor dos mundos possíveis realiza o máximo de possibilidades compatíveis entre si. Na Théodicée, sustenta que nossa experiência finita não basta para contestar a perfeição da natureza.

Leibniz às vezes dava uma defesa racional de um princípio específico, mas mais frequentemente os tomava como dados.

Mônadas

A contribuição mais conhecida de Leibniz à metafísica é a teoria das mônadas, exposta na Monadologia. O universo seria composto de infinitas substâncias simples. Essas substâncias podem ser comparadas aos corpúsculos da filosofia mecanicista de Descartes, mas não possuem partes. Cada mônada tem qualidades próprias, que mudam continuamente, e só pode ser criada ou aniquilada. As mônadas são centros de força; a substância é força, enquanto espaço, matéria e movimento são fenômenos. Contra Newton, Leibniz considerava relativos o espaço, o tempo e o movimento: "Considero o espaço algo meramente relativo, assim como o tempo: o espaço é uma ordem de coexistências, e o tempo, uma ordem de sucessões". Joseph Agassi argumentou que as ideias relacionais de Leibniz prepararam o caminho para a teoria da relatividade.

O argumento de Leibniz sobre a existência de Deus aparece na Théodicée. O pensamento se orienta pelo princípio da contradição e pelo princípio de razão suficiente. Com base neste último, Leibniz conclui que Deus é a razão primeira das coisas. O mundo que observamos é contingente: poderia estar disposto de outro modo no espaço e no tempo, e sua existência exige uma razão necessária. Para explicar a ideia, Leibniz imagina um livro de geometria copiado a partir de uma série infinita de exemplares. Mesmo assim, o conteúdo do livro requer uma explicação. Essa razão última seria a monas monadum, Deus.

A essência ontológica de uma mônada é sua simplicidade indivisível. Diferentemente dos átomos, as mônadas não têm natureza material nem ocupam espaço. São mutuamente independentes, de modo que sua interação é apenas aparente. Pelo princípio da harmonia preestabelecida, cada uma segue uma sequência própria de acontecimentos, como se recebesse instruções internas. Assim, cada mônada espelha o universo. Elas não precisam ser pequenas no sentido espacial: na explicação leibniziana do ser humano, uma mônada dominante, a alma racional, está associada a um corpo orgânico. Essa concepção levanta questões sobre o livre-arbítrio.

A teoria das mônadas pretendia resolver dois problemas:

• a interação entre mente e matéria no sistema de Descartes;
• a ausência de individuação no sistema de Spinoza, que trata os indivíduos como manifestações acidentais.

Teodiceia e otimismo

A Théodicée procura explicar as imperfeições aparentes do mundo sustentando que ele é o melhor entre os mundos possíveis. Como foi criado por um Deus onipotente e onisciente, nenhum mundo melhor poderia ter sido criado. Isso não significa que cada mal deste mundo seja inevitável em todo mundo possível: para Leibniz, Deus poderia ter criado um mundo diferente, mas a eliminação de um mal particular não garantiria um mundo melhor considerado em seu conjunto.

Para Leibniz, as verdades da teologia e da filosofia não podem entrar em contradição, pois fé e razão são "dons de Deus". A Théodicée tenta conciliar seu sistema filosófico com sua interpretação dos princípios cristãos. O projeto refletia uma convicção compartilhada por pensadores do Iluminismo: a religião cristã podia ser compreendida racionalmente. Refletia também sua crença na capacidade de aperfeiçoamento humano mediante uma filosofia e uma religião adequadas, e na necessidade de uma base racional ou lógica para a necessidade metafísica, mesmo quando a explicação em termos das leis físicas parecesse insuficiente.

Se razão e fé devem ser conciliadas, qualquer crença religiosa incompatível com a razão teria de ser rejeitada. Leibniz enfrentou então uma objeção central ao teísmo cristão: como pode haver mal em um mundo criado por um Deus inteiramente bom, sábio e poderoso? Para ele, os seres humanos, diferentemente de Deus, são limitados em sabedoria e vontade. Por isso, podem formar crenças falsas, tomar decisões erradas e agir de modo ineficaz ao exercer o livre-arbítrio. Leibniz distingue o mal metafísico, ligado à limitação própria das criaturas, do mal físico (sofrimento) e do mal moral (pecado). Para ele, Deus permite esses males sem os causar arbitrariamente; o sofrimento e o pecado podem contribuir para o bem do mundo considerado como um todo, embora isso não elimine a responsabilidade humana pelas escolhas morais.

Embora as ações humanas provenham de causas anteriores cuja origem última está em Deus e sejam, para ele, certezas metafísicas, o indivíduo exerce o livre-arbítrio no âmbito das leis naturais. Suas escolhas são contingentemente necessárias e ocorrem com uma "espontaneidade admirável" que, na concepção de Leibniz, evita a predestinação estrita.

Discurso de metafísica

No Discurso de metafísica, Leibniz define Deus como "um ser absolutamente perfeito" (seção I). Afirma que Deus escolheu a ordem mais simples em suas regras gerais e mais rica em fenômenos (seção VI), e que as perfeições pertencem a Deus no mais alto grau (seção I). Para ele, agir com menos perfeição do que se é capaz constitui uma imperfeição (III). Como Deus é perfeito, suas decisões sobre o mundo também devem sê-lo. Leibniz acrescenta que aqueles que amam a Deus não podem ser prejudicados por suas ações. Reconhece, porém, que amá-lo é difícil: as pessoas podem modificar suas disposições e nem sempre desejam o que Deus deseja (IV). Mesmo quando se rebelam, só poderiam amá-lo verdadeiramente aceitando aquilo que lhes acontece segundo a vontade divina (IV).

Leibniz volta a afirmar que Deus, sendo absolutamente perfeito, não poderia agir com menos perfeição do que é capaz (seções I e III). Conclui que criou o mundo da melhor forma possível. As pessoas devem reconhecer que Deus conhece melhor do que elas o resultado de suas ações e conformar-se à sua vontade na medida em que a compreendam (IV). O filósofo também adverte que não basta louvar a obra apenas por causa de seu autor: deve-se admirar o criador pelo que fez (II). Se a bondade da Terra dependesse somente da vontade de Deus, sem algum critério de bondade, até uma decisão contrária poderia ser louvada da mesma maneira (II). Para Leibniz, princípios como os da geometria não dependem de uma vontade arbitrária, mas do entendimento divino.

Leibniz escreveu: "Por que há algo em vez de nada? A razão suficiente ... é encontrada em uma substância que ... é um ser necessário que carrega a razão para sua existência dentro de si mesmo". Martin Heidegger chamou esta pergunta de "a questão fundamental da metafísica".

Pensamento simbólico e resolução racional de disputas

Leibniz acreditava que grande parte do raciocínio humano poderia ser reduzida a cálculos capazes de resolver divergências de opinião.

"A única maneira de corrigir nossos raciocínios é torná-los tão palpáveis quanto os dos matemáticos, para que possamos perceber nosso erro de imediato. Quando houver disputas entre pessoas, poderemos simplesmente dizer: calculemos, sem mais demora, para ver quem tem razão."

O calculus ratiocinator de Leibniz, que se assemelha à lógica simbólica, pode ser visto como uma maneira de tornar tais cálculos viáveis. Leibniz escreveu memorandos que agora podem ser lidos como tentativas iniciais de desenvolver a lógica simbólica e, com ela, seu cálculo. Estes escritos permaneceram inéditos até a aparição de uma seleção editada por Carl Immanuel Gerhardt (1859). Louis Couturat publicou uma seleção em 1901; nessa época os principais desenvolvimentos da lógica moderna haviam sido criados por Charles Sanders Peirce e Gottlob Frege.

Leibniz considerava os símbolos fundamentais para a compreensão humana. Dava tamanha importância à criação de boas notações que atribuía a elas suas descobertas matemáticas. A notação do cálculo infinitesimal é um exemplo. Seu interesse pelos símbolos e pela representação formal fez dele um precursor da semiótica.

Leibniz foi além. Chamou de caractere qualquer sinal escrito e de caractere real aquele que representa diretamente uma ideia, e não apenas uma palavra. Alguns, como os símbolos lógicos, ajudam a raciocinar. Já os hieróglifos egípcios, os caracteres chineses e os símbolos da astronomia e da química, conhecidos em sua época, não lhe pareciam caracteres reais. Propôs então a characteristica universalis, ou "característica universal", fundada em um alfabeto do pensamento humano no qual cada conceito básico receberia um sinal próprio:

"É evidente que, se encontrássemos caracteres ou sinais capazes de expressar todos os nossos pensamentos com a clareza e a precisão com que a aritmética expressa os números e a geometria expressa as linhas, poderíamos fazer, em todas as matérias sujeitas ao raciocínio, tudo o que fazemos na aritmética e na geometria. Toda investigação dependente do raciocínio seria então conduzida pela transposição desses caracteres e por uma espécie de cálculo."

Pensamentos complexos seriam representados pela combinação dos sinais correspondentes a ideias mais simples. Leibniz percebeu que a unicidade da fatoração em números primos lhes conferia um possível papel central nessa linguagem, antecipando aspectos da numeração de Gödel. Isso não significa que numerar conceitos elementares por números primos ofereça uma forma intuitiva ou fácil de memorizar esses conceitos.

Quando começou a escrever sobre a característica universal, Leibniz ainda tinha pouca formação matemática e a concebia como uma linguagem ou escrita, não como uma álgebra. Só em 1676 passou a pensar em uma "álgebra do pensamento" inspirada na álgebra comum e em sua notação. Ela incluiria um cálculo lógico, combinatória, álgebra, a analysis situs (geometria da situação), uma linguagem universal de conceitos e outros elementos. O significado exato que atribuía à characteristica universalis e ao calculus ratiocinator, bem como sua relação com a lógica formal atual, continua em debate. Sua ideia de raciocinar por meio de símbolos e cálculos universais antecipou desenvolvimentos dos sistemas formais no século XX, como a completude de Turing, na qual a computação serve para definir linguagens universais equivalentes (ver grau de Turing).

Lógica formal

Leibniz é considerado um dos principais lógicos entre Aristóteles e Gottlob Frege. Descreveu propriedades da conjunção, da disjunção, da negação, da identidade, da inclusão entre conjuntos e do conjunto vazio. Sua lógica, e possivelmente sua filosofia, pode ser resumida em dois princípios:

1. Todas as nossas ideias são compostas por um pequeno número de ideias simples, que formam o alfabeto do pensamento humano.
2. Ideias complexas resultam da combinação uniforme e simétrica de ideias simples, de modo análogo à multiplicação aritmética.

A lógica formal desenvolvida no início do século XX exige ainda, no mínimo, negação unária e variáveis quantificadas em algum universo de discurso.

Leibniz nada publicou em vida sobre lógica formal; a maioria de seus textos sobre o assunto consiste em rascunhos. Na História da Filosofia Ocidental, Bertrand Russell afirmou que Leibniz havia alcançado, nos escritos inéditos, um desenvolvimento lógico ao qual se chegaria apenas duzentos anos depois.

Em seu principal estudo sobre Leibniz, Russell sustentou que certas teses surpreendentes do filósofo, como a ideia de que cada mônada reflete o universo inteiro, decorrem de sua decisão de não considerar reais as relações entre coisas. Leibniz trataria essas relações como qualidades dos indivíduos, admitindo apenas predicados de um lugar: "Maria é mãe de João" descreveria qualidades separadas de Maria e de João. Essa interpretação contrasta com a lógica relacional de Augustus De Morgan, Charles Sanders Peirce, Ernst Schröder e do próprio Russell, incorporada à lógica de predicados. Leibniz também entendia espaço e tempo como inerentemente relacionais.

A álgebra de conceitos desenvolvida por Leibniz em 1690, dedutivamente equivalente à álgebra booliana, e a metafísica associada continuam a despertar interesse na metafísica computacional.

Sistemas lineares

Leibniz dispôs os coeficientes de um sistema de equações lineares em uma matriz para encontrar uma solução, quando ela existisse. Essas notações para os coeficientes antecipam aspectos da teoria posterior das matrizes. Também estabeleceu fundamentos da teoria dos determinantes, descobertos de modo independente pelo matemático japonês Seki Takakazu. Seus trabalhos mostram o cálculo de determinantes por cofatores. A fórmula de Leibniz para determinantes é uma soma distinta da expansão por cofatores: seus termos são produtos de entradas da matriz associados às ${\displaystyle n!}$ permutações, o que torna o cálculo direto impraticável para matrizes grandes. Leibniz também obteve um resultado equivalente à regra de Cramer; Gabriel Cramer publicou a regra geral para sistemas de ${\displaystyle n}$ equações em 1750. A eliminação gaussiana requer ${\displaystyle O(n^{3})}$ operações aritméticas, mas livros de álgebra linear ainda apresentam a expansão por cofatores antes da decomposição LU.

Geometria

A fórmula de Leibniz para π estabelece que:

${\displaystyle 1-{\frac {1}{3}}+{\frac {1}{5}}-{\frac {1}{7}}+\cdots ={\frac {\pi }{4}}.}$

Leibniz escreveu que os círculos "podem ser expressos de maneira muito simples por essa série", formada pela soma e subtração alternadas de frações. A convergência é lenta: mesmo com dez milhões de termos, o erro na aproximação de ${\displaystyle \pi /4}$ permanece da ordem de ${\displaystyle 10^{-8}}$. Leibniz também procurou definir a linha reta ao tentar demonstrar o postulado das paralelas. A maioria dos matemáticos a definia como o caminho mais curto entre dois pontos, mas, para ele, isso era uma propriedade da reta, e não sua definição.

Cálculo

Leibniz e Isaac Newton são reconhecidos como inventores do cálculo diferencial e integral. Segundo os cadernos de Leibniz, em 11 de novembro de 1675 ele usou pela primeira vez o cálculo integral para determinar a área sob o gráfico de uma função ${\displaystyle y=f(x)}$. Introduziu notações ainda empregadas, como o símbolo de integral ∫, um S alongado derivado do latim summa, e o d de diferencial, vindo de differentia. Leibniz só publicou seus resultados em 1684. Em Supplementum geometriae dimensoriae, de 1693, representou por uma figura a relação inversa entre integração e diferenciação, depois chamada de teorema fundamental do cálculo. James Gregory havia descoberto o teorema em forma geométrica, Isaac Barrow demonstrara uma versão geométrica mais geral e Newton desenvolvera a teoria correspondente. A notação e o formalismo leibnizianos tornaram essa relação mais clara. A regra do produto no cálculo diferencial também é chamada de "lei de Leibniz". A regra para diferenciar sob o sinal de integral é conhecida como regra integral de Leibniz.

Leibniz empregou infinitesimais no desenvolvimento do cálculo, manipulando-os de formas que pareciam atribuir-lhes propriedades algébricas paradoxais. George Berkeley criticou essas operações em The Analyst e De Motu. Um estudo recente sustenta que o cálculo leibniziano não encerrava contradições e tinha fundamentos mais sólidos do que admitia a crítica empirista de Berkeley.

Leibniz apresentou o cálculo fracionário em uma carta a Guillaume de l'Hôpital, em 1695. Na mesma época, escreveu a Johann Bernoulli sobre derivadas de "ordem geral". Em sua correspondência de 1697 com John Wallis, discutiu o produto infinito de Wallis para ${\displaystyle \pi /2}$ e propôs empregar o cálculo diferencial para obter esse resultado. Também usou a notação ${\displaystyle d^{1/2}y}$ para uma derivada de ordem ${\displaystyle 1/2}$.

De 1711 até sua morte, Leibniz estava envolvido em uma disputa com John Keill, Newton e outros, sobre se Leibniz havia inventado o cálculo independentemente de Newton.

Os seguidores de Karl Weierstrass rejeitaram o uso dos infinitesimais em matemática, mas os diferenciais continuaram a ser empregados nas ciências, na engenharia e na própria matemática. A partir de 1960, Abraham Robinson deu uma fundamentação rigorosa aos infinitesimais no campo dos números hiper-reais, com recursos da teoria dos modelos. A análise não padronizada resultante pode ser entendida como uma justificação tardia do raciocínio matemático de Leibniz. O princípio de transferência de Robinson formaliza sua lei heurística da continuidade, enquanto a função de parte padrão corresponde à lei transcendental da homogeneidade.

Topologia

Leibniz foi o primeiro a empregar a expressão analysis situs, usada no século XIX para designar o campo hoje conhecido como topologia. Há duas interpretações desse vínculo. Benson Mates, citando um estudo de 1954 de Jacob Freudenthal, argumenta:

"Embora, para Leibniz, a posição de uma sequência de pontos seja inteiramente determinada pelas distâncias entre eles e se altere quando essas distâncias mudam, seu admirador Euler, no célebre artigo de 1736 sobre o Problema das pontes de Königsberg e suas generalizações, usou o termo geometria situs de modo que a posição permanece inalterada sob deformações topológicas. Euler atribuiu equivocadamente a Leibniz a origem desse conceito. Às vezes não se percebe que Leibniz empregava o termo em sentido inteiramente diferente e, por isso, dificilmente pode ser considerado o fundador dessa parte da matemática."

Mas Hideaki Hirano argumenta de forma diferente, citando Mandelbrot:

"Examinar alguns trabalhos científicos de Leibniz é uma experiência que nos põe os pés no chão. Ao lado do cálculo e de outras ideias levadas até o fim, impressionam a quantidade e a diversidade das intuições que ele apenas esboçou. Vimos exemplos na disposição de figuras. Minha admiração por Leibniz cresce ao descobrir que, por um momento, ele deu atenção à escala geométrica. Em Euclidis Prota, tentativa de aperfeiçoar os axiomas de Euclides, escreveu: 'Tenho diversas definições de linha reta. A linha reta é uma curva da qual qualquer parte é semelhante ao todo, e só ela tem essa propriedade, não apenas entre as curvas, mas entre os conjuntos'. Essa afirmação pode ser demonstrada hoje."

A geometria fractal de Mandelbrot retoma as ideias leibnizianas de autossemelhança e de continuidade: Natura non facit saltus ("a natureza não dá saltos"). Ao afirmar que "a linha reta é uma curva da qual qualquer parte se assemelha ao todo", Leibniz teria antecipado ideias posteriores sobre autossemelhança. Em outro exemplo, pediu a Des Bosses que imaginasse um círculo contendo três círculos congruentes de raio máximo. Cada um destes poderia conter outros três círculos, e assim sucessivamente. O processo, que pode ser repetido indefinidamente, ilustra a autossemelhança. Sua proposta de aperfeiçoamento de um axioma de Euclides também expressa essa ideia.

Em 1679, no trabalho Characteristica Geometrica, Leibniz procurou representar propriedades geométricas básicas de figuras por meio de símbolos e combiná-las em operações, uma proposta posteriormente relacionada à topologia combinatória.

Física

Leibniz trabalhou com a estática e a dinâmica de seu tempo, por vezes em desacordo com Descartes e Newton. Desenvolveu uma teoria do movimento baseada na energia cinética e na energia potencial, na qual o espaço era relativo. Newton, por sua vez, defendia o espaço absoluto. O Specimen Dynamicum, de 1695, expõe seu pensamento físico maduro.

Antes da descoberta das partículas subatômicas e do desenvolvimento da mecânica quântica, algumas especulações de Leibniz sobre a natureza, não redutíveis à estática ou à dinâmica, pareciam difíceis de compreender. Contra Newton, sustentou a relatividade do espaço, do tempo e do movimento: "Já disse mais de uma vez que considero o espaço algo meramente relativo, assim como o tempo: o espaço é uma ordem de coexistências, e o tempo, uma ordem de sucessões".

Leibniz concebia o espaço e o tempo em termos relacionais, em oposição à concepção substantivista de Newton. Para Newton, espaço e tempo existiam como entidades independentes das coisas. Para Leibniz, eram sistemas de relações entre objetos. O surgimento da relatividade geral e estudos posteriores da história da física favoreceram uma nova avaliação de sua posição.

Um dos projetos de Leibniz foi reformular a teoria de Newton como uma teoria de vórtice. No entanto, seu projeto foi além da Teoria do vórtice, já que no seu centro havia uma tentativa de explicar um dos problemas mais difíceis da física, o da origem da coesão da matéria.

O Princípio de razão suficiente foi invocado na Cosmologia recente, e sua identidade dos indistinguíveis na mecânica quântica, um campo que alguns até o creditam por ter antecipado em algum sentido. Além de suas teorias sobre a natureza da realidade, as contribuições de Leibniz para o desenvolvimento do cálculo também tiveram um grande impacto na física.

Outras ciências naturais

Ao propor que a Terra possui um núcleo fundido, Leibniz antecipou uma ideia da geologia moderna. Na embriologia, defendia a pré-formação, mas também sugeriu que os organismos resultam da combinação de inúmeras microestruturas possíveis e de suas capacidades. Seus estudos de anatomia comparada e fósseis levaram-no a formular ideias transformistas nas ciências da vida e na paleontologia. Protogaea, uma de suas principais obras sobre o tema, não foi publicada em vida; sua primeira tradução inglesa em livro saiu em 2008. Também desenvolveu uma teoria inicial do organismo. Na medicina, pediu que os médicos fundamentassem suas teorias em observações comparativas minuciosas e experiências verificadas, distinguindo as explicações científicas das metafísicas.

Psicologia

A psicologia era um interesse central de Leibniz. Considerado um "pioneiro subestimado da psicologia", escreveu sobre atenção, consciência, memória, aprendizagem por associação, motivação, individualidade e desenvolvimento psicológico. Nos Novos ensaios e na Monadologia, recorre a observações do cotidiano, como o comportamento de um cão e o som do mar, e a analogias como relógios sincronizados. Formulou princípios relativos à passagem das pequenas percepções imperceptíveis à apercepção consciente e ao paralelismo psicofísico: "As almas agem segundo as leis das causas finais, por aspirações, fins e meios. Os corpos agem segundo as leis das causas eficientes, isto é, as leis do movimento. Esses dois reinos harmonizam-se entre si". Nessa concepção do problema mente-corpo, mente e corpo seguem cursos separados, porém harmônicos. Leibniz, contudo, não empregou a palavra psychologia. Em oposição ao empirismo de John Locke, escreveu: Nihil est in intellectu quod non fuerit in sensu, nisi intellectus ipse ("Nada há no intelecto que não tenha estado antes nos sentidos, exceto o próprio intelecto"). Assim, princípios que não provêm das impressões sensoriais podem ser reconhecidos na percepção e na consciência, como as inferências lógicas, as categorias do pensamento, a causalidade e a teleologia.

Wilhelm Wundt, um dos fundadores da psicologia como disciplina, foi um importante intérprete de Leibniz. Em 1862, citou nisi intellectus ipse na página de rosto de Beiträge zur Theorie der Sinneswahrnehmung ("Contribuições para a teoria da percepção sensorial") e publicou depois uma monografia sobre o filósofo. Transformou a noção leibniziana de apercepção em um programa de psicologia experimental que incluía modelos neuropsicológicos. Wundt também retomou a ideia de perspectivas distintas, porém correspondentes, que "se complementam, embora possam parecer opostas até serem examinadas mais profundamente". O pensamento de Leibniz exerceu influência na psicologia posterior. Sua hipótese das pequenas percepções sustentava que há percepções das quais não temos consciência. Segundo o princípio de continuidade, a passagem da consciência à inconsciência teria etapas intermediárias. Isso permite ver em sua teoria uma antecipação de estudos sobre os estágios do sono e o inconsciente. Leibniz influenciou diretamente Ernst Platner, a quem se atribui o uso inicial do termo Unbewußtseyn (inconsciente). A ideia dos estímulos subliminares também foi relacionada às suas pequenas percepções. Suas ideias sobre música e percepção dos tons influenciaram estudos de laboratório de Wundt.

Ciências sociais

Leibniz propôs a criação de uma autoridade responsável pela saúde pública, com atenção à epidemiologia e à medicina veterinária, e defendeu uma formação médica voltada também à prevenção. Na economia, sugeriu reformas tributárias e um sistema público de seguros, além de discutir a balança comercial. Também estudou os jogos de azar e o problema matemático da repartição das apostas interrompidas, temas ligados ao desenvolvimento da teoria das probabilidades.

Tecnologia

Em 1906, Ernst Gerland organizou um volume de escritos de Leibniz sobre física, mecânica e tecnologia. Poucos de seus escritos técnicos foram traduzidos para o inglês. Leibniz atuou como inventor, engenheiro e cientista aplicado. Sob o lema theoria cum praxi ("teoria com prática"), defendia a aplicação do conhecimento teórico. Projetou hélices e bombas movidas a vento, máquinas para extrair minério, prensas hidráulicas, lâmpadas, submarinos e relógios. Trabalhou com Denis Papin em uma máquina a vapor e propôs um método de dessalinização. Entre 1680 e 1685, tentou conter os alagamentos das minas ducais de prata nas montanhas Harz, sem sucesso.

Bibliotecário

Após a morte de Boyneburg e a estadia em Paris, Leibniz tornou-se bibliotecário na corte do duque João Frederico de Brunsvique-Luneburgo, em Hanôver. Seu antecessor, Tobias Fleischer, havia criado um sistema de catalogação pouco prático. Leibniz concentrou-se inicialmente em ampliar a biblioteca e apresentou um plano abrangente menos de um mês após assumir o cargo. Defendia a formação de um acervo essencial e argumentava que uma biblioteca organizada e bem provida era tão útil quanto escolas e igrejas, ao contrário de uma biblioteca mantida apenas para ostentação. Faltaram-lhe, porém, recursos para realizar o plano. No fim de 1690, foi nomeado conselheiro privado e bibliotecário da Biblioteca Herzog August, em Wolfenbüttel, cujo acervo incluía pelo menos 25.946 volumes impressos. Como não podia substituir todo o catálogo existente, aperfeiçoou-o e criou um catálogo alfabético de autores. Também concebeu outros métodos de catalogação que não foram aplicados. Seu trabalho nas bibliotecas ducais de Hanôver e Wolfenbüttel fez dele um dos fundadores da biblioteconomia. Interessava-se pela classificação por assunto e por acervos que abrangessem diferentes áreas do conhecimento. Em Otivm Hanoveranvm Sive Miscellanea (1737), propôs esta classificação:

• Teologia
• Jurisprudência
• Medicina
• Filosofia intelectual
• Filosofia da imaginação ou matemática
• Filosofia das coisas sensíveis ou física
• Filologia ou Língua
• História Civil
• História literária e bibliotecas
• Assuntos gerais e diversos

Leibniz projetou ainda um sistema de indexação de livros sem conhecer o sistema semelhante já usado pela Biblioteca Bodleiana, na Universidade de Oxford. Pediu que as editoras divulgassem anualmente resumos padronizados de todos os novos títulos, para facilitar a indexação, e esperava estender o trabalho retrospectivamente até os primeiros impressos de Gutenberg. As propostas não foram adotadas na época, mas práticas semelhantes se tornaram comuns entre editoras de língua inglesa no século XX, com a participação da Biblioteca do Congresso e da Biblioteca Britânica.

Leibniz propôs criar um banco de dados empíricos para promover as ciências. Sua characteristica universalis, o calculus ratiocinator e a proposta de uma "comunidade de mentes" que ajudasse a unir politicamente e religiosamente a Europa podem ser vistos como antecedentes distantes, embora não intencionais, das línguas artificiais, da lógica simbólica e da World Wide Web.

Defesa das sociedades científicas

Leibniz entendia a pesquisa como um empreendimento coletivo e defendia a criação de sociedades científicas nacionais inspiradas na Royal Society britânica e na Academia de Ciências da França. Em cartas e viagens, propôs sociedades em Dresden, São Petersburgo, Viena e Berlim. Apenas esta última se concretizou: em 1700, foi criada a Academia de Ciências de Berlim. Leibniz redigiu seus primeiros estatutos e presidiu-a até a morte. A instituição deu origem à Academia Alemã de Ciências, ligada à edição de suas obras.

Direito

Leibniz estudou direito, e a influência do professor Erhard Weigel, próximo do cartesianismo, levou-o a explorar métodos matemáticos para resolver questões jurídicas. Isso aparece em Specimen Quaestionum Philosophicarum ex Jure collectarum ("Ensaio sobre questões filosóficas colhidas do direito"). A tese Disputatio Inauguralis de Casibus Perplexis in Jure ("Disputação inaugural sobre casos jurídicos ambíguos") emprega formas iniciais de combinatória para tratar conflitos jurídicos, enquanto De Arte Combinatoria, de 1666, usa problemas legais simples como exemplos.

O uso da combinatória em questões jurídicas e morais parece ter chegado a Leibniz por meio de Athanasius Kircher e Daniel Schwenter, inspirados por Raimundo Lúlio. Este procurara resolver disputas religiosas com uma forma de raciocínio combinatório que considerava universal, uma mathesis universalis.

No fim da década de 1660, o príncipe-bispo de Mogúncia, Johann Philipp von Schönborn, anunciou uma revisão das leis e abriu um cargo para auxiliar o responsável pelo projeto. Leibniz deixou a Francônia em direção a Mogúncia antes mesmo de ser escolhido. Em Frankfurt am Main, escreveu como candidatura Novo método de ensinar e aprender o direito. O texto propunha uma reforma do ensino jurídico que combinava tomismo, ideias de Hobbes e Descartes e a jurisprudência tradicional. Para Leibniz, ensinar direito não significava incutir regras como se treina um cão, mas ajudar o estudante a descobrir por si a razão pública. A proposta impressionou Schönborn, e Leibniz obteve o cargo.

Ao trabalhar em Mogúncia entre 1667 e 1672, Leibniz voltou a buscar um fundamento racional universal para o direito, uma "ciência do direito". Partiu da concepção mecanicista de poder de Hobbes, mas retomou métodos lógico-combinatórios para definir a justiça. Nos rascunhos de Elementa Juris Naturalis, passou a tratar o direito como possibilidade e a obrigação como necessidade, antecipando a doutrina dos mundos possíveis em um quadro deôntico. Elementa permaneceu inédito, mas Leibniz continuou a revisar os textos e a discutir as ideias por carta até morrer.

Ecumenismo

Leibniz dedicou grande esforço intelectual e diplomático a aproximar as igrejas católica e luterana. Seguiu o exemplo de seus primeiros protetores, o barão von Boyneburg e o duque João Frederico de Brunsvique-Luneburgo, ambos criados como luteranos e convertidos ao catolicismo na idade adulta. Eles incentivaram iniciativas de reconciliação, embora a Casa de Brunsvique-Luneburgo tenha permanecido luterana, pois os filhos do duque não acompanharam sua conversão. Leibniz trocou cartas com o bispo francês Jacques-Bénigne Bossuet e participou de debates teológicos sobre o assunto. Acreditava que o emprego rigoroso da razão poderia ajudar a superar a divisão causada pela Reforma Protestante.

Referências culturais

Leibniz ainda recebe atenção popular. Um Doodle do Google de 1.º de julho de 2018 comemorou os 372 anos de seu nascimento. A imagem mostrava a mão do filósofo escrevendo "Google" em código ASCII binário com uma pena.

Uma das primeiras representações populares e indiretas de Leibniz apareceu na sátira Cândido, publicada por Voltaire em 1759. Suas ideias foram caricaturadas no personagem Pangloss, professor que insiste no melhor dos mundos possíveis.

Leibniz é uma figura histórica central na série de romances O Ciclo Barroco, de Neal Stephenson. O escritor afirmou que leituras e conversas sobre Leibniz inspiraram a série.

Leibniz também é protagonista do romance The Organs of Sense, de Adam Ehrlich Sachs.

O biscoito alemão Choco Leibniz recebeu seu nome em homenagem a Leibniz. Seu fabricante, Bahlsen, tem sede em Hanôver, onde Leibniz viveu por quatro décadas até sua morte.

Obras selecionadas

As datas indicam, em geral, a conclusão das obras, e não sua publicação.

• 1666 (reimpresso em 1690): De Arte Combinatoria ("Sobre a arte combinatória"); traduzido em parte por Loemker e Parkinson.
• 1667: Nova Methodus Discendae Docendaeque Iurisprudentiae (Um novo método de aprender e ensinar jurisprudência)
• 1667: "Dialogus de connexione inter res et verba" (Diálogo sobre a relação entre as coisas e as palavras)
• 1671: Hypothesis Physica Nova (Nova hipótese física)
• 1673: Confessio philosophi (Confissão de um filósofo)
• Outubro de 1684: "Meditationes de cognitione, veritate et ideis" (Meditações sobre o conhecimento, a verdade e as ideias)
• Novembro de 1684: "Nova methodus pro maximis et minimis" (Novo método para máximos e mínimos)
• 1686: Discours de métaphysique
• 1686: Generales inquisitiones de analysi notionum et veritatum (Investigações gerais sobre a análise das noções e das verdades)
• 1694: "De primae philosophiae Emendatione, et de Notione Substantiae" (Sobre a reforma da filosofia primeira e a noção de substância)
• 1695: Système nouveau de la nature et de la communication des substances (Novo sistema da natureza)
• 1700: Accessiones historicae
• 1703: "Explication de l'Arithmétique Binaire" (Explicação da aritmética binária)
• 1704 (publicado em 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: Monadologia

Obras póstumas

• 1717: Collectanea Etymologica, editado pelo secretário de Leibniz Johann Georg von Eckhart
• 1749: Protogaea
• 1750: Origines Guelficae

Coleções

Seis coleções importantes de traduções para o inglês são as de Wiener, Parkinson, Loemker, Ariew e Garber, Woolhouse e Francks e Strickland.

A edição histórico-crítica dos escritos de Leibniz, iniciada em 1901 por diferentes equipes, ainda estava em andamento em 2025. O projeto Gottfried Wilhelm Leibniz: Sämtliche Schriften und Briefe ("Escritos e cartas completos de Gottfried Wilhelm Leibniz") é conhecido como Leibniz-Edition.

Uma nova edição dos escritos filosóficos de Leibniz foi publicada em 30 de abril de 2026. Leibniz’s Philosophical Papers (1677–1686) reúne, em três volumes e cerca de 2.000 páginas, 314 textos, dos quais 203 foram traduzidos para o inglês pela primeira vez, sete eram inéditos e um foi publicado integralmente pela primeira vez. Os textos foram preparados com base nos manuscritos.

Bibliografias

• Bodemann, Eduard (1895). Die Leibniz-Handschriften der Königlichen öffentlichen Bibliothek zu Hannover (em alemão). [S.l.: s.n.]  Reimpressão anastática: Hildesheim, Georg Olms, 1966.
• Bodemann, Eduard (1889). Der Briefwechsel des Gottfried Wilhelm Leibniz in der Königlichen öffentlichen Bibliothek zu Hannover. [S.l.: s.n.]  Reimpressão anastática: Hildesheim, Georg Olms, 1966.
• «Leibniz Bibliography». Gottfried Wilhelm Leibniz Library. 2025 
• Heinekamp, Albert; Mertens, Marlen (1984). Leibniz-Bibliographie. Die Literatur über Leibniz bis 1980. Frankfurt: Vittorio Klostermann 
• Heinekamp, Albert; Mertens, Marlen (1996). Leibniz-Bibliographie. Die Literatur über Leibniz. 2, 1981–1990'. Frankfurt: Vittorio Klostermann 
• Preusse, Holger (2016). Gottfried Leibnitz: Das größte Genie aller Zeiten?. Timeline Deutschland (em alemão). ZDF 
• Ravier, Émile (1937). Bibliographie des œuvres de Leibniz (em francês). Paris: Alcan  Reimpressão anastática Hildesheim: Georg Olms, 1966.
• Wundt, Wilhelm (1917). Leibniz zu seinem zweihundertjährigen Todestag, 14. November 1916 (em alemão). Leipzig: Alfred Kröner Verlag 

Obras de Leibniz e edições

• Ariew, Roger; Garber, Daniel, eds. (1989). Leibniz: Philosophical Essays. [S.l.]: Hackett 
• Ariew, Roger, ed. (2000). G. W. Leibniz and Samuel Clarke: Correspondence. [S.l.]: Hackett 
• Arthur, Richard T. W., ed. (2001). The Labyrinth of the Continuum: Writings on the Continuum Problem, 1672–1686. [S.l.]: Yale University Press 
• Arthur, Richard T. W. (2014). Leibniz. [S.l.]: John Wiley & Sons 
• Artosi, Alberto; Pieri, Bernardo; Sartor, Giovanni, eds. (2014). Leibniz: Logico-Philosophical Puzzles in the Law. [S.l.]: Springer. ISBN 978-9400793071 
• Cohen, Claudine; Wakefield, Andre, eds. (2008). Protogaea. [S.l.]: University of Chicago Press 
• Cook, Daniel; Rosemont, Henry Jr., eds. (1994). Leibniz: Writings on China. [S.l.]: Open Court 
• Dascal, Marcelo, ed. (2006). G. W. Leibniz. The Art of Controversies. [S.l.]: Springer 
• Farrer, Austin, ed. (1995). Theodicy. [S.l.]: Open Court 
• Iuliis, Carmelo Massimo de, ed. (2017). Leibniz: The New Method of Learning and Teaching Jurisprudence. Clark NJ: Talbot 
• Leibniz, Gottfried Wilhelm (1693). Mencke, Otto, ed. «Supplementum geometriae dimensoriae, seu generalissima omnium tetragonismorum effectio per motum: similiterque multiplex constructio lineae ex data tangentium conditione». Leipzig: Johann Friedrich Gleditsch. Acta Eruditorum (em latim): 385–392 
• Leibniz, Gottfried Wilhelm (1737). Feller, Joachim Friedrich, ed. Otium Hanoveranum Sive Miscellanea. [S.l.: s.n.] 
• Leibniz, Gottfried Wilhelm (1765). Nouveaux essais sur l'entendement humain (em francês). Amsterdam: Rudolf Erich Raspe 
• Leibniz, Gottfried Wilhelm (1934). Rhys, Ernest, ed. Philosophical Writings. London: J. M. Dent & Sons 
• Leibniz, Gottfried Wilhelm (1973). Parkinson, G. H. R., ed. Philosophical Writings. London: J. M. Dent & Sons. ISBN 0460870459 
• Leibniz, Gottfried Wilhelm (30 de janeiro de 1999). «The Monadology». Roger Bishop Jones. Cópia arquivada em 19 de maio de 2026 
• Leibniz, Gottfried Wilhelm (1951). Farrer, Austin, ed. Theodicy. [S.l.: s.n.] 
• Leibniz, Gottfried Wilhelm (2004). «Principia Logico-Metaphysica» (PDF). Leibniz-Forschungsstelle Münster, Niedersächsische Akademie der Wissenschaften zu Göttingen. Leibniz: Sämtliche Schriften und Briefe (Leibniz-Edition, Akademie Ausgabe). VI, Philosophische Schriften. 4, 1677 – Juni 1690, part B: 1643–1649 
• Leibniz, Gottfried Wilhelm (2005). Farrer, Austin, ed. Theodicy. [S.l.: s.n.] 
• Leibniz, Gottfried Wilhelm Freiherr von (27 de julho de 2007). The Early Mathematical Manuscripts of Leibniz: Translated from the Latin Texts Published by Carl Immanuel Gerhardt with Critical and Historical Notes. [S.l.]: Open court publishing Company. ISBN 9780598818461. Cópia arquivada em 8 de dezembro de 2025 
• Leibniz, Gottfried Wilhelm (7 de julho de 2020). «Confessio philosophi» (em latim). Cópia arquivada em 8 de fevereiro de 2026 
• Leibniz, Gottfried Wilhelm (21 de fevereiro de 2024). «A Philosopher's Creed». Traduzido por WillowW. Cópia arquivada em 7 de dezembro de 2025 
• Leibniz edition Potsdam (2022). «Arbeitskatalog der Leibniz-Edition». Berlin-Brandenburg Academy of Sciences. Leibniz edition Potsdam of the Berlin-Brandenburg Academy of Sciences. Cópia arquivada em 30 de agosto de 2026  Editado desde 1901 por equipes sucessivas.
• Leibniz-Archiv; Leibniz-Forschungsstelle Hannover (2025). «Gottfried Wilhelm Leibniz: Sämtliche Schriften und Briefe (Leibniz-Edition, Die Akademie Ausgabe)». Gottfried Wilhelm Leibniz Society. Cópia arquivada em 10 de junho de 2026 
• Linnaeus, Carolus (1751). Philosophia Botanica 1st ed. [S.l.: s.n.] 
• Lodge, Paul, ed. (2013). The Leibniz-De Volder Correspondence: With Selections from the Correspondence Between Leibniz and Johann Bernoulli. [S.l.]: Yale University Press 
• Loemker, Leroy E., ed. (1969). Leibniz: Philosophical Papers and Letters 2nd ed. Dordrecht: D. Reidel. ISBN 902770693X 
• Look, Brandon; Rutherford, Donald, eds. (2007). The Leibniz-Des Bosses Correspondence. [S.l.]: Yale University Press 
• Martin, R. Niall D.; Brown, Stuart, eds. (1988). Discourse on Metaphysics and Related Writings. Manchester: Manchester University Press. ISBN 0719023386 
• Mason, H. T.; Parkinson, G. H. R., eds. (1967). The Leibniz-Arnauld Correspondence. [S.l.]: Manchester University Press 
• Murray, Michael, ed. (2011). Dissertation on Predestination and Grace. [S.l.]: Yale University Press 
• Parkinson, G. H. R. (1966). Logical Papers. [S.l.]: Clarendon Press 
• Parkinson, G. H. R., ed. (1992). De Summa Rerum. Metaphysical Papers, 1675–1676. [S.l.]: Yale University Press 
• Remnant, Peter; Bennett, Jonathan, eds. (1996). Leibniz: New Essays on Human Understanding. [S.l.]: Cambridge University Press 
• Rescher, Nicholas, ed. (1991). G. W. Leibniz's Monadology. An Edition for Students. Pittsburgh: University of Pittsburgh Press. ISBN 978-0-8229-5449-1 
• Rescher, Nicholas (2013). On Leibniz. Pittsburgh: University of Pittsburgh Press 
• Riley, Patrick, ed. (1988). Leibniz: Political Writings. [S.l.]: Cambridge University Press 
• Schrecker, Paul; Schrecker, Anne Martin, eds. (1965). Monadology and other Philosophical Essays. [S.l.]: Prentice-Hall 
• Sleigh, Robert C. Jr., ed. (2005). Confessio Philosophi: Papers Concerning the Problem of Evil, 1671–1678. [S.l.]: Yale University Press 
• Strickland, Lloyd (2006). The Shorter Leibniz Texts: A Collection of New Translations. [S.l.]: Continuum 
• Strickland, Lloyd, ed. (2011). Leibniz and the two Sophies. The Philosophical Correspondence. Toronto: Iter Press 
• Wiener, Philip P., ed. (1951). Leibniz: Selections. New York: Scribner 
• Woolhouse, R. S.; Francks, R., eds. (1997). Leibniz's 'New System' and Associated Contemporary Texts. [S.l.]: Oxford University Press 
• Leibniz, Gottfried Wilhelm (1998). Woolhouse, R. S.; Francks, Richard, eds. Philosophical Texts. Col: Oxford Philosophical Texts 1st ed. United Kingdom: Oxford University Press. ISBN 978-0198751533 

Estudos publicados até 1950

• Baumgarten, Alexander (2013). Fugate, Courtney D.; Hymers, John, eds. Metaphysics: A Critical Translation with Kant's Elucidations. [S.l.]: Bloomsbury 
• Bell, John L. (16 de março de 2022). «Continuity and Infinitesimals». Stanford Encyclopedia of Philosophy Spring 2022 ed.  
• Bois-Reymond, Emil du (1912). Leibnizsche Gedanken in der neueren Naturwissenschaft. Berlin: Dummler  Reimpresso em Reden. 1. Leipzig: Veit 
• Britton, Andrew; Sedgwick, Peter H.; Bock, Burghard (2008). Ökonomische Theorie und christlicher Glaube. [S.l.]: LIT Verlag Münster. ISBN 978-3-8258-0162-5. Cópia arquivada em 6 de janeiro de 2026 
• Couturat, Louis (1901). La Logique de Leibniz (em francês). Paris: Félix Alcan 
• Couturat, Louis (1903). Opuscules et fragments inédits de Leibniz. Extraits des manuscrits de la Bibliothèque royale de Hanovre (em francês). Paris: Félix Alcan 
• Leibniz, Gottfried Wilhelm (1903). "Primae veritates", p. 518–523 .
• Freigius, Johann Thomas (1574). Quaestiones εωθιναι και δειλιναι seu logicae et ethicae. [S.l.: s.n.] 
• Heidegger, Martin (1983). The Metaphysical Foundations of Logic. [S.l.]: Indiana University Press 
• Lamanna, Marco (2010). «On the Early History of Psychology». Revista Filosófica de Coimbra. 19: 291–314. doi:10.14195/0872-0851_38_3. Cópia arquivada em 11 de abril de 2026 
• Lovejoy, Arthur O. (1957). «Plenitude and Sufficient Reason in Leibniz and Spinoza». The Great Chain of Being (PDF). [S.l.]: Harvard University Press. pp. 144–182  Reimpresso em Frankfurt, H. G., ed. (1972). Leibniz: A Collection of Critical Essays. [S.l.]: Anchor Books 
• Mackie, John Milton; Guhrauer, Gottschalk Eduard (1845). Life of Godfrey William von Leibnitz. Boston: Gould, Kendall and Lincoln 
• Russell, Bertrand (1900). A Critical Exposition of the Philosophy of Leibniz. Cambridge: The University Press 
• Smith, David Eugene (1929). A Source Book in Mathematics. New York: McGraw-Hill Book Company 
• Sorley, William Ritchie (1911). «Leibnitz, Gottfried Wilhelm». Encyclopædia Britannica. 16. pp. 385–390 
• Trendelenburg, F. A. (1857). «Über Leibnizens Entwurf einer allgemeinen Charakteristik». Philosophische Abhandlungen der Königlichen Akademie der Wissenschaften zu Berlin. Aus dem Jahr 1856 (em alemão). Berlin: Commission Dümmler. pp. 36–69 
• Ward, Adolphus William (1911). Leibniz as a Politician. [S.l.]: University Press 

Estudos publicados após 1950

• Adams, Robert Merrihew (1994). Leibniz: Determinist, Theist, Idealist. New York: Oxford University Press 
• Agassi, Joseph (setembro de 1969). «Leibniz's Place in the History of Physics». Journal of the History of Ideas. 30 (3): 331–344. doi:10.2307/2708561. Cópia arquivada em 20 de junho de 2023 
• Aiton, Eric J. (1985). Leibniz: A Biography. UK: Hilger 
• Alexander, H. G., ed. (n.d.). The Leibniz-Clarke Correspondence. Manchester: Manchester University Press 
• Antognazza, Maria Rosa (2007). Leibniz on the Trinity and the Incarnation: Reason and Revelation in the Seventeenth Century (PDF). New Haven: Yale University Press. ISBN 978-0-300-10074-7. Cópia arquivada (PDF) em 26 de março de 2025 
• Antognazza, Maria Rosa (2008). Leibniz: An Intellectual Biography. [S.l.]: Cambridge University Press 
• Antognazza, Maria Rosa (2016). Leibniz: A Very Short Introduction. [S.l.]: Oxford University Press 
• Antognazza, Maria Rosa, ed. (2018). Oxford Handbook of Leibniz. [S.l.]: Oxford University Press 
• Apostol, Tom M. (1991). Calculus. 1 illustrated ed. [S.l.]: John Wiley & Sons. ISBN 9780471000051. Cópia arquivada em 12 de fevereiro de 2025 
• Baird, Forrest E.; Kaufmann, Walter (2008). From Plato to Derrida. Upper Saddle River, New Jersey: Pearson Prentice Hall. ISBN 978-0-13-158591-1 
• Barrow, John D.; Tipler, Frank J. (1986). The Anthropic Cosmological Principle. [S.l.]: Oxford University Press 
• Bella, Stefano Di; Schmaltz, Tad M., eds. (2017). The Problem of Universals in Early Modern Philosophy. [S.l.]: Oxford University Press 
• Benaroya, Haym; Han, Seon Mi; Nagurka, Mark (2 de maio de 2013). Probabilistic Models for Dynamical Systems. [S.l.]: CRC Press. ISBN 978-1-4398-5015-2 
• Bishop, Steve (30 de janeiro de 2012). «Christian Mathematicians – Leibniz». God & Math: Thinking Christianly About Math Education. Cópia arquivada em 20 de setembro de 2026 
• Blamauer, Michael, ed. (2013). The Mental as Fundamental: New Perspectives on Panpsychism. [S.l.]: Walter de Gruyter 
• Borowski, Audrey (2024). Leibniz in His World: The Making of a Savant. [S.l.]: Princeton University Press. ISBN 9780691260747. Cópia arquivada em 2 de julho de 2025 
• Bos, H. J. M. (1974). «Differentials, higher-order differentials and the derivative in the Leibnizian calculus». Archive for History of Exact Sciences. 14: 1–90. doi:10.1007/bf00327456 
• Brown, Stuart, ed. (1999). The Young Leibniz and His Philosophy (1646–76). Dordrecht: Kluwer 
• Brown, Stuart (2023). Historical Dictionary of Leibniz's Philosophy 2nd ed. Lanham: Rowman and Littlefield. ISBN 9781538178447 
• Busche, Hubertus (1997). Leibniz' Weg ins perspektivische Universum: Eine Harmonie im Zeitalter der Berechnung. Col: Paradeigmata (em alemão). Hamburg: Meiner Verlag. ISBN 978-3-7873-1342-6 
• «Leibniz (Baron Gottfried Wilhelm von)». Collins English Dictionary. HarperCollins. 2025 
• Connelly, Stephen (2021). Leibniz: A Contribution to the Archaeology of Power. [S.l.]: Edinburgh University Press. ISBN 9781474418065 
• Cosans, Christopher Ernest (2009). Owen's Ape & Darwin's Bulldog: Beyond Darwinism and Creationism. [S.l.]: Indiana University Press. ISBN 978-0-253-22051-6 
• David, Marian (28 de maio de 2015). «The Correspondence Theory of Truth». Stanford Encyclopedia of Philosophy Summer 2022 ed.  
• Davis, Martin (2000). The Universal Computer: The Road from Leibniz to Turing. [S.l.]: WW Norton 
• Davis, Martin (28 de fevereiro de 2018). The Universal Computer : The Road from Leibniz to Turing 3rd ed. [S.l.]: CRC Press. ISBN 978-1-138-50208-6 
• Deleuze, Gilles (1993). The Fold: Leibniz and the Baroque. [S.l.]: University of Minnesota Press 
• Deutsche Forschungsgemeinschaft (9 de setembro de 2025). «Gottfried Wilhelm Leibniz-Preis» (em alemão). Cópia arquivada em 5 de setembro de 2026 
• Dickerson, A. B. (2003). Kant on Representation and Objectivity. [S.l.]: Cambridge University Press 
• Dunne, Luke (21 de dezembro de 2022). «Gottfried W. Leibniz: The Last True Genius». TheCollector. Cópia arquivada em 9 de setembro de 2026 
• Eckert, Horst (1971). Gottfried Wilhelm Leibniz' Scriptores rerum Brunsvicensium: Entstehung und historiographische Bedeutung. Col: Veröffentlichungen des Leibniz-Archivs (em alemão). 3. Frankfurt am Main: V. Klostermann 
• Fahrenberg, Jochen, 2017. PsyDok ZPID The influence of Gottfried Wilhelm Leibniz on the Psychology, Philosophy, and Ethics of Wilhelm Wundt.
• Fahrenberg, Jochen, 2020. Wilhelm Wundt (1832–1920). Introduction, Quotations, Reception, Commentaries, Attempts at Reconstruction. Pabst Science Publishers, Lengerich 2020, ISBN 978-3-95853-574-9.
• Ferraro, Rafael (2007). Einstein's Space-Time: An Introduction to Special and General Relativity. [S.l.]: Springer. ISBN 978-0-387-69946-2. Cópia arquivada em 12 de fevereiro de 2025 
• Finster, Reinhard & van den Heuvel, Gerd 2000. Gottfried Wilhelm Leibniz. Mit Selbstzeugnissen und Bilddokumenten. 4. Auflage. Rowohlt, Reinbek bei Hamburg (Rowohlts Monographien, 50481), ISBN 3-499-50481-2.
• «Leibniz-Nachlass». Gottfried Wilhelm Leibniz Bibliothek (em alemão). Arquivado do original em 8 de junho de 2023 
• Grattan-Guinness, Ivor, 1997. The Norton History of the Mathematical Sciences. W W Norton.
• Hall, Alfred Rupert (1980). Philosophers at War: The Quarrel between Newton and Leibniz. [S.l.]: Cambridge University Press 
• Hall, Alfred Rupert (2002). Philosophers at War: The Quarrel Between Newton and Leibniz. Cambridge: n.p. 
• Hamza, Gabor, 2005. "Le développement du droit privé européen". ELTE Eotvos Kiado Budapest.
• Handley, Lindsey D.; Foster, Stephen R. (2020). Don't Teach Coding: Until You Read This Book. [S.l.]: John Wiley & Sons. ISBN 9781119602620. Cópia arquivada em 12 de fevereiro de 2025 
• Hasan, Ali; Fumerton, Richard (5 de agosto de 2022). «Foundationalist Theories of Epistemic Justification». Stanford Encyclopedia of Philosophy Fall 2022 ed.  
• Hoeflich, M. H. (1986). «Law & Geometry: Legal Science from Leibniz to Langdell». American Journal of Legal History. 30 (2): 95–121. doi:10.2307/845705 
• Holland, Arthur William (1911). «Germany/History». Encyclopædia Britannica. pp. 828–901 
• Hostler, John (1975). Leibniz's Moral Philosophy. UK: Duckworth 
• Huber, Kurt (2014). Leibniz: Der Philosoph der universalen Harmonie. [S.l.]: Severus Verlag 
• Hunt, Shelby D. (2003). Controversy in Marketing Theory: For Reason, Realism, Truth, and Objectivity. [S.l.]: M. E. Sharpe. ISBN 978-0-7656-0931-1 
• Ishiguro, Hidé 1990. Leibniz's Philosophy of Logic and Language. Cambridge University Press.
• Johns, Christopher (2013). The Science of Right in Leibniz's Moral and Political Philosophy. [S.l.]: Bloomsbury Academic. ISBN 9781780936734. Cópia arquivada em 31 de agosto de 2025 
• Jolley, Nicholas, ed. (1995). The Cambridge Companion to Leibniz. Cambridge: Cambridge University Press. ISBN 0-521-36588-0 
• Ariew, Roger (1995). «G. W. Leibniz, life and works». In: Jolley, Nicholas. The Cambridge Companion to Leibniz. [S.l.]: Cambridge University Press. pp. 18–42 
• Parkinson, G. H. R. (1995). «Philosophy and logic». In: Jolley, Nicholas. The Cambridge Companion to Leibniz. [S.l.]: Cambridge University Press. pp. 199–223 
• Rutherford, Donald (1995). «Philosophy and language in Leibniz». In: Jolley, Nicholas. The Cambridge Companion to Leibniz. [S.l.]: Cambridge University Press. pp. 224–269 
• Garber, Daniel (1995). «Leibniz: Physics and philosophy». In: Jolley, Nicholas. The Cambridge Companion to Leibniz. [S.l.]: Cambridge University Press. pp. 270–352 
• Brown, Gregory (1995). «Leibniz's moral philosophy». In: Jolley, Nicholas. The Cambridge Companion to Leibniz. [S.l.]: Cambridge University Press. pp. 411–441 
• Kaldis, Byron, 2011. "Leibniz' Argument for Innate Ideas", in Bruce, Michael and Barbone, Steven, eds., Just the Arguments: 100 of the Most Important Arguments in Western Philosophy. Wiley-Blackwell.
• Karabell, Zachary (2003). Parting the desert: the creation of the Suez Canal. [S.l.]: Alfred A. Knopf. ISBN 978-0-375-40883-0 
• Katugampola, Udita N. (15 de outubro de 2014). «A New Approach To Generalized Fractional Derivatives» (PDF). Bulletin of Mathematical Analysis and Applications. 6 (4): 1–15. Cópia arquivada (PDF) em 27 de abril de 2025 
• Kempe, Michael, 2024. The Best of All Possible Worlds: A Life of Leibniz in Seven Pivotal Days. W. W. Norton.
• King, D. Brett; Viney, Wayne; Woody, William (2009). A History of Psychology: Ideas and Context. [S.l.: s.n.] 
• Krech, Eva-Maria, ed. (2010). Deutsches Aussprachewörterbuch (em alemão) 1st ed. Berlin: Walter de Gruyter GmbH & Co. KG. ISBN 978-3-11-018203-3 
• Kromer, Ralf, and Yannick Chin-Drian. New Essays on Leibniz Reception: In Science and Philosophy of Science 1800-2000. 1st ed. 2012. Heidelberg: Birkhauser, 2012.
• LeClerc, Ivor (ed.), 1973. The Philosophy of Leibniz and the Modern World. Vanderbilt University Press.
• Leibniz, Gottfried Wilhelm (2012). Loptson, Peter, ed. Discourse on Metaphysics and Other Writings. [S.l.]: Broadview Press. ISBN 978-1-55481-011-6 
• Lovejoy, Arthur (1936). «Chapter V, Plenitude and Sufficient Reason in Leibniz and Spinoza». The Great Chain of Being. [S.l.]: Harvard University Press. pp. 144–182 
• Look, Brandon C. (24 de julho de 2013). «Gottfried Wilhelm Leibniz». Stanford Encyclopedia of Philosophy Spring 2020 ed.  
• Luchte, James (2006). «Mathesis and Analysis: Finitude and the Infinite in the Monadology of Leibniz». Heythrop Journal. 47 (4): 519–543. doi:10.1111/j.1468-2265.2006.00296.x. Cópia arquivada em 16 de janeiro de 2026 
• MacDonald Ross, George (1990). «Leibniz's Exposition of His System to Queen Sophie Charlotte and Other Ladies». In: Poser, H.; Heinekamp, A. Leibniz in Berlin. Stuttgart: Franz Steiner. pp. 61–69 
• Magill, Frank, ed. (1990). Masterpieces of World Philosophy. New York: Harper Collins 
• Mangold, Max, ed. (2005). Duden-Aussprachewörterbuch (em alemão) 7th ed. Mannheim: Bibliographisches Institut GmbH. ISBN 978-3-411-04066-7 
• Mates, Benson (1986). The Philosophy of Leibniz: Metaphysics and Language. [S.l.]: Oxford University Press 
• Mates, Benson (1989). The Philosophy of Leibniz: Metaphysics and Language. [S.l.]: Oxford University Press. ISBN 978-0-19-505946-5 
• MathGenealogy (2025). «Gottfried Wilhelm Leibniz». Mathematics Genealogy Project. Cópia arquivada em 9 de novembro de 2025 
• Mercer, Christia (2001). Leibniz's Metaphysics: Its Origins and Development. Cambridge: Cambridge University Press. ISBN 0521403014. doi:10.1017/CBO9780511498268 
• Maor, Eli (2003). The Facts on File Calculus Handbook. [S.l.]: The Facts on File Calculus Handbook. ISBN 9781438109541. Cópia arquivada em 11 de fevereiro de 2025 
• Miller, Kenneth S.; Ross, Bertram (1993). An Introduction to the Fractional Calculus and Fractional Differential Equations. New York: Wiley. ISBN 978-0-471-58884-9 
• Murray, Stuart A.P. (2009). The Library: An Illustrated History. New York, NY: Skyhorse Publishing. ISBN 978-1-60239-706-4 
• Müller, Kurt; Krönert, Gisela (1969). Leben und Werk von Gottfried Wilhelm Leibniz: Eine Chronik. Frankfurt: Klostermann 
• Nicholls, Angus; Liebscher, Martin, eds. (2010). Thinking the Unconscious: Nineteenth-Century German Thought. [S.l.]: Cambridge University Press 
• O'Connor, J J; Robertson, E F (1998). «Gottfried Wilhelm von Leibniz». School of Mathematics and Statistics, University of St Andrews, Scotland. Cópia arquivada em 23 de setembro de 2026 
• O'Leary-Hawthorne, John; Cover, J. A. (4 de setembro de 2008). Substance and Individuation in Leibniz. [S.l.]: Cambridge University Press. ISBN 978-0-521-07303-5 
• Palumbo, Margherita (3 de março de 2014). «Leibniz as Librarian». In: Antognazza, Maria Rosa. The Oxford Handbook of Leibniz. Col: Oxford Handbooks. [S.l.]: Oxford University Press. pp. 609–620. ISBN 978-0-19-974472-5. doi:10.1093/oxfordhb/9780199744725.013.008 
• Perkins, Franklin (2004). Leibniz and China: A Commerce of Light. [S.l.]: Cambridge University Press 
• Perkins, Franklin (10 de julho de 2007). Leibniz: A Guide for the Perplexed. [S.l.]: Bloomsbury Academic. ISBN 978-0-8264-8921-0 
• Pombo, Olga (2010). Ferreira, F.; Löwe, B.; Mayordomo, E.; Mendes Gomes, L., eds. Three Roots for Leibniz's Contribution to the Computational Conception of Reason. Lecture Notes in Computer Science. 6158. Berlin: Springer. pp. 352–361. doi:10.1007/978-3-642-13962-8_39 
• Przytycki, Józef H.; Bakshi, Rhea Palak; Ibarra, Dionne; Montoya-Vega, Gabriel; Weeks, Deborah (2024). Lectures in Knot Theory: An Exploration of Contemporary Topics. [S.l.]: Springer Nature. ISBN 978-3-031-40044-5. Cópia arquivada em 29 de outubro de 2025 
• Riley, Patrick (1996). Leibniz's Universal Jurisprudence: Justice as the Charity of the Wise. [S.l.]: Harvard University Press 
• Russell, Bertrand (15 de abril de 2013). History of Western Philosophy: Collectors Edition revised ed. [S.l.]: Routledge. ISBN 978-1-135-69284-1. Cópia arquivada em 23 de novembro de 2025 
• Rutherford, Donald (1998). Leibniz and the Rational Order of Nature. [S.l.]: Cambridge University Press 
• Sariel, Aviram (2019). «Philosophie diabolique: le discours du doyen Friedrich Leubnitz, 1646». Franz Steiner Verlag. Studia Leibnitiana. 51 (1): 99–118. doi:10.25162/sl-2019-0004 
• Schulte-Albert, H. G. (1971). Gottfried Wilhelm Leibniz and Library Classification. The Journal of Library History (1966–1972), (2). 133–152.
• Sepioł, Zbigniew (2003). «Legal and political thought of Gottfried Wilhelm Leibniz». Studia Iuridica (em polaco). 41: 227–250. Cópia arquivada em 11 de fevereiro de 2025 
• Simmons, George (2007). Calculus Gems: Brief Lives and Memorable Mathematics. [S.l.]: MAA Press 
• Smith, Justin E. H., 2011. Divine Machines. Leibniz and the Sciences of Life, Princeton University Press.
• Strickland, Lloyd (2007). «Explanation of Binary Arithmetic». Leibniz Translations. Arquivado do original em 25 de junho de 2024 
• Strickland, Lloyd (2024). «Why Did Thomas Harriot Invent Binary?». The Mathematical Intelligencer. 46: 57–62. doi:10.1007/s00283-023-10271-9 
• Struik, Dirk Jan, ed. (1969). A Source Book in Mathematics, 1200–1800. Cambridge, Massachusetts: Harvard University Press. ISBN 0674823559 
• Sriraman, Bharath, ed. (2024). Handbook of the History and Philosophy of Mathematical Practice. 4. Cham: Springer. ISBN 978-3-031-40845-8 
• Wells, John C. (2008). Longman Pronunciation Dictionary 3rd ed. [S.l.]: Longman. ISBN 9781405881180 
• Wilson, Catherine (1989). Leibniz's Metaphysics: A Historical and Comparative Study. [S.l.]: Princeton University Press. ISBN 0691073597 
• Zalta, E. N. (2000). «A (Leibnizian) Theory of Concepts» (PDF). Philosophiegeschichte und Logische Analyse / Logical Analysis and History of Philosophy. 3: 137–183. doi:10.30965/26664275-00301008