Что такое Математическая Логика? Значение и толкование слова matematicheskaja logika, определение термина

Математическая Логика -  — одно из названий современной формальной логики, пришедшей во второй половине XIX — на­чале XX в. на смену традиционной логике. В качестве другого назва­ния современного этапа в развитии науки логики используется также термин логика символическая. Определение «математичес­кая» подчеркивает сходство новой логики с математикой, осно­вывающееся прежде всего на применении особого символическо­го языка, аксиоматического метода, формализации. М. л. исследует предмет формальной логики методом построе­ния специальных формализованных языков, или исчислений. Они позволяют избежать двусмысленной и логической неясности ес­тественного языка, которым пользовалась при описании правиль­ного мышления традиционная логика. Новые методы дали логике такие преимущества, как большая точность формулировок, воз­можность изучения более сложных с точки зрения логической формы объектов. Многие проблемы, исследуемые в М. л., вообще невозможно было сформулировать с использованием только тра­диционных методов. Иногда термин «М. л.» употребляется в более широком смыс­ле, охватывая исследование свойств дедуктивных теорий, имену­емое металогикой или метаматематикой.

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Материальная Суппозиция - см.: Суппозиция.

Метаматематика -  — раздел математической логики, изучаю­щий основания математики, структуру математических...

Метатеория - (от греч. meta - после, за, позади)  - теория, изу­чающая язык, структуру и свойства некоторой...

Метафора - (от греч, metaphora - перенос, образ)  - перенесе­ние свойств одного предмета (явления или...

Метаязык - (от греч. meta - после, за, позади)  - язык, сред­ствами которого исследуются и описываются...

Методологическая Аргументация -  - обоснование отдель­ного утверждения или целостной концепции путем ссылки на тот несомненно...

Методология Науки -  - часть науковедения, исследующая структуру научного знания, средства и методы научного...

Многозначная Логика -  - совокупность логических систем, опирающихся на принцип многозначности. В классической...

Многозначности Принцип - см.: Принцип многозначности.

Многозначность -  — характеристика выражения, имеющего в разных контекстах разное значение. Напр., слово «закон»...