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

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

дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.