Общие понятия о доказательстве и его структура.
Истинность мысли должна быть обоснована. Требование обоснованности вытекает из логического принципа, согласно которому всякая мысль признается истинной, если она имеет достаточное основание. Таким основанием являются любые мысли, истинность которых обоснована. Процесс обоснования такого типа называется доказательством в широком смысле слова, т.е. доказательство - это логическая процедура обоснования истинности одних утверждений (высказываний) с помощью других утверждений (высказываний), истинность которых считается установленной.
Существуют три канонических вопроса, на которые необходимо дать ответ прежде, чем начинать доказательство. Первый вопрос - что именно следует доказывать? Второй вопрос - на основании чего следует доказывать? Третий вопрос - как именно следует доказывать?
Если отвлечься от содержательной стороны доказательства и сосредоточить внимание на его форме, то ответы на эти вопросы будут таковы:
а) ответ на первый вопрос — «Мы формулируем такие доказа
тельства, т.е. суждение, истинность которого должна обосновываться»;
б) ответ на второй вопрос — «Мы формулируем аргументы, т.е.
суждения, с помощью которых обосновывается истинность тезиса»;
в) ответ на третий вопрос — «Мы формулируем демонстрацию
доказательства, т.е. то умозаключение, с помощью которого логически
связываются тезис и аргументы». Доказательство невозможно хотя бы
без одной из указанных частей.
В качестве тезиса может быть выставлено любое суждение, истинность которого нуждается в обосновании. Тезисом может быть теорема, гипотеза, судебная версия, предсказание, истинность которых еще предстоит установить.
В качестве аргументов могут быть использованы:
1) фактологические суждения, т.е. суждения, в которых конструируется фактическое положение дел;
2) определения понятий, относящихся к предмету речи или используемых в ходе доказательного рассуждения;
3) экономические и правовые законы.
Подбор аргументов требует в большинстве случаев глубокого проникновения в суть решаемой проблемы, богатого воображения и тонкой интуиции.
Демонстрация - это способ логической связи между тезисом и аргументами, санкционирующий переход от утверждения истинности аргументов к утверждению истинности тезиса. Продемонстрировать истинность тезиса - значит показать, что тезис логически следует из аргументов согласно определенным правилам логического следования.
Виды доказательства по типу используемых умозаключений доказательство можно разделить на дедуктивные и недедуктивные. Дедуктивные доказательства бывают прямые и косвенные. В свою очередь косвенное доказательство разделяется на апагогическое и разделительное.
Опровержение - с логической точки зрения между доказательством и опровержением не существует принципиального различия. Доказать какое-либо утверждение — значит опровергнуть противоречащее ему утверждение, как и опровергнуть какое-либо утверждение - значит доказать противоречащее ему утверждение.
…
