Наиболее важной частью всего «Трактата» является раздел, названный «О познании и вероятности». Юм не подразумевает под «вероятностью» вид знания, включённого в математическую теорию вероятностей, как, например, то, что шанс выпадения дубль шесть при двух выпадениях кости составляет 1/36. Это знание само по себе не является вероятным в каком-либо особом смысле. В нём столько же достоверности, сколько может быть в знании. То, с чем Юм имеет дело, является недостоверным знанием, какое получается, например, из эмпирических данных, с помощью выводов, которые не являются доказательными. Оно включает всё наше знание и относительно будущего, и относительно частей прошлого и настоящего, которые не наблюдались. Фактически оно включает всё, кроме прямого наблюдения, с одной стороны, и, с другой — логики и математики. Анализ такого «вероятного» знания привёл Юма к некоторым скептическим выводам, которые одинаково трудно и опровергнуть и принять. Результатом явился вызов философам, на который, по моему мнению, ещё не было дано надлежащего ответа.
Юм начинает с различения семи видов философских отношений: сходство, тождество, отношения времени и места, количественные или числовые соотношения, степени любого качества, противоречие и причинность. Он говорит, что они могут быть разделены на два вида: такие, которые зависят только от идей, и такие, которые могут быть изменены без всякого изменения в идеях. К первому виду принадлежат: сходство, противоречие, степени качества и количественные или числовые соотношения, тогда как пространственно-временные и причинные отношения относятся к второму виду. Только отношения первого вида дают достоверное знание; наше знание других отношений является лишь вероятным. Алгебра и арифметика являются единственными науками, в которых мы можем строить длинную цепь рассуждений без ущерба для достоверности. Геометрия не является настолько достоверной, как алгебра и арифметика, потому что мы не можем быть уверены в правильности её аксиом. Ошибочно полагать, как делают это многие философы, что идеи математики «должны быть постигнуты с помощью чистого, интеллектуального созерцания, доступного лишь высшим способностям души». Неправильность этого взгляда становится очевидной, говорит Юм, как только мы вспомним, что все наши идеи скопированы с наших впечатлений.
Три отношения, которые зависят не только от идей, — это тождество, пространственно-временные отношения и причинность. В двух первых разум не выходит за пределы того, что непосредственно предстаёт чувствам. (Пространственно-временные связи, считает Юм, могут быть восприняты и могут образовать части впечатлений.) Одна причинность даёт нам возможность вывести какую-то вещь или явление из какой-то другой вещи или явления: «Только одна причинность порождает такую связь, благодаря которой мы из существования или действия какого-нибудь объекта черпаем уверенность, что за ним следовало или же ему предшествовало другое существование, другое действие».
Трудность возникает из утверждения Юма, что нет такого явления, как впечатление причинного отношения. Мы можем воспринять в процессе простого наблюдения А и В, что А расположено над В или находится вправо от В, но не то, что А является причиной В. В прошлом отношение причинности более или менее уподоблялось отношению основания и следствия в логике, но Юм правильно считает это ошибочным.
В картезианской философии, как и в философии схоластов, связь причины и действия полагалась столь же необходимой, как необходимы логические связи. Первый серьёзный вызов этому взгляду исходил от Юма, с которого началась современная философия причинности. Он, как почти и все философы Нового времени, включая Бергсона, полагал, что закон утверждает, будто есть суждения формы: «А является причиной В», где А и В — классы явлений; тот факт, что таких законов не существует в высокоразвитых науках, по-видимому, не известен философам. Но многое из того, что они сказали, можно перефразировать так, чтобы применить к причинным законам, таким, которые действительно существуют; поэтому мы можем в настоящее время не разбирать эту точку зрения.
Юм начинает с того, что сила, при помощи которой один объект порождает другой, не раскрывается из идей двух объектов и что поэтому мы можем узнать причину и действие только из опыта, а не из рассуждений или размышлений. Утверждение о том, что то, «что начинает существовать, должно иметь причину своего существования», говорит он, не является утверждением, которое обладает интуитивной достоверностью, подобно утверждениям логики. Он выражает это так: «Нет такого объекта, который заключал бы в себе существование другого объекта, — если только мы рассматриваем эти объекты как таковые, не выходя за пределы тех идей, которые образуем о них». Исходя из этого, Юм доказывает, что только опыт должен дать знание причины и действия, но что он не может быть просто опытом двух явлений А и В, находящихся в причинной связи друг с другом. Это должен быть опыт, потому что связь здесь не логическая; и он не может быть просто опытом единичных явлений А и В, так как мы не можем раскрыть ничего в самом А, что заставило бы его произвести В. Опыт требует, говорит он, чтобы было постоянное соединение явлений вида А с явлениями вида В. Он указывает, что, когда в опыте два объекта постоянно соединены, мы фактически выводим одно из другого. (Когда он говорит «выводим», он имеет в виду то, что восприятие одного события заставляет нас ожидать другое; он не имеет в виду формального или очевидного вывода.) «Может быть, необходимая связь обусловливается заключением», а не наоборот. Другими словами, появление А является причиной ожидания В, и, таким образом, это приводит нас к убеждению, что между А и В существует необходимая связь. Вывод не устанавливается посредством разума, так как это потребовало бы от нас допущения единства природы, что само по себе не является необходимостью, а только выводится из опыта.
Таким образом, Юм приходит к взгляду, что, когда мы говорим «А является причиной B», мы имеем в виду, что А и В фактически постоянно соединены, а не то, что существует какая-то необходимая связь между ними. «У нас нет другого представления о причине и действии, кроме представления о некоторых объектах, которые всегда были соединены вместе… Мы не можем открыть основание этого соединения».
Он подкрепляет свою теорию определением «веры», которая, утверждает он, есть «живая идея, связанная отношением или ассоциированная наличным впечатлением». По ассоциации, если А и В были постоянно соединены в прошлом опыте, впечатление от А порождает такую живую идею о В, которая образует веру в В. Это объясняет, почему мы верим, что А и В соединены: восприятие А связывается с идеей В, и, таким образом, мы начинаем думать, что А связано с В, хотя это мнение в действительности лишено основания. «Между объектами нет доступной нашему наблюдению связи, и только при помощи действующей на воображение привычки, а не иного какого принципа можем мы вывести из существования одного объекта заключение о существовании другого». Он несколько раз повторяет утверждение, что то, что кажется нам необходимой связью между объектами, в действительности есть лишь связь между идеями этих объектов: привычка принуждает ум, и «это-то впечатление, или же принуждение, и даёт мне идею необходимости». Повторение примеров, которые ведут нас к вере, что А является причиной В, не открывает ничего нового в объектах, но в мыслях приводит к ассоциации идей; таким образом, «необходимость есть нечто, существующее в уме, а не в объектах».
Спросим себя, что нам следует думать о доктрине Юма. Она состоит из двух частей: объективной и субъективной. В объективной части утверждается: когда мы полагаем, что А является причиной В, тогда то, что фактически имело место, насколько это относится к А и В, заключается в том факте, что их часто наблюдали связанными, то есть В непосредственно или очень быстро следовало за А; но мы не имеем права сказать, что В должно следовать за А или будет следовать за А в будущем. Мы не имеем никакого основания для предположения, что из факта частого следования В за А какая-либо связь, помимо последовательности, допускается. Фактически причинность можно определить посредством последовательности, и она не является независимым понятием.
