«Отношения между идеями» и «факты»

Юм разделяет присутствующие в человеческом сознании объекты (впечатления и идеи) на два рода, которые философ называет: а) «идеальные соотношения»/«отношения между идеями»; б) «факты».

Простыми идеальными соотношениями являются все суждения, ограничивающиеся идеями и не принимающие во внимание факты реального или потенциального существования. Речь идет о суждениях, которые Кант назовет априорными аналитическими суждениями. Из чистых идеальных отношений состоят арифметика, алгебра и геометрия. После установления значений чисел, например, путем простого рационального анализа (а следовательно, на основе чистых отношений идей) мы выводим, что трижды пять равно половине от тридцати; таким же образом мы выводим заключение изо всех других суждений этого рода. Если поставлена задача определения треугольника, мы аналогично, с помощью простого рационального анализа устанавливаем связи и находим, что "квадрат гипотенузы равен сумме квадратов обоих катетов".

В "Исследованиях о человеческом разуме" Юм пишет: "Такого рода суждения могут быть открыты только работой мысли, где бы то ни было во вселенной. Хотя бы в природе никогда не существовало ни одного круга или треугольника, истины, доказанные Евклидом, навсегда сохранили бы свою достоверность и очевидность". В данном случае речь идет о суждениях, которые мы выводим главным образом на основе принципа непротиворечия. Нелогично, например, заявлять, что трижды пять не равняется половине от тридцати, поскольку современное значение чисел уже установлено; равным образом было бы противоречием опровергать действенность теоремы о треугольнике, поскольку определение треугольника уже было дано Евклидом.

"Факты, составляющие второй вид объектов человеческого разума, удостоверяются иным способом... Противоположность всякого факта всегда возможна, потому что она никогда не может заключать в себе противоречия и всегда представляется нашим духом так же легко и ясно, как будто бы она вполне соответствовала действительности".

Можно процитировать особенно красноречивые разъяснения Юма с приведением живописных примеров: "Суждение - солнце завтра не взойдет - так же ясно и так же мало заключает в себе противоречия, как утверждение, что оно взойдет, поэтому мы напрасно старались бы демонстративно доказать его ложность; иначе отрицательное суждение заключало бы в себе противоречие и не могло быть ясно представлено нашим духом". Одним словом, суждения типа "солнце взойдет завтра" не влекут за собой логической необходимости, т.е. не несут в себе невозможности своего отрицания, как это происходит в суждениях, выражающих отношения между идеями (как вышеприведенный пример). Именно эти типы суждений Кант назовет апостериорными синтетическими суждениями.

Значит, возникает проблема исследования природы очевидности, свойственной рассуждениям, относящимся к "фактам", когда они недоступны непосредственному восприятию органами чувств (например, как когда я предвижу, что солнце взойдет завтра, или как когда, увидев дым, я делаю вывод, что поблизости горит костер или пожар). Ответ Юма выглядит следующим образом: "Все заключения о фактах основаны, по-видимому, на отношении причины и действия. Лишь с помощью этого отношения мы выходим за пределы свидетельства нашей памяти и чувств". Все устанавливаемые опытом отношения сводятся к причинности.