Математическая логика (теоретическая логика, символическая логика) — раздел
математики, изучающий
доказательства и вопросы оснований математики. «
Предмет современной математической логики разнообразен.» Согласно определению П. С. Порецкого, «
математическая логика есть логика по предмету, математика по методу». Согласно определению Н.И.Кондакова, «
математическая логика – вторая, после традиционной логики, ступень в развитии формальной логики, применяющая математические методы и специальный аппарат символов и исследующая мышление с помощью исчислений (формализованных языков).» Это определение соответствует определению
С.К.Клини: математическая логика – это «
логика, развиваемая с помощью математических методов». Так же
А.А.Марков определяет современную логику «
точной наукой, применяющей математические методы». Все эти определения не противоречат, но дополняют друг друга.