Понятие доказательства и его структура

К оглавлению
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 
17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 
34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 
51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 
68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 
85 86 87 88 89 

Цель познания в науке и практике - достижение достоверного, объективно истинного знания, на основе которого возможно активное воздействие человека на окружающий мир с целью его преобразования. Есть два пути достижения этого знания: непосредственный и опосредованный. Опосредованный путь - это путь доказательства, которое представляет собой логическую операцию, обоснование истинности какого-либо суждения с помощью других суждений, истинность которых уже установлена. Например, если А является следствием из истинных суждений В и С, то оно также истинно. Доказательство строится для того, чтобы удостовериться в истинности некоторого знания. В процессе доказательства отыскиваются истинные основания, из которых это знание следует. В этом доказательство существенно отличается от умозаключения, которое решает другую познавательную задачу - задачу нахождения того, что следует из имеющихся посылок.

Доказательное рассуждение включает три взаимосвязанных элемента: тезис, аргументы, демонстрацию.

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

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

Демонстрация - это способ логической связи между аргументами и тезисом. Это сам процесс доказательного рассуждения, процесс логического выведения доказываемого положения, т.е. тезиса из аргументов. Логический переход от аргументов к тезису протекает в форме умозаключения (дедуктивного, индуктивного, аналогии).

По способу обоснования тезиса различают две разновидности доказательств: прямое и косвенное.

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

Косвенным называется доказательство, в котором истинность тезиса обосновывается с использованием противоречащего тезису допущения (антитезиса). Косвенные доказательства именуются иногда «доказательствами от противного», т.е. здесь доказывается не тезис, а антитезис, причем доказательство устанавливает ложность последнего. Затем на основе закона исключенного третьего необходимо заключают об истинности тезиса.