Обоснование

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

Вот почему мне представляется, что обоснования как такового не существует и не может существовать. Ведь для того, чтобы оно появилось, прежде необходимо его рационально доказать или установить, а это возможно лишь при условии предварительного обоснования истинности нашего разума, каковой, в свою очередь, не может основываться ни на себе самом (это был бы порочный круг), ни на чем-либо другом (это была бы дурная бесконечность, т. к. это что-то должно в свою очередь основываться либо на разуме, либо на чем-то другом). Из этого, конечно, не следует, что разум не имеет ценности (это невозможно доказать, да это и просто неправдоподобно); из этого следует, что ценность разума, позволяющего нам строить наши доказательства, сама не может быть рационально доказана. Утверждение «Существуют истинные доказательства» недоказуемо, поскольку всякое доказательство предполагает эту истинность.

Как обстоит дело с обоснованием математики? Во-первых, люди занимались математикой задолго до того, как встал вопрос о поиске обоснования чего бы то ни было; во-вторых, нынешние математики, при всем блеске своего ума и масштабе своих достижений, понемногу отказались от этого поиска. Впрочем, после того как теоремой Геделя (183) установлено, что в рамках формальной системы, содержащей по меньше мере арифметику, невозможно ни доказать все (существуют задачи, не имеющие решения), ни доказать, что система непротиворечива (логичность системы не имеет решения внутри самой системы), становится непонятно, для чего вообще, с философской точки зрения, нужен поиск обоснования математики — разве можно гарантировать логичность недоказуемого? Утверждение «Математика истинна» (или «Математика логична») не доказуемо средствами математики, да и вообще не доказуемо какими бы то ни было средствами. Но невозможность обоснования математики нисколько не мешает ею заниматься и если и лишает ее чего-то, так только иллюзии ее абсолютного характера.

А как с обоснованием морали? Обоснованием морали может быть только необходимая и абсолютная связь (не случайная и не зависимая от чего-либо) истины и добра, ценности и правды. Это мог бы осуществить только Бог, вот почему обоснования морали тоже нет. Чего стоила бы мораль, нуждающаяся в Боге для подтверждения собственной ценности? Это была бы мораль, зависимая от религии, которую, в свою очередь, требовалось бы обосновать. Докажите мне, какая религия является истинной, и я скажу вам, что такое истинная мораль! Если оставить в стороне теологическое обоснование, которое таковым не является, то всякое обоснование морали должно быть в свою очередь доказано (что отсылает нас к вышеперечисленным апориям), но доказано быть не может, потому что одной истины, даже если допустить, что мы ее установили, для этого недостаточно. Почему, собственно говоря, я должен подчиниться истине? Почему я не могу отдать предпочтение ложности, ошибке, иллюзии? Почему, например, некий индивидуум, без колебаний готовый пойти на убийство, насилие и применение пытки, должен подчиняться принципу непротиворечивости? И нужно ли нам искать обоснования, чтобы дать ему отпор и положить конец его действиям? С нас вполне хватает того ужаса, который он нам внушает. В морали точно так же хватает простого сострадания, и оно стоит больше любых обоснований.

Примечания

183. Курт Гедель (1906—1978) — логик и математик. Родился в Австро-Венгрии, с 1940 г. жил в США. Автор трудов по математической логике и теории множеств. Доказал теоремы о неполноте, из которых, в частности, следует, что не существует полной формальной теории, где были бы доказуемы все истинные теоремы арифметики.

Конт-Спонвиль Андре. Философский словарь / Пер. с фр. Е.В. Головиной. – М., 2012, с. 364-365.