Определение и структура доказательства
Доказательством называется логическое действие, направленное на обоснование истинности суждения с помощью других истинных суждений на основании их логической связи. Так же, как умозаключение, доказательство производно от суждения и — поскольку суждение суть связь понятий — от понятия. Однако в отличие от умозаключения, доказательство имеет обратную направленность мысли. Кроме того, умозаключение выполняет генетическую функцию, в процессе его построения создается новое знание, а значит, это форма мышления, в которой производится знание. В доказательстве же, наоборот, новое знание не производится, так как доказываемое суждение непосредственно дано в нем, и другие, обосновывающие его суждения, тоже известны. Требуется лишь установить логическую связь между ними. Доказательство состоит из тезисов, аргументов и демонстрации. Тезисом доказательства — называется суждение, истинность которого необходимо обосновать. Аргументами доказательства называются используемые для обоснования тезиса суждения, истинность которых либо очевидна, либо обоснована ранее. Демонстрацией называется логическая связь между аргументами и между аргументами и тезисом доказательства. Логическая связь между тезисом и аргументами устанавливается по правилам дедуктивного, индуктивного или традуктивного умозаключения. Поэтому доказательство является не самостоятельной формой мышления, а логической операцией с суждениями, в ходе которой используются умозаключения. Формула доказательства записывается следующим образом:
|
.
