Логико-эпистемические аспекты аргументации

 

 

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

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

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

В простейших случаях истинность или ложность некоторого утверждения можно установить путем непосредственного обращения к фактам, однако, как правило, необходимы специальные логические процедуры, объединяемые под термином «аргументация».

Обоснование высказывания в процессе аргументации может быть полным или частичным.

Полное обоснование утверждения об истинности какого-либо высказывания называется доказательством этого высказывания.

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

Частичное обоснование утверждения об истинности некоторого высказывания называется его подтверждением.

Частичное обоснование утверждения о ложности некоторого высказывания называется критикой этого высказывания.

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

Аналогично опровержение есть предельный случай критики высказывания.

 

 

Структура доказательства

 

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

Тезис доказательства – высказывание, истинность или ложность которого доказывается.

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

Промежуточные допущения – вспомогательные допущения, которые вводятся в процессе рассуждения (дедукции) и устраняются затем при переходе к окончательному результату рассуждения. Эти высказывания могут быть как истинными, так и ложными. Например, в так называемых доказательствах «от противного» (см. п. 9.3) в качестве промежуточных допущений обычно вводятся заведомо ложные высказывания.

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

 

 

Виды доказательств

 

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

Например, именно таким образом доказано, что существует смена времен года, дня и ночи, что существуют жидкие и твердые тела и т.д.

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

Основными видами доказательств, различающихся по форме, являются доказательства прямые и непрямые (косвенные).

Прямое доказательство – это дедуктивный вывод, в котором тезис (Т) непосредственно выводится из аргументов (А) в качестве заключения вывода. Другими словами, истинность тезиса выводится из истинности аргументов без введения дополнительных предположений.

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

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

Косвенное доказательство, в свою очередь, подразделяется на два вида: доказательство «от противного» и разделительное доказательство.

Доказательство «от противного» по своей формальной структуре совпадает с непрямым умозаключением «рассуждение от противного». Форма доказательства «от противного» может быть представлена следующим образом:

где А – аргументы;

Т – тезис;

`Т– антитезис (высказывание, противоречащее тезису);

В Щ`В – выводимое из антитезиса противоречие.

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

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

где А_n – тезис доказательства.

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