Приглашаем посетить сайт
ОПРОВЕРЖЕНИЕ
ОПРОВЕРЖЕНИЕ - обоснование ложности чего-либо. Термин "О." применяется как к формальным объектам (формулам к.-л. формализованного языка, формальным доказательствам и выводам, формальным системам в целом), так и к объектам, содержательно понимаемым (суждениям, гипотезам, системам взглядов и вообще, к любым совокупностям высказываний). В качестве исходного естественно исходить из понятия О. предложения (суждения, высказывания): О. предложения с логич. т. зр. есть доказательство его отрицания. Поскольку О. предложения есть доказательство, оно включает в себя все те аспекты, в к-рых рассматривается понятие доказательства (так, можно говорить о формальных и содержательных, дедуктивных и индуктивных, эмпирич. и теоретич. О., об О. на языке данной теории и об О. на уровне метатеории, т.е. в ее метаязыке и т.п.). Поскольку, с др. стороны, понятие отрицания допускает различные трактовки, это также отражается на разл. модификациях понятия О. Вообще, понятие О. и способы О. зависят от используемых логич. средств. [Это хорошо видно на примере весьма общего способа О., состоящего в показе того, что из опровергаемого предложения логически следует нек-рое заведомо ложное суждение, напр. логич. противоречие (см. Доказательство от противного): указанное следование всегда осуществляется по определ. логич. правилам.]
Термин "О." обычно распространяют и на доказательства (или выводы). О. доказательства - это установление его ошибочности. Оно состоит: (1) либо в О. тезиса доказательства (О. тезиса означает О. доказательства, потому что ложь не может логически следовать из истинных посылок); (2) либо в О. аргументов (из лжи по правилам логики может выводиться как истинное, так и ложное заключение) или в установлении их недоказанности (если аргументы не доказаны, то недоказанным остается и тезис); (3) либо в указании ошибки в ходе доказательства (см. Логические ошибки). [В случае (1) для данного тезиса вообще не может быть доказательства; в случаях (2) и (3) опровергается лишь данное доказательство, вопрос же об истинности или ложности тезиса и, соответственно, о возможности или невозможности его корректного доказательства, остается открытым.]
В методологии науки понятие О. применяют в еще более широком смысле и говорят об О. гипотез и теорий. О. теории естественно считать установление несоответствия ее осн. содержания тому фрагменту действительности, на отображение к-рого она претендует. Хотя в таком О. важную роль играет О. входящих в теорию суждений и доказательств, О. теорий не сводится к нему: О. теории может существенно опираться на обнаружение неудовлетворительности тех понятий, к-рые используются в опровергаемой теории. Кроме того, теория (представляющая всегда нек-рую систему суждений и доказательств, находящихся в определ. связях друг с другом) может быть опровергнута в указ. смысле несмотря на то, что в ней содержатся определ. элементы верного отображения действительности (напр., отдельные истинные суждения, особенно относящиеся к исходному фактич. материалу теории). Поэтому в отношении О. теорий нередко говорят об их "частичном" О. - опровержении, сохраняющем нек-рые их части.
О. - необходимая сторона познават. деятельности людей. О. суждений есть, напр., составная часть всех доказательств от противного (т.е. апагогич. косвенных доказательств). О. суждений и доказательств обычно присутствует в процессах проверки науч. гипотез, отбрасывания версий в судебном исследовании и т.п. При этом обнаруживается существ. различие между доказательством положит. тезисов и О. Это проявляется, в частности, в том, что эмпирич. доказательства положит. тезисов всегда вероятны (хотя эта вероятность и может быть близка к достоверности), в то время как эмпирич. доказательства отрицат. тезисов - О. утверждений, гипотез и т.п. в естествознании - весьма часто вполне достоверны. Не случайно, поэтому, конструктивное направление отвергает (принятый в классич. логике) принцип равнозначности двойного отрицания высказывания самому этому высказыванию. См. Доказательство, Отрицание, Доказательство от противного, Косвенное доказательство и лит. при этих статьях.
Б. Бирюков. Москва.