Контрольная работа: Логические основы теории аргументации

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

4. Ранее доказанные законы науки и теоремы как аргументы доказательства.

2. Понятие опровержения.

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

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

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

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

Опровержение должно показать, что: 1) неправильно построено само доказательство (аргументы или демонстрация); 2) выдвину­тый тезис ложен или не доказан.

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

Существуют три способа опровержения: I) опровержение те­зиса (прямое и косвенное); II) критика аргументов; III) выявле­ние несостоятельности демонстрации.

I. Опровержение тезиса (прямое и косвенное).

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

1. Опровержение фактами — самый верный и успешный способ опровержения. Ранее говорилось о роли подбора фактов, о методике оперирования ими; все это должно учитываться и в процессе опровержения фактами, противоречащими тезису. Долж­ны быть приведены действительные события, явления, статисти­ческие данные, которые противоречат тезису, т. е. опровергаемому суждению. Например, чтобы опровергнуть тезис «На Венере возможна органическая жизнь», достаточно привести такие дан­ные: температура на поверхности Венеры 470—480° С, а давле­ние — 95—97 атмосфер. Эти данные свидетельствуют о том, что жизнь на Венере невозможна,

2. Устанавливается ложность (или противоречивость) след­ствий, вытекающих из тезиса. Доказывается, что из данного тезиса вытекают следствия, противоречащие истине. Этот прием называется «сведение к абсурду» (reductioadabsurdum). Посту­пают так: опровергаемый тезис временно признается истинным, но затем из него выводятся такие следствия, которые противоречат истине.

В классической двузначной логике (как уже отмечалось) метод «сведения к абсурду» выражается в виде формулы: а = а -» F, где F — противоречие или ложь.

В более общей форме принцип «сведения (приведения) к абсурду» выражается такой формулой: (а - Ь) - ((а -» Ъ) - а).

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

Например, надо опровергнуть широко распространенный тезис: » «Все собаки лают» (суждение А, общеутвердительное). Для суждения А противоречащим будет суждение О — частноотрицательное: «Некоторые собаки не лают». Для доказательства по­следнего достаточно привести несколько примеров или хотя бы один пример: «Собаки у пигмеев никогца не лают». Итак, доказано суждение О. В силу закона исключенного третьего, если О — истинно, то А — ложно. Следовательно, тезис опровергнут.

II. Критика аргументов.

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

Ложность аргументов не означает ложности тезиса: тезис может оставаться истинным.

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

III. Выявление несостоятельности демонстрации.

Этот способ опровержения состоит в том, что показываются ошибки в форме доказательства. Наиболее распространенной ошиб­кой является та, что истинность опровергаемого тезиса не вытека­ет, не следует из аргументов, приведенных в подтверждение тезиса. Доказательство может быть неправильно построенным, если нару­шено какое-либо правило дедуктивного умозаключения или сдела­но «поспешное обобщение», т. е. неправильное умозаключение от истинности суждения I к истинности суждения А (аналогично, от истинности суждения О к истинности суждения Е).

Но обнаружив ошибки в ходе демонстрации, мы опровергаем ее ход, но не опровергаем сам тезис. Задача же доказательства истинности тезиса лежит на том, кто его выдвинул.

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

3. Правила доказательства и опровержения.

Правила доказательства.

1. Правила тезиса: Тезис должен быть сформулирован точно и ясно, не должен допускать многозначности. Ошибки: Кто слишком много доказывает, тот не доказывает ничего.

На всём протяжении доказательства тезис должен быть одним и тем же. Ошибка: подмена тезиса.

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