9. Виды и правила доказательства и опровержения.

По способу обоснования тезиса различают два вида доказательств:ПРЯМОЕ и КОСВЕННОЕ.

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

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

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

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

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

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

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

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

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

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

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

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

Правила по отношению к аргументам

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

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

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

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

Закон тождества — закон логики, согласно которому в процессе рассуждения каждое осмысленное выражение (понятие, суждение) должно употребляться в одном и том же смысле.

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

В логике предикатов закон тождества выражается формулой , т. е. для всякого верно, что если имеет свойство , то имеет это свойство.

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

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