Доказательство (стр. 3 из 3)

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

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

(( ¬А → В)

¬ В)) → А.

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

Заключение

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

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

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

Список используемой литературы:

1. Берков В.Ф. Логика: Уч. – Мн: НТООО «ТетраСистемс», 1997.

2. Бойко А. П. Логика: Учебное пособие / А. П. Бойко. - М., 2002.

3. Гетманова А. Д. Учебник по логике / А. Д. Гетманова. – М,2004.

4. Иванов Е. А. Логика / Е. А. Иванов. - М., 2002.

5. Рузавин Г.И. Логика и аргументация: Уч.пос. – М: Культура и спорт, ЮНИТИ, 2000