МАТЕМАТИЧЕСКАЯ ЛОГИКА

МАТЕМАТИЧЕСКАЯ ЛОГИКА
МАТЕМАТИЧЕСКАЯ ЛОГИКА - один из ведущих разделов современной логики и математики. Сформировался в 19-20 ст. как реализация идеи о возможности записать все исходные допущения на языке знаков, аналогичных математическим и тем самым заменить рассуждения вычислениями. Предыстория М.Л. связана с именами Аристотеля, Р. Луллия, Дж. Буля (1815-1864), создавшего ее аппарат; Фреге, развившего логико-математические языки; Дж. Пеа-но (1858-1932), попытавшегося изложить разделы математики на языке логики. В основании всех исканий лежало стремление создать специальное счетное устройство (прообраз компьютерных систем) и соответствующий техническим вычислениям язык передачи информации. Второй важной проблемой М.Л. является выбор исходных понятий и их обоснование. В конце 19 ст. казалось, что исходным может быть понятие множества; эта точка зрения была детерминирована эффектом от самого факта появления теории множеств как новой области математики (Б. Больцано, Г. Кантор). Рефлексия над феноменом множеств привела к обнаружению парадоксов в теории множеств. (Одним из тех, кто пытался «спасти» математику от этой проблемы был Д. Гильберт). С 20-х 20 в. начинается современный этап развития М.Л. Он связан с применением точных методов при изучении формальных аксиоматических задач. Суть их состоит в описании рассматриваемой теории на базе строгого логико-математического языка (формализация), с последующими процедурами логического анализа теории, а именно с точки зрения непротиворечивости (например, таких теорий, как элементарная геометрия, арифметика, анализ достаточно надежных оснований) и полноты (теорема Геделя о неполноте утверждает, что всякая достаточно богатая теория необходимо содержит утверждения, которые нельзя ни доказать, ни опровергнуть, не опровергнув самой теории). Критике подверглись некоторые положения, используемые в математике без должного обоснования (закон исключенного третьего, аксиомы выбора и др.). Построение математики с учетом этих ограничений стало программой интуиционизма (один из авторов Я. Брадэр), конструктивизма (А.А. Марков). Основным объектом современной М.Л. являются исчисления. В качестве их компонентов выступают: 1) язык (формальный); 2) аксиомы; 3) правила вывода. На их основе стало возможным дать точное определение доказательства, получить точные утверждения о невозможности доказательства тех или иных предложений теории. Значительным достижением является и математическое определение понятия алгоритма (эффективной процедуры для решения задач из бесконечного класса задач). Еще Лейбниц мечтал о нахождении алгоритма для решения всех математических проблем. Разработка теории алгоритма связана с именами К. Геделя, Ж. Эрбрана, С. Кли-ни, А. Тьюринга, А. Черча, А.А. Маркова, А.Н. Колмогорова, П.С. Новикова и др. М.Л. имеет несколько разделов, связанных с изучением понятия доказательства (теория доказательств), моделей (теория моделей - Тарский, А.И. Мальцев). В ней очевидны синтаксический и семантический аспекты изучения формальных языков. Перспективы развития М.Л. предполагают высокую динамику как количественного, так и качественного роста кибернетических устройств. Другим стимулом являются достижения в разработке проблем обоснования математики (современный аксиоматический метод).

Новейший философский словарь. — Минск: Книжный Дом. . 1999.

Игры ⚽ Нужна курсовая?
Синонимы:

Полезное


Смотреть что такое "МАТЕМАТИЧЕСКАЯ ЛОГИКА" в других словарях:

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

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

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

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

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

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

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

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

  • Математическая логика — (теоретическая логика, символическая логика)  раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… …   Википедия

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


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

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