1 Введение ………………………………………………… 2

2

Опровержение как разновидность доказательства ………………………………………

2 - 4

3

Правила в опровержении ……………………………

4 - 7

4

Вместо заключения ……………………………………

8

5

Список использованной литературы ………………

9

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

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

Например:

число 4 - число рациональное

Все четные числа - натуральные числа

4 - число четное

Следовательно, 4 - число натуральное

Все натуральные числа - рациональные числа

4 - число натуральное

Следовательно,4 - число рациональное

Тезис доказательства здесь: "число 4 - рационально число". Первые пять суждений - аргументы доказательства. Демонстрация - два категорических силлогизма первой фигуры.

Доказательства бывают прямые и косвенные. Прямое доказательство состоит в том, что из данных аргументов по правилам умозаключений непосредственно выводится тезис. Приведенное выше доказательство - пример прямого доказательства. Не всегда представляется возможным доказать какое-либо положение прямым способом. Тогда прибегают к косвенному доказательству, которое обычно заключается в том, что сначала доказывают ложность антитезиса, т.е. суждения противоречащего тезису, а затем из ложности антитезиса делают вывод об истинности тезиса. Чтобы показать, что антитезис ложен, выводят из него следствие, которое оказывается противоречащим ранее установленным положениям. Но если следствие ложно, ложна и посылка (антитезис). Опираясь на закон исключенного третьего, из ложности антитезиса заключают об истинности тезиса. Этот прием доказательства носит еще название "приведение к нелепости" (reductio ad absurdum)

Например:

Допустим, что надо доказать положение: "Земля не является плоскостью". Временно примем за истинное противоречащее ему суждение (антитезис): "Земля является плоскостью". Из этого суждения следует, что, например Полярная звезда должна быть видна везде одинаково высоко над горизонтом. Последнее, однако, противоречит установленному факту: на различной географической широте высота Полярной звезды над горизонтом различна. Значит антитезис неверен. Но тогда остается на основе исключенного третьего признать, что истинен тезис "Земля не является плоскостью".

1. Иванов Е.А., " Логика ", М. 1996.

2. Челпанов Г.А., " Учебник по логике ", М., 1994.

3. Казанов А.Н., Якушев А.О., " Логика - 1", М., 1994.

4. Казаков А.С., "Американские мифы", М., 1989.

5.Гоголь Н.В., "Повесть о том как поссорились Иван Иванович с Иваном Никофоровичем", Собр. соч. т.2, М., 1990

Примечаний нет.