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

 

ПЛАН

1. Понятие аргументации и его значение.

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

 

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

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

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

Для теории аргументации имеют значение два свойства рассуждений: доказательность и убедительность. Их сочетания дают три различных характеристики рассуждений. Первая из них – недоказанная убедительность – характеристика рассуждений, не являющихся логически обоснованными, но тем не менее признанными достаточными в рамках некоторой установки. Это различные правдоподобные рассуждения, базирующиеся на индукциях, аналогиях, вероятностных дедукциях. Убедительность такого рода рассуждений достигается иногда благодаря ораторскому искусству, умелому манипулированию ожиданиями и предрассудками. Большая часть недоказанных, но убедительных высказываний находятся в предметных областях недедуктивного знания.

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

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

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

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

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

Важнейшей составляющей любого доказательства являются аргументы. Какие именно суждения могут и должны быть аргументами доказательств? В логической теории выделяяют несколько видов аргаментов.

1. Удостоверенные единичные факты. Это в первую очередь данные наблюдений и экспериментов, статистические данные, результаты социологических исследований, некоторые улики (подписи на документах, свидетельские показания) и т.п.

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

3. Аксиомы. В теории аргументации они принимаются как истины без доказательств. Аристотель считал, что аксиомы достоверно истинны, поскольку совершенно ясны и просты. Евклид рассматривал принятые им геометрические аксиомы как самоочевидные истины. Позднее аксиомы трактовались как вечные и непреложные истины, существующие до всякого опыта и не зависящие от него. В неклассической науке аксиоматическое обоснование подверглось переосмыслению. Так, К. Гёдель обосновал то, что аксиомы – это высказывания, которые одновременно недоказуемы и неопровержимы. Аксиомы обосновываются не сами по себе, а в качестве необходимых составных элементов теории: подтверждение последней и есть одновременное подтверждение системы аксиом. Критерии выбора аксиом меняются от теории к теории и являются во многом прагматическими. Аксиомы – это просто постулаты, исходные и принимаемые положения теории, которые могут стать основанием для доказательства других её положений.

4. Законы, ранее доказанные теоремы, решённые задачи. В качестве аргументов доказательств могут выступать ранее доказанные суждения.

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

 

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

 

ПЛАН

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

2. Опровержение и его способы.

 

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

Задача доказательства – исчерпывающе утвердить истинность тезиса.Но нередко в понятие доказательства вкладывается более широкий смысл: оно понимается как любой способ обоснования истинности тезиса. Расширительное толкование доказательства обычно используется в социальных науках, непосредственно опирающихся на наблюдения (например, в психологии), а также в процессе обучения, где для подтверждения тезиса применяется самый разнородный эмпирический материал. Логика не претендует на полное раскрытие интуитивного или «наивного» доказательства, хотя и признаёт их большую эвристическую ценность. Одним словом, определение понятия доказательства (или даже несколько определений) явно не достаточно для понимания его природы. Чтобы представить себе, какой именно круг интеллектуальных операций в логическое теории анализируется как доказательство, необходимо рассмотреть виды доказательств.

По способу проведения доказательства делятся на два вида. При прямом доказательстве задача состоит в том, чтобы найти убедительные аргументы, из которых логически вытекает тезис. Здесь тезис - заключение демонстративного вывода, посылками которого являются аргументы. Пример прямого доказательства: «Общественно опасные деяния морально осуждаются людьми, а некоторые из них относятся к преступлениям. Следовательно, преступления морально осуждаются». Косвенное (непрямое) доказательство – это логическое действие, в котором истинность выдвинутого тезиса обосновывается путём доказательства ложности антитезиса. Косвенное доказательство существует в двух разновидностях: апагогическое доказательство и разделительное доказательство.

Апагогическое доказательство (доказательство «от противного») осуществляется через установление ложности противоречащего тезису суждения. Этот вид доказательства широко используется в математике (но не только), он базируется на законе исключённого третьего.

Апагогическое доказательство проходит следующие этапы: мы убеждаемся, что тезис (t) недоказуем по существу и образуем противоречащее суждение – антитезис (┐t); затем из антитезиса мы выводим следствия с намерением найти среди них ложное, устанавливаем ложность следствия и делаем вывод, что антитезис ложен; из ложности антитезиса мы заключаем об истинности тезиса. Метод рассуждения, применяемый в этом виде косвенного доказательства, называется методом «сведения к абсурду», он основывается на отрицающем модусе условно-категорического силлогизма - ((┐t →q) & ┐q)→ ┐(┐t). Закон двойного отрицания позволяет сделать вывод об истинности тезиса.

Разделительное доказательство (доказательство методом исключения) базируется на отрицающе-утверждающем модусе разделительно-категорического силлогизма. Тезис здесь является утверждаемой альтернативой разделительной посылки. Антитезис – это альтернативы, подвергаемые отрицанию. Например: «Преступление могли совершить только X, либо Y, либо Z. Точно установлено, что X и Y имеют алиби. Следовательно, преступление совершил Z». Формула этого вывода – ((а v b v c) & (┐a & ┐b) → c. Заключение будет истинным, есль в разделительном суждении предусмотрены все возможные случаи. Доказательство методом исключения – это прежде всего поиск аргументов, обосновывающих ложность отвергаемых альтернатив.

Опровержение – это логическая операция, устанавливающая ложность либо необоснованность тезиса. Опровержение имеет ту же логическую структуру, что и доказательство, подчиняется тем же правилам. Существует три способа опровержения: опровержение тезиса, критика аргументов, критика демонстрации.

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

Косвенно тезис может быть опровергнут методом сведения в абсурду. Доказывается, что из данного тезиса вытекают следствия, противоречащие фактам или общепринятой истине. Косвенное опровержение тезиса осуществляется также через доказательство истинности антитезиса. Например, для того, чтобы опровергнуть тезис «все студенты изучают логику» следует построить противоречащее тезису суждение - «некоторые студенты логику не изучают» и обосновать его. По закону исключённого третьего суждения А и О не могут быть одновременно истинными или ложными, поэтому из истинности антитезиса следует ложность тезиса. Разделительное опровержение не используется.

Критика аргументов как способ опровержения заключается в том, что оппонент указывает на несостоятельность аргументов, подтверждающих тезис. Это может быть неточное изложение фактов, двусмысленность, скрытое противоречие в аргументации и т.п. Следует иметь в виду, что ложность аргументов не означает ложности тезиса, мы не можем строить достоверный вывод от отрицания оснований к отрицанию вытекающего из них следствия (тезиса). Критика аргументов не является опровержением по существу – тезис остаётся не доказанным, но и не опровергнутым. Может ли истинный тезис не иметь аргументов в свою пользу? Конечно. Достаточно представить себе ситуацию, когда обвиняемый судом не виновен, но не может представить подтверждающие это факты. Критика аргументов используется в доказательных рассуждениях в тех случаях, когда достаточно всего лишь поставить тезис под сомнение.

Критика демонстрации – это способ опровержения, состоящий в том, что оппонент указывает на логические ошибки в структуре доказательства. Например, - отсутствие необходимой связи между тезисом и аргументами, или «поспешное обобщение». Но обнаружив ошибку в демонстрации, мы всего лишь разрушаем доказательство, а не опровергаем тезис по существу. Тезис может оказаться истинным, хотя своей доказательной базы он лишился.

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