Профиль
Рейтинги
Новые
Категории
  • Новости
  • Статьи
  • Работы
  • Исследования
  • Заметки
  • Комменты

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

Разместил: Apelsinka, 1 December 2011

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

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

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

Рейтинг: 3.1/5 (564 голоса)

Похожие статьи
1: 
Мебель для сидячей работы
Основная статья - Мебель. Мебель для сидячей работы - тип мебели (по назначению), основным предназначением которого является обеспечение возможности выполнения каких-либо профессиональных рабочих функций ее пользователя с наибольшей функциональностью...
2: 
Гавана - райское местечко
Гавана, что же это за место? Это прекрасный город, который совмещает в себе древнюю и современную архитектуру! Он богат различными достопримечательностями и многочисленными местами, где можно замечательно отдохнуть и хорошо провести время. Это место ...
3: 
Как повышенная влажность влияет на наше самочувствие
Уровень влажности - это то, о чем нас ежедневно предупреждает "Гисметео" в сводках погоды. Наряду с атмосферным давлением, влажность может влиять на здоровье метеочувствительных людей и способствовать обострению хронических заболеваний. Влажность воз...
4: 
Программное обеспечение
Программное обеспечение является неотъемлемой частью компьютерной вычислительной системы (ВС). Программное обеспечение (ПО) выполняет основные функции управления всеми аппаратными средствами ВС в процессе обработки информации. ПО разделяют на систем....
5: 
Понятие ценности информации
Возможны различные подходы к определению ценности информации. 1. Денежная стоимость: полная денежная стоимость получения информации (закупки, поиска, формирования собственными силами с учетом сопутствующих затрат); стоимость длительного хранения инфо...
Пользователей онлайн: 59
Все права защищены. При копировании материалов ссылка на Book-Science обязательна. (c) Book-Science, 2010-2016