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

ЛОГИЦИЗМ — направление в основаниях математики кон. 19 — нач. 20 вв., отвергающее кантовский тезис о синтетическом характере математических истин; рассматривает математику как чисто аналитическую науку...

Направление в основаниях математики и философии математики, основным тезисом которого является утверждение о «сводимости математики к логике», т.

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

Логицизм, логицизмы, логицизма, логицизмов, логицизму, логицизмам, логицизм, логицизмы, логицизмом, логицизмами, логицизме, логицизмах

орф.

логицизм, -а

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

Лог/иц/и́зм/.

ФРЕГЕ (Frege) Готлоб (1848-1925) — немецкий логик, математик и философ, основоположник логицизма

Логицизм).

Лит.: Бирюков Б. В., О работах Фреге по философским вопросам математики, в сборнике

работами Б. Рассела и его школы (см. Логицизм). В античной математике Л. называли «искусство» вычислений

и правила вывода), можно дедуцировать все математические истины (см. Логицизм). Совершенно справедливо

логицизма, осуществленного в «П. м.», и как крах программы Гильберта (см. Формализм).

В заключение

методологию систем искусственного интеллекта и т.д. В свою очередь, проект логицизма, который

«логицизм») на принципах кантовского априоризма, трактовал априорность в смысле необходимости

неизбежно выступают в виде объекта. В «логицизме» философа априорному (аксиоматическому) знанию

и звенности продвижения материального потока по логистической цепи и т.д.;

