Логицизм - meaning and definition. What is Логицизм
Diclib.com
ChatGPT AI Dictionary
Enter a word or phrase in any language 👆
Language:

Translation and analysis of words by ChatGPT artificial intelligence

On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:

  • how the word is used
  • frequency of use
  • it is used more often in oral or written speech
  • word translation options
  • usage examples (several phrases with translation)
  • etymology

What (who) is Логицизм - definition

Логистика (философия)

Логицизм         

направление в основаниях математики и философии математики, основным тезисом которого является утверждение о "сводимости математики к логике", т. е. возможности (и необходимости) определения всех исходных математических понятий (в рамках самой математики не определяемых) в терминах "чистой" логики и доказательства всех математических предложений (в том числе аксиом) опять-таки логическими средствами. Идеи Л. были выдвинуты ещё Г. В. Лейбницем, но в развёрнутом виде эта доктрина впервые была сформулирована Г. Фреге, предложившим сведение основного математического понятия - понятия натурального числа - к объёмам понятий и детально разработавшим логическую систему, средствами которой удавалось доказать все теоремы арифметики. Поскольку к тому времени в математике была практически завершена работа по сведению (в том же смысле, что и выше) основных понятий математического анализа, геометрии и алгебры к арифметике (посредством частичного сведения их друг к другу и выражения их понятий в терминах множеств теории (См. Множеств теория)), то, как считал Фреге, логицистическая программа была тем самым в основном выполнена.

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

Т. о., программа Л. "чисто логического" обоснования математики оказалась невыполнимой. Тем не менее и результаты Рассела, и работы др. учёных, предложивших позднее различные усовершенствования системы РМ (например, работы американского математика У. ван О. Куайна), оказали громадное положительное влияние на развитие математической логики и науки в целом, способствуя формированию и уточнению ряда важнейших логико-математических и общеметодологических идей и построению соответствующего точного математического аппарата.

Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, гл. 3; Френкель А., Бар-Хиллел И., Основания теории множеств, пер. с англ., М., 1966, гл. 3.

Ю. А. Гастев.

ЛОГИЦИЗМ         
направление в основаниях математики кон. 19 - нач. 20 вв., отвергающее кантовский тезис о синтетическом характере математических истин; рассматривает математику как чисто аналитическую науку, все понятия которой можно определить в рамках дедуктивной логики без использования каких-либо положений нелогического характера. Основные представители - Г. Фреге, Б. Рассел, А. Уайтхед. Тезис о "сводимости математики к логике" оказался невыполнимым, вместе с тем логицизм способствовал развитию математической логики.
Логицизм         
Логици́зм — одно из основных направлений обоснования математики и философии математики, ставящее целью сведе́ние исходных математических понятий к понятиям логики. Двумя другими основными направлениями являются интуиционизм и формализм.

Wikipedia

Логицизм

Логици́зм — одно из основных направлений обоснования математики и философии математики, ставящее целью сведе́ние исходных математических понятий к понятиям логики. Двумя другими основными направлениями являются интуиционизм и формализм.

Мысль о сведе́нии математики к логике высказывалась Лейбницем в конце 17 в. Практическое осуществление логицистического тезиса было предпринято в конце 19 — начале 20 вв. в работах Фреге, и в «Principia mathematica» за авторством Уайтхеда и Рассела.

Взгляд на математику как на часть логики обусловлен тем, что любую математическую теорему в аксиоматической системе можно рассматривать как некоторое утверждение о логическом следовании. Остаётся только все встречающиеся в таких утверждениях константы определить через логические термины. К концу XIX века в математике различные виды чисел, включая комплексные, были определены в терминах натуральных чисел и операций над ними. Попытка сведения натуральных чисел к логическим понятиям была предпринята Г. Фреге. В интерпретации Г. Фреге натуральные числа были кардинальными числами некоторых понятий. Однако система Фреге не свободна от противоречий. Это выяснилось, когда Рассел обнаружил противоречие в канторовой теории множеств (см. парадокс Рассела), пытаясь свести её к логике. Обнаруженное противоречие побудило Рассела к пересмотру взглядов на логику, которую он сформулировал в виде теории разветвленных типов. Однако построение математики на основе теории типов потребовало принятия аксиом, которые неестественно считать чисто логическими. К ним относятся, например, аксиома бесконечности, которая утверждает, что существует бесконечно много индивидов, то есть объектов наинизшего типа.

Ряд авторов полагает, что с определёнными изменениями логического аппарата Рассела логицизм приемлем, другие же считают что попытка сведе́ния математики к логике не удалась, и идея логицизма оказалась утопичной. В 1931 году Гёдель доказывал, что никакая формализованная система логики не может быть адекватной базой математики.

What is Логиц<font color="red">и</font>зм - meaning and definition