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

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

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

2) О косвенных доказательствах (уликах) в праве см. в ст. Доказательства.

indirect evidence

参考证据

-1) вид дедуктивного доказательства, при котором некоторое суждение (тезис) доказывается посредством опровержения к.-л.

других суждений, связанных с доказываемым. Различают апагогическое К.д.

(доказательство от противного), при котором из отрицания тезиса выводится заведомо ложное суждение (например, противоречие), и разделительное К. д.

при котором опровергаются все альтернативы тезиса. (О К.д. (уликах) в праве - см. ДОКАЗАТЕЛЬСТВА).

КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО

понятие логики (см. Умозаключение апагогическое).

ко́свенное доказа́тельство

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

* * *

КО́СВЕННОЕ ДОКАЗА́ТЕЛЬСТВО,

1) вид дедуктивного доказательства, при котором некоторое суждение (тезис) доказывается посредством опровержения некоторых других суждений, связанных с доказываемым. Различают апагогическое косвенное доказательство (доказательство от противного), при котором из отрицания тезиса выводится заведомо ложное суждение (напр., противоречие), и разделительное косвенное доказательство, при котором опровергаются все альтернативы тезиса.

2) О косвенных доказательствах (уликах) в праве см. в ст. Доказательства(см. ДОКАЗАТЕЛЬСТВА).

indirect proof

dimostrazione indiretta [non costruttiva]

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