Логицизм

направление в основаниях математики и философии математики, основным тезисом которого является утверждение о «сводимости математики к логике», т. Е. Возможности (и необходимости) определения всех исходных математических понятий (в рамках самой математики не определяемых) в терминах «чистой» логики и доказательства всех математических предложений (в том числе аксиом) опять-таки логическими средствами. Идеи Л. Были выдвинуты ещё Г. В. Лейбницем, но в развёрнутом виде эта доктрина впервые была сфо..

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

Направление в основаниях математики кон. 19 - нач. 20 вв., отвергающее кантовский тезис о синтетическом характере математических истин. Рассматривает математику как чисто аналитическую науку, все понятия которой можно определить в рамках дедуктивной логики без использования каких-либо положений нелогического характера. Основные представители - Г. Фреге, Б. Рассел, А. Уайтхед. Тезис о "сводимости математики к логике" оказался невыполнимым, вместе с тем логицизм способствовал развитию математическ..

Направление в основаниях математики кон. 19 - нач. 20 вв., отвергающее кантовский тезис о сиитетич. Характере матем. Истин. Рассматривает математику как чисто аналитич. Науку, все понятия к-рой можно определить в рамках дедуктивной логики без использования к.-л. Положений нелогич. Характера. Осн. Представители - Г. Фреге, Б. Рассел, А. Уайтхед. Тезис о "сводимости математики к логике" оказался невыполнимым, вместе с тем Л. Способствовал развитию матем. Логики. ..

- одно из направлений в основаниях математики, ставящее целью обосновать математику путем сведения ее исходных понятий к понятиям логики. Мысль о сведении математики к логике высказывалась Г. Лейбницем (G. Leibniz, кон. 17 в.). Практическое осуществление логицистич. Тезиса было предпринято в кон. 19 - нач. 20 вв. В работах Г. Фреге и Б. Рассела (см. [1], [2]). Взгляд на математику как на часть логики обусловлен тем, что любую математич. Теорему в аксиоматич. Системе можно рассматривать как нек-р..

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

«ЛОГИКА ЧИСТОГО ПОЗНАНИЯ». ..

«ЛОГИКО-ФИЛОСОФСКИЙ ТРАКТАТ». ..

«ЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ». ..

ЛОГИЧЕСКИЕ ИССЛЕДОВАНИЯ В РОССИИ И СССР. ..