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

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