закон двойного отрицания

закон двойного отрицания
закон логики, позволяющий отбрасывать двойное отрицание. Его можно сформулировать так: отрицание отрицания дает утверждение, или: повторенное дважды отрицание ведет к утверждению. Напр.: "Если неверно, что Вселенная не является бесконечной, то она бесконечна".
3. д. о. был известен еще в античности. В частности, древнегреческие философы Зенон Элейский и Горгий излагали его так: если из отрицания к.-л. высказывания следует противоречие, то имеет место двойное отрицание исходного высказывания, т. е. оно само.
С применением символики логической (р - некоторое высказывание; —> - условная связь, "если, то"; закон двойного отрицания - отрицание, "неверно, что") закон записывается так:
закон двойного отрицания закон двойного отрицания p —> p, если неверно, что неверно р, то верно р.
Другой закон логики, говорящий о возможности не снимать, а вводить два отрицания, принято называть обратным 3. д. о.: ут-верждение влечет свое двойное отрицание. Напр.: "Если Шекспир писал сонеты, то неверно, что он не писал сонеты". Символически:
p—> закон двойного отрицания закон двойного отрицанияp,
если р, то неверно, что не-р.
Объединение этих законов дает т. наз. полный 3. д. о.: двойное отрицание равносильно утверждению. Напр.: "Планеты не неподвижны в том и только том случае, если они движутся". Символически (= - эквивалентность, "если и только если"):
закон двойного отрицания закон двойного отрицанияР = Р, неверно, что не-р, если и только если верно р.

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Игры ⚽ Нужно сделать НИР?

Смотреть что такое "закон двойного отрицания" в других словарях:

  • Закон двойного отрицания — положенный в основу классической логики принцип, согласно которому «если неверно, что неверно А, то А верно». Закон двойного отрицания называется также законом снятия двойного отрицания. В формализованном языке логики высказываний закон двойного… …   Википедия

  • двойного отрицания закон — см.: Закон двойного отрицания …   Словарь терминов логики

  • Исключение двойного отрицания — Закон двойного отрицания положенный в основу классической логики принцип, согласно которому «если неверно, что неверно А, то верно А». Закон двойного отрицания называется также законом снятия двойного отрицания. В формализованном языке логики… …   Википедия

  • ДВОЙНОГО ОТРИЦАНИЯ ЗАКОН — логический принцип, согласно к рому если неверно, что неверно А, то верно Л . Д. о. з. наз. также законом снятия двойного отрицания. В формализованном языке логики высказываний Д. о. з. выражается формулой и в таком виде (или в виде… …   Математическая энциклопедия

  • Закон исключённого третьего — (лат. tertium non datur, то есть «третьего не дано»)  закон классической логики, состоящий в том, что из двух высказываний  «А» или «не А»  одно обязательно является истинным, то есть два суждения, одно из которых является… …   Википедия

  • Закон исключенного третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний  «А» или «не А»  одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… …   Википедия

  • Закон исключения третьего — Закон исключённого третьего закон классической логики, состоящий в том, что из двух высказываний  «А» или «не А»  одно обязательно является истинным, т.е. два суждения, одно из которых является отрицанием другого, не могут быть одновременно… …   Википедия

  • Закон Пирса — Закон Пирса  один из законов классической логики, аналог законов двойного отрицания и исключённого третьего. Назван в честь американского логика и философа Чарльза Пирса. Закон Пирса формально выглядит так: что означает: P должно быть… …   Википедия

  • Закон противоречия — Закон непротиворечия (закон противоречия)  закон логики, который гласит, что два несовместимых (противоречащих либо противоположных) суждения не могут быть одновременно истинными. По крайней мере, одно из них необходимо ложно[1].… …   Википедия

  • ОТРИЦАНИЯ ОТРИЦАНИЯ ЗАКОН —         один из осн. законов диалектики, характеризующий направление процесса развития, единство поступательности и преемственности в развитии, возникновения нового и относит. повторяемости некоторых моментов старого. Впервые был сформулирован… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»