2. (логицизм, или логистицизм

[ЭФФЕКТИВИЗМ], интуиционизмом [ИНТУИЦИОНИЗМ] и логицизмом [ЛОГИЦИЗМ]. Основоположником формализма

развития теории доказательств и теории моделей формализм все больше сближался с логицизмом

методологическое отличие формализма от логицизма и от наивного платонизма. Для формалиста абстрактные объекты

достижениями логицизма, в частности трудом А.Уайтхедаи Б.Рассела [РАССЕЛ], школа Гильберта уже в 20

психологизма в логике (и математике) и логицизма [ЛОГИЦИЗМ] – в психологии. В книге «Математическая

выхода из этого кризиса были выдвинуты три основные программы обоснования математики: логицизм

формализм и интуиционизм. Логицизм, во главе с Б. Расселом, стремился свести классическую математику

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

м стало ясно, что цели, провозглашенные логицизмом, формализмом и интуиционизмом

и логицизмом. Основоположником Ф. является Д. Гильберт, который поставил триединую задачу обоснования

с логицизмом, и сейчас многие авторы сводят их в единое металогическое направление. Отметим

принципиальное методологическое отличие Ф. от логицизма и от наивного платонизма. Для формалиста абстрактные

достижениями логицизма, в частности трудом А.Н. Уайтхеда и Б. Рассела «Principia Mathematica», школа

в философии математики логицизм (Б.Рассел), усматривавший возможности обоснования математики

течений, сложившихся в основаниях математики: логицизма [ЛОГИЦИЗМ], интуиционизма и формализма

[ФОРМАЛИЗМ]. С точки зрения логицизма математика – отрасль логики. Определения и теоремы математики

типов «стиранием» типов (в системе Куайна существует, напр., множество всех множеств). Логицизм не смог

последней. Правда, с середины 20 в. антагонизм П. и логицизма слабеет. В этот период косвенную

оснований математики — это логицизм, интуиционизм и формализм. С точки зрения логицизма, математика

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

логик начала 20 в. Б. Рассел. Логицизм же был создан Г. Фреге задолго до возникновения теории типов

В заключение отметим, что логицизм так и не смог конструктивным путем достичь своей цели

занимал позицию т.н. платонизма. К нему восходит развитая Расселом концепция логицизма [ЛОГИЦИЗМ] (которую

концепцию обоснования математики (см. Логицизм [ЛОГИЦИЗМ]). Согласно этой концепции, математика сводилась

логицизма [ЛОГИЦИЗМ], сводящей математику к логике, признак аналитичности был распространен и на положения

Позитивизма с различными течениями в философии математики (Логицизмом, математическим формализмом

свою позицию он отграничивает от позиции логицизма. Основной недостаток логицизма он видит

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

сочетается с обязательным формулированием краткого итога того или иного учения, а логицизм обобщений

логицизм [ЛОГИЦИЗМ], интуиционизм и формализм [ФОРМАЛИЗМ]. Рассел, разработавший философскую базу

логицизма, полагал, что истинность математических аксиом (в том числе аксиом Пеано) неочевидна

сведение ее к какому-то абсолютному началу (критика одновременно логицизма и феноменологизма

натуралистического редукционизма (»хромые» теории) и формальный логицизм (»прыгающие» теории

концептуальных построениях фундаментальную интенцию позднего францисканства на логицизм и эмпиризм

тогда направления в математике (их обычно выделяют четыре: логицизм [ЛОГИЦИЗМ], интуиционизм [ИНТУИЦИОНИЗМ

], сформулировавший философскую базу логицизма, во многом солидаризировался с английским эмпиризмом. Он исходил

философии. В своем отрицании рац. знания (“логицизма”) В. удивительно рационально строит

к Б. Расселом У. — основатель логицистической школы в философии математики (см. Логицизм), соавтор

чего программа Логицизма выведения всей математики из «чистой» логики оказывалась невыполнимой).

Лит.: Гильберт

философского трактата» Л. Витгенштейна. Синтез логицизма с эмпиристско-феноменолистической гносеологией

вместе с тем резко критиковал и вольфианскую метафизику за ее чрезмерный логицизм, увлечение

ИНТУИЦИОНИЗМ – одно из трех главных направлений (наряду с логицизмом [ЛОГИЦИЗМ]и формализмом

как логицизм, который появился в России как доказательство невозможности метафизики в виде знания

т.наз. общей логики, отступая при этом от некоторых идей Канта, и приближаясь к логицизму скорее

антипсихологизм, представление об аналитическом характере логических и математических предложений, идея логицизма

направлений в основаниях математики: логицизм [ЛОГИЦИЗМ](вся математика может быть дедуцирована

логический [ПАРАДОКС ЛОГИЧЕСКИЙ]) поставило вопрос о природе самой математики. Логицизм [ЛОГИЦИЗМ] пытался

и социальной практики философия может превратиться в абстрактный логицизм, догматизм, умозрительное

математики (см. Логицизм). Р. принадлежит также оригинальная теория дескрипций (См. Дескрипция

рассудочного логицизма. В противовес этим экстремальным позициям, Фома Аквинский, по оценке Ж., демонстрируя

так и к аристотелизму с его ориентацией на классификационный гештальт, систематику и логицизм

стало возникновение четырех направлений в основаниях математики: логицизма, интуиционизма

Логицизм, интуиционизм, формализм (программа Д. Гильберта) — как основные направления в обосновании

математики и логики на некоторой основе, исключающей появление противоречий. Программа Логицизма

неправомерным. В противоположность логицизму, активные способности он рассматривает

всего из «Логико-философского трактата» Л.Витгенштейна. Синтез логицизма с эмпиристско-феноменалистической

если его предмет подчинен закону противоречия. Приложение этого вывода к гносеологии (“логицизм

логицизма; системность; научность; историзм; диалектика; теологический характер. Более специфические

» и «реального духа») есть воплощение логицизма, в рамках которого Гегель утверждает исходное

и логицизм схоластического стиля мышления; — христианская теологическая традиция раннего средневековья

зрения формы С. демонстрирует выраженную интенцию к логицизму: как доктриналыгую, так и внешнюю

того или иного учения буквально в одной фразе, а логицизм и подчеркнутый методизм обобщений

и мифопоэтический «логицизм» иранской религиозной традиции, но и предысторией его образа. В архаичной

к учению о семантических категориях теория типов Б.Рассела [РАССЕЛ](см. Логицизм [ЛОГИЦИЗМ

ИНТУИЦИОНИЗМ — одно из трех главных направлений (наряду с логицизмом и формализмом), традиционно

и логицизм — в противоположность «старой» францисканской традиции, фундированной апофа-тической

в своем учении апофатическую теологию и натурализм, спекулятивный логицизм и эмпирическую ориентацию

от логицизма, они выдвинули учение о предложении как о «выраженном словами психологическом суждении», т.е

идеи Лейбница об универсальном исчислении, а в узком смысле — как защиту логицизма, утверждающего

» компонентой, заложенной в аналитическую философию еще логицизмом Фреге, Дж.Мура и Рассела. Специфична

средневеково-религиозную реакцию на логицизм и методологизм возникшего сциентистского направления

нового мышления, хотя и обнаруживает средневеково-религиозную реакцию на логицизм и методологизм

исследовательские программы обоснования математики – от логицизма до интуиционизма.

В неопозитивизме

идеалистической философии и эстетики — логицизма и психологизма.

Родным братом идеалистической

предпринимают попытку свести предложения и термины математики к логике. Центральный принцип логицизма

направления в обосновании математики – логицизм, интуиционизм. В этот же период развертывается критика понятий

в истории. More geometricum, логицизм, физикализм, глобальный эволюционизм — из этого ряда явлений

построение Л. в целях логического обоснования математического анализа (см. Логицизм).

С этого сочинения