Часть шестая. Логико-эпистемические аспекты теории аргументации

Виды аргументации

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

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

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

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

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

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

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

1. В узком смысле – доказывая «» и опровергая при этом «».

2. В широком смысле, и доказательство «», и опровержение «» – есть «доказательство»: в одном случае – истинности «», в другом – ложности «». Иначе говоря, когда термин «доказательство» употребляется в широком смысле, тогда не проводится различия между доказательством – как «доказательством утверждения об истинности некоторого высказывания» и опровержением – как «доказательством утверждения о ложности некоторого высказывания».

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

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

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

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

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

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

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

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

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

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

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

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

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

2. Косвенное (непрямое) доказательство истинности или ложности некоторого высказывания состоит в том, что оно достигается посредством опровержения некоторых других высказываний. Выделяются два вида косвенных (непрямых) доказательств: доказательство «от противного» или апагогическое и доказательство посредством исключения альтернатив.

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

· Доказательство «от противного» осуществляется посредством применения непрямого правила рассуждения:

Для доказательства истинности «А» при наличии множества аргументов «Г» предполагается ложность этого высказывания, то есть истинность «ùА», и показывается, что из «Г» и этого предположения выводимо противоречие «В» и «ùВ». Указанное правило позволяет заключить при этом, что из аргументов «Г» выводимо «А».

Для доказательства истинности «ùА» или так называемого «непрямого опровержения» используется несколько иная схема:

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

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

Обобщенная форма подобных доказательств такова:

– где m³2, «A_m» – тезис доказательства.

 

Из схемы видно, что условием истинности дизъюнктивного аргумента «A₁, …, A_m» является перечисление именно всех возможностей, среди которых тезис и все его возможные альтернативы.

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