Содержание
Введение
Заключение
Список использованной литературы
Введение
Лейбниц не только является одной из центральных фигур в развитии логики. Его логическое наследие — поразительный феномен в истории мысли. Пожалуй, никто после Аристотеля не формулировал столь масштабных идей, важнейших для понимания содержания и формального аппарата логики, ее роли в человеческом знании. А его ориентация на математизацию, алгебраизацию и аксиоматизацию логики опередила время минимум на полтора столетия.
В творческом наследии Лейбница логика занимает особое место. Счастье и мир зависят от разума и ясности мышления, — писал он в «Авроре». Поэтому логические проблемы для великого философа — не отдельный сюжет, не логика ради логики, представляющая частный интерес, самодостаточная «игра ума». Наоборот — логика для него составляет главный нерв интеллектуального поиска, являясь не только формой («упаковкой») готового знания, но и главным инструментом разработки проблем теологии, естествознания, юриспруденции, познания вообще. Поэтому логические идеи пронизывают практически все интеллектуальное наследие Лейбница, так или иначе, затрагиваются во всех его работах от ранней диссертации до «Монадологии» и «Новых опытов о человеческом разуме».
Жизнь и деятельность Лейбница
Лейбниц Готфрид Вильгельм (1.7.1646--14.11.1716) -- немецкий математик, физик и философ, организатор и первый президент Берлинской АН (1700), чл. Лондонского королевского о-ва (1673), чл. Парижской АН (1700). Род. в Лейпциге. В 1661 Лейбниц поступил на юридический факультет Лейпцигского ун-та. Кроме юридических наук изучал философию и математику. В ун-те ознакомился с работами Аристотеля и Р. Декарта. Защитил диссертацию на степень бакалавра (1663), магистра философии (1664) и доктора права (1666). Состоял на юридической и дипломатической службе при дворе Майнцского курфюрста. Из Майнца он выезжал с дипломатической миссией в Париж. Творческая деятельность Лейбница развернулась именно в этот период в Париже, где он много работал и лично познакомился со многими математиками, в частности с X. Гюйгенсом, под руководством которого изучал работы Г. Галилея, Р. Декарта, П. Ферма, Б. Паскаля и самого Гюйгенса. В 1673 из Парижа Лейбниц выезжает в Лондон для демонстрации своей счетной машины в королевском о-ве. Там он познакомился с И. Барроу, а также с трудами И. Ньютона, "Логарифмотехникой" Г. Меркатора. Возвратясь в 1676 в Париж, Лейбниц разрабатывает важные вопросы дифференциального исчисления. В том же году Лейбниц уезжает в Ганновер, где работает сначала библиотекарем, а потом историографом двора Ганноверского герцога. Однако деятельность Лейбниц выходила далеко за пределы официальных обязанностей. Он занимается и вопросами химии, геологии, конструирует ветряной двигатель для насосов, выкачивающих воду из шахт. Особенно плодотворной была научная деятельность Лейбница в области математики[1].
В 1666г. Лейбниц опубликовал свою первую математическую работу "Размышление о комбинаторном искусстве". Сконструированная им счетная машина выполняла не только сложение и вычитание, как это было у Б. Паскаля, но и умножение, деление, возведение в степень и извлечение квадратного и кубического корней. Свыше 40 лет Лейбниц посвятил усовершенствованию своего произведения. Лейбниц заложил также основы символической логики. Разработанные им логика классов и исчисление высказываний в алгебраической форме лежат в основе современной математической логике. Исследовал свойства некоторых кривых (в частности, цепной линии), занимался разложением функций в ряды, ввел понятие определителя и выдвинул некоторые идеи, касающиеся теории определителей; впоследствии их развивал А. Вандермонд, О. Коши, К. Гаусс и окончательно разработал К. Якоби. Важнейшей заслугой Лейбница является то, что он одновременно с И. Ньютоном, но независимо от него, завершил создание дифференциального и интегрального исчисления. Изучение работ Б. Паскаля и собственные исследования привели Лейбница в 1673-1674гг. к идее характеристического треугольника, который теперь используется при введении понятий производной и дифференциала в каждом учебнике дифференциального исчисления. Лейбниц сделал и дальнейший шаг в создании нового исчисления - установил зависимость между прямой и обратной задачах о касательных. Через год он пришел к выводу, что из "обратного метода касательных выходит квадратура всех фигур". В октябре 1675г. Лейбниц уже пользуется обозначением Sl для суммы бесконечно малых и операцию, противоположную суммированию, обозначает, подписывает букву d под переменной (x/d), а затем рядом с ней dx. Знак интеграла в современной форме впервые встречается в работе Лейбница "О скрытой геометрии…" (1686г). Лейбниц решил проблему касательных с помощью дифференциального исчисления, сформулировал правила дифференцирования произведения, степени, неявной функции. Эти результаты Лейбниц опубликовал только в 1684г. в статье "Новый метод максимум и минимумов", впервые назвав свой алгоритм дифференциальным исчисление. В 1693г. Лейбниц опубликовал первые образцы интегрирования дифференциальных уравнений с помощью бесконечных рядов. Лейбниц ввел много математических терминов, которые теперь прочно вошли в научную практику: функция, дифференциал, дифференциальное исчисление, дифференциальное уравнение, алгоритм, абсцисса, ордината, координата, а также знаки дифференциала, интеграла, логическую символику.
Вклад Лейбница в развитие символической логики
Большинство логических произведений Лейбница не печаталось при его жизни. Они были извлечены из его колоссального рукописного архива и опубликованы разными издателями много времени спустя после его смерти. В настоящем томе помещаются лишь некоторые из них,, как нам представляется, наиболее показательные для его творчества. При этом целостность общего впечатления создают работы довольно различного свойства. Одни относительно законченные, содержат разработанные фрагменты логических систем. Другие ограничиваются изложением или обсуждением основ таких систем. Третьи не содержащие каких-либо итогов, незаконченные, обрывающиеся на полуслове, интересны как свидетельства неустанного биения мысли Лейбница, поиска им путей и средств реализации своих замыслов. Вместе с тем, написанные в разное время, они отражают и различные подходы Лейбница к логике, к построению Calculus ratiocinator — исчисления рассуждений, над которым он размышлял всю жизнь, но которого ему так и не удалось создать[2].
В основе логических исследований Лейбница лежала мотивированная его рационалистическими установками программа представления человеческого знания в виде некоего универсального символического языка. В рамках такого символизма Лейбниц мыслил свести все человеческие рассуждения к формальному исчислению, которое служило бы средством как доказательства установленных истин, так и открытия новых, насколько это можно сделать исходя из того, что уже известно; в случае же если имеющиеся сведения недостаточны, этот метод должен был Давать приближенный ответ и определять в соответствии с исходными данными, что является наиболее вероятным. В таком универсальном символическом языке, своего рода всеобщей алгебре, рассуждали бы посредством вычислений, а вместо того чтобы спорить, говорили бы: «посчитаем».
Создание этого метода, или «универсальной характеристики», как назвал его Лейбниц, предполагало разработки в целом ряде направлений. Во-первых, надо было уметь разлагать все сложные понятия на простые, составляющие некий «алфавит человеческих мыслей», и на этой основе получать точные определения всех понятий. И всякий, кто знакомится с трудами Лейбница, не может не обратить внимание на его постоянное стремление анализировать и определять всевозможные понятия. Во-вторых,, надо было найти подходящие символы, или «характеры»,, которые могли бы представлять и замещать понятия, или термины, естественного языка. В-третьих, надо было сформулировать организующие принципы этого всеобщего символизма — правила употребления и комбинаций символов. Этот грандиозный метафизический проект, который Лейбниц неоднократно обсуждает в своих работах, не был— да и не мог быть — осуществлен в том виде, в каком он рисовался его воображению. Но он подсказал те пути исследования, которые привели Лейбница к ряду важных математических открытий, в том числе к открытию начал математической логики.
В наше время, когда имеется разработанная система математической, или символической, логики, в историкологических исследованиях стало преобладать стремление отыскивать в логическом наследии прошлого прежде всего элементы таких воззрений, которые согласуются с ее понятиями и положениями. Современность отбрасывает в прошлое свою тень. У древних стоиков усматривают развитую систему пропозициональной логики, у средневековых схоластиков — теорию логического следования и теорию семантических парадоксов, не чуждаясь при этом и реконструкции дошедшего до нас исторического материала. Однако собственно математическая логика начинается с Лейбница. Его отношение к логике принципиально иное, чем даже его непосредственных предшественников — Т. Гоббса, И. Юнга, А. Гейлинкса. Лейбниц продуманно и целенаправленно применял математические методы в логике и тщательно строил конкретные логические исчисления; и именно эта его работа, а не только формулировка тех или иных логических принципов и приверженность к «луллиеву искусству» дает основание назвать его создателем математической логики. Конечно все эти исследования стимулировал проект «универсальной характеристики». Но было бы ошибкой думать, что надежда осуществить его надолго пережила Лейбница.
Еще И. Кант в своей работе 1755 г. «Новое освещение первых принципов метафизического познания» остроумно заметил, что видит в этом замысле великого философа лишь нечто подобное завещанию того отца из басни Эзопа, который перед смертью поведал детям, что якобы зарыл в поле клад, не указав, однако, точного места, и этим побудил сыновей к неустанному перекапыванию земли, благодаря чему они, хотя и обманутые в своих надеждах отыскать клад, разбогатели, так как улучшили плодородие почвы.