Словарь логики - математическая логика
Математическая логика
математическая логика
— одно из названий современной формальной логики, пришедшей во второй половине XIX — начале XX в. на смену традиционной логике. В качестве другого названия современного этапа в развитии науки логики используется также термин логика символическая. Определение «математическая» подчеркивает сходство новой логики с математикой, основывающееся прежде всего на применении особого символического языка, аксиоматического метода, формализации. М. л. исследует предмет формальной логики методом построения специальных формализованных языков, или исчислений.Они позволяют избежать двусмысленной и логической неясности естественного языка, которым пользовалась при описании правильного мышления традиционная логика. Новые методы дали логике такие преимущества, как большая точность формулировок, возможность изучения более сложных с точки зрения логической формы объектов. Многие проблемы, исследуемые в М.
л., вообще невозможно было сформулировать с использованием только традиционных методов. Иногда термин «М. л.» употребляется в более широком смысле, охватывая исследование свойств дедуктивных теорий, именуемое металогикой или метаматематикой. .
Рейтинг статьи:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 373 | |
2 | 371 | |
3 | 363 | |
4 | 339 | |
5 | 338 | |
6 | 335 | |
7 | 328 | |
8 | 325 | |
9 | 324 | |
10 | 324 | |
11 | 319 | |
12 | 316 | |
13 | 313 | |
14 | 313 | |
15 | 311 | |
16 | 310 | |
17 | 309 | |
18 | 308 | |
19 | 306 | |
20 | 299 |