Формальная логика в своем развитии прошла два основных этапа. Основанием деления на эти этапы служит различие применяемых в логике средств и методов исследования.
Начало первого этапа связано с работами древнегреческого философа и ученого Аристотеля (384—322 гг. до н. э.), в которых впервые дано систематическое изложение логики. Логику Аристотеля и всю доматематическую логику обычно называют «традиционной» формальной логикой. Традиционная формальная логика включала и включает такие разделы, как понятие, суждение, умозаключение (в том числе и индуктивное), законы логики, доказательство и опровержение, гипотеза. Аристотель видел в логике орудие (или метод) исследования. Основным содержанием аристотелевой логики является теория дедукции. В логике
Второй этап — это появление математической (или символической) логики. Немецкий философ Г. В. Лейбниц (1646—1716) по праву считается основоположником математической (символической) логики. Начиная с Лейбница в логике используется в качестве метода исследования метод формализации, который традиционной логикой относился только к методам математического исследования, а Лейбниц показал, что он имеет общенаучный характер. Лейбниц пытался построить универсальный язык, с помощью которого споры между людьми можно было бы разрешать посредством вычисления. В XIX в. математическая логика получила интенсивное развитие в работах Д. Буля, Э. Шредера, П. С. Порецкого, Г. Фреге и других логиков.
Другим основанием деления логики служит различие применяемых в ней принципов, на которых базируются исследования. В результате такого деления имеем классическую логику и неклассические логики.
1) Логика в Древнем Китае
Современник Конфуция Мо-цзы («Учитель Мо», «Мудрец Мо»; V—IV вв. до н. э) был известен как основатель моизма (школы моцзя), представители которой занимались поиском источников достоверного рассуждения и условий его правильности. В области аргументации они предпочитали разработку рассуждения по аналогии разработке дедукции. Одно из ответвлений моизма, логики (школа имён, V—III вв. до н. э), приступило к исследованию собственно формальной логики.
2)Индийская логика
Истоки логики в Индии можно проследить в грамматических текстах V века до н. э.. Две из шести ортодоксально-индуистских (ведийских) школ индийской философии — «ньяя» и «вайшешика» — занимались методологией познания, из этого проблемного поля и выделилась логика.
3)Логика античности
Основателем логики в древнегреческой философии считается древнегреческий философ Аристотель, так как полагается, что он вывел первую логическую теорию. Предшественниками Аристотеля в развитии логической науки в Древней Греции были Парменид, Зенон Элейский, Сократ и Платон. Аристотель же впервые систематизировал доступные знания о логике, обосновал формы и правила логического мышления. Его цикл сочинений «Органон» состоит из шести работ, посвящённых логике: «Категории», «Об истолковании», «Топика», «Первая аналитика» и «Вторая аналитика», «Софистические опровержения».
После Аристотеля в Древней Греции логика также разрабатывалась представителями школы стоиков. Большой вклад в развитие этой науки внесли оратор Цицерон и древнеримский теоретик ораторского искусства Квинтилиан.
4) Логика в Средневековье
Средневековая логика называется схоластической, а её расцвет в XIV веке связывают с именами учёных Уильяма Оккама, Альберта Саксонского и УолтераБерли.
5) Логика в эпоху Возрождения и в Новое время
Френсис Бэкон в 1620 году опубликовывает свой «Новый органон», содержащий основы индуктивных методов, усовершенствованных позднее Джоном Стюартом Миллем и получивших название методов установления причинных связей между явлениями Бэкона-Милля. Суть индукции (обобщения) — в восхождении (в процессе познания) от частных случаев к общим правилам. Также необходимо искать причины своих ошибок.
В 1662 году в Париже издан учебник «Логика Пор-Рояля», авторами которого являются П. Николь и А. Арно, создавшие логическое учение на основе методологических принципов Рене Декарта.
6)Современная логика
В конце XIX — начале XX веков были заложены основы т. н. математической, или символической, логики. Её суть заключается в том, что для обнаружения истинностного значения выражений естественного языка можно применять математические методы. Именно использование символической логики отличает современную логическую науку от традиционной.
Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки. В середине XX века развитие вычислительной техники привело к появлению логических элементов, логических блоков и устройств вычислительной техники, что было связано с дополнительной разработкой таких областей логики, как проблемы логического синтеза, логическое проектирование и проблемы логического моделирования логических устройств и средств вычислительной техники.
В 80-х годах XX века начались исследования в области искусственного интеллекта на базе языков и систем логического программирования. Началось и создание экспертных систем с использованием и развитием автоматического доказательства теорем, а также методов доказательного программирования для верификации алгоритмов и программ для ЭВМ.
В 80-ые годы начались также изменения в образовании. Появление персональных компьютеров в средних школах привело к созданию учебников информатики с изучением элементов математической логики для объяснения логических принципов работы логических схем и устройств вычислительной техники, а также принципов логического программирования для компьютеров пятого поколения, и разработке учебников информатики с изучением языка исчисления предикатов для проектирования баз знаний.
Поможем написать любую работу на аналогичную тему