Новая философская энциклопедия. Том первый

ДОКАЗАТЕЛЬСТВО КОСВЕННОЕ(непрямое доказательство) —доказательство «от противоречащего случая», такая форма логической аргументации, при которой явно используются дедуктивные свойства противоречия. Обычно выделяют две формы косвенного доказательства — разделительную и апагогическую. В разделительной форме исходной посылкой служит дизъюнкция суждений, о которой известно, что она истинна и образует полную систему гипотез (альтернатив), а тезисом доказательства (тем, что требуется доказать) объявляется (по крайней мере) одна из гипотез этой дизъюнкции. Т. о., особенность разделительного косвенного доказательства — в исключении (как ложных) всех гипотез главной посылки, кроме тезиса. Такое исключение проводится

684