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