Логика, основные логические законы

Нарушение требования выбора проявляется в разных формах. Иногда сам вопрос сформулирован неальтернативно. С давних пор до нас дошла шутка: «Перестал ли ты бить своего отца?» Как правильно ответить? Если «перестал», значит, бил. Если же «не перестал», значит, продолжаешь бить. Тут как раз возможно третье:

«Я его не бил и  не бью». Или на вопрос: «Любишь ли ты его?» нередко нельзя ответить по формуле «или — или». Ведь можно кого-то любить, можно презирать или ненавидеть, а можно просто проявлять безразличие или равнодушие.

Но если вопрос сформулирован  правильно, то уклонение от определенного  ответа на него, поиски чего-то третьего будут ошибкой. Она свойственна людям нерешительным, неуверенным в себе или просто беспринципным.

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

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

И в настоящее время  суды постоянно сталкиваются с альтернативами. Так, в уголовном судопроизводстве — имело место событие преступления или не имело, находился на месте преступления подозреваемый или не находился, признает он себя виновным или не признает, виновен обвиняемый на самом деле или не виновен, правилен приговор суда или неправилен.

Аналогично и в гражданских  делах. Например, если ответчик не признает своего отцовства, то суд может назначить  судебно-медицинскую экспертизу, и  эксперт либо исключает то, что  ребенок мог родиться от данного человека, либо допускает такую возможность. Правда, подобное заключение используется в качестве доказательства лишь в совокупности с другими. Но само решение суда остается однозначным.

В законодательной практике решаются свои альтернативные вопросы. Так, на заседании Государственной Думы либо есть кворум, либо его нет, вопрос вносится в повестку дня или не вносится, то или иное решение принято или не принято. Вспомним электронное табло в зале заседаний депутатов, которое мы не раз наблюдали по телевидению и на котором всякий раз однозначно высвечивались результаты голосования: либо «решение принято», либо «решение не принято».

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Заключение

 

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

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

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

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

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

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

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

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

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

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