Основные философские сочинения: «Рассуждение о метафизике» (1685, изд. 1846, русский перевод 1890), «Новая система природы» (1695, русский перевод. 1890), «Новые опыты о человеческом разуме» (1704, издание 1765, русский перевод 1936), «Теодицея» (1710, русский перевод 1887—92), «Монадология» (1714, издание 1720, русский перевод 1890). Основные математические сочинения: «Об истинном отношении круга к квадрату» (1682), «Новый метод максимумов и минимумов» (1684), «О скрытой геометрии и анализе неделимых...» (1686). Физические воззрения Л. изложены, в частности, в работах «Доказательство памятной ошибки Декарта» (1686), «Очерк динамики» (1695), политические и юридические идеи — в сочинениях «Трактат о праве...» (1667), «Христианнейший Марс...» (1680), «Кодекс международного дипломатического права» (1693) и др.

  В философии Л. явился завершителем философии 17 в., предшественником немецкой классической философии. Его философская система сложилась к 1685 как итог двадцатилетней эволюции, в процессе которой Л. критически переработал основные идеи Демокрита, Платона, Августина, Р. Декарта, Т. Гоббса, Б. Спинозы и др. Л. стремился синтезировать всё рациональное в предшествующей философии с новейшим научным знанием на основе предложенной им методологии, важнейшими требованиями которой были универсальность и строгость философских рассуждений. Выполнимость этих требований обеспечивается, по Л., наличием не зависящих от опыта «априорных» принципов бытия, к которым Л. относил: 1) непротиворечивость всякого возможного, или мыслимого, бытия (закон противоречия); 2) логический примат возможного перед действительным (существующим); возможность бесчисленного множества непротиворечивых «миров»; 3) достаточную обоснованность того факта, что существует именно данный мир, а не какой-либо другой из возможных, что происходит именно данное событие, а не другое (закон достаточного основания); 4) оптимальность (совершенство) данного мира как достаточное основание его существования. Совершенство действительного мира Л. понимал как «гармонию сущности и существования»: оптимальность отношений между разнообразием существующих вещей и действий природы и их упорядоченностью; минимум средств при максимуме результата. Следствиями последнего онтологического принципа является ряд др. принципов: принцип единообразия законов природы, или всеобщей взаимосвязи, закон непрерывности, принцип тождества неразличимых, а также принципы всеобщего изменения и развития, простоты, полноты и др.

  В духе рационализма 17 в. Л. различал мир умопостигаемый, или мир истинно сущего (метафизическая реальность), и мир чувственный, или только являющийся (феноменальный) физический мир. Реальный мир, по Л., состоит из бесчисленных психических деятельных субстанций, неделимых первоэлементов бытия — монад, которые находятся между собой в отношении предустановленной гармонии. Гармония (взаимнооднозначное соответствие) между монадами была изначально установлена богом, когда тот избрал для существования данный «наилучший из возможных миров». В силу этой гармонии, хотя ни одна монада не может влиять на другие (монады как субстанции не зависят друг от друга), тем не менее развитие каждой из них находится в полном соответствии с развитием других и всего мира в целом. Это происходит благодаря заложенной богом способности монад представлять, воспринимать, или выражать и отражать, все др. монады и весь мир («монада — зеркало Вселенной»). Деятельность монад состоит в смене восприятий (перцепций) и определяется индивидуальным «стремлением» (аппетицией) монады к новым восприятиям. Хотя вся эта деятельность исходит имманентно из самой монады, она в то же время есть развёртывание изначально заложенной в монаде индивидуальной программы, «полного индивидуального понятия», которое во всех подробностях бог мыслил, прежде чем сотворил данный мир. Т. о., все действия монад полностью взаимосвязаны и предопределены. Монады образуют восходящую иерархию сообразно тому, насколько ясно и отчётливо они представляют мир. В этой иерархии особое место занимают монады, которые способны не только к восприятию, перцепции, но и к самосознанию, апперцепции и к которым Л. относил души людей.

  Мир физический, как считал Л., существует только как несовершенное, чувственное выражение истинного мира монад, как феномен познающего объективный мир человека. Однако, поскольку физические феномены в конце концов порождаются стоящими за ними реальными монадами, Л. считал их «хорошо обоснованными», оправдывая тем самым значимость физических наук. В качестве таких «хорошо обоснованных» феноменов Л. рассматривал пространство, материю, время, массу, движение, причинность, взаимодействие, как они понимались в физике и механике его времени.

  В теории познания Л. пытался найти компромиссную позицию между декартовским рационализмом и локковским эмпиризмом и сенсуализмом. Считая, что без чувственного опыта никакая интеллектуальная деятельность не была возможна, Л. в то же время резко выступал против учения Дж. Локка о душе как «чистой доске» (tabula rasa) и формулу Локка: «Ничего нет в интеллекте, чего раньше не было бы в чувствах» — принимал лишь с поправкой: «кроме самого интеллекта». Л. учил о прирождённой способности ума к познанию ряда идей и истин: из идей к ним относятся высшие категории бытия, такие, как «Я», «тождество», «бытие», «восприятие», а из истин — всеобщие и необходимые истины логики и математики. Однако эта прирождённая способность дана не в готовом виде, но лишь как «предрасположенность», задаток. В отличие от Локка, Л. придавал значительно большее значение вероятностному знанию, указывая на необходимость разработки теории вероятностей и теории игр. Л. ввёл разделение всех истин по их источнику и особой роли в познании на истины разума и истины факта, закрепляя за первыми свойства необходимости, а за вторыми — свойства случайности.

  В физике Л. развивал учение об относительности пространства, времени и движения. Л. установил в качестве количественные меры движения «живую силу» (кинетическую энергию) — произведение массы тела на квадрат скорости, в противоположность Декарту, который считал мерой движения произведение массы на скорость — «мёртвую силу», как назвал её Л. Использовав отчасти результаты Х. Гюйгенса, Л. открыл закон сохранения «живых сил», явившийся первой формулировкой закона сохранения энергии, а также высказал идею о превращении одних видов энергии в другие. Исходя из философского принципа оптимальности всех действий природы, Л. сформулировал один из важнейших вариационных принципов физики — «принцип наименьшего действия» (впоследствии получивший назв. принципа Мопертюи). Л. принадлежит также ряд открытий в специальных разделах физики: в теории упругости, теории колебаний, в частности открытие формулы для расчёта прочности балок (формула Л.) и т.д.

  В логике Л. развил учение об анализе и синтезе, впервые сформулировал закон достаточного основания, ему принадлежит также принятая в современной логике формулировка закона тождества. Л. создал наиболее полную для того времени классификацию определений, разработал теорию генетических определений и др. В работе Л. «Об искусстве комбинаторики», написанной в 1666, предвосхищены некоторые моменты современной математической логики; Л. выдвинул идею применения в логике математической символики и построений логических исчислений, поставил задачу логического обоснования математики, предложил использовать бинарную систему счисления для целей вычислительной математики. Л. впервые высказал мысль о возможности машинного моделирования человеческих функций; ввёл термин «модель».

  В математике важнейшей заслугой Л. является разработка (наряду с И. Ньютоном и независимо от него) дифференциального и интегрального исчисления. Первые результаты были получены Л. в 1675 под влиянием Х. Гюйгенса и на основе усвоения Л. идеи характеристического треугольника Б. Паскаля, алгебраических методов Р. Декарта, работ Дж. Валлиса и Н. Меркатора. Систематический очерк дифференциального исчисления был впервые опубликован в 1684, интегрального — в 1686. Здесь давались определения дифференциала и интеграла, были введены знаки для дифференциала d и интеграла

