Математическая Логика

175

ЛОГИКА СИМВОЛИЧЕСКАЯ,.

Значения в других словарях
Математическая логика

логика, развиваемая математическим методом. Характерным для М. Л. Является использование формальных языков с точным синтаксисом и чёткой семантикой, однозначно определяющими понимание формул. Потребность в такой логике выявилась в начале 20 века в связи с интенсивной разработкой оснований математики (См. Математика), возникновением множеств теории (См. Множеств теория), где были открыты антиномии (см. Парадокс), уточнением понятия алгоритма и другими глубокими и принципиальными вопросами матема..

Математическая Логика

МАТЕМАТИЧЕСКАЯ логика - дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов). Математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.. ..

Математическая Логика

МАТЕМАТИЧЕСКАЯ логика>, дедуктивная логика>, использующая математические методы исследования способов рассуждений (выводов). Математическая теория дедуктивных способов рассуждений.. ..

Математическая логика

Сущ., кол-во синонимов. (1). ..

Математическая Логика

Дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов). Математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике.. ..

Математическая Логика

Дедуктивная логика, включающая матем. Методы иссл. Способов рассуждений (выводов). Математическая теория дедуктивных способов рассуждений. М. Л. Наз. Также логику, к-рой пользуются в математике. ..

Математическая Логика

Сущ., кол-во синонимов. (1). ..

Математическая Логика

МАТЕМАТИЧЕСКАЯ ЛОГИКА (символическая логика), аналитический раздел логики, результат применения математических методов к проблемам классической логики. Рассматривает понятия, которые могут быть истинными или ложными, связь между понятиями и оперирование ими, включая конъюнкцию (логическое умножение), дизъюнкцию (логическое сложение) и отрицание. Утверждения, их связи и оперирование ими сведено до символических представлений. Всем этим манипулируют согласно конкретным правилам. Поэтому выводы мог..

Математическая Логика

МАТЕМАТИЧЕСКАЯ ЛОГИКА - один из ведущих разделов современной логики и математики. Сформировался в 19-20 ст. Как реализация идеи о возможности записать все исходные допущения на языке знаков, аналогичных математическим и тем самым заменить рассуждения вычислениями. Предыстория М.Л. Связана с именами Аристотеля, Р. Луллия, Дж. Буля (1815-1864), создавшего ее аппарат. Фреге, развившего логико-математические языки. Дж. Пеа-но (1858-1932), попытавшегося изложить разделы математики на языке логики. В ..

Математическая Логика

Одно из названий современной логики, пришедшей во втор. Пол. 19 - нач. 20 в. На смену традиционной логике. В качестве др. Названия современного этапа в развитии науки логики используется также термин символическая логика. Определение "математическая" подчеркивает сходство новой логики с математикой, основывающееся прежде всего на применении особого символического языка, аксиоматического метода, формализации.М.л. Исследует предмет формальной логики методом построения специальных формализованных я..

Магия, Наука и Религия

«МАГИЯ, НАУКА И РЕЛИГИЯ». ..

Математизация Науки

МАТЕМАТИЗАЦИЯ НАУКИ. ..

Математическое Творчество

«МАТЕМАТИЧЕСКОЕ ТВОРЧЕСТВО». ..

Математическая Логика

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

Дополнительный поиск Математическая Логика Математическая Логика

Добавить комментарий
Комментарии
Комментариев пока нет

На нашем сайте Вы найдете значение "Математическая Логика" в словаре Энциклопедия эпистемологии и философии науки, подробное описание, примеры использования, словосочетания с выражением Математическая Логика, различные варианты толкований, скрытый смысл.

Первая буква "М". Общая длина 21 символа