Закон достаточного основания имеет прямое отношение к юридической практике. В законодательстве довольно широко распространено само понятие «достаточные основания» (или «законные основания» или просто «основания»). Так, в ст. 10 УПК РФ закреплено: «Никто не может быть задержан по подозрению в совершении преступления или заключен под стражу при отсутствии на то законных оснований, предусмотренных настоящим Кодексом». В ст. 24 сказано, что уголовное дело не может быть возбуждено, а возбужденное уголовное дело подлежит прекращению по следующим основаниям (и далее следуют сами эти основания). В ст. 297 УПК РФ говорится: «Приговор суда должен быть законным, обоснованным и справедливым».
В гражданском законодательстве говорится, что гражданские права и обязанности возникают из предусмотренных законом оснований.
В повседневной речи, говоря о том, что многие законы не действуют, мы приводим в качестве основания то, что нет процедуры их применения и т. д.
Рассмотренные выше основные формально-логические законы мышления открыты традиционной логикой. Как относится к ним символическая логика? Она основывается на них в своих построениях и процедурах, но в целях решения собственных специфических задач вносит в них необходимые уточнения и дает им свою символику. Так, раскрывая их единство в определенном отношении, она рассматривает их в качестве
Так, закон тождества выражается логической формулой
A ≡ А (А равносильно А) или А → А («Если А, то А»).
Закон противоречия выражается формулой ˥(А∧˥А) («Неверно, что А и не-А).
Закон исключенного третьего — A∨˥А (А или не-А).
Оба последних закона в символической логике относятся лишь к противоречащим высказываниям и потому могут быть выведены друг из друга.
Считается, что закон достаточного основания символически выразить нельзя, так как это исключительно содержательный закон.
Приведем пример толкования подобных формул. Так, сложные высказывания типа: «Закон принят, или закон не принят», «Решение суда правильное, или решение суда неправильное», имея формулу A∨˥А (закон исключенного третьего), истинны независимо от того, истинны или ложны образующие их элементарные суждения. Вот таблица истинности этой формулы:
Наряду с тождественно-истинными формулами есть еще
Благодаря табличному способу символическая логика (логика высказываний) в состоянии эффективно выявлять как тождественно-истинные формулы, так и тождественно-ложные формулы — законы логики и логические противоречия. В этом ее громадный шаг вперед по сравнению с традиционной логикой.
Глава II. Соотношение законов формальной и диалектической логики
Основные формально-логические законы — при всей их значимости и широте действия — не исчерпывают всех фундаментальных закономерностей мышления. Кроме них действуют еще
Что же представляют собой такие законы? И как они соотносятся с законами формальной логики? Ответ на эти вопросы позволяет не только глубже понять место и роль основных формально-логических законов в общей системе мышления, но и более правильно пользоваться ими в познании и общении.
1. Сфера действия диалектических законов мышления
Как и громадное большинство законов природы и общества, основные формально-логические законы мышления носят
Но как только мы начинаем исследовать предмет диалектически — всесторонне, во взаимодействии с остальным миром, а следовательно, с точки зрения его возникновения, изменения и развития, его превращения в новое качественное состояние, одних формально-логических законов оказывается недостаточно. Здесь вступают в силу новые, в известном смысле слова более высокие, диалектические законы мышления.