Почти все математики согласились, что способ решения этих парадоксов состоит просто в том, чтобы не упоминать о них; но существовало некоторое расхождение во мнениях относительно того, как их следует не упоминать. Было явно неудовлетворительно просто не упоминать о них. Так, Пуанкаре, по-видимому, был того мнения, что лучший способ избежать таких неловких тем — это упомянуть, что о них не следует упоминать. Но [108] «можно было бы с таким же успехом, разговаривая с человеком с длинным носом, сказать: „Когда я говорю о носах, я исключаю такие, которые чрезмерно длинны“, что не было бы очень успешной попыткой избежать болезненной темы».
Шёнфлис в своей статье 1911 года, упомянутой выше, принял удобный план отнесения этих логических трудностей в корне математики к области знания, которую он назвал «философией». Он сказал [109] о теории совокупностей, что, хотя она «родилась из остроты математического духа, она постепенно перешла на философские пути и в некоторой степени утратила ту принудительную силу, которая заключена в математическом процессе заключения».
Большинство математиков последовали за Шёнфлисом, а не за Пуанкаре, и, таким образом, приняли тактику, довольно похожую на тактику Мартовского Зайца и Грифона, [110] которые немедленно меняли тему, когда Алиса задавала неловкие вопросы. Действительно, процесс первого из этих существ детского сна предпочтительнее процесса Шёнфлиса. Мартовский Заяц отказывался обсуждать тему, потому что ему было скучно, когда возникали трудности. Шёнфлис не стал бы говорить, что ему скучно — он выражал интерес к философским вопросам, но просто называл логическое продолжение темы другим именем, когда не хотел обсуждать продолжение, и таким образом подразумевал, что он обсудил всю тему. Более того, Шёнфлис, по-видимому, не признал бы, что один метод логики может быть применен к решению как математических, так и философских проблем, постольку, поскольку эти проблемы вообще разрешимы; но Мартовский Заяц, незадолго до замечания, которое мы только что процитировали, справедливо выразил большое удивление, что масло не помогает вылечить как голод, так и часы, которые не идут. [111] Суждение Шёнфлиса, которым некоторые кажущиеся математическими вопросы были осуждены как «философские», покоилось на основаниях столь же шатких, как и в деле Дрейфуса или на суде в Стране чудес. [112]
[98] Главы VII и XXXVI.
[99] Die Entwickelung der Lehre von den Punktmannigfaltigkeiten. Bericht, erstattet der deutschen Mathematiker-Vereinigung, Лейпциг, 1908 г.
[100] Там же, стр. 7. Боевой клич: «Gegen jede Resignation, aber auch gegen jede Scholastik!»
[101] «Ueber die Stellung der Definition in der Axiomatik», Jahresber, der deutsch. Math.-Ver., т. xx, 1911 г., стр. 222-5. Боевой клич на стр. 256: «Für den Cantorismus aber gegen den Russellismus!»
[102] Там же, стр. 251. «Es ist also», — восклицает он с красноречием эмоции и эмоцией красноречия, — «nicht die Geringschätzung der Philosophie, die mich dabei treibt, sondern die Liebe zur Mathematik;...»
[103] «Ueber die Stellung der Definition in der Axiomatik», Jahresber, der deutsch. Math.-Ver., т. xx, 1911 г., стр. 251.
[104] [Ср. об этом M., т. xxii, январь 1912 г., стр. 149-58. — Ред.]
[105] Bericht, 1908 г., стр. 76, примечание; ср. стр. 72.
[106] Например, в рецензии Ф. Хаусдорфа на «Принципы» Рассела 1903 года в Vierteljahrsschr. für wiss. Philos. und Soziologie.
[107] [Ср. M., т. xxv, 1915 г., стр. 333-8. — Ред.]
[108] Рассел, A. J. M., т. xxx, 1908 г., стр. 226.
[109] Loc. cit., стр. 222.
[110] См. Приложение Q.
[111] См. Приложение R.
[112] См. Приложение S.
ГЛАВА XXXVIII
СОВРЕМЕННАЯ ЛОГИКА И НЕКОТОРЫЕ ФИЛОСОФСКИЕ АРГУМЕНТЫ
Самым примечательным преобразованием последних лет в логике является открытие и развитие мистером Бертраном Расселом того факта, что парадоксы — Бурали-Форти, Рассела, Кёнига, Ришара и другие, — которые появились в последние годы в математической теории совокупностей и о которых только что упоминалось, имеют совершенно логическую природу, и что их избегание требует от нас учета принципа, который до сих пор не был признан и который делает недействительными несколько хорошо известных аргументов в опровержение скептицизма, агностицизма и утверждения человека о том, что он ничего не утверждает.
Доктор Уайтхед и мистер Рассел говорят: [113] «Принцип, который позволяет нам избежать нелегитимных совокупностей, может быть сформулирован следующим образом: „То, что включает в себя все члены коллекции, не должно быть одним из членов коллекции“, или наоборот: „Если, при условии, что определенная коллекция имеет итог, она имела бы члены, определяемые только в терминах этого итога, то данная коллекция не имеет итога“. Мы будем называть это „принципом порочного круга“, потому что он позволяет нам избежать порочных кругов, вовлеченных в допущение нелегитимных совокупностей. Аргументы, которые осуждаются принципом порочного круга, будут называться „ошибками порочного круга“. Такие аргументы в определенных обстоятельствах могут привести к противоречиям, но часто случается, что выводы, к которым они приводят, на самом деле истинны, хотя аргументы ошибочны. Возьмем, например, закон исключенного третьего в форме „все суждения истинны или ложны“. Если из этого закона мы аргументируем, что, поскольку закон исключенного третьего является суждением, следовательно, закон исключенного третьего истинен или ложен, мы совершаем ошибку порочного круга. „Все суждения“ должны быть каким-то образом ограничены, прежде чем они станут легитимной совокупностью, и любое ограничение, которое делает ее легитимной, должно сделать любое утверждение об этой совокупности выходящим за пределы совокупности. Аналогично, воображаемый скептик, который утверждает, что он ничего не знает, и опровергается вопросом, знает ли он, что он ничего не знает, утверждает бессмыслицу и был ошибочно опровергнут аргументом, который включает в себя ошибку порочного круга. Чтобы утверждение скептика стало значимым, необходимо наложить некоторое ограничение на вещи, о которых он утверждает свое невежество; суждение о том, что он невежественен относительно каждого члена этой коллекции, само по себе не должно быть одним из членов коллекции. Следовательно, любой значимый скептицизм не открыт для вышеуказанной формы опровержения».
На самом деле мир вещей распадается на различные множества вещей одного и того же «типа». Для каждой пропозициональной функции ϕ(x) существует диапазон значений x, для которых ϕ(x) имеет значение как истинное или ложное суждение. До того, как эта теория была выдвинута, иногда возникали дискуссии о том, обладает ли объект, который не принадлежал к диапазону определенной пропозициональной функции, соответствующим свойством или нет. Так, Джевонс в ранние дни [114] был того мнения, что добродетель не является ни черной, ни не-черной, потому что она не окрашена, но несколько позже [115] он признал, что добродетель не является треугольной. [116]
[113] Pa. Ma., стр. 40.
[114] S. o. S., стр. 36-7.
[115] E. L. L., стр. 120-1.
[116] [Можно, пожалуй, добавить, что спустя несколько лет после смерти мистера Р*сс*лла доктор Уайтхед заявил в речи, произнесенной в 1916 году и перепечатанной в его книге «Организация мысли» (Лондон, 1917 г., стр. 120), что „удельная теплоемкость добродетели равна 0,003 — это, я полагаю, вообще не суждение, так что оно не является ни истинным, ни ложным...“ — Ред.]
ГЛАВА XXXIX
ИЕРАРХИЯ ШУТОК
Шутки можно разделить на различные типы. Таким образом, шутка или класс шуток может быть предметом шутки только более высокого порядка. В противном случае мы получили бы ту же ошибку порочного круга, которая порождает так много парадоксов в логике и математике. Один оксфордский ученый преуспел, к своему собственному удовлетворению, в сведении всех шуток к примитивным типам, состоящим из тридцати семи протоарийских шуток. Когда ему предлагали какое-либо суждение, он размышлял, а затем выносил суждение по вопросу о том, является ли это суждение шуткой или нет. Если он решал, согласно своей теории, что это шутка, он торжественно говорил: «Есть такая шутка». Если это повествование принимается как шутка, поскольку оно не может быть сведено к одной из протоарийских шуток под страхом того, что мы совершим ошибку порочного круга, мы должны сделать вывод, что существует по крайней мере одна шутка, которая не является протоарийской; и, на самом деле, является шуткой более высокого типа. Нет большой трудности в формировании иерархии шуток различных типов. Так, шутка четвертого типа (или порядка) выглядит следующим образом: Шутка первого порядка была рассказана шотландцу, который, как мы и ожидали, не смог ее понять. [117] Человек (A), который рассказал эту шутку, рассказал историю о том, как эта шутка была воспринята, другому шотландцу, тем самым сделав шутку о шутке первого порядка и, таким образом, сделав шутку второго порядка. A заметил по поводу этой шутки, что никакая шутка не могла бы проникнуть в голову шотландца, которому была рассказана шутка первого порядка, даже если бы ее выстрелили в его голову из пушки. Шотландец после серьезного размышления ответил: «Но вы не могли бы этого сделать, знаете ли!» A повторил всю историю, которая составляла шутку третьего порядка, третьему шотландцу. Этот последний шотландец снова, после продолжительного размышления, ответил: «Он вас подловил!» Вся эта история является шуткой четвертого порядка.
Большинство известных шуток относятся к первому порядку по той простой причине, что большинство людей обнаруживает, что малейшее умственное усилие эффективно уничтожает любое восприятие юмора. Мне кажется, что шутка становится тем приятнее, чем больше логических способностей она задействует; и, следовательно, логическая сила связана, или, возможно, тождественна способности улавливать более тонкие шутки. Шутки, которые забавляют завсегдатаев мюзик-холлов, консерваторов и М. Бергсона — и которые обычно касаются несчастных случаев, физических недостатков, тещ, иностранцев или перезрелого сыра, — как правило, являются шутками первого порядка. Шутки второго и даже третьего порядка привлекательны для обычных образованных людей; шутки более высокого порядка требуют от слушателя либо особых способностей, либо основательной логической подготовки, чтобы их можно было оценить; в то время как шутки трансфинитного порядка, по-видимому, вызывают лишь неслышный смех богов.
[117] [Возможно, что, подобно некоторым замечаниям о сыре и тещах (см. ниже), утверждение о том, что шотландцы не понимают шуток, является шуткой первого порядка. — Ред.]
ГЛАВА XL
ДОКАЗАТЕЛЬСТВО ГЕОМЕТРИЧЕСКИХ ПРЕДЛОЖЕНИЙ
Часто утверждалось, что двадцатое предложение первой книги Евклида — о том, что сумма двух сторон треугольника больше третьей стороны, — очевидно даже ослам. Однако мне это не кажется общепризнанным фактом. Однажды я спросил берегового охранника о расстоянии от А до B; он ответил: «Восемь миль». При дальнейшем расспросе я выяснил, что расстояние от А до C составляет две мили, а расстояние от C до B — двадцать две мили. При этом пути от А до B и от C до B пролегали по морю, а путь от А до C — по суше. Следовательно, если путь по суше был неровным и расстояние по дороге составляло две мили, то получается, что береговой охранник полагал, что не только одна сторона треугольника может быть больше двух других, но и что одна прямая сторона треугольника может быть больше одной прямой стороны и любой криволинейной стороны того же треугольника. Единственный способ избежать части этого поразительного убеждения — предположить, что расстояние в две мили от А до C было измерено «по прямой», в то время как дорога от А до C была настолько холмистой, что пешеход преодолел бы более четырнадцати миль, следуя от А до C. Тогда действительно береговой охранник мог бы отстаивать истинное предложение о том, что существует по крайней мере один треугольник ABC со стороной AC криволинейной формы, такой, что сумма длин AB и AC больше длины BC, и лишь отрицать двадцатое предложение первой книги Евклида.
Рассуждения с береговым охранником привели лишь к тому, что он сослался на авторитет некоего капитана Джонса в подтверждение точности своих данных. Возможно, капитан Джонс придерживался странных взглядов относительно влияния температуры или других физических обстоятельств, или даже самой природы пространства, на длину линий в окрестности треугольника ABC.
ГЛАВА XLI
АБСОЛЮТНОЕ И ОТНОСИТЕЛЬНОЕ ПОЛОЖЕНИЕ
Некоторые люди утверждают, что положение в пространстве или времени должно быть относительным, поскольку, если мы попытаемся определить положение тела А в отсутствие тел B, C, D, относительно которых можно было бы определить положение А, мы пытались бы определить нечто об А, не имея возможности воздействовать на наши чувства другими вещами. Эти люди кажутся мне похожими на осторожного гостя, который отказывался высказывать какое-либо мнение о портвейне своего хозяина, пока не попробует красные чернила.
«В чем же тогда, — говорит г-н Рассел [118], — заключается правдоподобность представления о том, что все точки совершенно одинаковы? Это представление, я полагаю, является психологической иллюзией, обусловленной тем, что мы не можем запомнить точку так, чтобы узнать ее при следующей встрече. Среди одновременно представленных точек легко проводить различия; но хотя мы постоянно движемся и, таким образом, оказываемся среди новых точек, мы совершенно не способны обнаружить этот факт с помощью наших чувств и распознаем места только по объектам, которые они содержат. Но это кажется лишь нашей слепотой — насколько я вижу, нет никакой сложности в том, чтобы предположить непосредственное различие между точками, как между цветами, но различие, к которому наши чувства не приспособлены. Давайте возьмем аналогию: предположим, у человека очень плохая память на лица; он мог бы в любой момент знать, видит ли он одно лицо или много, но он не осознавал бы, видел ли он какое-либо из этих лиц раньше. Таким образом, он мог бы прийти к определению людей по комнатам, в которых он их видел, и полагать самопротиворечивым, что на его лекции могут приходить новые люди или что старые перестают это делать. По крайней мере в последнем пункте лекторы признают, что он был бы неправ. И как с лицами, так и с точками — неспособность распознать их должна быть приписана не отсутствию индивидуальности, а лишь нашей неспособности».
Другая форма этой тенденции проявляется у Кронекера, Бореля, Пуанкаре и многих других математиков, которые отказываются от чисто логического определения концепции и требуют, чтобы она была фактически описана конечным числом терминов. Эти выдающиеся математики были предвосхищены эмпирическим философом, который не хотел признавать истинность «закона мышления» о том, что А находится либо в месте B, либо нет, пока не проверит это лично. Этот философ принадлежал к той же школе, что Дж. С. Милль и Бокль, которые, по-видимому, имплицитно утверждали не только то, что, ввиду факта зависимости ширины геометрической линии от материала, из которого она построена или на котором начерчена, должна существовать геометрия картона, геометрия камня и так далее [119]; но также и то, что основы логики носят индуктивный характер [120]. «Мы не можем, — говорит Милль [121], — представить круглый квадрат не просто потому, что такой объект никогда не встречался в нашем опыте, ибо этого было бы недостаточно. Также, насколько нам известно, эти две идеи сами по себе не являются несовместимыми. Представить тело, которое одновременно черное и белое, означало бы лишь представить два различных ощущения, производимых в нас одновременно одним и тем же объектом — концепция, знакомая нашему опыту, — и мы, вероятно, были бы так же способны представить круглый квадрат, как твердый квадрат или тяжелый квадрат, если бы не то, что в нашем единообразном опыте в тот момент, когда вещь начинает быть круглой, она перестает быть квадратной, так что начало одного впечатления неразрывно связано с уходом или прекращением другого. Таким образом, наша неспособность сформировать концепцию всегда проистекает из того, что мы вынуждены сформировать другую, противоречащую ей».
[118] Md., N. S., vol. x., July, 1901, pp. 313-14.
[119] J. B. Stallo, The Concepts and Theories of Modern Physics, 4th ed., London, 1900, pp. 217-27.
[120] Ibid., pp. 140-4.
[121] Examination of the Philosophy of Sir William Hamilton, vol. i. p. 88, Amer. ed.
ГЛАВА XLII
СМЕХ
[Казалось целесообразным привести здесь [122] некоторые взгляды на смех, большинство из которых разделял и г-н Р*сс*лл, хотя письменного выражения его взглядов до сих пор не найдено. В рецензии [123] на книгу М. Бергсона «Смех» [124] г-н Рассел заметил:
«Издателям давно известно, что каждый желает быть совершенной леди или джентльменом (в зависимости от обстоятельств); этим фактом мы обязаны постоянному потоку книг по этикету. Но если есть одна вещь, которую люди желают еще больше, так это обладать безупречным чувством юмора. Однако, насколько мне известно, нет книги под названием “Шутки без слез, автор г-н Мак-Квиди”. Этот необычайный пробел теперь заполнен. Те, для кого смех до сих пор был непонятной причудой, к которой нужно присоединиться, хотя никогда нельзя сказать, когда он разразится, должны лишь изучить книгу М. Бергсона, чтобы овладеть тончайшим цветком парижского остроумия. Наблюдая за очень простой формулой, они будут безошибочно знать, что смешно, а что нет; если они иногда удивляют своих необразованных друзей, им достаточно упомянуть свой авторитет, чтобы заглушить сомнения. “Отношение, жесты и движения человеческого тела, — говорит М. Бергсон, — смешны в той же мере, в какой это тело напоминает нам простой механизм”. Когда пожилой джентльмен поскальзывается на кожуре от апельсина и падает, мы смеемся, потому что его тело следует законам динамики, а не человеческой цели. Когда человек падает со строительных лесов и ломает шею на тротуаре, мы, по-видимому, смеемся еще больше, поскольку движение является еще более механическим. Когда клоун впервые отпускает плохую шутку, мы сохраняем невозмутимость, но при пятом повторении улыбаемся, а при десятом — взрываемся хохотом, потому что начинаем воспринимать его как простой автомат. Мы смеемся над мольеровскими скупцами, мизантропами и лицемерами, потому что они — лишь типы, механически управляемые господствующим импульсом. Предположительно, мы смеемся над персонажами Бальзака по той же причине; и, по-видимому, мы никогда не улыбаемся Фальстафу, потому что он индивидуален во всем».