Логика (наука)
Логика — формальная точная наука:
- первоначально, учение о строгих умозаключениях, таких, как математические доказательства;
- с начала XX ве́ка и поныне — наука о формальных основах вычислений вообще.
Та или иная логика, — например, двоичная логика, логика высказываний, логика предикатов — это одна из формальных систем, исследуемых логикой вообще, как наукой.
Логика составляет неизменное и неделимое ядро языка науки и, в частности, является обязательной основой для аксиоматического определения «достаточно интересных» объектов математики — множеств.
Мышление, предназначенное к передаче другим людям, оформляется посредством языка в виде логического рассуждения, связующими частями которого являются доказательство и опровержение. Логика, как наука, изучает способы достижения истины в процессе познания опосредованным путём — не из чувственного опыта, а из достоверных знаний, полученных ранее, поэтому её также можно определить как науку о способах получения выводного знания: способах дедукции.
История логики[править]
Логика в Средневековье[править]
По мере приближения к Средним векам логика получала более широкое распространение. Её начали разрабатывать арабоязычные исследователи, например, Аль-Фараби (ок. 870—950 гг.). Средневековая логика называется схоластической, а её расцвет в XIV веке связывают с именами учёных Уильяма Оккама, Альберта Саксонского и Уолтера Берли.
Логика в эпоху Возрождения и в Новое время[править]
Этот исторический период в логике отмечается появлением множества крайне значимых для науки публикаций.
Френсис Бэкон в 1620 году опубликовывает свой «Новый органон», содержащий основы индуктивных методов, усовершенствованных позднее Джоном Стюартом Миллем и получивших название методов установления причинных связей между явлениями Бэкона-Милля. Суть индукции (обобщения) — в восхождении (в процессе познания) от частных случаев к общим правилам. Также необходимо искать причины своих ошибок.
В 1662 году в Париже издан учебник «Логика Пор-Рояля», авторами которого являются П. Николь и А. Арно, создавшие логическое учение на основе методологических принципов Рене Декарта.
Современная логика[править]
В конце XIX — начале XX веков были заложены основы т. н. математической, или символической, логики. Её суть заключается в том, что для обнаружения истинностного значения выражений естественного языка можно применять математические методы. Именно использование символической логики отличает современную логическую науку от традиционной.
Огромный вклад в развитие символической логики внесли такие учёные, как Дж. Буль, О. де Морган, Г. Фреге, Ч. Пирс и др. В XX веке математическая логика оформилась в качестве самостоятельной дисциплины в рамках логической науки.
Начало XX века ознаменовалось становлением идей неклассической логики.
В середине XX века развитие вычислительной техники привело к появлению логических элементов, логических блоков и устройств вычислительной техники, что было связано с дополнительной разработкой таких областей логики, как проблемы логического синтеза, логическое проектирование и проблемы логического моделирования логических устройств и средств вычислительной техники.
В 1980-х годах начались исследования в области искусственного интеллекта на базе языков и систем логического программирования. Началось и создание экспертных систем с использованием и развитием автоматического доказательства теорем, а также методов доказательного программирования для верификации алгоритмов и программ для ЭВМ.
В 1980-ые годы начались также изменения в образовании. Появление персональных компьютеров в средних школах привело к созданию учебников информатики с изучением элементов математической логики для объяснения логических принципов работы логических схем и устройств вычислительной техники, а также принципов логического программирования для компьютеров пятого поколения, и разработке учебников информатики с изучением языка исчисления предикатов для проектирования баз знаний.
См. также[править]
См. также[править]
- Модальная логика
- Логические понятия
- Алгебра отношений
- Теоретическая информатика
- Научный метод
- Адекватность
 ↑ [+] | |
|---|---|
| Тривиум |
Грамматика • Риторика • Диалектика (Логика) |
| Квадривиум |
Арифметика • Геометрия • Астрономия • Музыка |