<<
>>

ЛОГИЦИЗМ

, направление в логико-филос. основаниях математики, исходящее из выдвинутого Лейбницем тезиса о «сводимости математики к логике», согласно к-рому математика изучает т. н. аналитич.
истины, т. е. утверждения, «истинные во всех возможных мирах». В систематич. виде доктрина Л. была изложена Фреге в «Осн. законах арифметики» («Grundgesetze der Arithmetik», Bd 1—2, 1893—1903), где основное для математики понятие натурального числа сводилось к объёмам понятий, а теоремы арифметики доказывались средствами нек-рой логич. системы. Эта доктрина была развита затем Расселом, обнаружившим парадокс (противоречие) в системе Фреге и предложившим в совместном с Уайтхедом трёхтомном труде «Principia Mathematica» (1910—13) т. н. теорию типов, в к-рой этот (как и другие) парадокс устранялся с помощью спец. иерархии логич. понятий. Однако для построения классич. математики в «Principia Mathematica» пришлось включить аксиомы, не удовлетворяющие критериям аналитич. истинности и характеризующие конкретный «математич. мир» и описываемый им мир реальных вещей и событий. С др. стороны, Гёделъ показал (1931), что все системы типа «Principia Mathematica» и более сильные (т. е. во всяком случае все системы аксиоматич. арифметики и теории множеств) существенно неполны: их средствами нельзя доказать нек-рые формулируемые в них содержательно-истинные утверждения. Т. о., осн. тезис Л. можно считать опровергнутым. Однако работы Рассела и его последователей (напр., У. Куайна) способствовали формированию и уточнению ряда важнейших логико-математич. и методологич. идей и развитию соответствующего формального математич. аппарата.

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

<< | >>
Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме ЛОГИЦИЗМ:

  1. Тема 1. ЛОГИЦИЗМ
  2. Логицизм
  3. Идеи Философии арифметики Гуссерля в связи с логицизмом Фреге и логическим конструктивизмом The ideas of Husserl_Philosophy of Arithmetic in relation to Frege_Logicism and logical Constructivism
  4. ЛОГИСТИКА
  5. МНОЖЕСТВ ТЕОРИЯ
  6. УАЙТХЕД
  7. Мировоззрение Николая Владимировича Станкевича
  8. Грамматическая концепция А. А. Потебни и её идеалистический философско-лингвистический фундамент
  9. ФРЕГЕ
  10. 2.2.5 Логические фикции и аксиома сводимости
  11. Николай Владимирович Станкевич
  12. ВОПРОСЫ ДЛЯ САМОПРОВЕРКИ
  13. Педагогіка. Інтегрований курс теорії та історії: Навчально- методичний посібник: У 2 ч. / За ред. А.М. Бойко. — Ч. 2. — К.: ВІПОЛ; Полтава: АСМІ,2004. — 504 с., 2004
  14. Кармазин Ю.А., Стрельцов Е.Л. и др.. УГОЛОВНЫЙ КОДЕКС УКРАИНЫ. КОММЕНТАРИЙ. Харьков-Одиссей, 2001
  15. ПРЕДИСЛОВИЕ