, приводились правила дифференцирования суммы, произведения, частного, любой постоянной степени, функции от функции (инвариантность 1-го дифференциала), правила отыскания и различения (с помощью 2-го дифференциала) экстремальных точек кривых и отыскание точек перегиба, устанавливался взаимно-обратный характер дифференцирования и интегрирования., Применяя своё исчисление к ряду задач механики (о циклоиде, цепной линии, брахистохроне и др.), Л. наряду с Х. Гюйгенсом и Я. и И. Бернулли вплотную подходит к созданию вариационного исчисления (1686—96). В дальнейших работах Л. указал (1695) формулу для многократного дифференцирования произведения (Лейбница формула) и правила дифференцирования ряда важнейших трансцендентных функций, положил начало (1702—03) интегрированию рациональных дробей. Л. широко пользовался разложением функций в бесконечные степенные ряды, установил признак сходимости знакочередующегося ряда, дал решение в квадратурах некоторых типов обыкновенных дифференциальных уравнений. Л. ввёл термины «дифференциал», «дифференциальное исчисление», «дифференциальное уравнение», «функция», «переменная», «постоянная», «координаты», «абсцисса», «алгебраические и трансцендентные кривые», «алгоритм» (в смысле, близком к современному) и др. Хотя предпринятые Л. попытки логического обоснования дифференциального исчисления нельзя признать успешными, его ясное понимание существа новых аналитических методов и всесторонняя разработка аппарата исчисления способствовали тому, что именно его вариант исчисления во многом определил дальнейшее развитие математического анализа. Кроме анализа, Л. сделал ряд важных открытий в др. областях математики: в комбинаторике, алгебре (начала теории определителей), в геометрии, где он заложил основы теории соприкосновения кривых (1686), разрабатывал одновременно с Гюйгенсом теорию огибающих семейства кривых (1692—94), выдвинул идею геометрических исчислений.