Доказательность - важное качество правильного мышления. Теория доказательства и опровержения является в современных условиях средством формирования научно обоснованных убеждения. В науке ученым приходится доказывать самые разные суждения (например, суждение о том, что существовало до нашей эры, к какому периоду относятся предметы, обнаруживаемые при археологических раскопках, о звездах и галактиках Вселенной, о теоремах математики, о тайнах Мирового океана и космоса). Все эти суждения должны быть научно обоснованны.
Доказательство - это совокупность логических приемов обоснования истинности какого-либо суждения с помощью других истинных и связанных с ним суждений.
Доказательство связано с убеждением, но не тождественно ему. Доказательства должны основываться на данные науки и общественно-исторические практики. Убеждения же могут быть основаны, например, на религиозной вере в догматы церкви, на предрассудках, на неосведомлённости людей в вопросах экономики и политики, на видимости доказательности, основанной на различного рода софизмах. Религиозные проповедники могут "убедить" какую-то часть людей в существовании якобы бога, ада, рая и так далее.
Структура доказательства
В составе доказательства (и опровержения) выделяются: тезис доказательства, аргументы, промежуточные допущения и форма доказательства.
Тезис доказательства – суждение, истинность которого надо доказать. Тезис является главным структурным элементом аргументации и отвечает на вопрос: что обосновывают.
В качестве тезиса могут выступать теоретические положения науки, которые складываются из одного, нескольких или целой системы взаимосвязанных суждений. Роль тезиса может выполнять доказываемая в математике теорема. В эмпирических исследованиях тезисом могут быть результаты обобщения конкретных фактических данных; тезисом может быть суждение о свойствах или причинах возникновения единичного предмета или события.
Аргументы – это положения, с помощью которых обосновывается тезис. Они выполняют роль основания, или логического фундамента аргументации, и отвечают на вопрос: чем, с помощью чего ведется обоснование тезиса.
В качестве аргументов могут выступать различные по своему содержанию суждения: теоретические или эмпирические обобщения; утверждения о фактах; аксиомы; определения и конвенции.
Промежуточные допущения – вспомогательные допущения, которые вводятся в процессе рассуждения (дедукции) и устраняются затем при переходе к окончательному результату рассуждения. Эти высказывания могут быть как истинными, так и ложными. Например, в так называемых доказательствах «от противного» в качестве промежуточных допущений вводятся заведомо ложные высказывания.
Форма доказательства (демонстрация) – логический способ обоснования тезиса при помощи аргументов (возможно, с использованием промежуточных допущений). В общем виде она представляет собой одну из форм условной зависимости. Аргументы являются логическими основаниями, а тезис является их логическим следствием.
В соответствии со свойствами условной зависимости истинность аргументов достаточна для признания истинным тезиса при соблюдении правил вывода.
Логический переход от аргументов к тезису протекает в форме умозаключения (дедуктивного, индуктивного, по аналогии). Это может быть отдельное умозаключение, но чаще их цепочка. Посылками в выводе являются суждения, в которых выражена информация об аргументах, а заключением – суждение о тезисе. Продемонстрировать – значит показать, что тезис логически следует из принятых аргументов по правилам соответствующих умозаключений.
Особенность умозаключений, в форме которых протекает демонстрация, состоит в том, что нуждающееся в обосновании суждение, выступающее тезисом, является заключением вывода и формулируется заранее. Суждения об аргументах служат посылками вывода. Они остаются неизвестными и подлежат восстановлению.
