Введение в логику и научный метод

Коэн Моррис Р.

30

Сказанное обо всем и ни о чем (лат.). – Прим. перев.

31

Несоответствие оригинального текста современному подходу: не термины, а классы могут содержать друг друга. Поэтому следует писать: «поскольку класс, обозначаемый термином „коммунисты" принадлежит классу, обозначаемому термином „русские". Подробнее см. прим. перев. на с. 64. – Прим. перев.

32

Следует писать: «поскольку класс, обозначаемый термином „бостонцы", не принадлежит классу, обозначаемому термином „парижане". См. прим. перев. на с. 64 и выше на этой странице. – Прим. перев.

33

Moore G. Heloise and Abelard. Vol. I. P. 70.

34

Следует подчеркнуть, что обычное значение термина «дилемма» подразумевает аргумент, в котором в виде простой дизъюнкции представлены

две альтернативные гипотезы. Однако рассмотренная нами простая деструктивная дилемма не содержит подобной дизъюнкции, а является условным силлогизмом со строго разделительным консеквентом в большей посылке. Например: «Если у вас привычка насвистывать, то вы слабоумны или не являетесь музыкально одаренным». Однако это всего лишь вербальное возражение, поскольку мы определили дилемму как допускающую и подобную форму.

35

Кант И. Критика чистого разума // Кант И. Соч. В 6-ти т. Т. 3. М., 1964. С.82.

36

Идея универсального математического языка была впервые описана Раймундом Луллием в XIII в.

37

В современном употреблении термином «референт» обычно называется сам предмет, а не именующий его термин. – Прим. перев.

38

Согласно современному употреблению, в данном случае кавычки для обозначения отношения и двух объектов не требуются. См. прим. перев. на с. 64. – Прим. перев.

39

Мы сказали, что суждение «Борджиа дала яд своему гостю» иллюстрирует трехместное отношение. Разумеется, то, что в нем утверждается, можно выразить и суждением «Борджиа отравила своего гостя», которое выражает двухместное отношение. Однако было бы ошибкой считать различие между двухместными и трехместными отношениями исключительно вербальным. Наш пример показывает лишь то, что одна и та же ситуация может анализироваться в различных, хоть и связанных между собой аспектах. Отношение «давать» является трехместным, а отношение «отравлять» – двухместным. Эти два отношения не тождественны.

40

В этом слове, согласно современной логической теории, кавычки употреблять не следует. См. прим. перев. на с. 64. – Прим. перев.

41

См. прим. перев. на с. 174. – Прим. перев.

42

Peirce С. S. Collected Papers. Vol. II. P. 129.

43

Данное употребление термина «формальная» не следует путать с тем, как его используют Рассел и Уайтхед в работе «Principia Mathematica».

44

Данное утверждение относится к таким формам, как «X является человеком», в которой не утверждается ничего до тех пор, пока переменная X не будет наделена определенным значением. В случае такого наделения истинность суждения, утверждаемого в предложении (полученного путем подстановки определенного значения вместо X), будет зависеть от наделенного значения. Однако в суждении формы «,Х является человеком" имплицирует „X является бессмертным" для всех значений X» утверждается нечто, что является истинным, независимо от того, каким значением наделяется X. В таком случае X считается связанной переменной, поскольку истинность суждения не зависит от значения, подставляемого вместо X.

45

История неевклидовой геометрии началась тогда, когда было получено ясное представление об этом простом логическом принципе. Уже Саккери, итальянский математик XVII века, обладал знанием данного принципа. Сделав допущение, противоположное пятому постулату Евклида, он получил множество теорем, которые сегодня известны как «неевклидовы геометрии». Однако по неизвестной причине он пришел к выводу о том, что такая геометрия является самопротиворечивой; возможно, потому, что многие из полученных им теорем были формальными противоречиями теорем Евклида. Если причина его отказа от такой геометрии заключалась именно в этом, то тогда он упустил из вида возможность того, что как евклидова, так и неевклидова геометрия может быть самонепротиворечивой, хотя две эти системы и не совместимы друг с другом. Таким образом, открытие неевклидовой геометрии следует приписать Лобачевскому и Больяю, которые сделали свои открытия в первой половине XIX века. Еще один вид неевклидовой геометрии был открыт Риманом.

