Философская Энциклопедия (в 5 томах)

ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО

обоснование суждения путем опровержения методом "приведения к нелепости" (reductio ad absurdum) нек-рого другого суждения, – именно того, к-рое является отрицанием обосновываемого (Д. от п. 1-го вида) или того, отрицанием к-рого является обосновываемое (Д. от п. 2-го вида); "приведение к нелепости" состоит в том, что из опровергаемого суждения выводится к.-л. явно ложное заключение (напр., формальнологическое противоречие), что и свидетельствует о ложности этого суждения. Необходимость различения двух видов Д. от п. вытекает из того, что в одном из них (именно, в Д. от п. 1-го вида) имеет место логический переход от двойного отрицания суждения к утверждению этого суждения (т.е. применяется т.н. правило снятия двойного отрицания, разрешающее переход от A к А, см. Двойного отрицания законы), в то время как в другом такого перехода нет. Ход рассуждения в Д. от п. 1-го вида: требуется доказать суждение А; в целях доказательства предполагаем, что суждение А неверно, т.е. что верно его отрицание: ? (не-А), и, опираясь на это предположение, логически выводим к.-л. ложное суждение, напр. противоречие, – осуществляем "приведение к нелепости" суждения А; это свидетельствует о ложности нашего предположения, т.е. доказывает, истинность двойного отрицания: A; применение к A правила снятия двойного отрицания завершает доказательство суждения А. Ход рассуждения в Д. от п. 2-го вида: требуется доказать суждение ?; в целях доказательства предполагаем верным суждение А и приводим это предположение к нелепости; на этом основании заключаем, что А ложно, т.е. что верно ?. Различение двух видов Д. от п. важно потому, что в так называемой интуиционистской (конструктивной) логике закон снятия двойного отрицания не имеет места, в силу чего не допускаются и Д. от п., существенно связанные с применением этого логического закона. См. также Косвенное доказательство. Лит.: Тарский ?., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Асмус В. Ф., Учение логики о доказательстве и опровержении, [М.], 1954; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957; Черч ?., Введение в математич. логику, пер. с англ., [т.] 1, М., 1960.

  1. доказательство от противного—ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО лат. reductio ad absurdum вид доказательства iпри кром доказывание некрого суждения тезиса доказательства осуществляется через опровержение п...Большая советская энциклопедия
  2. доказательство от противного—лат. reductio ad absurdum вид Доказательства при котором доказывание некоторого суждения тезиса доказательства осуществляется через опровержение противоречащего ему сужде...Большая Советская энциклопедия II
  3. доказательство от противного—ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО один из видов косвенного доказательства....Большой энциклопедический словарь III
  4. доказательство от противного—ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО один из видов косвенного доказательства....Большой Энциклопедический словарь V
  5. доказательство от противного—один из видов косвенного доказательства.i...Естествознание. Энциклопедический словарь
  6. доказательство от противного—лат. reduction ad absurdum вид доказательства при котором справедливость некоторого суждения тезиса доказательства осуществляется через опровержение противоречащего ему ...Исследовательская деятельность
  7. доказательство от противного—лат. reductio ad absurdum вид доказательства при кром истинность суждения тезиса достигается или демонстрируется через опровержение противоречащего ему суждения антитез...История и философия науки. Энциклопедический словарь
  8. доказательство от противного—Argumentum a contrario...Латинско-русский и русско-латинский словарь крылатых слов и выражений
  9. доказательство от противного—арсы йарып длелдеу...Орысша-қазақша «Математика» терминологиялық сөздік
  10. доказательство от противного—dmonstration par labsurde...Политехнический русско-французский словарь
  11. доказательство от противного—лат. reductio ad absurdum вид доказательства при котором справедливость некоторого суждения тезиса доказательства осуществляется через опровержение противоречащего ему с...Профессиональное образование
  12. доказательство от противного—доведення вд протилежного...Російсько-український словник логіки
  13. доказательство от противного—доказ вд протилежного....Російсько-український словник сталих словосполучень
  14. доказательство от противного—лат. argumentum ex contrario...Русско-английский психологический словарь
  15. доказательство от противного—proof by contradiction...Русско-английский словарь по машиностроению
  16. доказательство от противного—reductio ad absurdum proof by contradiction...Русско-английский словарь по физике
  17. доказательство от противного—proof by contradiction...Русско-английский словарь по электронике
  18. доказательство от противного—proof by contradiction reductio ad absurdum proof...Русско-английский технический словарь
  19. доказательство от противного—evidence proof to the contrary negative evidence proof...Русско-английский юридический словарь
  20. доказательство от противного—dimostrazione per assurdo...Русско-итальянский политехнический словарь
  21. доказательство от противного—керден длелдеу...Русско-казахский терминологический словарь «Философия и политология»
  22. доказательство от противного—argumentum e contrario лат....Русско-немецкий юридический словарь
  23. доказательство от противного—dkaz per absurdum...Русско-чешский словарь
  24. доказательство от противного—см. Косвенное доказательство....Словарь логики
  25. доказательство от противного—ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО см. Косвенное доказательствоi....Словарь по логике
  26. доказательство от противного—лат. reductio ad absurdum вид доказательства при кром доказывание некрого суждения тезиса доказательства осуществляется через опровержение противоречащего ему суждения ан...Советский философский словарь
  27. доказательство от противного—ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО один из видов косвенного доказательства....Современный энциклопедический словарь
  28. доказательство от противного—довад ад супрацнага...Тэрмінолёгія лёгікі і псыхолёгіі
  29. доказательство от противного—ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО косвенное доказательство при котором истинность тезиса обосновывается не прямо с помощью аргументов а посредством антитезиса положения про...Философская энциклопедия
  30. доказательство от противного—лат. reductio ad absurdum вид доказательства при котором справедливость некоторого суждения тезиса доказательства осуществляется через опровержение противоречащего ему су...Философский энциклопедический словарь II
  31. доказательство от противного—ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО proof by contradiction Доказательство при котором признание исходной предпосылки неверной ведет к противоречию. То есть предположение об ошиб...Экономический словарь
  32. доказательство от противного—ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО один из видов косвенного доказательства....Энциклопедический словарь естествознания