Общая характеристика логики доказывания

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

Основные понятия логики доказывания

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

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

менить дедуктивные методы рассуждения.

Совокупность доказательств в каждом конкретном случае представляет сложную систему, состоящую,

однако, из элементарных актов доказывания.

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

форм. Предметная область влияет на качество логичес­ких выводов.

Специфика логики доказывания в рассматривае­мой сфере полностью видна именно на элементарном уровне.

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

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

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

После того, как отдельное доказываемое обстоятель­ство (частный тезис) доказано, само это обстоятельство тоже иногда называют доказательством. Сведения о таком обстоятельстве выведены логически из исходных доказательств. Их следует называть выводными дока­зательствами.

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

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

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

Структура элементарного акта доказывания

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

В любом элементарном акте доказывания выделяют­ся два суждения: одно служит доказательством (Д), дру­гое — доказываемым обстоятельством, или тезисом (Т).

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

Таким образом, при строгом рассмотрении элемен­тарного акта доказывания в нем выделяются три суж­дения:

а) связывающее (общее правило),

б) доказывающее (доказательство) и

в) доказываемое (тезис).

Если при этом одно из исходных суждений является общим правилом, а выводимое — частным суждением, то умозаключение является дедуктивным. Полностью это относится только к однозначным актам доказыва­ния. Многозначные акты доказывания лишь внешне на­поминают дедуктивные умозаключения. В их структу­ре проявляются также признаки индуктивного вывода.

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

представить и в форме категорического силлогизма. Логическая форма элементарного акта доказывания такова:

Классификация элементарных актов доказывания

Элементарные акты доказывания могут быть разде­лены на группы по трем основаниям:

1) по направлению вывода;

2) по качеству доказываемого суждения;

3) по модальности связи.

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

И линейный, и альтернативный акты доказывания могут быть позитивными или негативными. И линей­ное, и альтернативное доказывание могут быть одно­значными и в позитивной, и в негативной форме. Они построены в полном соответствии с дедуктивным умо­заключением традиционной логики. И линейные, и альтернативные акты доказывания могут быть много­значными, как позитивными, так и негативными.

Линейные акты делятся на эквивалентные, сопут- ственные и условные, а альтернативные — на разде­лительные и соединительно-разделительные. Основа­нием этого деления служит характер связи между доказывающим и доказываемым суждениями.

12.