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