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


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

Математи́ческая ло́гика (теоретическая логика, символическая логика) — раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая логика есть логика по предмету, математика по методу». Согласно определению Н. И. Кондакова, «математическая логика — вторая, после традиционной логики, ступень в развитии формальной логики, применяющая математические методы и специальный аппарат символов и исследующая мышление с помощью исчислений (формализованных языков)[2] Это определение соответствует определению С. К. Клини: математическая логика — это «логика, развиваемая с помощью математических методов».[3] Также А. А. Марков определяет современную логику «точной наукой, применяющей математические методы».[4] Все эти определения не противоречат, а дополняют друг друга.

Применение в логике математических методов становится возможным тогда, когда суждения формулируются на некотором точном языке. Такие точные языки имеют две стороны: синтаксис и семантику. Синтаксисом называется совокупность правил построения объектов языка (обычно называемых формулами). Семантикой называется совокупность соглашений, описывающих наше понимание формул (или некоторых из них) и позволяющих считать одни формулы верными, а другие — нет.

Важную роль в математической логике играют понятия дедуктивной теории и исчисления. Исчислением называется совокупность правил вывода, позволяющих считать некоторые формулы выводимыми. Правила вывода подразделяются на два класса. Одни из них непосредственно квалифицируют некоторые формулы как выводимые. Такие правила вывода принято называть аксиомами. Другие же позволяют считать выводимыми формулы A, синтаксически связанные некоторым заранее определённым способом с конечными наборами A_1, \ldots A_n выводимых формул. Широко применяемым правилом второго типа является правило modus ponens: если выводимы формулы A и (A\to B), то выводима и формула B.

Отношение исчислений к семантике выражается понятиями семантической пригодности и семантической полноты исчисления. Исчисление И называется семантически пригодным для языка Я, если любая выводимая в И формула языка Я является верной. Аналогично, исчисление И называется семантически полным в языке Я, если любая верная формула языка Я выводима в И.

Математическая логика изучает логические связи и отношения, лежащие в основе логического (дедуктивного) вывода, с использованием языка математики[источник не указан 736 дней].

Многие из рассматриваемых в математической логике языков обладают семантически полными и семантически пригодными исчислениями. В частности, известен результат К. Гёделя о том, что так называемое классическое исчисление предикатов является семантически полным и семантически пригодным для языка классической логики предикатов первого порядка. С другой стороны, имеется немало языков, для которых построение семантически полного и семантически пригодного исчисления невозможно. В этой области классическим результатом является теорема Гёделя о неполноте, утверждающая невозможность семантически полного и семантически пригодного исчисления для языка формальной арифметики.

Стоит отметить, что на практике множество элементарных логических операций является обязательной частью набора инструкций всех современных микропроцессоров и соответственно входит в языки программирования. Это является одним из важнейших практических приложений методов математической логики, изучаемых в современных учебниках информатики.

Содержание

Разделы математической логики

См. также

Примечания

  1. С. И. Адян, Математическая энциклопедия, М.: «Советская энциклопедия», т.3, с. 568, 571.
  2. Н. И. Кондаков, Логический словарь-справочник, М.: «Наука», 1975, с. 259.
  3. С. К. Клини, Математическая логика, М., 1973, с.12.
  4. А. А. Марков, Большая советская энциклопедия, Изд. 3, Предмет и метод современной логики.

Литература

  • Формальная логика. (Учебник.) Часть вторая. СИМВОЛИЧЕСКАЯ ЛОГИКА. Отв. редактор: доц. И. Н. Бродский. -- Л.: ЛГУ, 1977.
  • Марков А. А.. Элементы математической логики. М.: Изд-во МГУ, 1984.
  • Новиков П. С. Элементы математической логики. 2-ое изд. М.: Наука, 1973. — 400 с.
  • Столл Р. Р. Множества. Логика. Аксиоматические теории. М.: Просвещение, 1968. — 232 с.
  • Стяжкин Н. И. Формирование математической логики. М.: Наука, 1967. 508 с.
  • Шенфилд Дж. Математическая логика. М.: Наука, 1975.

Ссылки


Wikimedia Foundation. 2010.

Синонимы:

Смотреть что такое "Математическая логика" в других словарях:

  • МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… …   Философская энциклопедия

  • математическая логика —         ЛОГИКА СИМВОЛИЧЕСКАЯ, математическая логика, теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин «Л. с.» был, по видимому, впервые… …   Энциклопедия эпистемологии и философии науки

  • МАТЕМАТИЧЕСКАЯ ЛОГИКА — Ее еще называют символической логикой. М. л. это та же самая Аристотелева силлогистическая логика, но только громоздкие словесные выводы заменены в ней математической символикой. Этим достигается, во первых, краткость, во вторых, ясность, в… …   Энциклопедия культурологии

  • МАТЕМАТИЧЕСКАЯ ЛОГИКА — МАТЕМАТИЧЕСКАЯ логика, дедуктивная логика, использующая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений …   Современная энциклопедия

  • МАТЕМАТИЧЕСКАЯ ЛОГИКА — дедуктивная логика, включающая математические методы исследования способов рассуждений (выводов); математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике …   Большой Энциклопедический словарь

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

  • МАТЕМАТИЧЕСКАЯ ЛОГИКА — один из ведущих разделов современной логики и математики. Сформировался в 19 20 ст. как реализация идеи о возможности записать все исходные допущения на языке знаков, аналогичных математическим и тем самым заменить рассуждения вычислениями.… …   Новейший философский словарь

  • математическая логика — сущ., кол во синонимов: 1 • логистика (9) Словарь синонимов ASIS. В.Н. Тришин. 2013 …   Словарь синонимов

  • математическая логика — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN mathematical logic …   Справочник технического переводчика

  • МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… …   Математическая энциклопедия

Книги

  • Математическая логика, Ершов Юрий Леонидович, Палютин Евгений Андреевич. В книге приведены главные традиционные исчисления математической логики: исчисление изречений и исчисление предикатов; имеется краткое изложение главных понятийтеории множеств и теории… Подробнее  Купить за 1259 руб
  • Математическая логика, Ершов Ю.Л.. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории… Подробнее  Купить за 1154 руб
  • Математическая логика, Ю. Л. Ершов, Е. А. Палютин. В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории… Подробнее  Купить за 927 руб
Другие книги по запросу «Математическая логика» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.