- закон логики, позволяющий отбрасывать двойное отрицание. Его можно сформулировать так: отрицание отрицания дает утверждение, или: повторенное дважды отрицание ведет к утверждению. Напр.: «Если неверно, что Вселенная не является бесконечной, то она бесконечна». 3. д. о. был известен еще в античности. В частности, древнегреческие философы Зенон Элейский и Горгий излагали его так: если из отрицания к.-л. высказывания следует противоречие, то имеет место двойное отрицание исходного высказывания, т. е. оно само. С применением символики логической (р - некоторое высказывание; à - условная связь, «если, то»; ~ - отрицание, «неверно, что») закон записывается так: ~ ~ p à p, если неверно, что неверно р, то верно р. Другой закон логики, говорящий о возможности не снимать, а вводить два отрицания, принято называть обратным 3. д. о.: ут- верждение влечет свое двойное отрицание. Напр.: «Если Шекспир писал сонеты, то неверно, что он не писал сонеты». Символически: pà ~ ~p, если р, то неверно, что не-р. Объединение этих законов дает т. наз. полный 3. д. о.: двойное отрицание равносильно утверждению. Напр.: «Планеты не неподвижны в том и только том случае, если они движутся». Символически (= — эквивалентность, «если и только если»): ~ ~Р = Р, неверно, что не-р, если и только если верно р.
Найти все значения выражения Закон Двойного Отрицания:
Если Вы искали другое значение слова/фразы Закон Двойного Отрицания, воспользуйтесь поиском. Значения термина могут серьезно отличаться в зависимости от тематики выбранного словаря. Если у Вас есть своё определение данного слова, вы можете его добавить в нашу коллекцию.
Вместе с понятием Закон Двойного Отрицания ищут определения этих слов:
Индукция — (от лат. inductio - наведение) - умозаключение, в котором связь посылок и заключения не опирается на логический закон, в силу чего заключение вытекает из принятых посылок не с логической необходимостью, а только с некоторой вероятностью. И....
Индивид — (от лат. individuum - неделимое) — единичное как противоположность совокупности, массе; отдельное живое существо, особь, отдельный человек, в отличие от стада, группы, коллектива. В логике И. называют любой объект, обозначаемый единичным, или...
Закон Двойного Отрицания — - закон логики, позволяющий отбрасывать двойное отрицание. Его можно сформулировать так: отрицание отрицания дает утверждение, или: повторенное дважды отрицание ведет к утверждению. Напр.: «Если неверно, что Вселенная не является бесконечной, то...
Закон Композиции — (от лат. compositio — сочинение, составление) - общее название ряда логических законов, позволяющих объединять следствия определенных условных высказываний или разделять их основание. Один из этих законов можно выразить так: если верно, что если...
Закон Косвенного Доказательства — - логический закон, позволяющий делать заключения об истинности какого-то высказывания на основании того, что отрицание этого высказывания влечет противоречие. Напр.: «Если из того, что 11 не является простым числом, вытекает то, что оно делится...
Индивид — (от лат. individuum - неделимое) — единичное как противоположность совокупности, массе; отдельное живое существо, особь, отдельный человек, в отличие от стада, группы, коллектива. В логике И. называют любой объект, обозначаемый единичным, или...
Закон Исключенного Третьего — - логический закон, согласно которому истинно или само высказывание, или его отрицание. Закон устанавливает связь между противоречащими друг другу высказываниями: одно из таких высказываний истинно. Напр.: «Аристотель умер в 322 г. до н. э. или...
Индуктивное Определение — - определение, позволяющее из некоторых исходных объектов теории с помощью некоторых операций строить новые объекты теории. И.о. находят широкое применение в математике, логике и других науках. Примером может быть И.о. натуральных чисел. Исходным...
Значение — — содержание, связываемое с тем или иным языковым выражением. Вопрос о 3. языковых выражений исследуется лингвистикой, семиотикой и логической семантикой. В последней наибольшим признанием пользуется концепция 3., предложенная немецким...
Индукция — (от лат. inductio - наведение) - умозаключение, в котором связь посылок и заключения не опирается на логический закон, в силу чего заключение вытекает из принятых посылок не с логической необходимостью, а только с некоторой вероятностью. И....
Код ссылки скопирован в буфер
Если у Вас есть сайт или блог, разместите, пожалуйста, нашу ссылку:
