Ошибки логические в доказательствах. К числу ошибок этого типа относится прежде всего ошибка ложного основания, когда в качестве посылки доказательства принимается ложное суждение (эта ошибка называется также «основным заблуждением»). Поскольку из ложных суждений по законам и правилам логики могут быть выведены в одних случаях ложные, а в других — истинные следствия, постольку наличие в числе посылок ложного суждения оставляет открытым вопрос об истинности доказываемого тезиса. Частным случаем этой ошибки является такое использование (в качестве посылки доказательства) некоторого суждения, требующего для своей истинности определённых ограничительных условий, при котором это суждение рассматривается безотносительно к этим условиям, что приводит к определённой ложности. Другой случай этой же ошибки состоит в том, что вместо некоторой нужной для данного доказательства истинной посылки берётся более сильное суждение, являющееся, однако, ложным (суждение A называется более сильным, чем суждение B, если из A в предположении его истинности следует B, но не наоборот). Также весьма распространённым видом логической ошибки этого типа является ошибка недоказанного основания. Она состоит в том, что в качестве посылки используется недоказанное суждение, в силу чего недоказанным оказывается и тезис доказательства. К числу ошибок этого вида относится так называемые предвосхищение основания или «предрешение основания», суть которого состоит в том, что за основание доказательства принимается суждение, истинность которого предполагает истинность тезиса. Важным частным случаем этого вида ошибок является круг в доказательстве.
|