Философская энциклопедия - математическая логика
Математическая логика
МАТЕМАТИЧЕСКАЯ ЛОГИКА
— одно из названий современной логики, пришедшей во втор. пол. 19 — нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение «математическая» подчеркивает сходство новой логики с математикой, основывающееся прежде всего на применении особого символического языка, аксиоматического метода, формализации.
М.л. исследует предмет формальной логики методом построения специальных формализованных языков, или исчислений. Они позволяют избежать двусмысленной и логической неясности естественного языка, которым пользовалась при описании правильного мышления традиционная логика. Новые методы дали логике такие преимущества, как большая точность формулировок, возможность изучения более сложных с т.зр. логической формы объектов. Многие проблемы, исследуемые в М.л., вообще невозможно сформулировать с использованием только традиционных методов.
Иногда термин «М.л.» употребляется в более широком смысле, охватывающем исследование свойств дедуктивных теорий, именуемое металогикой или метаматематикой.
Философия: Энциклопедический словарь. — М.: Гардарики. Под редакцией А.А. Ивина. 2004.
См. в других словарях
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 2307 | |
2 | 2259 | |
3 | 1392 | |
4 | 1349 | |
5 | 754 | |
6 | 731 | |
7 | 685 | |
8 | 664 | |
9 | 636 | |
10 | 614 | |
11 | 613 | |
12 | 560 | |
13 | 554 | |
14 | 542 | |
15 | 536 | |
16 | 530 | |
17 | 520 | |
18 | 520 | |
19 | 514 | |
20 | 513 |