20. Закон не противоречия и закон исключённого третьего; их взаимосвязь. Правило двойного отрицания.
Закон непротиворечия: два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно. Этот закон формулируется следующим образом: неверно, что а и не-а (не могут быть истинными две мысли, одна из которых отрицает другую.
Закон исключенного третьего действует только в отношении противоречащих (контрадикторных) суждений. Он формулируется следующим образом: два противоречащих суждения не могут быть одновременно ложными, одно из них необходимо истинно: а есть либо b, либо не-b. Истинно либо утверждение некоторого факта, либо его отрицание.
Закон двойного отрицания — положенный в основу классической логики принцип, согласно которому «если неверно, что неверно А, то верно А». Закон двойного отрицания называется также законом снятия двойного отрицания.
Сходства двух законов. В отношении противоречащих (контрадикторных) суждений А и О, Е и I действует закон исключённого третьего и закон не противоречия.
Закон не противоречия шире (контрарные и контрадикторные). Исключенного третьего (только контрадикторные: а и не-а).
|
|
|