46

Непротиворечивость допущений, требующаяся

для других областей математики, может быть показана сходным способом. Однако возникают и некоторые трудности. Математика, как система суждений, развилась существенно дальше, чем достижения Евклида. Математики продемонстрировали, что все высшие области математики, такие как высшая алгебра, анализ, геометрия и т. д., могут интерпретироваться как изучающие отношения между целыми числами, а также что для них не требуется никаких фундаментальных понятий, кроме тех, что используются в арифметике. Данное достижение стало называться «арифметизацией математики» и стало возможным благодаря таким ученым, как Вейерштрасс, Дедекинд и Гильберт. В анализе математических идей был сделан еще и дополнительный шаг, когда было показано, что сама по себе арифметика не нуждается в каких-либо фундаментальных понятиях, за исключением таких понятий логики, как класс, член класса, импликация и т. д. Данная работа была осуществлена во многом благодаря таким исследователям, как Кантор, Фреге, Пеано, Уайтхед и Рассел и получила наиболее адекватное выражение в труде «Principia Mathematica», авторами которого стали двое последних из перечисленных ученых. Вследствие более чем вековой работы многие, хотя и не все, математики убеждены в том, что математика может быть развита в терминах идей чистой логики. Если данный тезис верен, то непротиворечивость всех областей математики находится в зависимости от непротиворечивости принципов формальной логики. Таким образом, вопрос о непротиворечивости любой области математики сводится к вопросу о том, формируют ли логические принципы непротиворечивую систему.

47

Цит. по: Вольтер. Задиг, или Судьба // Вольтер. Философские повести. М., 2005. – Прим. перев.

48

Данный результат согласуется с определением математической вероятности, поскольку общее число способов извлечения двух шаров из пяти (т. е. количество комбинаций из 5 шаров в группах по 2 шара в каждой) равна (5x4) / (1x2), т. е. 10. А число способов извлечения 2 белых шаров из общего числа трех белых равно (3x2) / (1x2), или 3, т. е. количество благоприятных событий.

Вероятность извлечения 2 белых шаров при этих условиях также равна 3/10

49

De Morgan A. Formal Logic. Chap. IX.

50

Быть может, следует повторить, что, согласно развиваемой здесь теории вероятности, вопрос об истинности суждения о некотором единичном событии (например, переходе Цезаря через Рубикон) или теории (например, теории Коперника) эквивалентен вопросу о том, с какой частотой суждения или теории, принадлежащие определенному классу, являются истинными, если в пользу их истинности имеется столько же оснований, сколько и в пользу истинности рассматриваемого суждения или теории? Следовательно, согласно данному подходу, теория, являющаяся крайне вероятной при одном наборе оснований, может перестать быть таковой при увеличении количества оснований. Это, однако, следует не из субъективной природы вероятности, а из ее относительного характера. Причина же того, что психологическая интерпретация вероятности считалась основной столь длительное время, лежит в ошибочном мнении о том, что всякая относительность является психологической. Пожалуй, именно первоначальное слабое признание относительного характера вероятности стало причиной последующей критики общепринятой формы теории вероятности по частоте. Причина же критики заключалась в том, что общее обсуждение вероятности того или иного события вызывает мысль о том, что вероятность является внутренне присущей характеристикой самого события.

51

Претензия на то, чтобы стать основой доказательства. Допущение в качестве основы доказательства положения, которое само еще требует доказательства (лат.). – Прим. перев.

52

Mill J. S. A System of Logic. 1875. 3 vols. Vol. I. P. 210. Первое издание было опубликовано в 1843 г.

53

Mill J. S. A System of Logic. 1875. 3 vols. Vol. I. P. 210.

54

Аристотель. Категории // Аристотель. Соч. В 4-х т. Т. 2. М., 1978. С. 87.

55

Немецкое слово Wissenschaft до сих пор используется в двух смыслах: как «знание» и как «наука».