— одно из названий современной формальной логики, пришедшей во второй половине XIX — начале XX в. на смену традиционной логике. В качестве другого названия современного этапа в развитии науки логики используется также термин логика символическая. Определение «математическая» подчеркивает сходство новой логики с математикой, основывающееся прежде всего на применении особого символического языка, аксиоматического метода , формализации. М. л. исследует предмет формальной логики методом построения специальных формализованных языков , или исчислений. Они позволяют избежать двусмысленной и логической неясности естественного языка, которым пользовалась при описании правильного мышления традиционная логика. Новые методы дали логике такие преимущества, как большая точность формулировок, возможность изучения более сложных с точки зрения логической формы объектов. Многие проблемы, исследуемые в М. л., вообще невозможно было сформулировать с использованием только традиционных методов. Иногда термин «М. л.» употребляется в более широком смысле, охватывая исследование свойств дедуктивных теорий, именуемое металогикой или метаматематикой.
Что такое Математическая Логика? Значение Математическая Логика в словаре логики
Математическая Логика - — одно из названий современной формальной логики, пришедшей во второй половине XIX — начале XX в. на смену традиционной логике. В качестве другого названия современного этапа в развитии науки логики используется также термин логика символическая. Определение «математическая» подчеркивает сходство новой логики с математикой, основывающееся прежде всего на применении особого символического языка, аксиоматического метода, формализации. М. л. исследует предмет формальной логики методом построения специальных формализованных языков, или исчислений. Они позволяют избежать двусмысленной и логической неясности естественного языка, которым пользовалась при описании правильного мышления традиционная логика. Новые методы дали логике такие преимущества, как большая точность формулировок, возможность изучения более сложных с точки зрения логической формы объектов. Многие проблемы, исследуемые в М. л., вообще невозможно было сформулировать с использованием только традиционных методов. Иногда термин «М. л.» употребляется в более широком смысле, охватывая исследование свойств дедуктивных теорий, именуемое металогикой или метаматематикой.
Значение слова Математическая Логика в других словарях:
- Что такое Математическая Логика? Энциклопедический словарь
Узнайте лексическое, прямое, переносное значение следующих слов:
- Не Вытекает, Не Следует - (лат. поп sequitur) — логическая ошибка в доказательстве ...
- Мышление - — активный процесс отражения объективного мира в понятиях, ...
- Модус Толлендо Поненс - (лат. modus tollendo ponens) термин средневековой логики, ...
- Модус Понендо Толленс - (лат. modus ponendo tollens) термин средневековой логики, ...
- Модель Семантическая - система значений, приписываемых выражениям некоторого формализованного языка, ...
- Модальность - (от лат., modus — мера, способ) — оценка ...
- Множеств Теория - — математическая теория, изучающая точными средствами проблему бесконечности. ...
- Логика Классическая - раздел современной (математической, символической) логики, включающий классическую ...
- Логика Изменения - раздел современной логики, занимающийся исследованием логических связей ...
- Логика Высказываний - или: Пропозициональная логика, — раздел логики, формализующий употребление ...
- Логика - (от греч. logos — слово, понятие, рассуждение, разум), ...
- Лемма - (от греч. lemma — предположение) в математике ...
- Круг В Доказательстве - (лат. — circulus in demonstrando) — логическая ошибка ...
- Конъюнкция - (от лат. conjunctio союз, связь) логическая ...
- Верификация - (от лат. verificatio — доказательство, подтверждение) понятие, ...