16
Утверждаю (лат.). – Прим. перев.
17
Отрицаю (лат.). – Прим. перев.
18
Отрицание в логике также нередко обозначается знаками «¬» или «~», которые ставятся непосредственно перед отрицаемым предложением, чаще всего помещаемым в скобки, или чертой, которая пишется непосредственно над отрицаемым предложением. – Прим. перев.
19
Альтернативное обозначение: «→». – Прим. перев.
20
Конъюнкция также может обозначаться с помощью знаков «∧» или «&». – Прим. перев.
21
Строгая дизъюнкция также нередко истолковывается не как отрицание дизъюнкции, а как высказывание, истинное в том случае, когда истинно одно и только одно из составляющих его высказываний, и ложное во всех остальных случаях. – Прим. перев.
22
В логике обычно нестрогая дизъюнкция выражается через союз «или» или «или… или», а строгая дизъюнкция выражается через союз «либо» или «либо… либо». Здесь имеется в виду, что в обыденной речи «или… или» может использоваться в смысле «либо… либо». – Прим. перев.
23
Цит. по: Платон. Протагор // Платон. Собр. соч. В 4-х т. Т. I. М., 1994. С. 475–476.
24
Отношений станет существенно больше, если мы поставим вопрос относительно симметрии и обратимости отношений между суждениями р и q. Так, отношение между гипотезой и ее логическим следствием будет описываться с помощью тетрады: если р истинно, q – истинно; если р – ложно, q – неопределенно; если q истинно, р – неопределенность; если q ложно, р – ложно. Интересным упражнением для студента является задача определить, сколько тетрад данного вида логически возможны.
25
Дальнейшее рассмотрение проверки на независимость суждений и доказательства их независимости будет предпринято в главе VII.
26
Случайно ( лат .). – Прим. перев.
27
Также известного как «логический квадрат». – Прим. перев.
28
Здесь и выше цит. по: Руссо Ж.-Ж. Об общественном договоре. Трактаты. М., 1998. С. 198, 201 и 217 соответственно. – Прим. перев.
29
Знак « ∴ » означает «следовательно». – Прим. перев.
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 шара в каждой) равна (5×4) / (1×2), т. е. 10. А число способов извлечения 2 белых шаров из общего числа трех белых равно (3×2) / (1×2), или 3, т. е. количество благоприятных событий.
Вероятность извлечения 2 белых шаров при этих условиях также равна 3∕10
49
De Morgan A. Formal Logic. Chap. IX.
50
Быть может, следует повторить, что, согласно развиваемой здесь теории вероятности, вопрос об истинности суждения о некотором единичном событии (например, переходе Цезаря через Рубикон) или теории (например, теории Коперника) эквивалентен вопросу о том, с какой частотой суждения или теории, принадлежащие определенному классу, являются истинными, если в пользу их истинности имеется столько же оснований, сколько и в пользу истинности рассматриваемого суждения или теории? Следовательно, согласно данному подходу, теория, являющаяся крайне вероятной при одном наборе оснований, может перестать быть таковой при увеличении количества оснований. Это, однако, следует не из субъективной природы вероятности, а из ее относительного характера. Причина же того, что психологическая интерпретация вероятности считалась основной столь длительное время, лежит в ошибочном мнении о том, что всякая относительность является психологической. Пожалуй, именно первоначальное слабое признание относительного характера вероятности стало причиной последующей критики общепринятой формы теории вероятности по частоте. Причина же критики заключалась в том, что общее обсуждение вероятности того или иного события вызыв