МАТЕМАТИЧЕСКАЯ ЛОГИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА (символическая логика), аналитический раздел логики, результат применения математических методов к проблемам классической логики. Рассматривает понятия, которые могут быть истинными или ложными, связь между понятиями и оперирование ими, включая конъюнкцию (логическое умножение), дизъюнкцию (логическое сложение) и отрицание. Утверждения, их связи и оперирование ими сведено до символических представлений; всем этим манипулируют согласно конкретным правилам. Поэтому выводы могут быть проанализированы и надежно проверены.
Источник:
Научно-технический энциклопедический словарь
на Gufo.me
Значения в других словарях
- Математическая Логика — Теоретическая логика, символическая логика,- раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Математическая энциклопедия
- Математическая логика — Логика, развиваемая математическим методом. Характерным для М. л. является использование формальных языков с точным синтаксисом и чёткой семантикой, однозначно определяющими понимание формул. Большая советская энциклопедия
- МАТЕМАТИЧЕСКАЯ ЛОГИКА — МАТЕМАТИЧЕСКАЯ ЛОГИКА — дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике. Большой энциклопедический словарь
- МАТЕМАТИЧЕСКАЯ ЛОГИКА — МАТЕМАТИЧЕСКАЯ ЛОГИКА — один из ведущих разделов современной логики и математики. Сформировался в 19-20 ст. как реализация идеи о возможности записать все исходные допущения на языке знаков... Новейший философский словарь
