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