АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

РАЗВИТИЕ ЛОГИКИ В СВЯЗИ С ПРОБЛЕМОЙ ОБОСНОВАНИЯ МАТЕМАТИКИ

Читайте также:
  1. I. Развитие аналитических техник
  2. I. Решение логических задач средствами алгебры логики
  3. II. Развитие политической рекламы и PR.
  4. III. Реклама и связи с общественностью в коммерческой сфере.
  5. IV. Коммуникативное развитие
  6. V1: Социально-политическое и экономическое развитие России в конце XV 1 страница
  7. V1: Социально-политическое и экономическое развитие России в конце XV 10 страница
  8. V1: Социально-политическое и экономическое развитие России в конце XV 11 страница
  9. V1: Социально-политическое и экономическое развитие России в конце XV 12 страница
  10. V1: Социально-политическое и экономическое развитие России в конце XV 13 страница
  11. V1: Социально-политическое и экономическое развитие России в конце XV 14 страница
  12. V1: Социально-политическое и экономическое развитие России в конце XV 2 страница

 

Немецкий математик и логик Готтлоб Фреге (1848—1925) предпринял попытку свести математику к логике. С этой целью в первой своей работе по математической логике «Исчисление понятий» («BegnfTsschrift») он определил множество как объем понятия и таким образом получил возможность определить и чи­сло через объем понятия. Такое определение числа он сфор­мулировал в «Основаниях арифметики» («Grundlagen der Arithmetik»), книге, которая в то время осталась незамеченной, но впоследствии получила широкую известность. Здесь Фреге определяет число, принадлежащее понятию, как объем этого понятия. Два понятия считаются равночисленными, если множе­ства, выражающие их объемы, можно поставить во взаимоодноз­начное соответствие друг с другом. Так, например, понятие «вер­шина треугольника» равночисленно понятию «сторона треуголь­ника», и каждому из них принадлежит одно и то же число 3, являющееся объемом понятия «вершина треугольника».

Если Лейбниц только наметил программу сведения математи­ки к логике, то Г. Фреге предпринял попытку сведения довольно значительной части арифметики к логике, т. е. произвел некото­рую математизацию логики22. Символические обозначения, при­нятые им, очень громоздки и поэтому мало кто полностью прочитал его «Основные законы арифметики». Сам Фреге осо­бенно и не рассчитывал на то, что его произведение найдет читателей. Тем не менее труд Фреге сыграл значительную роль

в истории обоснования математики в первой половине XX в. В этом произведении Фреге писал: «В моих «Основаниях арифме­тики» (1884) я пытался привести аргументы в пользу того, что арифметика есть часть логики и не должна заимствовать ни у опыта, ни у созерцания никаких основ доказательства. В этой книге (речь идет об «Основных законах арифметики». — Л. Г.)это должно быть подтверждено тем, что простейшие законы арифме­тики здесь выводятся только с помощью логических средств».

Итак, Фреге полагал, что он логически определил число и точ­но перечислил логические правила, с помощью которых можно определять новые понятия и доказывать теоремы, и что таким образом он и сделал арифметику частью логики. Фреге не подо­зревал, однако, что построенная им система не только не пред­ставляла собой логического обоснования содержательной ариф­метики, но была даже противоречивой. Это противоречие в си­стеме Фреге обнаружил Бертран Рассел.

В послесловии к «Основным законам арифметики» Фреге писал по этому поводу: «Вряд ли есть что-нибудь более нежела­тельное для автора научного произведения, чем обнаружение по завершении его работы, что одна из основ его здания оказывает­ся пошатнувшейся (опровергнутой: erschuttert). В такое положе­ние я попал, получив письмо от господина Бертрана Рассела, когда печатание этой книги близилось к концу»2. Противоречи­ем, которое обнаружил Рассел в системе Фреге, был знаменитый парадокс Рассела о множестве всех нормальных множеств (см. с. 193 -194).

Причину своей неудачи Фреге видел в использованном им предположении, что у всякого понятия есть объем в смысле постоянного, строго фиксированного множества, не содержащего в себе никакой неопределенности или расплывчатости. Ведь именно через этот объем он и определил основное понятие математики: понятие числа.

