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