опровержение — такой вид обоснования в логике и методологии науки, в процессе которого устанавливается ложность, либо неправильность утверждений, доказательств, гипотез и теорий. Объектами О. могут быть как формальные объекты и системы (формулы какого-либо формализованного языка, формальные доказательства и выводы), так и содержательные системы (высказывания, гипотезы, теоретические построения). Наиболее важным видом О. в логике является О. доказательства, т.е. установление его ошибочности. Подобное О. осуществляется: 1) либо посредством О. тезиса доказательства, что означает О. доказательства, потому что ложь не может логически следовать из истинных посылок; 2) либо посредством О. аргументов (по правилам логики из лжи может выводится как истинное, так и ложное заключение) или в установлении их недоказанности (если аргументы не доказаны, то недоказанным остается и тезис); 3) либо посредством указания ошибки в доказательстве (например, ошибка в демонстрации — отсутствие необходимой связи между тезисом и аргументами). При этом надо иметь в виду, что О. аргументов или демонстрация ослабляет тезис, но не делает его необходимо ложным. Иными словами, О. аргументов, как и О. демонстрации, не означает О. тезиса. По сути дела, О. аргументов при демонстрации является возражением в отношении отстаиваемой концепции. Эффективное использование процедуры О. в методологии науки особенно возрастает в период интенсивного развития науки, когда происходит формирование новых идей, пересматривается концептуальный аппарат предшествующего теоретического знания, осуществляется поиск новых идеалов его обоснования. О. научных теорий обычно предваряет фиксация парадоксальных ситуаций относительно научных объектов (при открытии новых эмпирических фактов, противоречащих теоретическим построениям; при возникновении рассогласования между методом и объектом исследования; при логическом саморазвертывании теории, например, парадоксы множеств; при трансляции понятий из одной теоретической области в другую и т.д.). Конструктивная роль О. предыдущих теоретических воззрений на этом этапе научного поиска заключается в том, что оно открывает дорогу новым идеям. Основная творческая нагрузка на О. падает при появлении противоречащих теории результатов, что формирует установку на радикальное преобразование существующей теории. Критический анализ ведется при этом изнутри теоретической схемы, когда программные установки и исходные положения данной теории сопоставляются с реально достигнутыми на ее основе результатами. Поиск направлений преодоления кризиса приводит к формулировке отправных идей новой теории, которая осуществляется через противопоставление и критику соответствующих положений предшествующей теории. Обоснование правомерности нового подхода демонстрирует способность конкурирующей теории разрешать имеющиеся проблемы и выступать закономерным выходом из кризиса. На этом этапе, хотя О. конкурирующих подходов и не прекращается, оно перестает быть непосредственной целью каждого познавательного акта, поскольку основное внимание уделяется разработке собственной теории. О. — важнейший и необходимый компонент познавательной деятельности. Оно используется не только в логике как составная часть всех доказательств от противного, но и в науке — при проверке научных гипотез, новых идей и концепций; в судебных исследованиях в ходе выбраковки версий; в политических дискуссиях и т.д.