Истинность доказываемого (или ложность опровергаемого) тезиса — первое необходимое условие логической безупречности доказательства. Но это условие — не единственное. В безупречном доказательстве истинный тезис выводится не из любых оснований, но только из оснований истинных. Поэтому вторым необходимым условием логической безупречности доказательства является истинность оснований, на которые опирается доказательство. Так как из истинности основания всегда вытекает истинность следствия, то при условии, если демонстрация ведётся правильно, следствие, т. е. доказываемый тезис, также будет истинным.
Напротив, при ложности основания следствие может оказаться как истинным, так и ложным. При этом вопрос о том, будет ли следствие истинным или ложным, остаётся совершенно открытым даже при условии, если демонстрация вполне безупречна, т. е. если доказываемый тезис действительно логически следует из принятых оснований.
Требованиям доказательства не удовлетворяют основания не только явно ложные, но и сомнительные, недоказанные. И в том и в другом случае вопрос об истинности доказываемого тезиса остаётся открытым. И в том и в другом случае доказательство не достигает своей цели — не даёт определённого ответа на вопрос, истинен или ложен доказываемый тезис.
Совершенно очевидно, что при указанных условиях доказательство будет логически ошибочным. Доказательство, приводящее к тезису, относительно которого неизвестно, истинен он или ложен,— негодное доказательство.
а) Ошибка ложного основания
Первым видом ошибок в основаниях доказательства является ошибка ложного основания. Она состоит в том, что в качестве основания используется ложное положение, которое, однако, считают истинным или выдают за истинное. Рассматривая взятое ложное основание в качестве истинного, развивают далее правильную демонстрацию, которая приводит, как к заключению, к доказываемому тезису.
Ошибка ложного основания, как и всякая логическая ошибка, может быть либо непреднамеренным, непроизвольным заблуждением, либо сознательно применяемым приёмом, т. е. софизмом.
Непреднамеренная ошибка ложного основания возникает, во-первых, вследствие незнания того, что положение, принятое в качестве основания, ложно. Ошибка эта встречается очень часто. Многие положения, которые в течение долгого времени считались истинными и несомненными, оказались впоследствии ложными. А между тем эти ложные положения до установления их ложности использовались и используются в качестве оснований во многих доказательствах, приводили и приводят во многих случаях к ложным заключениям.
