Валентин Асмус - ЛОГИКА

Ошибка этого вида называется ошибкой «чрезмерного доказательства». О человеке, впадающем в эту ошибку, говорят:, «кто доказывает слишком много, тот ничего не доказывает».

Обычно источником ошибки чрезмерного доказательства является стремление получить вывод непременно из общих посылок, так как общность эта кажется наиболее внушительной. Но если взятая в столь общем виде посылка оказывается ложной, то ложность её без труда может быть обнаружена ссылкой на противоречащие случаи.

§ 48.В некоторых случаях за ошибку чрезмерного доказательства принимают доказательство, которое на деле этой ошибки не содержит. Таковы доказательства, в результате которых получается обоснование не только тезиса, подлежащего доказательству, но сверх того и некоторого другого тезиса. Например, доказательство теоремы Пифагора, развитое в «Началах» Евклида, доказывает не только то, что квадрат, построенный на гипотенузе, в итоге равняется сумме квадратов, построенных на катетах. Кроме этого положения, в ходе доказательства устанавливается, какую часть общего итога составляет квадрат, построенный на каждом из катетов в отдельности.

Такова первая группа разновидностей ошибки ложного основания. Все ошибки этой группы объединяются одним признаком: во всех доказательствах, где содержатся эти ошибки, основание — заведомо ложное.

§ 49. Вторая группа ошибок в основаниях состоит в использовании такого основания, которое хотя и не является заведомо ложным, однако не может считаться бесспорным и только принимается или выдаётся за бесспорное. Латинское название этой ошибки — «petitio рrіnсіріі», т. е. «предвосхищение основания». Название это показывает, что для подлинного доказательства выдвинутого тезиса требуется другое основание, а не то, которое было предвосхищено в качестве основания, будто бы обосновывающего вывод, но которое на деле его не обосновывает.

Так в начале прошлого века некоторые учёные пытались доказывать, будто такие вещества, как, например, мочевина, не могут быть получены в лаборатории искусственным путём. Ошибка в рассуждениях этих учёных была ошибкой petitio рrіnсіріі: они исходили, как из бесспорного основания, из недоказанного в то время (а впоследствии оказавшегося ложным) положения, будто продукты, вырабатываемые в организмах, не могут быть получены лабораторным способом.

Особый вид ошибки petitio рrіnсіріі образует ошибка, состоящая в том, что утверждение относительно группы предметов, истинное только при условии, если группа эта рассматривается в качестве некоторого целого, выдаётся, без всякой проверки, за основание, истинное относительно каждого из этих предметов в отдельности. Или же, наоборот, относительно группы предметов, рассматриваемой как некоторое целое, без всякой проверки утверждается в качестве истины то, что является истинным лишь относительно каждого из этих предметов в отдельности.

Например, было бы ошибкой, если бы из утверждения «грибы водятся в тенистых местах» мы сделали вывод, будто и гриб шампиньон водится непременно в тенистых местах. Как известно, гриб этот часто попадается и на незатенённых пустырях. Ошибка здесь состоит в том, что утверждение, истинное лишь относительно группы в целом, мы без надлежащей проверку признали истинным также относительно каждого предмета группы.

Обратный пример: одну нитку легко перервать руками. Но было бы ошибкой сделать отсюда вывод, будто сотня ниток, сплетённая в ткань, также легко может быть перервана руками. Ошибка здесь в том, что положение, верное в отношении к единичному предмету группы, принимается за верное также и по отношению к группе в целом.

§ 50.Мы рассмотрели группу ошибок заведомо ложного основания и группу ошибок сомнительного (недоказанного) основания с их главными разновидностями.

Третья группа ошибок в основании состоит в том, что в качестве основания используется положение, которое хотя и было ранее доказано, однако было доказано при помощи того же самого основания. В этом случае положение X доказывается при помощи Y, которое в свою очередь было ранее доказано при помощи положения X. Ошибка эта называется «кругом в доказательстве», по-латыни «circulus in demonstrando».

Круг в доказательстве сразу бросается в глаза, если рассуждение коротко. Но в доказательствах, состоящих из длинных цепей умозаключений, «круг» может легко остаться незамеченным.

Даже самые глубокомысленные философы не замечали иногда ошибки «круга», если доказательство, в котором имелась эта ошибка, было достаточно длинно и если положение, которое обосновывалось этим доказательством, принадлежало к числу тех, доказательство которых считалось особенно важным и желательным.