• А
  • Б
  • В
  • Г
  • Д
  • Е
  • Ж
  • З
  • И
  • Й
  • К
  • Л
  • М
  • Н
  • О
  • П
  • Р
  • С
  • Т
  • У
  • Ф
  • Х
  • Ц
  • Ч
  • Ш
  • Щ
  • Ф
  • Э
  • Ю
  • Я
  • Логика науки

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



    Логика отношений

    Логика отношений, раздел логики, посвященный изучению отношений между объектами различной природы. В естественных языках отношения выражаются сказуемыми предложений, имеющих более одного подлежащего (…



    Логика предикатов

    Логика предикатов, раздел математической логики, изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е…



    Логинов Евгений Федорович

    Логинов Евгений Федорович [10(23).10.1907, Гельсингфорс, ныне Хельсинки, - 7.10.1970, Москва], советский военачальник, маршал авиации (1967). Член КПСС с 1939. В Советской Армии с 1926. Окончил…



    Логистика

    Логистика (от греч. logistike - искусство вычислять, рассуждать), 1) синоним (несколько архаический) термина математическая логика. 2) Наименование этапа в развитии математической логики…



    Логицизм

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

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

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

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

    Ю. А. Гастев.

     

    Лейбниц Готфрид Вильгельм

    Лейбниц (Leibniz) Готфрид Вильгельм (1.7.1646, Лейпциг, - 14.11.1716, Ганновер), немецкий философ-идеалист, математик, физик и изобретатель, юрист, историк, языковед. Изучал юриспруденцию и философию…

    Фреге Готлоб

    Фреге (Frege) Готлоб (8.11.1848, Висмар, - 26.7.1925, Бад-Клейнен), немецкий логик. Окончил университет в Йене (1873), в 1879-1918 профессор там же. Главное сочинение - "Основные законы арифметики" (т…

    Множеств теория

    Множеств теория, учение об общих свойствах множеств, преимущественно бесконечных. Понятие множества, или совокупности, принадлежит к числу простейших математических понятий; оно не определяется, но…

    Рассел Бертран

    Рассел (Russell) Бертран (18.5.1872, Треллек, Уэльс, - 2.2.1970, Пенриндайдрайт, Уэльс), английский философ, логик, математик, социолог, общественный деятель. В 1910-16 профессор Кембриджского…

    Противоречие

    Противоречие 1) диалектическое - взаимодействие противоположных, взаимоисключающих сторон и тенденций предметов и явлений, которые вместе с тем находятся во внутреннем единстве и взаимопроникновении…

    Парадокс

    Парадокс (от греч. paradoxes - неожиданный, странный), неожиданное, непривычное (хотя бы по форме) суждение (высказывание, предложение), резко расходящееся с общепринятым, традиционным мнением по…

    Формализация

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

    Уайтхед Алфред Норт

    Уайтхед (Whitehead) Алфред Норт (15.2.1861, Рамсгит, Кент, - 30.12.1947, Кембридж, Массачусетс), английский математик, логик и философ. Профессор математики и механики в Кембридже и Лондоне (с 1914)…

    Типов теория (в логике)

    Типов теория в логике, система расширенного исчисления предикатов или аксиоматической теории множеств, включающая переменные различных "типов" (сортов, ступеней, порядков). Формальные объекты этой…

    Гёдель Курт

    Гёдель (Godel) Курт [р. 28.4.1906, Брюнн (Брно)], австрийский логик и математик. В 1933-38 приват-доцент Венского университета. В 1940 эмигрировал в США; с 1953 профессор института перспективных…

    Аксиоматический метод

    Аксиоматический метод, способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) - аксиомы, или постулаты, из которых все остальные утверждения этой…

    Метаматематика

    Метаматематика, теория доказательств, теория доказательства, в широком смысле слова - метатеория математики, не предполагающая никаких специальных ограничений на характер используемых…