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

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

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

Контрарная несовместимость бывает или между противоположными высказываниями об одном и том же предмете ("Этот человек храбр"; "Этот человек труслив"), или между утверждением и отрицанием однородных признаков относительно всего класса предметов ("Бизнес всегда опасен"; "Бизнес не опасен").

Контрадикторная несовместимость бывает или между двумя единичными суждениями, из которых одно чтолибо утверждает, а другое это же отрицает относительно того же предмета ("Этот человек — предприниматель"; "Этот человек — не предприниматель"), или между общим и частным суждениями, из которых одно утвердительное, а Другое — отрицательное ("Ни одна сфера предпринимательской Деятельности не является убыточной"; "Некоторые сферы предпринимательской деятельности являются убыточными").

Закон исключенного третьего обусловлен свойствами самих вещей, °ч отражает тот простой факт, что предмет не может иметь и не иметь одновременно то или иное свойство. Он либо имеет данное свойство, либо не имеет его. Предмету не могут одновременно принадлежать

21

противоречащие признаки; наличие одного предполагает отсутствие другого, и наоборот. Например, обвиняемый Н. либо "виновен", либо "не виновен" и не может быть, чтобы он был и "виновен" и "не виновен" одновременно.

В виде формулы закон исключенного третьего записывается так:

А есть либо В, либо не В. В математической логике этот закон выражается такой формулой:

Ам~А, т. е. А или не А, третьего не дано (tertium поп datur)