Циклопедия скорбит по жертвам террористического акта в Крокус-Сити (Красногорск, МО)

Логика (наука)

Материал из Циклопедии
(перенаправлено с «Логика»)
Перейти к навигации Перейти к поиску
Логика. Основы Логики. Логическое Мышление // IFO [18:41]
Логика — Принципы математического мышления // Маткульт-привет! Алексей Савватеев и Ко [20:33]
Что такое логика? / Краткое введение в логику // Скептический философ [22:58]
Основы формальной логики // Образование для всех [1:12:38]

Логика — формальная точная наука:

Та или иная логика, — например, двоичная логика, логика высказываний, логика предикатов — это одна из формальных систем, исследуемых логикой вообще, как наукой.

Логика составляет неизменное и неделимое ядро языка науки и, в частности, является обязательной основой для аксиоматического определения «достаточно интересных» объектов математики — множеств.

Мышление, предназначенное к передаче другим людям, оформляется посредством языка в виде логического рассуждения, связующими частями которого являются доказательство и опровержение. Логика, как наука, изучает способы достижения истины в процессе познания опосредованным путём — не из чувственного опыта, а из достоверных знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания: способах дедукции.

История логики[править]

Логика в Средневековье[править]

По мере приближения к Средним векам логика получала более широкое распространение. Её начали разрабатывать арабоязычные исследователи, например, Аль-Фараби (ок. 870950 гг.). Средневековая логика называется схоластической, а её расцвет в XIV веке связывают с именами учёных Уильяма Оккама, Альберта Саксонского и Уолтера Берли.

Логика в эпоху Возрождения и в Новое время[править]

Этот исторический период в логике отмечается появлением множества крайне значимых для науки публикаций.

Френсис Бэкон в 1620 году опубликовывает свой «Новый органон», содержащий основы индуктивных методов, усовершенствованных позднее Джоном Стюартом Миллем и получивших название методов установления причинных связей между явлениями Бэкона-Милля. Суть индукции (обобщения) — в восхождении (в процессе познания) от частных случаев к общим правилам. Также необходимо искать причины своих ошибок.

В 1662 году в Париже издан учебник «Логика Пор-Рояля», авторами которого являются П. Николь и А. Арно, создавшие логическое учение на основе методологических принципов Рене Декарта.

Современная логика[править]

В конце XIX — начале XX веков были заложены основы т. н. математической, или символической, логики. Её суть заключается в том, что для обнаружения истинностного значения выражений естественного языка можно применять математические методы. Именно использование символической логики отличает современную логическую науку от традиционной.

Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.

Начало XX века ознаменовалось становлением идей неклассической логики.

В середине XX века развитие вычислительной техники привело к появлению логических элементов, логических блоков и устройств вычислительной техники, что было связано с дополнительной разработкой таких областей логики, как проблемы логического синтеза, логическое проектирование и проблемы логического моделирования логических устройств и средств вычислительной техники.

В 1980-х годах начались исследования в области искусственного интеллекта на базе языков и систем логического программирования. Началось и создание экспертных систем с использованием и развитием автоматического доказательства теорем, а также методов доказательного программирования для верификации алгоритмов и программ для ЭВМ.

В 1980-ые годы начались также изменения в образовании. Появление персональных компьютеров в средних школах привело к созданию учебников информатики с изучением элементов математической логики для объяснения логических принципов работы логических схем и устройств вычислительной техники, а также принципов логического программирования для компьютеров пятого поколения, и разработке учебников информатики с изучением языка исчисления предикатов для проектирования баз знаний.

См. также[править]

См. также[править]

 
Формальная

Логические операции с понятиями


Изменение содержания понятия: отрицаниеограничениеобобщениеделение
Изменение объёма понятия: сложениеумножениевычитание
Типы: Многозначная логикаБинарная логика
Законы: Закон обратного отношения между содержанием и объёмом понятия

Математическая
(теоретическая,
символическая)

Логические связки (операции) над высказываниями


Высказывание - построение над множеством {B, , , , 0, 1}
В - непустое множество, над элементами которого определены три базовые операции: конъюнкция ( или &,бинарная) • дизъюнкция (,бинарная) • отрицание (,унарная)
2 константы: 01

См. также

импликация () • Круги Эйлера/Диаграмма ВеннаПолилогизмТеория множеств

 
Тривиум

ГрамматикаРиторикаДиалектика (Логика)

Квадривиум

АрифметикаГеометрияАстрономияМузыка