Этапы развития современной логики

Главная - Логика - Этапы развития современной логики

План:

1.Современная логика

2.Логика в Украине

В истории логика выделяет два этапа:

1. От логики Давнего мира к возникновению во второй половине XIX ст. современной логики.

2. От второй половины XIX ст. до наших дней.

На первом этапе логика преимущественно разрешала проблемы, поставленные еще Аристотелем. В последние полтора века в ней состоялись качественные изменения. Правда, предпосылки этих изменений появились еще тогда, когда Лейбниц предложил идею исчисления и соответствующий формализированный язык. Эту идею, как отмечалось, современники не поняли и в конечном итоге забыли. Однако во второй половине XIX ст., а тем более в XX ст. человечества ожидал целый ливень идей, благодаря которым современная логика перешла научную революцию. Назовем лишь некоторых выдающихся ученых, которые сделали существенный вклад в ее развитие.

Джордж Буль (1815-1864) — один из основателей математической логики. Положив в основу своих исследований аналогию между алгеброй и логикой, он разработал соответствующее логическое исчисление, в котором применил законы и операции математики (добавление классов, умножения и тому подобное). Алгебро-логический метод дал возможность Булю выявить новые типы выводов, которые не учитывались в традиционной силогистици. Он детально проанализировал законы коммутативности, ассоциативности, дистрибутивности .

Огастес где Морган (1806-1871) — основатель логического анализа отношений, в частности предложил формулу суждений отношения, которая напоминает современную формулу «аRb». Он сформулировал основные принципы логики высказываний и логики классов. В разработанной им алгебре отношений анализировал операции добавления, умножения и тому подобное. В математической логике Морган сформулировал законы, которые носят его имя — «законы где Моргана».

Готлиб Фреге (1848-1925) заложил основы логической семантики. В своем фундаментальном труде «Основные законы арифметики» он построил систему формализированной арифметики на основе разработанного им расширенного исчисления предикатов с целью обоснования ? идеи о возведении математики к логике.

Идеи Фреге во многом заранее определили развитие логики XX ст. : он ввел понятие логической функции и различения свойств вещей и отношений (а соответственно одноместных и многоместных логических функций); впервые ввел символы для обозначения кванторов; ввел понятие истинностного значения и тому подобное.

Фреге систематически исследовал отношение между языковыми выражениями и предметами, которые обозначаются этими выражениями; раскрыл отличие между значением и смыслом языковых выражений. Его труды расцениваются как начало нового этапа в развитии математической (символической) логики.

Чарлз-Самдерс Пирс (1839-1914) — родоначальник семиотики (общей теории знаков). В своем исчислении он использовал как строгую, так и нестрогую дизъюнкции. Пирс сформулировал законы материальной импликации. Длительное время его труды не были известны широкой научной общественности.

Давид Гильберт (1862-1943) достиг значительных успехов в применении метода формализации в толковании логических умозаключений, в разработке исчисления высказываний и предикатов, в исследовании аксиоматизации знаний. Он осуществил строго аксиоматическое построение геометрии Евклида, что заранее определило дальнейшее развитие исследований из аксиоматизации научного знания, предложил развернутый план обоснования математики путем ее полной формализации. Правда, эта программа оказалась неосуществимой, однако ее идеи повлекли возникновение метаматематики (теории доведений).

Альфред-Норт Уайтхед (1861-1947) в соавторстве из Б. Расселом написал трехтомный труд «Принципы математики», которая сделала значительный вклад в развитие математической логики.