Я помню, как Бертран Рассел рассказал мне об ужасном сне. Он находился на верхнем этаже университетской библиотеки примерно в 2100 году нашей эры. Сотрудник библиотеки ходил вокруг полок с огромным ведром, снимал книги, просматривал их, возвращал их на полки или сбрасывал в ведро. Наконец он добрался до трёх больших томов, в которых Рассел мог признать последний сохранившийся экземпляр « Начал математики» . Он взял один из томов, перевернул несколько страниц, на мгновение как будто озадаченный любопытной символикой, закрыл том, подержал его в руке и заколебался...
Г.Х. Харди , Апология математика (1940) [1]
Однажды он [Рассел] сказал, после некоторого контакта с китайским языком, что с ужасом обнаружил, что язык Principia Mathematica был индоевропейским.
Джон Эденсор Литтлвуд , Сборник Литтлвуда (1986) [2]
Principia Mathematica (часто сокращенно PM ) — трехтомный труд по основам математики , написанный математиками-философами Альфредом Нортом Уайтхедом и Бертраном Расселом и опубликованный в 1910, 1912 и 1913 годах. В 1925–1927 годах он вышел во втором издании. издание с важным введением ко второму изданию , Приложением A , заменившим ✱9 , а также совершенно новыми Приложением B и Приложением C. ПМ был задуман как продолжение книги Рассела « Принципы математики» 1903 года , но, как заявляет ПМ , это стало неработоспособным предложением по практическим и философским причинам : ... Но по мере нашего продвижения становилось все более очевидным, что эта тема гораздо шире, чем мы предполагали; более того, по многим фундаментальным вопросам, которые остались неясными и сомнительными в предыдущей работе, мы теперь пришли к тому, что мы считаю удовлетворительными решениями».
ПМ , согласно его введению, преследовал три цели: (1) проанализировать в максимально возможной степени идеи и методы математической логики и свести к минимуму количество примитивных понятий , аксиом и правил вывода ; (2) точно выражать математические предложения в символической логике, используя наиболее удобные обозначения, которые допускает точное выражение; (3) разрешить парадоксы, которые преследовали логику и теорию множеств на рубеже 20-го века, такие как парадокс Рассела . [3]
Эта третья цель мотивировала принятие теории типов в ПМ . Теория типов принимает грамматические ограничения на формулы, исключающие неограниченное понимание классов, свойств и функций. Результатом этого является то, что формулы, которые позволяли бы понимать объекты, подобные множеству Рассела, оказываются неправильно оформленными: они нарушают грамматические ограничения системы PM .
Премьер-министр вызвал интерес к символической логике и продвинул эту тему, популяризируя ее и демонстрируя ее силу. [4] Современная библиотека поместила «PM» на 23-е место в списке 100 лучших англоязычных научно-популярных книг двадцатого века. [5]
« Начала» охватывали только теорию множеств , кардинальные , порядковые и действительные числа . Более глубокие теоремы реального анализа не были включены, но к концу третьего тома экспертам стало ясно, что большая часть известной математики в принципе может быть развита в принятом формализме. Было также ясно, насколько длительным будет такое развитие событий.
Был запланирован четвертый том по основам геометрии , но авторы признались, что после завершения третьего тома интеллектуально истощены.
Как отмечается в критике теории Куртом Гёделем (ниже), в отличие от формалистической теории , «логистическая» теория PM не имеет «точного изложения синтаксиса формализма». Более того, в теории почти сразу можно заметить, что интерпретации (в смысле теории моделей ) представлены в терминах истинностных значений поведения символов «⊢» (утверждение истины), «~» (логическое нет). и «V» (логическое включающее ИЛИ).
Истинные ценности : ПМ встраивает понятия «истина» и «ложь» в понятие «примитивное суждение». Грубая (чистая) формалистическая теория не могла бы дать значения символов, образующих «примитивное суждение» — сами символы могли быть абсолютно произвольными и незнакомыми. Теория будет определять только то, как ведут себя символы, основываясь на грамматике теории . Позже, путем присвоения «значений», модель будет определять интерпретацию того, что говорят формулы. Таким образом, в приведенном ниже формальном наборе символов Клини «интерпретация» того, что обычно означают эти символы, и, как следствие, как они в конечном итоге используются, дается в круглых скобках, например, «¬ (нет)». Но это не чистая формалистская теория.
В противовес логистической теории ПМ предлагается следующая формалистская теория . Современная формальная система будет построена следующим образом:
Теория ПМ имеет как существенные сходства, так и схожие различия с современной формальной теорией. [ нужны разъяснения ] Клини заявляет, что «этот вывод математики из логики был предложен как интуитивная аксиоматика. Аксиомы должны были верить или, по крайней мере, быть принятыми как правдоподобные гипотезы относительно мира». [10] Действительно, в отличие от формалистической теории, которая манипулирует символами в соответствии с правилами грамматики, ПМ вводит понятие «истинных значений», то есть истины и ложности в реальном смысле, и «утверждения истины» почти сразу же. как пятый и шестой элементы в структуре теории ( PM 1962:4–36):
См. PM 1962:90–94, для первого издания:
Первое издание (см. обсуждение второго издания ниже) начинается с определения знака «⊃» .
✱1.01 . п ⊃ q . "= " ~ п ∨ q . Дф .
✱1.1 . Все, что подразумевается под истинным элементарным предложением, истинно. Pp modus ponens
( ✱1.11 был исключен во втором издании.)
✱1.2 . ⊦ : п ∨ п . ⊃ . п . Pp принцип тавтологии
✱1.3 . ⊦ : q . ⊃ . п ∨ q . Pp принцип сложения
✱1.4 . ⊦ : п ∨ q . ⊃ . q ∨ п . Pp принцип перестановки
✱1,5 . ⊦ : п ∨ ( q ∨ р ) . ⊃ . q ∨ ( п ∨ р ). Ассоциативный принцип пп
✱1.6 . ⊦ :. д ⊃ р . ⊃ : п ∨ q . ⊃ . п ∨ р . Пп принцип суммирования
✱1.7 . Если р — элементарное предложение, то ~ р — элементарное предложение. ПП
✱1,71 . Если p и q — элементарные предложения, то p ∨ q — элементарное предложение. ПП
✱1,72 . Если φ p и ψ p — элементарные пропозициональные функции, принимающие элементарные предложения в качестве аргументов, то φ p ∨ ψ p — элементарное предложение. ПП
Вместе с «Введением ко второму изданию» в Приложении А ко второму изданию отсутствует весь раздел ✱9 . Сюда входят шесть примитивных предложений с ✱9 по ✱9.15 вместе с аксиомами сводимости.
Пересмотренная теория осложняется введением штриха Шеффера («|»), символизирующего «несовместимость» (т. е., если оба элементарных предложения p и q истинны, их «штрих» p | q ложен), современная логика И-НЕ (не-И). В пересмотренной теории во Введении представлено понятие «атомарного суждения», «данного», которое «принадлежит к философской части логики». Они не имеют частей, которые являются предложениями и не содержат понятия «все» или «некоторые». Например: «это красное» или «это раньше того». Такие вещи могут существовать до бесконечности , т. е. даже «бесконечное перечисление» их для замены «общности» (т. е. понятия «для всех»). [12] Затем ПМ «переходит к молекулярным предложениям», которые все связаны «штрихом». Определения дают эквиваленты для «~», «∨», «⊃» и « . ».
Новое введение определяет «элементарные предложения» как атомные и молекулярные позиции вместе. Затем он заменяет все примитивные предложения с ✱1.2 по ✱1.72 одним примитивным предложением, сформулированным в терминах штриха:
В новом введении сохранены обозначения «существует» (теперь преобразованные в «иногда верно») и «для всех» (переработанные в «всегда верно»). Приложение А усиливает понятие «матрицы» или «предикативной функции» («примитивная идея», PM 1962:164) и представляет четыре новых примитивных предложения как ✱8.1–✱8.13 .
✱88 . Мультипликативная аксиома
✱120 . Аксиома бесконечности
В простой теории типов объекты представляют собой элементы различных непересекающихся «типов». Типы неявно создаются следующим образом. Если τ 1 ,...,τ m являются типами, то существует тип (τ 1 ,...,τ m ), который можно рассматривать как класс пропозициональных функций τ 1 ,...,τ m ( которое в теории множеств по существу является множеством подмножеств τ 1 ×...×τ m ). В частности, существует тип () предложений и может существовать тип ι (йота) «индивидов», из которых строятся другие типы. Обозначения Рассела и Уайтхеда для создания типов из других типов довольно громоздки, и эти обозначения здесь принадлежат Черчу .
В теории разветвленных типов ПМ все объекты являются элементами различных непересекающихся разветвленных типов. Разветвленные типы неявно создаются следующим образом. Если τ 1 ,...,τ m ,σ 1 ,...,σ n — разветвленные типы, то, как и в простой теории типов, существует тип (τ 1 ,...,τ m ,σ 1 ,... ,σ n ) «предикативных» пропозициональных функций от τ 1 ,...,τ m ,σ 1 ,...,σ n . Однако существуют также разветвленные типы (τ 1 ,...,τ m |σ 1 ,...,σ n ), которые можно рассматривать как классы пропозициональных функций от τ 1 ,...τ m, полученные из пропозициональные функции типа (τ 1 ,...,τ m ,σ 1 ,...,σ n ) путем квантификации по σ 1 ,...,σ n . Когда n = 0 (поэтому нет σs), эти пропозициональные функции называются предикативными функциями или матрицами. Это может сбивать с толку, поскольку современная математическая практика не делает различия между предикативными и непредикативными функциями, и в любом случае PM никогда точно не определяет, что на самом деле представляет собой «предикативная функция»: это воспринимается как примитивное понятие.
Рассел и Уайтхед сочли невозможным развивать математику, сохраняя при этом разницу между предикативными и непредикативными функциями, поэтому они ввели аксиому сводимости , утверждающую, что для каждой непредикативной функции существует предикативная функция, принимающая те же значения. На практике эта аксиома по существу означает, что элементы типа (τ 1 ,...,τ m |σ 1 ,...,σ n ) можно отождествлять с элементами типа (τ 1 ,...,τ m ), что приводит к тому, что иерархия разветвленных типов скатывается к простой теории типов. (Строго говоря, PM допускает различие двух пропозициональных функций, даже если они принимают одинаковые значения для всех аргументов; это отличается от современной математической практики, где обычно идентифицируют две такие функции.)
В теории множеств Цермело можно смоделировать теорию разветвленного типа ПМ следующим образом. Выбирается набор ι в качестве типа индивидуумов. Например, ι может быть набором натуральных чисел, или набором атомов (в теории множеств с атомами), или любым другим набором, который вас интересует. Тогда, если τ 1 ,...,τ m являются типами, тип (τ 1 ,...,τ m ) — это степенной набор произведения τ 1 ×...×τ m , который также можно неформально рассматривать как набор (пропозициональных предикативных) функций от этого произведения до 2 -element set {true, false}. Разветвленный тип (τ 1 ,...,τ m |σ 1 ,...,σ n ) можно смоделировать как произведение типа (τ 1 ,...,τ m ,σ 1 ,... ,σ n ) с набором последовательностей из n кванторов (∀ или ∃), указывающих, какой квантор следует применять к каждой переменной σ i . (Можно немного изменить это, разрешив количественно определять σ в любом порядке или позволив им возникать перед некоторыми из τ, но это не имеет большого значения, за исключением бухгалтерского учета.)
Во введении ко второму изданию предупреждается:
Одним из моментов, в отношении которого очевидно желательно улучшение, является аксиома сводимости… Эта аксиома имеет чисто прагматическое обоснование… но это явно не та аксиома, которой мы можем довольствоваться. Однако по этому вопросу нельзя сказать, что удовлетворительное решение еще достижимо. Доктор Леон Чвистек [Теория конструктивных типов] пошел героическим путем отказа от аксиомы, не приняв никакой замены; из его работ ясно, что этот курс заставляет нас пожертвовать многим из обычной математики. Есть еще один курс, рекомендованный Витгенштейном† (†Tractatus Logico-Philosophicus, *5.54ff) по философским соображениям. Это значит предположить, что функции предложений всегда являются функциями истинности и что функция может появляться в предложении только через его значения. (…) [Прорабатывая последствия] ... теория индуктивных кардиналов и порядковых чисел сохранилась; но кажется, что теория бесконечных дедекиндовых и хорошо упорядоченных рядов в значительной степени терпит крах, так что иррациональные числа и действительные числа в целом больше не могут быть адекватно рассмотрены. Также доказательство Кантора о том, что 2n > n, неверно, если n не конечно. [13]
Возможно, можно было бы пожертвовать бесконечными упорядоченными рядами ради логической строгости, но теория действительных чисел является неотъемлемой частью обычной математики и вряд ли может быть предметом разумных сомнений. Поэтому мы имеем право (sic) предположить, что некоторые истинные логические аксиомы оправдывают это. Требуемая аксиома может быть более ограниченной, чем аксиома сводимости, но если так, то ее еще предстоит открыть. [14]
Один автор [4] отмечает, что «обозначения в этой работе были вытеснены последующим развитием логики в 20-м веке до такой степени, что у новичка вообще возникают проблемы с чтением PM»; хотя большая часть символического содержания может быть преобразована в современные обозначения, исходные обозначения сами по себе являются «предметом научных споров», а некоторые обозначения «воплощают в себе основные логические доктрины, поэтому их нельзя просто заменить современной символикой». [15]
Курт Гёдель резко критиковал эти обозначения: «Прежде всего, не хватает точного определения синтаксиса формализма. Синтаксические соображения опускаются даже в тех случаях, когда они необходимы для убедительности доказательств». [16] Это отражено в приведенном ниже примере символов « p », « q », « r » и «⊃», которые можно сформировать в строку « p ⊃ q ⊃ r ». PM требует определения того, что означает эта строка символов с точки зрения других символов; в современных трактовках «правила образования» (синтаксические правила, ведущие к «правильно сформированным формулам») предотвратили бы образование этой строки.
Источник обозначений : Глава I «Предварительные пояснения идей и обозначений» начинается с источника элементарных частей обозначений (символов =⊃≡−ΛVε и системы точек):
PM изменил Ɔ Пеано на ⊃, а также принял несколько более поздних символов Пеано, таких как ℩ и ι, а также практику Пеано переворачивать буквы вверх ногами.
Премьер-министр использует знак утверждения «⊦» из Begriffsschrift Фреге 1879 года : [18]
Таким образом, чтобы утверждать предложение p, PM пишет:
(Обратите внимание, что, как и в оригинале, левая точка квадратная и большего размера, чем точка справа.)
Большую часть остальных обозначений в PM придумал Уайтхед. [20]
Точки PM [ 21] используются аналогично круглым скобкам. Каждая точка (или несколько точек) представляет собой левую или правую скобку или логический символ ∧. Более одной точки указывает на «глубину» скобок, например « . », « : » или « :. », « :: ». Однако положение соответствующей правой или левой скобки не указывается явно в обозначениях, а должно быть выведено из некоторых правил, которые являются сложными и порой неоднозначными. Более того, когда точки обозначают логический символ ∧, его левый и правый операнды должны быть выведены по аналогичным правилам. Сначала нужно решить, исходя из контекста, обозначают ли точки левую или правую скобку или логический символ. Затем нужно решить, насколько далеко находится другая соответствующая скобка: здесь продолжается до тех пор, пока не встретится либо большее количество точек, либо такое же количество следующих точек, имеющих равную или большую «силу», либо конец строки. Точки рядом со знаками ⊃, ≡, ∨, =Df имеют большую силу, чем точки рядом с ( x ), (∃ x ) и т. д., которые имеют большую силу, чем точки, обозначающие логическое произведение ∧.
Пример 1. Линия
соответствует
Две точки, стоящие вместе сразу после знака утверждения, указывают на то, что утверждается вся строка: поскольку их две, их область действия больше, чем у любой из одиночных точек справа от них. Они заменяются левой скобкой, стоящей на месте точек, и правой скобкой в конце формулы, таким образом:
(На практике эти крайние круглые скобки, заключающие в себя всю формулу, обычно опускаются.) Первая из одиночных точек, стоящих между двумя пропозициональными переменными, представляет собой соединение. Он относится к третьей группе и имеет самую узкую сферу применения. Здесь он заменен современным символом союза «∧», таким образом
Две оставшиеся одиночные точки обозначают главную связку всей формулы. Они иллюстрируют полезность точечной записи при выборе тех связок, которые относительно более важны, чем те, которые их окружают. Та, что слева от «⊃», заменяется парой круглых скобок, правая идет там, где находится точка, а левая идет настолько далеко влево, насколько это возможно, не пересекая группу точек большей силы, в в этом случае две точки, следующие за знаком утверждения, таким образом
Точка справа от «⊃» заменяется левой скобкой, которая идет туда, где находится точка, и правой скобкой, которая идет настолько далеко вправо, насколько это возможно, не выходя за рамки, уже установленные группой точек большего размера. сила (в данном случае две точки, следующие за знаком утверждения). Таким образом, правая скобка, которая заменяет точку справа от «⊃», помещается перед правой скобкой, которая заменяет две точки после знака утверждения, таким образом
Пример 2 с двойными, тройными и четверными точками:
означает
Пример 3, с двойной точкой, обозначающей логический символ (из тома 1, стр. 10):
означает
где двойная точка представляет логический символ ∧ и может рассматриваться как имеющий более высокий приоритет, чем нелогическая одиночная точка.
Позже в разделе ✱14 появляются скобки «[ ]», а в разделах ✱20 и последующих — фигурные скобки «{ }». Неясно, имеют ли эти символы конкретное значение или предназначены только для визуального пояснения. К сожалению, одна точка (а также « : », « :. », « :: » и т. д.) также используется для обозначения «логического продукта» (современное логическое И, часто обозначаемое «&» или «∧»).
Логическая импликация представлена буквой «Ɔ» Пеано, упрощенной до «⊃», логическое отрицание символизируется удлиненной тильдой, т. е. «~» (современное «~» или «¬»), логическое ИЛИ — «v». Символ «=" вместе с «Df» используется для обозначения «определяется как», тогда как в разделах ✱13 и последующих символ «=" определяется как (математически) «идентичный», т. е. современное математическое «равенство» ( см. обсуждение в разделе ✱13 ). Логическая эквивалентность обозначается знаком «≡» (современное «тогда и только если»); «Элементарные» пропозициональные функции пишутся обычным способом, например, « f ( p )», но в дальнейшем знак функции появляется непосредственно перед переменной без скобок, например, «φ x », «χ x » и т. д.
Например, PM вводит определение «логического продукта» следующим образом:
Перевод формул в современные символы : разные авторы используют альтернативные символы, поэтому окончательный перевод дать невозможно. Однако из-за критики, подобной приведенной ниже критике Курта Гёделя , лучшие современные трактовки будут очень точными в отношении «правил формирования» (синтаксиса) формул.
Первую формулу можно преобразовать в современную символику следующим образом: [22]
попеременно
попеременно
и т. д.
Вторую формулу можно преобразовать следующим образом:
Но обратите внимание, что это (логически) не эквивалентно ни ( p → ( q → r )) ни (( p → q ) → r ), и эти два значения также не эквивалентны логически.
Эти разделы посвящены тому, что сейчас известно как логика предикатов и логика предикатов с тождеством (равенством).
Раздел ✱10: Экзистенциальные и универсальные «операторы» : PM добавляет «( x )» для обозначения современного символизма «для всех x », т.е. «∀ x », и использует букву E с обратной засечкой для обозначения «существует x» . ", то есть "(Ǝx)", то есть современный "∃x". Типичные обозначения будут похожи на следующие:
Разделы ✱10, ✱11, ✱12: Свойства переменной, распространяющиеся на всех людей : раздел ✱10 вводит понятие «свойства» «переменной». PM приводит пример: φ — это функция, которая указывает «является греком», ψ указывает «является человеком», а χ указывает «является смертным». Эти функции затем применяются к переменной x . Теперь премьер-министр может написать и оценить:
Обозначение выше означает «для всех x x — человек». Учитывая совокупность людей, можно оценить истинность или ложность приведенной выше формулы. Например, учитывая ограниченный набор людей {Сократ, Платон, Рассел, Зевс}, приведенное выше оценивается как «истинное», если мы допускаем, что Зевс был человеком. Но это не удается для:
потому что Рассел не грек. И это терпит неудачу для
потому что Зевс не смертный.
Оснащенный этими обозначениями, ПМ может создавать формулы, выражающие следующее: «Если все греки — люди, и если все люди — смертные, то все греки — смертные». ( ПМ 1962:138)
Другой пример: формула:
означает: «Символы, представляющие утверждение: «Существует по крайней мере один x , удовлетворяющий функции φ», определяются символами, представляющими утверждение: «Неверно, что при всех значениях x не существует значений x , удовлетворяющих φ».
Символизмы ⊃ x и «≡ x » появляются в ✱10.02 и ✱10.03 . Оба являются аббревиатурами универсальности (т. е. для всех), которые связывают переменную x с логическим оператором. В современных обозначениях вместо знака равенства («=") просто использовались круглые скобки:
ПМ приписывает первый символизм Пеано.
В разделе ✱11 эта символика применяется к двум переменным. Таким образом, следующие обозначения: ⊃ x , ⊃ y , ⊃ x, y могут появиться в одной формуле.
В разделе ✱12 вновь вводится понятие «матрица» (современная таблица истинности ), понятие логических типов и, в частности, понятия функций и высказываний первого и второго порядка .
Новый символизм «φ ! x » представляет любое значение функции первого порядка. Если над переменной ставится циркумфлекс «^», то это «индивидуальное» значение y , что означает, что « ŷ » указывает на «индивидуумы» (например, строку в таблице истинности); это различие необходимо из-за матричной/экстенсиональной природы пропозициональных функций.
Теперь, вооружившись понятием матрицы, PM может утверждать свою спорную аксиому сводимости : функция одной или двух переменных (двух достаточно для использования PM) , где все ее значения заданы (т. е. в ее матрице), (логически) эквивалент («≡») некоторой «предикативной» функции тех же переменных. Определение с одной переменной приведено ниже в качестве иллюстрации обозначений ( PM 1962: 166–167):
✱12.1 ⊢ : (Ǝ f ) : φ x . ≡ х . е ! х Пп ;
Это означает: «Мы утверждаем истинность следующего: существует функция f со свойством, которая: при всех значениях x их оценки в функции φ (т. е. результирующая их матрица) логически эквивалентны некоторой f, вычисленной в тех же самых значениях. значения х (и наоборот, отсюда логическая эквивалентность)". Другими словами: для матрицы, определенной свойством φ, примененным к переменной x , существует функция f , которая при применении к x логически эквивалентна матрице. Или: каждая матрица φ x может быть представлена функцией f, примененной к x , и наоборот.
✱13: Оператор идентификации «=" : это определение, в котором знак используется двумя разными способами, как отмечено в цитате из PM :
означает:
Знак «не равно» «≠» появляется в качестве определения в ✱13.02 .
✱14: Описания :
В этом PM используются два новых символа: прямая «E» и перевернутая йота «℩». Вот пример:
Это имеет значение:
Текст переходит от раздела ✱14 непосредственно к основополагающим разделам ✱20 ОБЩАЯ ТЕОРИЯ КЛАССОВ и ✱21 ОБЩАЯ ТЕОРИЯ ОТНОШЕНИЙ . «Отношения» — это то, что известно в современной теории множеств как множества упорядоченных пар . В разделах ✱20 и ✱22 представлены многие символы, которые до сих пор используются. К ним относятся символы «ε», «⊂», «∩», «∪», «–», «Λ» и «V»: «ε» означает «является элементом» ( PM 1962:188); «⊂» ( ✱22.01 ) означает «содержится в», «является подмножеством»; «∩» ( ✱22.02 ) означает пересечение (логическое произведение) классов (множеств); «∪» ( ✱22.03 ) означает объединение (логическую сумму) классов (множеств); «–» ( ✱22.03 ) означает отрицание класса (множества); «Λ» означает нулевой класс; а «V» означает универсальный класс или вселенную дискурса.
Маленькие греческие буквы (кроме «ε», «ι», «π», «φ», «ψ», «χ» и «θ») обозначают классы (например, «α», «β», «γ»). ", "δ" и т. д.) ( PM 1962:188):
Применительно к отношениям из раздела ✱23 «ИСЧИСЛЕНИЕ ОТНОШЕНИЙ » символы «⊂», «∩», «∪» и «–» приобретают точку: например: «⊍», «∸». [26]
Понятие и обозначения «класса» (множества) : В первом издании ПМ утверждает, что для определения того, что подразумевается под «классом», не требуется никаких новых примитивных идей, а только два новых «примитивных предложения», называемых аксиомами . сводимости классов и отношений соответственно ( PM 1962:25). [27] Но прежде чем это понятие может быть определено, ПМ считает необходимым создать своеобразную нотацию « ẑ (φ z )», которую он называет «фиктивным объектом». ( ПМ 1962:188)
По крайней мере, ПМ может рассказать читателю, как ведут себя эти вымышленные объекты, потому что «Класс полностью определен, когда известен его членство, то есть не может быть двух разных классов, имеющих одинаковое членство» ( PM 1962:26). Это символизируется следующим равенством (аналогично ✱13.01 выше):
Возможно, сказанное выше может быть прояснено обсуждением классов во Введении ко второму изданию , которое избавляется от аксиомы сводимости и заменяет ее понятием: «Все функции функций экстенсиональны» ( PM 1962:xxxix), т.е.
Это имеет разумный смысл: «ЕСЛИ для всех значений x истинностные значения функций φ и ψ от x [логически] эквивалентны, ТО функции ƒ заданных φ ẑ и ƒ ψ ẑ [логически] эквивалентны ." Премьер-министр утверждает, что это «очевидно»:
Обратите внимание на изменение знака равенства «=" справа. Далее PM заявляет, что продолжит придерживаться обозначения « ẑ (φ z )», но это просто эквивалентно φ ẑ , и это класс. (все цитаты: PM 1962:xxxix).
Согласно «Логистическим основам математики» Карнапа , Рассел хотел создать теорию, о которой можно было бы правдоподобно сказать, что она выводит всю математику из чисто логических аксиом. Однако Principia Mathematica требовала, в дополнение к основным аксиомам теории типов, еще три аксиомы, которые, казалось, были неверны просто с точки зрения логики, а именно аксиома бесконечности , аксиома выбора и аксиома сводимости . Поскольку первые две были экзистенциальными аксиомами, Рассел сформулировал зависящие от них математические утверждения как условные. Но сводимость была необходима для того, чтобы быть уверенным, что формальные утверждения правильно выражают утверждения реального анализа, так что зависящие от нее утверждения не могут быть переформулированы как условные. Фрэнк Рэмси пытался доказать, что в разветвлении Расселом теории типов нет необходимости, чтобы можно было устранить сводимость, но эти аргументы казались неубедительными.
Помимо статуса аксиом как логических истин , можно задать следующие вопросы о любой системе, такой как ПМ:
Логика высказываний сама по себе была известна как непротиворечивая, но то же самое не было установлено для аксиом теории множеств Principia . (См. вторую проблему Гильберта .) Рассел и Уайтхед подозревали, что система в PM неполна: например, они указывали, что она не кажется достаточно мощной, чтобы показать, что кардинал ℵ ω существует. Однако можно задаться вопросом, является ли какое-то рекурсивно аксиоматизируемое его расширение полным и непротиворечивым.
В 1930 году теорема Гёделя о полноте показала, что логика предикатов первого порядка сама по себе полна в гораздо более слабом смысле, то есть любое предложение, которое недоказуемо на основе данного набора аксиом, на самом деле должно быть ложным в некоторой модели аксиом. Однако это не более сильное чувство полноты, желаемое для Principia Mathematica, поскольку данная система аксиом (например, системы Principia Mathematica) может иметь множество моделей, в некоторых из которых данное утверждение истинно, а в других это утверждение ложно, так что аксиомы не решают это утверждение.
Теоремы Гёделя о неполноте пролили неожиданный свет на эти два взаимосвязанных вопроса.
Первая теорема Гёделя о неполноте показала, что никакое рекурсивное расширение «Начал» не может быть одновременно непротиворечивым и полным для арифметических утверждений. (Как упоминалось выше, уже было известно, что Principia сама по себе является неполной для некоторых неарифметических утверждений.) Согласно теореме, внутри каждой достаточно мощной рекурсивной логической системы (такой как Principia ) существует утверждение G , которое по сути гласит: « утверждение G невозможно доказать». Такое утверждение является своего рода «Уловкой-22» : если G доказуемо, то оно ложно, и, следовательно, система несовместна; и если G недоказуемо, то оно истинно, и, следовательно, система неполна.
Вторая теорема Гёделя о неполноте (1931 г.) показывает, что никакая формальная система , расширяющая базовую арифметику, не может использоваться для доказательства ее собственной непротиворечивости. Таким образом, утверждение «в системе Начал нет противоречий » не может быть доказано в системе «Начала» , если в системе нет противоречий (в этом случае его можно доказать как истинное, так и ложное).
Ко второму изданию PM Рассел убрал свою аксиому о сводимости к новой аксиоме (хотя он и не формулирует ее как таковую). Гёдель 1944:126 описывает это так:
Это изменение связано с новой аксиомой, согласно которой функции могут появляться в предложениях только «через свои значения», т. е. экстенсионально (...) [это] совершенно не вызывает возражений даже с конструктивной точки зрения (...) при условии, что кванторы всегда Это изменение от квазиинтенсиональной позиции к полностью экстенсиональной позиции также ограничивает логику предикатов вторым порядком, то есть функциями функций: «Мы можем решить, что математика должна ограничиться функциями функций, которые подчиняются определенным порядкам». выше предположение».
- ПМ 2-е издание с. 401, Приложение С
Новое предложение привело к печальным последствиям. «Расширенная позиция» и ограничение на логику предикатов второго порядка означают, что пропозициональная функция, распространенная на всех индивидов, например «Все «x» синие», теперь должна перечислять все «x», которые удовлетворяют (истинны в) предложение, перечислив их в возможно бесконечной конъюнкции: например, x 1 ∧ x 2 ∧ . . . ∧ Икс п ∧ . . По иронии судьбы, это изменение произошло в результате критики со стороны Людвига Витгенштейна в его «Логико-философском трактате» 1919 года . Как описано Расселом во введении ко второму изданию PM :
Есть еще один курс, рекомендованный Витгенштейном† († Tractatus Logico-Philosophicus , *5.54ff) по философским соображениям. Это значит предположить, что функции предложений всегда являются функциями истинности и что функция может появляться в предложении только через его значения. (...) [Прорабатывая последствия] оказывается, что все в Vol. I остается верным (хотя часто требуются новые доказательства); теория индуктивных кардиналов и порядковых чисел сохранилась; но кажется, что теория бесконечных дедекиндовых и хорошо упорядоченных рядов в значительной степени терпит крах, так что иррациональные числа и действительные числа в целом больше не могут быть адекватно рассмотрены. Также доказательство Кантора о том, что 2 n > n, неверно, если n не конечно».
- PM, 2-е издание, перепечатано в 1962 г.: xiv, также ср. новое Приложение C)
Другими словами, тот факт, что бесконечный список не может быть реально определен, означает, что понятие «числа» в бесконечном смысле (т.е. континуум) не может быть описано новой теорией, предложенной во втором издании PM .
Витгенштейн в своих лекциях по основам математики в Кембридже (1939 г.) критиковал Principia по разным причинам, например:
Однако Витгенштейн признавал, что «Начала», тем не менее, могут сделать некоторые аспекты повседневной арифметики более ясными.
Гёдель предложил «критическое, но сочувственное обсуждение логистического порядка идей» в своей статье 1944 года «Математическая логика Рассела». [28] Он писал:
Приходится сожалеть, что этому первому всестороннему и основательному изложению математической логики и выведению из нее математики так сильно не хватает формальной точности в основаниях (содержащихся в ✱1–✱21 «Начал » [т. е. разделы ✱1–✱5 (логика высказываний), ✱8–14 (логика предикатов с тождеством/равенством), ✱20 (введение в теорию множеств) и ✱21 (введение в теорию отношений)]), которые он представляет в этом отношении. значительный шаг назад по сравнению с Фреге. Чего не хватает, прежде всего, так это точного определения синтаксиса формализма. Синтаксические соображения опускаются даже в тех случаях, когда они необходимы для убедительности доказательств... Особенно сомнительно это в отношении правила замены и замены определенных символов их определениями ... это главным образом правило замены, которое надо доказать. [16]
В этом разделе описывается исчисление высказываний и исчисление предикатов, а также приводятся основные свойства классов, отношений и типов.
В этой части рассматриваются различные свойства отношений, особенно те, которые необходимы для кардинальной арифметики.
Здесь рассматриваются определение и основные свойства кардиналов. Кардинал определяется как класс эквивалентности подобных классов (в отличие от ZFC , где кардинал — это особый вид ординала фон Неймана). Каждый тип имеет свою собственную коллекцию кардиналов, связанных с ним, и для сравнения кардиналов разных типов требуется значительный объем бухгалтерского учета. PM определяет сложение, умножение и возведение в степень кардиналов и сравнивает различные определения конечных и бесконечных кардиналов. ✱120,03 — аксиома бесконечности.
«Число-отношение» — это класс эквивалентности изоморфных отношений. PM определяет аналоги сложения, умножения и возведения в степень для произвольных отношений. Сложение и умножение аналогично обычному определению сложения и умножения ординалов в ZFC, хотя определение возведения отношений в степень в PM не эквивалентно обычному определению, используемому в ZFC.
Речь идет о сериях — термине ПМ, обозначающем то, что сейчас называется полностью упорядоченным множеством. В частности, он охватывает полные серии, непрерывные функции между рядами с порядковой топологией (хотя, конечно, они не используют эту терминологию), хорошо упорядоченные ряды и ряды без «пробелов» (те, в которых член находится строго между любыми двумя заданными членами). .
В этом разделе строится кольцо целых чисел, поля рациональных и действительных чисел, а также «семейства векторов», которые связаны с тем, что сейчас называют торсорами над абелевыми группами.
В этом разделе система PM сравнивается с обычными математическими основами ZFC. Система ПМ примерно сравнима по силе с теорией множеств Цермело (или, точнее, ее версией, в которой аксиома разделения ограничивает все кванторы).
За исключением исправлений опечаток, основной текст ПМ не изменился между первым и вторым изданиями. Основной текст в первом и втором томах был обнулен, чтобы в каждом он занимал меньше страниц. Во втором издании том 3 не был сброшен, а был перепечатан фотографически с той же нумерацией страниц; исправления все же были внесены. Общее количество страниц (без форзацев) в первом издании — 1996; во втором - 2000. В первый том добавлено пять новых дополнений:
В 1962 году издательство Cambridge University Press опубликовало сокращенное издание в мягкой обложке, содержащее части второго издания тома 1: новое введение (и старое), основной текст до *56 и приложения A и C.
Первое издание было переиздано в 2009 году издательством Merchant Books, ISBN 978-1-60386-182-3 , ISBN 978-1-60386-183-0 , ISBN 978-1-60386-184-7 .
Эндрю Д. Ирвин говорит, что ПМ вызвал интерес к символической логике и продвинул эту тему, популяризировав ее; он продемонстрировал силу и возможности символической логики; и оно показало, как достижения философии математики и символической логики могут идти рука об руку с огромной плодотворностью. [4] Частично ПМ был вызван интересом к логицизму , взгляду, согласно которому все математические истины являются логическими истинами. Несмотря на свои недостатки, ПМ оказал влияние на несколько более поздних достижений в металогике, включая теоремы Гёделя о неполноте . [ нужна цитата ]
Логическое обозначение в PM не получило широкого распространения, возможно, потому, что его основы часто считаются формой теории множеств Цермело-Френкеля . [ нужна цитата ]
Научный, исторический и философский интерес к ПМ велик и постоянен, и математики продолжают работать с ПМ , либо по историческим причинам понимания текста или его авторов, либо для дальнейшего понимания формализации математики и логики. [ нужна цитата ]
Современная библиотека поместила «PM» на 23-е место в списке 100 лучших англоязычных научно-популярных книг двадцатого века. [5]