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