Словарь логики » Что такое «закон двойного отрицания»?

Значение слова, определение и толкование термина

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

zakon dvoynogo otritsaniya

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

3. д. о. был известен еще в античности. В частности, древнегреческие философы Зенон Элейский и Горгий излагали его так: если из отрицания к.-л. высказывания следует противоречие, то имеет место двойное отрицание исходного высказывания, т. е. оно само.

С применением символики логической (р - некоторое высказывание; —> - условная связь, "если, то"; закон двойного отрицания - отрицание, "неверно, что") закон записывается так:

закон двойного отрицания закон двойного отрицания p —> p, если неверно, что неверно р, то верно р.

Другой закон логики, говорящий о возможности не снимать, а вводить два отрицания, принято называть обратным 3. д. о.: ут-верждение влечет свое двойное отрицание. Напр.: "Если Шекспир писал сонеты, то неверно, что он не писал сонеты". Символически:

p—> закон двойного отрицания закон двойного отрицанияp,

если р, то неверно, что не-р.

Объединение этих законов дает т. наз. полный 3. д. о.: двойное отрицание равносильно утверждению. Напр.: "Планеты не неподвижны в том и только том случае, если они движутся". Символически (= - эквивалентность, "если и только если"):

закон двойного отрицания закон двойного отрицанияР = Р, неверно, что не-р, если и только если верно р.

  • ВКонтакте

  • Facebook

  • Мой мир@mail.ru

  • Twitter

  • Одноклассники

  • Google+

См. также

  • ХАБЕРМАС (Habermas) Юрген (р. 1929) - немецкий социальный философ и социолог. С 1961 по 1964 - преподаватель в Гейдельберге, с 1964 - профессор во Франкфурт

  • общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие (антецедент и консеквен