Вслед за Г. Фреге очередную попытку сведения математики к логике предпринял видный английский философ и логик Берт­ран Рассел (1872—1970). Он также автор ряда работ из области истории, литературы, педагогики, эстетики, естествознания, со­циологии и др. Труды Рассела в области математической логики оказали большое влияние на ее развитие. Вместе с английским логиком и математиком А. Уайтхедом25 Рассел разработал ори­гинальную систему символической логики в фундаментальном трехтомном труде «Principia Mathematica»26. Выдвигая идею о сведении математики к логике, Рассел считает, что если гипо­теза относится не к одной или нескольким частным вещам, но к любому предмету, то такие выводы составляют математику. Таким образом, он определяет математику как доктрину, в кото­рой мы никогда не знаем, о чем мы говорим, и не знаем, верно ли то, что мы говорим. Рассел делит математику на чистую и прикладную. Чистая математика, по его мнению, есть совокупность формальных вы­водов, независимых от какого бы то ни было содержания, т. е. это класс высказываний, которые выражены исключительно в те­рминах переменных и только логических констант. Рассел не только вполне уверен в том, что ему удалось свести математику к такого рода предложениям, но и делает из этого утверждения вывод о существовании априорного знания, считает, что «мате­матическое познание нуждается в посылках, которые не базиро­вались бы на данных чувства»27. Отсюда видно, что Рассел разрывает две взаимосвязанные ступени познания — чувствен­ную и рациональную. Он отбрасывает в математике первую ступень познания и переходит сразу к абстрактному мышлению, а это и есть априоризм, стремление показать, что математические истины — истины разума, никак не связанные с опытом, с чувст­венным восприятием мира.

От чистой математики Рассел отличает прикладную матема­тику, которая состоит в применении формальных выводов к ма­териальным данным.

Для того чтобы показать, что чистая математика сводится к логике, Рассел берет систему аксиом арифметики, сформулиро­ванную Пеано, и пытается их логически доказать, а три неоп­ределяемых у Пеано понятия: «нуль», «число», «следующее за» — определить в терминах своей логической системы. Все натуральные числа Рассел также считает возможным выразить в терминах логики, а следовательно, свести арифметику к логике. А так как, по его мнению, вся чистая математика может быть сведена к арифметике, то и математика может быть сведена к логике. Рассел пишет: «Логика стала математической, матема­тика логической. Вследствие этого сегодня совершенно невоз­можно провести границу между ними. В сущности это одно и то же. Они различаются как мальчик и мужчина; логика — это юность математики, а математика — это зрелость логики»28. Рассел считает, что не существует пункта, где можно было бы провести резкую границу, по одну сторону которой находилась бы логика, а по другую — математика.

Но в действительности математика несводима к логике. Пред­меты изучения этих наук различны. Нами ранее были указаны характерные черты, присущие логике как науке (см. с. 114). У математики другие задачи и функции.

В большом трехтомном труде «Principia Malhematica» есть две стороны. Первая — заставляющая видеть в нем один из основных истоков современной математической логики. Все, что связано с этой стороной Principia Mathematica, получило в даль­нейшем такое развитие в математической логике, которое сдела­ло эту новую область науки особенно важной для решения не только труднейших задач теоретической математики и ее обоснования, но и целого ряда весьма важных для практики задач вычислительной математики и техники.

Другая сторона этого произведения — точнее, даже не самого этого произведения, а философских «обобщений», делаемых логицистами со ссылкой на него, — принадлежит уже к области попыток использовать его для «доказательства» положения, что математика-де сводится к логике. Именно эта сторона и относит­ся к области неправильных выводов. Именно ее и опровергает дальнейшее развитие науки, которое обнаружило, что эта попыт­ка Рассела не удалась. И это не случайно. Дело не в том, что Рассел в каком-то смысле не совсем удачно построил свою систему. Дело в том, что и нельзя построить формальную «логи­ческую систему» с точно перечисленными и эффективно выпол­нимыми правилами вывода, в которой можно было бы фор­мализовать всю содержательную арифметику. Это обстоятельст­во представляет собой содержание известной теоремы австрийс­кого математика и логика К. Гёделя о неполноте формализован­ной арифметики, из которой следует непосредственно, что опре­деление математических понятий в терминах «логики» хотя и об­наруживает некоторые связи этих понятий с логикой, но не лишает их тем не менее специфически математического содержа­ния. Формализованная система имеет смысл лишь при наличии содержательной научной теории, систематизации которой данная формализованная система должна служить.

Однако Г. Фреге и Б. Рассел пришли в логическом анализе к ряду интересных результатов, относящихся к понятиям «пред­мет», «имя», «значение», «смысл», «функция», «отношение» и др. Особо следует подчеркнуть важность разработанной Расселом теории типов (простой и разветвленной), цель которой состоит в том, чтобы помочь разрешить парадоксы в теории множеств. Рациональное зерно разветвленной теории типов Рассела состоит в том, что она является конструктивной теорией.

 


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 | 77 | 78 | 79 | 80 | 81 | 82 | 83 | 84 | 85 | 86 | 87 | 88 | 89 | 90 | 91 | 92 | 93 | 94 | 95 | 96 | 97 | 98 | 99 | 100 |

Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.003 сек.)