Поиск новых путей развития логики

Гуманитарные науки

 Одна из стратегий определи­лась в виде идеи формализации логики, которую выдвинул Г.В. Лейбниц. Формальный язык традиционно применялся в математике, немецкий мыс­литель предложил перевести и логику на язык искусственных символов. Начало реализации этого проекта (1847) положили работы Дж. Буля и А.Д. Моргана, где возникла алгебра логики, или исчисление классов и отношений. В 1879 г. Г. Фреге ввел понятие пропозициональной функции, разработал логистический метод, позволяющий выстраивать различные логические исчисления в виде особых формализованных языков. Работы Ч. Пирса, Э. Шрёдера, П.С. Порецкого, Дж. Пеано, Б. Рассела, А. Уайтхеда, А.Н. Колмогорова и других исследователей сделали математическую ло­гику одной из универсальных научных дисциплин современности. Силло­гистика Аристотеля выступает здесь одним из частных вариантов исчис­ления высказываний (или пропозиционального исчисления), кроме кото­рого есть еще и исчисление предикатов.

Кроме символической логики в XIX в. возникло многообразие других неклассических логик. Был разработан широкий класс модальных логиче­ских систем, где в качестве ключевых взяты понятия необходимости, воз­можности, намерения и т. п. Все они построены с помощью дополнитель­ных (модальных) операторов. Существует логика оценок, основы которой заложил Э. Гуссерль. Наряду с псевдофизическими логиками (казуальной, пространственной, квантовой) появились исчисления с двумя уровнями — логикой событий и логикой рассуждений о событиях.

Неклассические логики объединяет одна черта — снижение требова­ний к логической связности и строгости. Наиболее показательна в этом отношении конструктивистская логика и логика нечетких множеств. Ос­новоположник конструктивистского направления Л. Брауэр отказался от закона исключенного третьего, а лидер нечеткой логики Л. Заде исключил из нее закон непротиворечивости. В последней системе стандарты точно­сти и строгости весьма невысокие, что позволяет использовать приблизи­тельные правила со значениями некоторой степени неопределенности. Все это дает возможность теории нечетких множеств и другим вариантам мно­гозначной логики приблизиться к реальным мыслительным процессам.

Book-Science
Добавить комментарий