ДОКАЗАТЕЛЬСТВО
— обоснование истинности какого-либо положе-ния. Д. (в логике) — рассуждение, устанавливающее истинность неко-торого положения на основе истин-ности других положений в рамках конкретной области знания или тео-рии.
В структуре Д. различают тезис (положение, истинность которого требуется установить), аргументы или основания (положения, обосно-вывающие истинность тезиса) и де-монстрацию (способ логической свя-зи тезиса с аргументами). Д. может быть либо прямым — когда тезис непосредственно вытекает из найден-ных аргументов, либо косвенным — когда истинность тезиса устанавливается тем, что вскрывается ложность антитезиса, т. е. положения, проти-воречащего тезису. Частным случаем Д. является опровержение — рас-суждение, направленное против вы-двинутого тезиса и имеющее своей целью установление его ложности. По своей структуре опровержение не отличается от Д. Различают опровержение, состоящее в Д. антитезиса, и опровержение, состоящее в выведе-нии ложных следствий из обсуждаемого тезиса ("сведение к абсурду"). Чтобы отличать правильные Д. от неправильных, выработаны особые требования, выявлены основные ошиб-ки при их нарушении. В частности, тезис должен быть ясным и точным; должен оставаться одним и тем же на протяжении всего Д. (нарушение этого правила называется "подмена тезиса"). Аргументы должны быть истинными суждениями (если хотя бы один из аргументов ложен, то воз-никает ошибка "основное заблуждение", а если не доказан — "предвос-хищение основания"); аргументы должны быть суждениями, истин-ность которых доказана независимо от тезиса (нарушение этого называ-ется "кругом в Д."); аргументы должны быть достаточными для признания истинности тезиса (свя-занные с нарушением этого правила ошибки: "аргумент к личности", "аргумент к публике", "аргумент к авторитету", "аргумент к тщесла-вию" и др.). Демонстрация должна соответствовать логическим прави-лам вывода, т. е. тезис должен логи-чески вытекать из приводимых аргу-ментов (при нарушении этого правила возможны ошибки: "мнимое следо-вание", "учетверение терминов", "от сказанного в относительном смысле к сказанному в абсолютном смысле" и др.). Логическая процедура Д. под-верглась основательному анализу уже в произведениях Аристотеля, и в силу своего фундаментального характера оставалась предметом ис-следовательского интереса на протя-жении всей истории философии и методологии науки. В рамках мате-матической логики исследуются воз-можности формальных Д. и устанав-ливается существование в некоторой формальной системе положений, ко-торые нельзя ни доказать, ни опро-вергнуть средствами данной системы. В настоящее время создается теория поиска Д., призванная сыграть важную роль в изучении и оптимизации творческой деятельности людей.В. Ф. Верков
Еще по теме ДОКАЗАТЕЛЬСТВО:
- 27. ПОНЯТИЕ И ЗНАЧЕНИЕ ДОКАЗАТЕЛЬСТВ. ОТНОСИМОСТЬ И ДОПУСТИМОСТЬ ДОКАЗАТЕЛЬСТВ
- 2. 5. Достаточность доказательств
- 6.3 Обеспечение доказательств
- Глава 3.Исследование доказательств
- 2. 4. Достоверность доказательств
- Глава 4.Оценка доказательств
- 2. 2. Относимость доказательств
- 6.2. Оценка доказательств
- 39. ОБЕСПЕЧЕНИЕ ДОКАЗАТЕЛЬСТВ
- 2. 3. Допустимость доказательств
- 53. Обеспечение доказательств
- 53. Обеспечение доказательств
-
Бизнес -
Компьютеры и интернет -
Психология -
Философия -
Финансы -
Экономика -
Юриспруденция и право -
Lecture.Center