Билет №13

1. Общая характеристика доказательства.

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

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

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

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

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

Билет №14

1. Определение и структура доказательства

Доказательство – процедура установления истинности некоторого утверждения путем приведения других утверждений, истинность которых известна.

Процесс обоснования истинности называется доказыванием, или аргументацией.

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

Следующим элементом является аргумент, или основание.

Аргументы – это исходные положения, с помощью которых обосновывают тезис. Они являются базисом основания. Аргументами могут выступать любые суждения, если они истинны и имеют отношение к тезису, истинность которого необходимо доказать.

И последним элементом является демонстрация доказательства, т. е. умозаключение, с помощью которого тезис и аргумент логически связываются.

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

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

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

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

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

Недедуктивную аргументацию можно разделить на два вида:

1) индуктивное обоснование;

2) доказательство по аналогии.

Индуктивным обоснованием является переход от аргументов к тезисам.

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

2. Проанализируйте состав следующего простого категорического силлогизма:

В силлогизме должно быть три термина. Субъект заключения именуется меньшим термином и обозначается буквой «S». Предикат заключения называется большим термином и обозначается буквой «P». Меньший и больший термины называются крайними терминами силлогизма. Термин, который встречается в посылках, но не встречается в заключении, называется средним термином (связка) и обозначается буквой «M». Суждение, в которое входит больший термин- большая посылка, суждение, в которое входит меньший термин- меньшая посылка.

Все греки(S)- люди(M)

Все люди(M) смертны(P)

Все греки(S) смертны(P)