6. Логические основы аргументации.

1. Аргументация как способ рассуждения.

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

Важнейшим аспектом аргументации является доказательность. Но понятие ’’аргументация’’ шире, чем понятие ’’доказательство’’. Задачей доказательства является обоснование истинности тезиса. А целью аргументации кроме того является обоснование целесообразности принятия тезиса.

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

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

Выделяются различные формы процессов аргументации. Это, во-первых, такие элементарные формы, как доказательство и опровержение, подтверждение и критика. Это, во-вторых, сложные формы – споры, дискуссии, представляющие собой определенные сочетания элементарных форм. Все эти логические операции имеют одинаковую структуру, включающую в себя следующие элементы: 1) тезис, 2) аргументы, 3) демонстрацию. Тезис – это суждение, истинность или ложность которого обосновывается. Аргументы – суждения, с помощью которых обосновывается истинность или ложность тезиса. Демонстрация – это рассуждение, показывающее логическую связь между тезисом и аргументами. Демонстрация представляет собой тот или иной вид умозаключений. Она логически санкционирует переход от аргументов к тезису.

6. 2. Доказательство.

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

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

Структуру прямого доказательства передает следующая схема:

а₁, а₂, ... а_n

Т

где а₁, а₂, ...,а_n – аргументы, Т – тезис, а стрелки от аргументов к тезису – демонстрация.

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

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

Косвенные доказательства делятся на два вида: 1) доказательство от противного, 2) доказательство посредством исключения альтернатив.

Доказательство от противного осуществляется путем установления ложности противоречащего тезису суждения.

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

p V q V T

p , q

T

где Т – тезис, а р и q – другие альтернативы, рассматриваемые в качестве антитезиса.