Методологические требования, предъявляемые к корректно построенному доказательству, можно свести к следующим правилам.

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

2. Правило независимого аргумента: в процессе корректного ведения доказательства не допускается введение в систему аргументации утверждений, являющихся элементами системы утверждений, определяющих тезис доказательства. Нарушение этого правила влечет ошибку "порочного круга" в доказательстве, когда в процессе доказательства исходят из того, что требуется доказать.

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

3. Правило логической репрезентации формы демонстрации: в процессе корректного ведения доказательства любая внелогическая форма демонстрации должна обладать свойством репрезентируемости в форме логически корректного вывода тезиса из заданных аргументов. Другими словами, всегда, когда в процессе доказательства используются прагматические, психологические и другие внелогические формы убеждения в правильности отстаиваемого положения, должны существовать чисто логические средства контроля за приведенными в доказательстве рассуждениями. Нарушение данного правила влечет ошибку паралогизма. Паралогизмом называется неумышленная ошибка в ведении доказательства, связанная с нарушением правил логического вывода.

Заметим, что логическая репрезентация внелогических форм демонстрации является необходимым условием проверки истинности результатов доказательства, проведенного в любой области научной и профессиональной практики. Дело в том, что любой тезис доказательства, обоснованный с использованием внелогических форм демонстрации, представляет собой лишь правдоподобное, вероятностное суждения, истинностная оценка которого не может быть категорично определена непосредственно в процессе демонстрации. Действительно, новые результаты, новые знания, полученные в различных областях научного или профессионального познания, будь это физика или математика, экономика или юриспруденция, имеют скорее эвристическую, нежели логическую природу. Ведь прежде, чем строго логически обосновать тезис доказательства, надо еще догадаться, что данная система утверждений доказуема, то есть проявить творческое начало в исследовании проблемы. Тогда возникает закономерный вопрос: возможно ли достичь истину в процессе доказательства? Рождается ли истина в споре? Логическая проверка тезиса доказательства, полученного с использованием внелогических способов демонстрации, позволяет положительно ответить на вопрос.

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