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

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

Отсюда —- действие закона достаточного основания. В нем выражается еще одна коренная черта правильного мышления наряду с определенностью и последовательностью, непротиворечивостью — его обоснованность, доказательность.

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

Такая объективно существующая универсальная зависимость одних предметов от других и служит важнейшей предпосылкой возникновения и функционирования в нашем мышлении закона достаточного основания. Этот закон был открыт и впервые сформулирован Г. Лейбницем. Он писал: "Ни одно явление не может оказаться истинным или действительным, ни одно утверждение справедливым — без достаточного основания, почему именно дело обстоит так, а не иначе...".

Правда, у Лейбница он дан как универсальный закон и бытия, и познания — закон причинности Применительно лишь к мышлению ему можно дать следующую формулировку: ни одно суждение не может быть признано истинным без достаточного основания. Отсюда — название самого закона. Но почему идет речь именно о "достаточном" основании? Достаточными являются такие фактические и теоретические основания, из которых данное суждение следует с логической необходимостью. Примерная формула закона: "А истинно, потому что есть достаточное основание В".

Логическое основание неразрывно связано с объективным, но в то же время и отлично от него. Объективным основанием служит причина, а результат ее действия — следствие. Логическим же основанием может выступать ссылка как на причину, так и на следствие. Классический пример: "Дождь прошел". Это объективное основание (причина) того, что крыши домов мокрые (следствие), но не наоборот. Логических же оснований в рассуждении об этой причинно-следственной связи может быть два: "Крыши домов мокрые, потому что прошел дождь" и "Прошел дождь, потому что крыши домов мокрые". Почему это возможно? Потому что причина и следствие связаны между собой необходимым образом. Если есть причина, то есть и следствие, и наоборот: если есть следствие, то есть и причина. Надо только учитывать фактор "множественности причин" или "множественности следствий".

Сфера действия закона достаточного основания. Если закон тождества явился обобщением прежде всего практики оперирования понятиями, а закон противоречия и исключенного третьего — практики функционирования суждений, то закон достаточного основания есть результат обобщения практики получения выводного знания. В нем выражено отношение одних истинных мыслей к другим — отношение логического следования, обеспечивающего в конечном счете их соответствие действительности. Этот закон означает, что в правильном рассуждении вывод всегда достаточно обоснован.

Следовательно, в сферу действия этого закона входят прежде всего умозаключения. Когда, например, из двух посылок "Все живое смертно" и "Люди — живые существа" мы делаем вывод, что "Все люди смертны", то это означает: "Все люди смертны" потому, что "Все живое смертно". Подведение того или иного предмета мысли под общее понятие служит достаточным основанием для распространения на него всех тех свойств, которые присущи всему классу предметов, мыслимому в этом понятии. Вспомним аксиому простого категорического силлогизма: Оюшт йе отш е1 йе пиНо.

В сфере действия закона достаточного основания находятся также доказательства. Уже само их существование есть показатель того, что такой закон существует. Кроме того, одно из важнейших правил доказательства — правило не только необходимости, но и достаточности оснований — прямо обусловлено действием этого закона. Например, существует объективная связь между ясным мышлением и ясным изложением. Поэтому, если мы хотим обосновать, почему человек ясно излагает свои мысли, то можем сослаться на то, что он ясно мыслит. Это достаточное основание. Впрочем, можно сказать

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

В судебной практике дело может стать, предметом судебного разбирательства, если для этого есть достаточные основания. Приговор или решение суда должны быть мотивированными, т. е. обоснованными.

В повседневной речи, говоря о том, что многие законы не действуют, мы приводим в качестве основания то, что нет процедуры их использования и т. д.

Рассмотренные выше основные формально-логические законы мышления открыты традиционной логикой. Как относится к ним современная математическая логика? Она основывается на них в своих построениях и процедурах, но в целях решения собственных специфических задач вносит в них необходимые уточнения и дает им свою символику. Так, раскрывая их единство в определенном отношении, она рассматривает их в качестве тождественно истинных формул. Что это значит? Многие логические формулы, используемые в символической логике (логике высказываний), оказываются при одних логических значениях своих переменных истинными, а при других ложными. Тождественно истинные формулы тем и отличаются, что они имеют логическое значение "истина" при всех логических значениях своих переменных. Истинность таких формул обусловлена их логической структурой. Поэтому они называются еще логически истинными формулами. В конечном счете их истинность определяется тем, что в их структуре отражаются наиболее глубокие и общие связи самого объективного мира. Посредством этих формул и выражаются законы логики.

Так, закон тождества выражается логической формулой

А= А (А равносильно А) или А—»А ("Если А, то А").

Закон противоречия выражается формулой -■(Ад-'А).

Закон исключенного третьего — А V -•А.

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

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

А	-А	Ау-А
и	л	И
л	и	И

Наряду с тождественно истинными формулами есть еще тождественно ложные формулы. Ими выражаются логические противоречия.

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