Закон достаточного основания

Закон достаточного основания — это один из основных общелогических принципов, согласно которому в процессе рассуждения всякое суждение считается истинным только в том случае, если приведено достаточное основание его истинности. Закон достаточного основания относится к четырём так называемым основополагающим логическим законам — закону тождества, закону противоречия, закону исключённого третьего и закону достаточного основания (см. Законы логики), которые подразумевают наиболее общие принципы (или постулаты) теоретического мышления и используются при оперировании понятиями и суждениями, в умозаключениях, доказательствах и опровержениях, и поэтому присутствуют практически во всех логических системах.

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

Под «достаточным основанием истинности» некоторого суждения (называемого следствием из данного достаточного основания или доказываемым тезисом) понимается совокупность истинных суждений (которые называются основаниями или аргументами) — таких, что обосновываемое суждение следует из них по законам и правилам логики. В составе достаточного основания должны быть заведомо истинные суждения (аксиомы, определения, удостоверенные суждения непосредственного восприятия и выводные суждения) — уже обоснованные, то есть доказанные опытным путём или выведенные из истинности других суждений.

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

Закон достаточного основания ничего не говорит о форме связи достаточного основания с доказываемым тезисом, которая может быть различной в зависимости от формы доказательства и вида входящих в него умозаключений. Он требует лишь необходимого следования истинности тезиса из истинных оснований. Закон нарушается, если доказываемое суждение логически не следует из аргументов или если в составе последних есть ложные суждения. Так как «недостаточное основание», то есть основание, из которого не может быть логически выведено обосновываемое суждение, вообще нет смысла называть основанием, то закон достаточного основания часто называют просто принципом (или законом) основания.

Закон достаточного основания содержит в себе ряд предписаний:

1. Все посылки рассуждения (умозаключения, доказательства, вывода) должны быть обоснованы.
2. Если какое-либо суждение является обоснованным, то допустимо использовать его в доказательстве, не воспроизводя его оснований, а лишь подразумевая их. Это предписание позволяет применять в качестве посылок также положения, которые являются синонимами, либо такие, обоснование которых есть следствие доказанных (истинных) положений.
3. Обоснованием считается любая истинностная характеристика суждения (ложное суждение, вероятностное суждение).
4. В обосновании суждений следует различать логическое обоснование (отношение вывода логического следствия) и фактическое обоснование.

Понятие о законе достаточного основания в явной форме было введено Г. В. Лейбницем в XVII веке, хотя требование достаточных или убедительных оснований столь же старо, как и само теоретическое мышление. Идеи, выраженные этим принципом, лежали в основе различных логических теорий Античности, Средневековья и Нового времени, причём трактовались они не только в логическом, но часто и в онтологическом смысле — как выражение закона причинности. Согласно Левкиппу и Демокриту, «ни одна вещь не возникает беспричинно, но всё возникает на каком-нибудь основании и в силу необходимости» (цитируется по кн.: Маковельский О. А., Древнегреческие атомисты; Баку, 1946, с. 229). Глубокое раскрытие логического аспекта принципа достаточного основания содержалось в теории доказательства Аристотеля; его требование искать «первые начала и причины» («Метафизика» I, 1 982а 3), а также учение о соответствии среднего термина силлогизма (первой фигуры) причине того, что высказывается о подлежащем заключения, сообщает аристотелевому подходу к доказательству также и онтологический аспект. Но как особый закон принцип достаточного основания Аристотель не формулирует. Как закон бытия и познания он был впервые сформулирован Лейбницем. Например, в сочинении «Монадология» он выразил его так: «… ни одно явление не может оказаться истинным или действительным, ни одно утверждение справедливым, — без достаточного основания, почему именно дело обстоит так, а не иначе»… (Избранные философские сочинения. — М., 1908, с. 347). При этом Лейбниц не проводил ясного различения между логическим основанием и причиной чего-либо, между логическим следованием и причинной связью, между логическим принципом достаточного основания и законом причинности. Закон достаточного основания служил Лейбницу в качестве критерия истин факта, отличаемых им от истин разума, критерием которых он считал прежде всего принцип противоречия. В целом, характеристика, данная Лейбницем принципу достаточного основания, не отличалась ясностью, и уже вскоре были предприняты попытки свести требование достаточного основания к условию непротиворечивости. В дальнейшем идея Лейбница понималась по-разному. Хр. фон Вольф, следуя Лейбницу, также формулировал закон достаточного основания как логико-онтологический принцип, определяя основание как то, из чего можно понять, почему нечто есть. Против смешения принципа достаточного основания как принципа познания с законом причинности выступил И. Кант. Однако он идеалистически истолковывал этот принцип, считая его априорным. Г. В. Ф. Гегель трактовал его в духе субъективного идеализма, рассматривая основание как момент в развитии абсолютной идеи. А. Шопенгауэр в диссертации «О четверояком корне закона достаточного основания» (1813) различал четыре его формы: закон основания становления (закон причинности, касающийся вещей); закон основания познания (основания истины); закон основания бытия (касающийся пространства и времени); закон основания действия (касающийся мотивации поступков).

В последующем развитии логики закон достаточного основания понимался то как чисто логический, то как логико-онтологический принцип. В XVIII–XIX веках в формальной логике (см. Логика формальная) сложилась традиция включать его в число четырёх так называемых основных мышления законов наряду с законом тождества, законом противоречия и законом исключённого третьего. Наряду с этим, против понимания закона достаточного основания как особого логического закона (подобного остальным трём законам) издавна выдвигались возражения. Эти возражения приобрели убедительность в связи с развитием математической логики, когда стало ясно, что сама проблема «сильных оснований», затрагивавшаяся традиционной логикой в связи с данным «законом», трактовалась поверхностно, без учёта системного характера научного знания и динамики его развития. Последующее развитие логики показало, что закон достаточного основания имеет исключительно содержательный характер и не может быть формализован: в отличие от законов тождества, противоречия и исключённого третьего, его нельзя представить в виде формулы какого-либо логического исчисления. Это общелогический принцип, по существу совпадающий с исходными идеями логической теории доказательства вообще (особенно дедуктивного). В этом смысле те уточнения понятия доказательства, которые разработаны в математической логике, можно рассматривать как своего рода уточнение закона достаточного основания. При своей ограниченности (в указанном смысле) традиционного закона достаточного основания, он, тем не менее, имеет широкое рациональное содержание, поскольку характеризует одну из наиболее существенных черт логически правильного мышления — доказательность.