Косвенное Доказательство

Косвенное Доказательство в Энциклопедическом словаре:
Косвенное Доказательство - вид дедуктивного доказательства, при которомнекоторое суждение (тезис) доказывается посредством опровержения некоторыхдругих суждений, связанных с доказываемым. Различают апагогическоекосвенное доказательство (доказательство от противного), при котором изотрицания тезиса выводится заведомо ложное суждение (напр., противоречие),и разделительное косвенное доказательство, при котором опровергаются всеальтернативы тезиса. 2) О косвенных доказательствах (уликах) в праве см. вст. Доказательства.

Значение слова Косвенное Доказательство по Логическому словарю:
Косвенное Доказательство -  - доказательство, в котором истинность тезиса устанавливается путем показа ошибочности противоположного ему допущения. При прямом доказательстве задача состоит в том, чтобы найти убедительные аргументы, из которых логически вытекает тезис. В К. д. рассуждение идет как бы окольным путем. Прямые аргументы для выведения из них доказываемого положения не отыскиваются. Вме­сто этого формулируется антитезис, отрицание этого положе­ния, и тем или иным способом показывается его несостоятельность. Поскольку К. д. использует отрицание доказываемого положе­ния, оно называется также доказательством от противно­го. Напр., врач, убеждая пациента, что тот не болен малярией, мо­жет рассуждать так: «Если бы действительно была малярия, имелся бы ряд характерных для нее симптомов, в частности общая слабость и озноб. Однако таких симптомов нет. Значит, нет и малярии». К. д. проходит, таким образом, следующие этапы: выдвигается антитезис и из него выводятся следствия с намерением найти сре­ди них ложное; устанавливается, что в числе следствий действи­тельно есть ложное; делается вывод, что антитезис неверен; из лож­ности антитезиса делается заключение, что тезис является истинным. В зависимости от того, как устанавливается ложность антите­зиса, можно выделить несколько вариантов К. д. Иногда ложность антитезиса удается установить простым сопоставлением вытека­ющих из него следствий с фактами, эмпирическими данными. Так, в приведенном примере рассуждение идет по схеме: если неверно первое, то второе; но второе неверно, значит, верно первое. Нередко анализ самой логической структуры следствий антите­зиса позволяет сделать вывод, что он ошибочен. Так, если в чис­ле следствий встретились и утверждение, и отрицание одного и того же, можно сразу заключить, что антитезис неверен. Ложным будет он и в том случае, если из него выводится внутренне проти­воречивое высказывание о тождестве утверждения и отрицания.   Напр., для доказательства тезиса «Квадрат — это ромб с пря­мыми углами» выдвигается антитезис: «Неверно, что квадрат есть ромб с прямыми углами». Из последнего выводится как то, что у квадрата все углы прямые (т. к. быть квадратом значит иметь четы­ре прямых угла), так и то, что у квадрата углы не являются пря­мыми. Раз из антитезиса вытекает и утверждение, и отрицание одного и того же, значит, он неверен, а правильным является противоположное утверждение - тезис. Рассуждение здесь идет в соответствии с законом косвенного доказательства: если из отрицания высказывания вытекает логи­ческое противоречие, само высказывание истинно. Существует разновидность К. д., когда прямо не приходится ис­кать ложных следствий антитезиса. Согласно закону Клавия, если из отрицания высказывания вытекает это высказывание, оно являет­ся истинным. Напр., из отрицательного высказывания «Ни одно суждение не является отрицательным» вытекает: «Некоторые суж­дения являются отрицательными»; значит, истинно это утверди­тельное высказывание, а не исходное отрицательное. К. д. — эффективное средство обоснования выдвигаемых поло­жений. Однако его специфика в определенной мере ограничивает сферу применения. Эта специфика состоит в том, что из антите­зиса, являющегося ложным, выводятся следствия до тех пор, пока не будет получено ложное утверждение или логическое противо­речие. Имея дело с К. д., приходится все время сосредоточиваться не на верном положении, справедливость которого необходимо обосновать, а на ошибочных утверждениях. Более серьезные воз­ражения против К.д. связаны с использованием в нем закона (сня­тия) двойного отрицания. Этот закон не признается универсаль­ным, неограниченно приложимым интуиционистской логикой.

Определение «Косвенное Доказательство» по БСЭ:
Косвенное доказательство - Доказательство в логике какого-либо суждения (тезиса), основанное на опровержении (т. е. доказательстве ложности, доказательстве отрицания) некоторых др. суждений, находящихся в определённых отношениях к тезису. В т. н. разделительном К. д. тезис представляет собой один из членов дизъюнкции (т. е. суждения вида «A1, или А2, или..., или An»),
о которой известно, что она истинна (или предполагается предварительно доказанной), а само доказательство состоит в опровержении всех членов Ai этой дизъюнкции, кроме доказываемого. Т. н. апагогическое К. д., или Доказательство от противного, состоит в опровержении отрицания доказываемого тезиса
(«антитезиса»). Если исходить из истинности (или доказуемости) исключенного третьего принципа («A или не-A»), то апагогично К. д. можно считать частным случаем разделительного.


Косвенно   
Косвенное Доказательство   
Косвенность