То, что Юм называл «отношениями между идеями» (“relations of ideas”), Кант позже назвал «аналитическими высказываниями», а современные логики называют это «тавтологией»: высказываниями, которые истинны по определению, истинны потому, что их предикат (сказуемое) лишь повторяет (целиком или частично) субъект (подлежащее). Например, «Деревья – это деревья», «Единороги – это не не-единороги», «Неженатые мужчины – мужчины».
То, что Юм называл «фактами» («matter of facts»), Кант называл «синтетическим высказыванием», где утверждение добавляет новую информацию о подлежащем (например, «Нет ни одного англичанина ростом в 5 метров» или «Некоторые деревья никогда не сбрасывают листья»). И эти «факты», согласно Юму, могут быть познаны только через наблюдение посредством ощущений. Потому они всегда скорее относятся к частным случаям (например, «Эти два человека – лысые»), чем к универсальным обобщениям (например, «Все люди смертны»), так как мы не можем ощутить всеобщее (универсалии; например, «все люди»), а только что-то конкретное («эти два человека»).
Здравый смысл говорит, что мы можем быть уверены насчет всеобщих истин, например, что все люди смертны, а потому и Сократ смертен, раз он человек. Но по Юму выходит, что мы не можем быть уверены во всеобщих истинах, подобных «все люди смертны», так как единственный путь осознания их – это обобщение конкретных наблюдений (этот человек смертен, и этот человек смертен, и т.д.), но мы не можем наблюдать всех людей, потому наше обобщение носит лишь вероятностный характер. Юм утверждал, что конкретные факты, выведенные из подобных обобщений, никогда не могут быть достоверно познаны или предсказаны. Если то, что все люди умрут – это лишь вероятностная истина, то и то, что Сократ умрет – тоже лишь вероятно. Тот факт, что мы миллионы раз видели, как встает Солнце, не доказывает, что оно взойдет и завтра.
Окончательным выводом из этого анализа Юма является скептицизм: не существует достоверного знания объективной реальности («фактов»), только наше восприятие («отношения между идеями»»). Мы обладаем лишь вероятностным знанием объективной реальности. Даже научное знание, как думал Юм, тоже представляет собой лишь вероятностное, а не достоверное знание, так как наука предполагает принцип причинности, а этот принцип, согласно Юму, является лишь субъективным обобщением, созданным нашим сознанием. Ведь из-за того, что мы видим постоянную взаимосвязь птиц и яиц, из-за того, что мы часто наблюдали, как птицы откладывают яйца, мы естественно предполагаем, что птицы являются причиной яиц. Но мы не можем видеть причинность саму по себе, то есть истинных взаимоотношений между яйцом и птицей. И уж мы точно не видели нашими собственными глазами самого «принципа причинности». Так Юм и делает вывод, что в действительности мы не обладаем знанием реальности, хотя и думаем, что обладаем им. Если мы относимся к виду «Юмо сапиенс», то все должны быть скептиками.
