Немецкий философ. Родился в Лейпциге. Интересы Лейбница были многогранны: помимо философии, он оставил серьезный след в логике, математике и физике (независимо от Ньютона разработал дифференциальное и интегральное исчисление), занимался юриспруденцией, историей и языкознанием. Юридическое образование получил в Лейпцигском университете, философское — в Йенском и Парижском. Свои сочинения писал на немецком и французском языках. Являлся членом Лондонского Королевского общества, Парижской Академии наук, Академии естествознания в Риме, в 1700 г. стал основателем и первым президентом Берлинской Академии наук.
Очень продуктивно и критично переработал идеи основных европейских философов от Платона и Демокрита до Декарта и Гоббса, заложив своими исследованиями базис для развития немецкой классической философии. Основными критериями философии, выдвигаемыми Лейбницем, были универсальность и строгость рассуждений, достижение которых обеспечивалось выполнением четырех принципов: 1. Непротиворечивость возможного, или мыслимого, бытия (закон противоречия); 2. Логический примат возможного над действительным, или существующим; 3. Достаточная обоснованность в существовании именно этого, а не другого мира или события (закон достаточного основания); 4. Оптимальность и совершенство данного мира как основание его существования Лейбниц строго различает мир умопостигаемый и мир феноменальный, чувственно воспринимаемый. Основой бытия являются бесчисленные неделимые субстанции-монады, каждая из которых обладает сущностными характеристиками «стремления» и «восприятия». При этом ни одна из монад не может воздействовать на другую, но каждая гармонично связана с другой, благодаря «предустановленной гармонии», созданной Богом. Не имея возможности проникать в жизнь другой монады, каждая монада в своей замкнутой целостности представляет и отражает все другие и весь мир, выступая таким образом «зеркалом Вселенной». Гармония монад являет собой некую иерархическую лестницу, во главе которой находится человек, обладающий способностью не только к стремлению и восприятию, но и к самосознанию. О своей теории монад философ говорит в работе «Монадология». Философское осмысление теологических проблем Лейбниц дает в труде «Теодицея». Теория познания Лейбница представлена в «Новых опытах о человеческом разуме», где он развивает свою оригинальную концепцию. Признавая, что без чувственного восприятия интеллектуальная деятельность была бы невозможна, он выступает против детерминирования ума чувственным опытом. Рассматривая известный постулат английского эмпиризма — «Нет ничего в разуме, чего не было бы прежде в чувствах», — Лейбниц дополняет его принципиальным положением: «кроме самого разума». Такой подход позволял уделять большое внимание возможному знанию, что соответствовало и его онтологическим приоритетам. Не удивительно поэтому, что он выступил разработчиком теории вероятностей и теории игр, а в работе «Об искусстве комбинаторики» предвосхитил некоторые положения современной математической логики. В целом же философия Лейбница отличается фундаментальностью и продуктивностью, активно привлекающими к ней и современных философов.
Научная деятельность
В области логики Готфрид Вильгельм Лейбниц разрабатывал учение об анализе и синтезе[13][27]. Логику он понимал как науку о всех возможных мирах[27]. Лейбницу принадлежит первая в истории формулировка закона достаточного основания; он также является автором принятой в современной логике формы выражения закона тождества[13][16][27]. Закон тождества он считал высшим принципом логики[20]. «Природа истины вообще состоит в том, что она есть нечто тождественное»[123].
Сформулированный Лейбницем закон тождества в настоящее время используется в большинстве современных логико-математических исчислений[59]. С законом тождества связан принцип подстановки эквивалентных: «Если А есть В и В есть А, тогда А и В называются „тем же самым“. Или: А и В есть то же самое, если они могут быть подставлены один вместо другого»[124].
Для Лейбница принципы тождества, подстановки эквивалентных и противоречия — это основные средства всякого дедуктивного доказательства; опираясь на них, Лейбниц предпринял попытку доказать некоторые так называемые аксиомы[59]. Он считал, что аксиомы — это недоказуемые предложения, представляющие собой тождества, но в математике далеко не все положения, выдаваемые за аксиомы, представляют собой тождества, а потому их, с точки зрения Лейбница, необходимо доказывать[59]. Введённый Лейбницем критерий отождествления и различения имён соответствует в известной мере современному различению между смыслом и значением имён и выражений, например, широко известный пример с эквивалентностью выражений «сэр Вальтер Скотт» и «автор Веверлея», восходящий к Расселу, буквально повторяет эту мысль Лейбница[125].
Единой системы обозначений Лейбниц не выработал, наиболее разработано им исчисление «плюс — минус»[126]. Удачным оказалось предложенное Лейбницем для вывода правильных модусов силлогизмов представление суждений посредством параллельных отрезков или кругов («Опыт доказательной силлогистики» в книге «Opuscules et fragments inédits de Leibniz»)[127]. Важное место у Лейбница занимала защита объекта и метода формальной логики[59]. Он писал Г. Вагнеру следующее[128]:
… хотя г-н Арно в своём искусстве мышления утверждал, что люди редко ошибаются в форме, а почти исключительно в сути, в действительности дело обстоит совсем иначе и уже г-н Гюйгенс вместе со мной заметил, что обычно математические ошибки, называемые паралогизмами, вызываются неряшливостью формы. И, конечно, не пустяк то, что Аристотель вывел для этих форм строгие законы и тем самым оказался первым, кто вне математики писал математически.
Лейбниц выступил создателем наиболее полной для его времени классификации определений, кроме того, он разработал теорию генетических определений[13]. В своём труде «Об искусстве комбинаторики», написанном в 1666 году, Лейбниц предвосхитил некоторые моменты современной математической логики[13][16][27]. Комбинаторикой Лейбниц называл развитую им под влиянием Р. Луллия идею «великого искусства» открытия, которая, опираясь на очевидные «первые истины», позволяла бы логически вывести из них всю систему знания[20]. Эта тема стала у Лейбница одной из ключевых и на протяжении всей жизни он разрабатывал принципы «универсальной науки», от которой, по его словам, «в наибольшей степени зависит благополучие человечества»[129].
Готфриду Вильгельму Лейбницу принадлежит авторство идеи использования математической символики в логике и построений логических исчислений[13]. Он выдвинул задачу фундирования математических истин на общелогических принципах, а также предложил применить бинарную, то есть двоичную, систему счисления для целей вычислительной математики[13]. Лейбниц обосновал значение рациональной символики для логики и для эвристических заключений; он утверждал, что познание сводится к доказательствам утверждений, находить же доказательства необходимо по определённому методу[130]. Согласно Лейбницу, сам по себе математический метод не достаточен, чтобы открыть всё то, что мы ищем, но он предохраняет от ошибок[59]. Последнее объясняется тем, что в математике утверждения формулируют с помощью определённых знаков и действуют по определенным правилам, а проверка, возможная на каждом этапе, требует «только бумаги и чернил»[59]. Лейбниц также впервые высказал идею о возможности машинного моделирования человеческих функций, ему принадлежит и сам термин «модель»[13][16].
Лейбниц внёс большой вклад в разработку понятия «необходимость»[27]. Необходимость он понимал как то, что должно быть обязательно[27]. Согласно Лейбницу, самой первой необходимостью выступает метафизическая, абсолютная, а также логическая и геометрическая необходимость[27]. Она основывается на законах тождества и противоречия, поэтому допускает единственную возможность событий[27]. Лейбниц отмечал и другие особенности необходимости[27]. Он противопоставлял необходимость случайности, понимая её не как субъективную видимость, а как такую объективную связь явлений, которая зависит от свободных решений и от хода процессов во Вселенной[27]. Он понимал её как относительную случайность, носящую объективный характер и возникающую на пересечении определённых необходимых процессов[27].
В «Новых опытах» (книга 4) Лейбниц дал дедуктивный анализ традиционной логики, показав, что 2-я и 3-я фигуры силлогизма могут быть получены как следствие из модуса Barbara при помощи закона противоречия, а 4-я фигура — с использованием закона обращения; здесь же он дал новую классификацию модусов силлогизма[59].
Оригинальные логические идеи Лейбница, более всего ценимые сегодня, стали известны только в XX веке