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

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

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

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

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

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

Рейтинг: 3.0/5 (741 голос)

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