Логицизм это:

Логицизм
        направление в основаниях математики и философии математики, основным тезисом которого является утверждение о «сводимости математики к логике», т. е. возможности (и необходимости) определения всех исходных математических понятий (в рамках самой математики не определяемых) в терминах «чистой» логики и доказательства всех математических предложений (в том числе аксиом) опять-таки логическими средствами. Идеи Л. были выдвинуты ещё Г. В. Лейбницем, но в развёрнутом виде эта доктрина впервые была сформулирована Г. Фреге, предложившим сведение основного математического понятия — понятия натурального числа — к объёмам понятий и детально разработавшим логическую систему, средствами которой удавалось доказать все теоремы арифметики. Поскольку к тому времени в математике была практически завершена работа по сведению (в том же смысле, что и выше) основных понятий математического анализа, геометрии и алгебры к арифметике (посредством частичного сведения их друг к другу и выражения их понятий в терминах множеств теории (См. Множеств теория)), то, как считал Фреге, логицистическая программа была тем самым в основном выполнена.
         Но ещё до выхода в свет 2-го тома работы Фреге «Основные законы арифметики» (1893—1903) Б. Рассел обнаружил в системе Фреге Противоречие (называемое обычно парадоксом Рассела, см. Парадокс). Сам Рассел, однако, разделял основные тезисы программы Л.; он предпринял попытку «исправления» системы Фреге и «спасения» её от противоречий. Решение этой задачи потребовало большой работы по последовательной и детальной формализации (См. Формализация) не только математики, но и кладущейся в её основание (согласно программе Л.) логики. Итогом этой работы явился написанный Расселом (совместно с А. Н. Уайтхедом) трёхтомный труд «Principia Mathematica» (1910—13). Главным новшеством системы Рассела — Уайтхеда (ниже РМ) явилось построение логики в виде «ступенчатого исчисления», или «теории типов». Формальные объекты этой теории разделялись на т. н. типы (ступени), и эта «иерархия типов» (а в др. модификациях системы РМ — ещё дополнительная «иерархия уровней») позволила избавиться от всех известных парадоксов. Однако для построения классической математики средствами РМ к этой системе пришлось присоединить некоторые аксиомы (см. Типов теория), содержательно характеризующие важные свойства данного конкретного «мира математики» (и, конечно, соответствующего ему мира реальных вещей), а вовсе не являющиеся «аналитическими истинами», или, по Лейбницу, истинами, верными «во всех возможных мирах». Итак, не вся расселовская математика выводима из логики. Но более того, эта математика и не есть вся математика: как показал К. Гёдель (1931), системы типа РМ (и все, не уступающие им по силе) существенно неполны — их средствами всегда можно сформулировать содержательно истинные, но не разрешимые (не доказуемые и не опровержимые) математические утверждения (см. Аксиоматический метод, Метаматематика).
         Т. о., программа Л. «чисто логического» обоснования математики оказалась невыполнимой. Тем не менее и результаты Рассела, и работы др. учёных, предложивших позднее различные усовершенствования системы РМ (например, работы американского математика У. ван О. Куайна), оказали громадное положительное влияние на развитие математической логики и науки в целом, способствуя формированию и уточнению ряда важнейших логико-математических и общеметодологических идей и построению соответствующего точного математического аппарата.
        
         Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, гл. 3; Френкель А., Бар-Хиллел И., Основания теории множеств, пер. с англ., М., 1966, гл. 3.
         Ю. А. Гастев.

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

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

  • ЛОГИЦИЗМ — концепция, сводящая математику к логике. Согласно Л., логика и математика соотносятся между собой как части одной и той же науки: математика может быть получена из чистой логики без введения дополнительных основных понятий или дополнительных… …   Философская энциклопедия

  • ЛОГИЦИЗМ — направление в основаниях математики кон. 19 нач. 20 вв., отвергающее кантовский Тезис о синтетическом характере математических истин; рассматривает математику как чисто аналитическую науку, все понятия которой можно определить в рамках… …   Большой Энциклопедический словарь

  • Логицизм — одно из основных направлений математики, ставящее целью обосновать математику путем сведения ее исходных понятий к понятиям логики. Мысль о сведении математики к логике высказывалась Лейбницем в конце 17 в. Практическое осуществление… …   Википедия

  • логицизм —         ЛОГИЦИЗМ одно из трех главных направлений в основаниях математики наряду с интуиционизмом и формализмом. Основоположником Л. можно считать И. Канта, который рассматривал логику как априорно данную, а математические утверждения как… …   Энциклопедия эпистемологии и философии науки

  • логицизм — направление в основаниях математики конца XIX  начала XX вв., отвергающее кантовский тезис о синтетическом характере математических истин; рассматривает математику как чисто аналитическую науку, все понятия которой можно определить в рамках… …   Энциклопедический словарь

  • логицизм — логицизм, логицизмы, логицизма, логицизмов, логицизму, логицизмам, логицизм, логицизмы, логицизмом, логицизмами, логицизме, логицизмах (Источник: «Полная акцентуированная парадигма по А. А. Зализняку») …   Формы слов

  • ЛОГИЦИЗМ — одно из направлений в основаниях математики, ставящее целью обосновать математику путем сведения ее исходных понятий к понятиям логики. Мысль о сведении математики к логике высказывалась Г. Лейбницем (G. Leibniz, кон. 17 в.). Практическое… …   Математическая энциклопедия

  • ЛОГИЦИЗМ — направление в основаниях математики кон. 19 нач. 20 вв., отвергающее кантовский тезис о сиитетич. характере матем. истин; рассматривает математику как чисто аналитич. науку, все понятия к рой можно определить в рамках дедуктивной логики без… …   Естествознание. Энциклопедический словарь

  • логицизм — концепция, сводящая математику к логике. Согласно Л., логика и математика соотносятся между собой как части одной и той же науки: математика может быть получена из чистой логики без введения дополнительных основных понятий или дополнительных… …   Словарь терминов логики

  • логицизм — логиц изм, а …   Русский орфографический словарь

Книги

  • Основания теории множеств, А. А. Френкель, И. Бар-Хиллел. В ходе развития теории множеств, которая является основой построения большинства математических дисциплин, возникли чрезвычайно сложные проблемы непротиворечивости. Книга представляет собой… Подробнее  Купить за 660 руб
  • Современная философия (+CD), Виктор Канке. Электронный учебник предназначен для бакалавров, магистров и аспирантов высших учебных заведений, он будет интересен для широкого круга читателей. Учебник представляет собой оригинальный и… Подробнее  Купить за 458 руб
  • Сочинения, Гегель Г. В. Ф.. В 1812 и 1816 гг. вышли в свет два тома "Науки логики" — центральной работы Гегеля, выдвинувшей логику в качестве основополагающей философской дисциплины и утвердившей логицизм в качестве… Подробнее  Купить за 240 руб
Другие книги по запросу «Логицизм» >>


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

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