Виолетта Гайденко - Западноевропейская наука в средние века - Общие принципы и учение о движении

Более того, этот «мысленный предмет» предстает отнюдь не как результат смешения свойств, присущих двум рядам, которые, хотя и не существуют друг без друга, но находятся, тем не менее, в оппозиции между собой, разделены четкой демаркационной линией: ряд «мыслей» и ряд «предметов мысли». Напротив, «мысленный предмет» полагается Ансельмом как нечто простое, как изначально существующее единство «мысли» и «предмета мысли», как воплощенное отрицание тезиса о предметности мышления, с его четким разделением двух моментов: «мысли» и «того, что мыслится». И уже относительно этого, нераздельного, единства мысли и ее предмета ставится вопрос о его мыслимости, данности в интеллекте, с одной стороны, и о его реальности, наличии в бытии — с другой.

Следует обратить внимание, что соотнесение с реальностью производится самой мыслью и тем самым является чисто мысленным соотнесением. Сопоставлению подлежат два различных способа мышления о «мысленном предмете» — когда он мыслится как существующий только в интеллекте и когда он мыслится как реальный. Принимая в качестве аксиомы, что все, что мыслится как реальное, больше, чем то, что мыслится как наличное только в понимании, Ансельм делает вывод: невозможно помыслить «то, больше чего нельзя помыслить» существующим только в интеллекте, так как это приводит к противоречию. Если что-то мыслится как находящееся только в понимании, то оно будет меньшим, чем то же самое, но мыслимое как реально существующее. Следовательно, «то, больше чего нельзя помыслить», если оно мыслится как существующее только в интеллекте, не будет «тем, больше чего нельзя помыслить». Отсюда вытекает, что остается только одна возможность мыслить о «мыслимом предмете», а именно мыслить о нем как о существующем реально.

Таким образом, доказательство Ансельма строится как рассуждение об особом — «мысленном» — предмете и состоит в выявлении возможных способов мышления о нем, в разъяснении, какой из двух взаимоисключающих предикатов — «быть только в понимании» и «быть реально» — может без противоречия мысленно приписываться ему. Все рассуждение протекает в чисто теоретической плоскости, внутри сферы мышления: непосредственной целью исследования является обнаружение тех свойств, которыми обладает некоторое мыслительное образование. Поэтому целесообразно подвергнуть рассматриваемое рассуждение анализу с точки зрения его соответствия тем нормам и правилам, которым должно удовлетворять любое корректное теоретическое построение, тем более претендующее на статус доказательства. Для этого необходимо выделить логическую структуру данного рассуждения, выявить предпосылки, на которых оно основано, и рассмотреть вопрос о законности и обосновании логических умозаключений, делаемых из этих предпосылок. Понятия «реальность» («вещественность»), «быть в реальности», оговоримся еще раз, будут при этом рассматриваться не как характеристики того, что на самом деле противостоит субъекту, его мышлению, а как некие мыслимые предикаты, которые могут либо приписываться, либо не приписываться предмету (который предполагается также данным в мышлении).

Главная нагрузка в логической структуре доказательства падает на термин «больше, чем» («превосходнее, чем», «совершеннее, чем»). Этот термин фигурирует и в исходном пункте доказательства — в понятии бога как «того, больше чего ничего нельзя помыслить», он входит и в формулировку основной предпосылки, на которую опирается доказательство, а именно: из двух взаимоисключающих предикатов — «быть в одном только понимании» и «быть не только в одном понимании, но и реально», — о втором следует сказать, что он больше, чем первый.

Что же это за понятие — «больше, чем» («совершеннее, чем»)? Ответ кажется очевидным: понятие отношения. Представление об отношении столь привычно для нас, кажется таким самоочевидным, что трудно предположить возможность иного истолкования указанного термина. И тем не менее все доказательство Ансельма звучит как доказательство лишь в том случае, если этот термин трактуется не как отношение.

Действительно, предположим, что «больше, чем» является не чем иным, как отношением порядка. Отношение порядка может быть введено двояким способом: либо как имеющее место между членами некоторого, уже сформированного, упорядоченного множества, либо путем указания признаков, которыми должны обладать любые две вещи, удовлетворяющие данному отношению. Например, отношение порядка «больше, чем» для вещей, которые «есть в понимании», может быть определено таким образом: оно будет иметь место для любых двух вещей А и В в нашем понимании тогда и только тогда, когда А и В отличаются между собой только наличием или отсутствием «достойного» предиката (например, бытия). Если А обладает этим предикатом, а В — нет, то А (по определению отношения «больше, чем») будет больше В.