МАТЕМАТИЧЕСКАЯ ЛОГИКА

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



Словарь по логике 

МАТЕРИАЛЬНАЯ СУППОЗИЦИЯ →← ЛОЖЬ

T: 0.139825955 M: 3 D: 3