§ | библиотека – мастерская – | Помощь Контакты | Вход — |
Ивин А.А. Логика: Учебник для гуманитарных вузов. -- М.: "ФАИР-ПРЕСС", 1999. - 320 с.
Стр. 159 Закон двойного отрицания Этим именем называется закон логики, позволяющий отбрасывать двойное отрицание. Этот закон можно сформулировать так: отрицание отрицания даёт утверждение, или: повторенное дважды отрицание даёт утверждение. Например: «Если неверно, что Вселенная не является бесконечной, то она бесконечна». Закон двойного отрицания был известен ещё в античности. В частности, древнегреческие философы Зенон Элейский и Горгий излагали его следующим образом: если из отрицания какого-либо высказывания следует противоречие, то имеет место двойное отрицание исходного высказывания, то есть оно само. В символической форме закон записывается так: ~~ А → A, если неверно, что не-А, то верно А. Другой закон логики, говорящий о возможности не снимать, а вводить два отрицания, принято называть обратным законом двойного отрицания: утверждение влечёт своё двойное отрицание. Например: «Если Шекспир писал сонеты, то неверно, что он не писал сонеты». Символически: A → ~~ A если A, то неверно что не-А. Объединение этих законов даёт так называемый полный закон двойного отрицания: ~~ А ↔ A, неверно, что не-A, если и только если верно А. Законы контрапозиции Законы контрапозиции говорят о перемене позиций высказываний с помощью отрицания: из условного высказывания «если есть первое, то есть второе» вытекает «если нет второго, то нет и первого», и наоборот. Символически: (А → В) → ( ~ В → ~ А), если дело обстоит так, что если A, то B, то если не-В, то не-А; ( ~ B → ~ А) → (А → В), если дело обстоит так, что если не-B, то не-A, то если A, то В. К примеру: из высказывания «Если есть следствие, то есть и причина» следует высказывание «Если нет причины, нет и следствия», и из второго высказывания вытекает первое. К законам контрапозиции обычно относят также законы: |
Реклама
|
||