Логицизм

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

ЛОГИНОВ Евгений Федорович (1907-70) - военачальник, маршал авиации (1967). Во время Великой Отечественной войны был командиром авиадивизии, командиром авиакорпуса дальнего действия. В 1954-59 заместитель главкома ВВС и генерал-инспектор Главной инспекции Министерства обороны (1954-59). Министр гражданской авиации СССР (1964-70).. ..

ЛОГИНОВ Михаил Николаевич (1903-1941) - российский конструктор артиллерийского вооружения. Под его руководством создана 45-мм зенитная морская пушка, 45-мм противотанковая пушка образца 1937 года, 76-мм полуавтоматическая зенитная пушка образца 1938 года, 85-мм зенитная пушка образца 1939 года, серия малокалиберной автоматической полевой и морской зенитной артиллерии, в т. Ч. 45, 37 и 25-мм автоматические зенитные пушки и установки. Государственная премия СССР (1941, посмертно).. ..

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

ЛОГИЧЕСКАЯ операция - операция над числами (обычно в двоичной системе счисления), выполняемая по правилам алгебры логики. Основные и наиболее распространенные логические операции, реализуемые в ЭВМ, - дизъюнкция, конъюнкция, отрицание. При составлении программ для ЭВМ более сложные логические операции обычно сводят к трем основным.. ..

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

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

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

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

ЛОГИЦИЗМ. ..