МАТЕМАТИЧЕСКАЯ ЛОГИКА
логи ка,
развиваемая математич. методом. Характерным для М. л. является использование
формальных языков с точным синтаксисом и чёткой семантикой, однозначно
определяющими понимание формул. Потребность в такой логике выявилась в
нач. 20 в. в связи с интенсивной разработкой оснований математики,
возникновением
множеств
теории, где были открыты антиномии (см.
Парадокс), уточнением
понятия алгоритма и др. глубокими и принципиальными вопросами математической
науки. Однако значение М. л. для науки в целом не исчерпывается её математич.
приложениями, поскольку хорошо рассуждать и доказывать приходится во всех
науках. Вот почему М. л. с полным правом может быть охарактеризована как
логика на совр. этапе. См. ст. Логика
(раздел Предмет и метод современной
логики) и лит. при этой статье.
А.А.Марков.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я