Математическая логика

Математи́ческая логика

Логика, развиваемая математическим методом. Характерным для М. л. является использование формальных языков с точным синтаксисом и чёткой семантикой, однозначно определяющими понимание формул. Потребность в такой логике выявилась в начале 20 века в связи с интенсивной разработкой оснований математики (См. Математика), возникновением множеств теории (См. Множеств теория), где были открыты антиномии (см. Парадокс), уточнением понятия алгоритма и другими глубокими и принципиальными вопросами математической науки. Однако значение М. л. для науки в целом не исчерпывается её математическими приложениями, поскольку хорошо рассуждать и доказывать приходится во всех науках. Вот почему М. л. с полным правом может быть охарактеризована как логика на современном этапе. См. статья Логика (раздел Предмет и метод современной логики) и литературу при этой статье.

А. А. Марков.

Источник: Большая советская энциклопедия на Gufo.me


Значения в других словарях

  1. Математическая Логика — Теоретическая логика, символическая логика,- раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Математическая энциклопедия
  2. МАТЕМАТИЧЕСКАЯ ЛОГИКА — МАТЕМАТИЧЕСКАЯ ЛОГИКА (символическая логика), аналитический раздел логики, результат применения математических методов к проблемам классической логики. Научно-технический словарь
  3. МАТЕМАТИЧЕСКАЯ ЛОГИКА — МАТЕМАТИЧЕСКАЯ ЛОГИКА — один из ведущих разделов современной логики и математики. Сформировался в 19-20 ст. как реализация идеи о возможности записать все исходные допущения на языке знаков... Новейший философский словарь
  4. МАТЕМАТИЧЕСКАЯ ЛОГИКА — МАТЕМАТИЧЕСКАЯ ЛОГИКА — дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике. Большой энциклопедический словарь