Закон исключения третьего и закон достаточного основания

Страница 4

В практической деятельности тоже важно руководствоваться этим законом. Так, известный русский социолог Питирим Соро­кин (с 1922 г. — в эмиграции), выступая против извращений в строительстве социализма в нашей стране, заявлял: «Можно и дол­жно звать всех к производительной работе по возрождению стра­ны, но ниоткуда не следует, что эта работа может и должна совер­шаться только по штампам и циркулярам в качестве агентов влас­ти и чиновников, или обратно — должна быть непременно работой. низвергающей власть».Таким образом, автор отмечал известное отсутствие последо­вательности в определенных тогдашних практических действиях власти в стране. И позднее не было достаточных оснований для того, чтобы в экономике страны десятилетиями игнорировать ми­ровой опыт развития рыночных отношений. Но и в настоящее вре­мя, когда произошла смена власти, многие ее действия представ­ляются тоже недостаточно обоснованными, правда, уже в ином социальном смысле. Так, нередко опыт предшествующего разви­тия страны огульно отрицается лишь на том основании, что он в конечном счете не удался. Однако это еще не достаточное основа­ние для подобного нигилизма.

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

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

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

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

Заключение

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

Так, закон тождества выражается логической формулой А ≡ А (А равносильно А) или А->А («Если А, то А»).

Закон противоречия выражается формулой ┐ (А^ ┐А) («Невер­но, что А и не-А).

Закон исключенного третьего — A v ┐А (А или не-А).

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

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

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

Список используемой литературы

1. Логика. Учеб. Под ред. Иванова Е.И., Москва, 2000 г.

2. Аристотель. Соч. т.1 с. 141, т.2 с.257.

3. Лейбниц Г. Избранные философские сочинения. М. 1968 с. 377.

4. Философские науки 1992 №1 с.7