КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО |
Большая советская энциклопедия (БЭС) |
Доказательство в логике какого-либо суждения (тезиса), основанное на опровержении (т. е. доказательстве ложности, доказательстве отрицания) некоторых др. суждений, находящихся в определённых отношениях к тезису. В т. н. разделительном К. д. тезис представляет собой один из членов дизъюнкции (т. е. суждения вида «A1, или А2, или..., или An»), о которой известно, что она истинна (или предполагается предварительно доказанной), а само доказательство состоит в опровержении всех членов Ai этой дизъюнкции, кроме доказываемого. Т. н. апагогическое К. д., или Доказательство от противного, состоит в опровержении отрицания доказываемого тезиса («антитезиса»). Если исходить из истинности (или доказуемости) исключенного третьего принципа (См. Исключённого третьего принцип) («А или не-А»), то апагогично К. д. можно считать частным случаем разделительного.
|
Философский словарь |
вид логического доказательства, отличающийся способом обоснования тезиса. В отличие от прямого доказательства в К. Д. истинность доказываемого тезиса обосновывается посредством установления ложности нек-рых положений. Последние так связаны с доказываемым тезисом, что из их ложности следует истинность тезиса. Существуют разные виды К. д. В разделительном К. Д. рассматривается нек-рое число предположении, в совокупности исчерпывающих все возможные в данном случае утверждения; выясняется ложность всех предположений, кроме одного, истинность к-рого, т. обр., и устанавливается. Др. вид К. Д. — апаго-гическое доказательство (доказательство от противного), в ходе к-рого получают логическое противоречие из допущения истинности антитезиса (утверждения, противоречащего доказываемому тезису) и на этом основании делают заключение об истинности тезиса. |
Философский энциклопедический словарь |
КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО – понятие логики (см. УМОЗАКЛЮЧЕНИЕ АПАГОГИЧЕСКОЕ). |
Большой юридический словарь |
см. Доказательства косвенные. |
|
|