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

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

В книге «Метафизика» Аристотель сформулировал закон исключения третьего так: «Равным образом не может быть ничего промежуточного между двумя членами противоречия, а относительно чего-то одного необходимо что бы то ни было одно либо утверждать, либо отрицать»3.

В двузначной традиционной логике закон исключения третьего формулируется так: «Из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано». Противоречащими (контрадикторными) называются такие два суждения, в одном из которых что-либо утверждается о предмете, а в другом то же самое об этом предмете отрицается, поэтому они не могут быть оба одновременно истинными и оба ложными; одно из них истинно, а другое обязательно ложно. Такие суждения называются отрицающими друг друга. Так, из двух суждений: «Джеймс Фенимор Купер является автором серии романов о Кожаном Чулке, создававшихся на протяжении почти 20 лет» и «Джеймс Фенимор Купер не является автором серии романов о Кожаном Чулке, создававшихся на протяжении почти 20 лет» первое истинно, второе ложно, и третьего – промежуточного - суждения не может быть.

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

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

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

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

ЗАКЛЮЧЕНИЕ

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

Люди хотят знать не только законы природы и сущность общественных явлений, но и тайны человеческого мозга. Еще в 17 веке английский философ Ф. Бэкон говорил, что знание и могущество человека совпадают. Однако тернист путь к истине.

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

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

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

[1] Аристотель. Метафизика // соч.: в 4-х т. М.,1976. Т. 1. С. 125.

1 Следует различать два аспекта: отношение противоречия между высказываниями (или суждениями) и противоречие как синоним тождественно-ложной формулы. Если два суждения (a и b) или несколько суждений не могут быть истинными одновременно, то эти суждения называются несовместимыми, или противоречащими.

1 Впервые антиномии мышления достаточно четко изложил И.Кант.

2 Маркс К. и Энгельс Ф. Соч. 2-е изд. Т. 23.С. 176.

3 Аристотель. Метафизика // Соч.: в 4-х т. М., 1976. Т. 1. С. 141.