Определение и структура доказательства

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

Так же, как умозаключение, доказатель­ство производно от суждения и — поскольку суждение суть связь понятий — от понятия. Однако в отличие от умозаключения, до­казательство имеет обратную направленность мысли.

Кроме того, умозаключение выполняет генетическую функ­цию, в процессе его построения создается новое знание, а значит, это форма мышления, в которой производится знание. В дока­зательстве же, наоборот, новое знание не производится, так как доказываемое суждение непосредственно дано в нем, и другие, обосновывающие его суждения, тоже известны. Требуется лишь установить логическую связь между ними.

Доказательство состоит из тезисов, аргументов и демонстрации.

Тезисом доказательства — называется суждение, истинность которого необ­ходимо обосновать.

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

Демонстрацией назы­вается логическая связь между аргументами и между аргумен­тами и тезисом доказательства.

Логическая связь между тезисом и аргументами устанавлива­ется по правилам дедуктивного, индуктивного или традуктивного умозаключения. Поэтому доказательство является не самостоятельной формой мышления, а логической операцией с суждени­ями, в ходе которой используются умозаключения.

Формула доказательства записывается следующим образом:

.