Современная логика

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

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

Начало XX века ознаменовалось становлением идей неклассической логики, многие важные положения которой были предвосхищены и/или заложены Н.А. Васильевым и И.Е. Орловым.

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

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

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

Основные понятия науки логики