Математическая Логика – — одно из названий современной формальной логики, пришедшей во второй половине XIX — начале XX в. на смену традиционной логике. В качестве другого названия современного этапа в развитии науки логики используется также термин логика символическая. Определение «математическая» подчеркивает сходство новой логики с математикой, основывающееся прежде всего на применении особого символического языка, аксиоматического метода, формализации. М. л. исследует предмет формальной логики методом построения специальных формализованных языков, или исчислений. Они позволяют избежать двусмысленной и логической неясности естественного языка, которым пользовалась при описании правильного мышления традиционная логика. Новые методы дали логике такие преимущества, как большая точность формулировок, возможность изучения более сложных с точки зрения логической формы объектов. Многие проблемы, исследуемые в М. л., вообще невозможно было сформулировать с использованием только традиционных методов. Иногда термин «М. л.» употребляется в более широком смысле, охватывая исследование свойств дедуктивных теорий, именуемое металогикой или метаматематикой.
Что такое Математическая Логика? Значение matematicheskaya logika, словарь логики
Значение термина «Математическая Логика» в Словаре логики. Что такое математическая логика? Узнайте, что означает слово matematicheskaya-logika - толкование, обозначение, определение термина, его лексический смысл и описание.
Математическая Логика
Поделиться с друзьями:
Постоянная ссылка на страницу:
Ссылка для сайта/блога:
Ссылка для форума (BB-код):
«Математическая Логика» в других словарях:
Математическая Логика
- Дедуктивная логика, включающая математическиеметоды исследования способов рассуждений (выводов); математическая теориядедуктивных...