<<
>>

ДОКАЗАТЕЛЬСТВО


— обоснование истинности какого-либо положе-ния. Д. (в логике) — рассуждение, устанавливающее истинность неко-торого положения на основе истин-ности других положений в рамках конкретной области знания или тео-рии.
В структуре Д. различают тезис (положение, истинность которого требуется установить), аргументы или основания (положения, обосно-вывающие истинность тезиса) и де-монстрацию (способ логической свя-зи тезиса с аргументами). Д. может быть либо прямым — когда тезис непосредственно вытекает из найден-ных аргументов, либо косвенным — когда истинность тезиса устанавливается тем, что вскрывается ложность антитезиса, т. е. положения, проти-воречащего тезису. Частным случаем Д. является опровержение — рас-суждение, направленное против вы-двинутого тезиса и имеющее своей целью установление его ложности. По своей структуре опровержение не отличается от Д. Различают опровержение, состоящее в Д. антитезиса, и опровержение, состоящее в выведе-нии ложных следствий из обсуждаемого тезиса ("сведение к абсурду"). Чтобы отличать правильные Д. от неправильных, выработаны особые требования, выявлены основные ошиб-ки при их нарушении. В частности, тезис должен быть ясным и точным; должен оставаться одним и тем же на протяжении всего Д. (нарушение этого правила называется "подмена тезиса"). Аргументы должны быть истинными суждениями (если хотя бы один из аргументов ложен, то воз-никает ошибка "основное заблуждение", а если не доказан — "предвос-хищение основания"); аргументы должны быть суждениями, истин-ность которых доказана независимо от тезиса (нарушение этого называ-ется "кругом в Д."); аргументы должны быть достаточными для признания истинности тезиса (свя-занные с нарушением этого правила ошибки: "аргумент к личности", "аргумент к публике", "аргумент к авторитету", "аргумент к тщесла-вию" и др.). Демонстрация должна соответствовать логическим прави-лам вывода, т. е. тезис должен логи-чески вытекать из приводимых аргу-ментов (при нарушении этого правила возможны ошибки: "мнимое следо-вание", "учетверение терминов", "от сказанного в относительном смысле к сказанному в абсолютном смысле" и др.). Логическая процедура Д. под-верглась основательному анализу уже в произведениях Аристотеля, и в силу своего фундаментального характера оставалась предметом ис-следовательского интереса на протя-жении всей истории философии и методологии науки. В рамках мате-матической логики исследуются воз-можности формальных Д. и устанав-ливается существование в некоторой формальной системе положений, ко-торые нельзя ни доказать, ни опро-вергнуть средствами данной системы. В настоящее время создается теория поиска Д., призванная сыграть важную роль в изучении и оптимизации творческой деятельности людей.
В. Ф. Верков
<< | >>
Источник: А. А. Грицанов. Всемирная энциклопедия: Философия. 2001

Еще по теме ДОКАЗАТЕЛЬСТВО:

  1. 27. ПОНЯТИЕ И ЗНАЧЕНИЕ ДОКАЗАТЕЛЬСТВ. ОТНОСИМОСТЬ И ДОПУСТИМОСТЬ ДОКАЗАТЕЛЬСТВ
  2. 2. 5. Достаточность доказательств
  3. 6.3 Обеспечение доказательств
  4. Глава 3.Исследование доказательств
  5. 2. 4. Достоверность доказательств
  6. Глава 4.Оценка доказательств
  7. 2. 2. Относимость доказательств
  8. 6.2. Оценка доказательств
  9. 39. ОБЕСПЕЧЕНИЕ ДОКАЗАТЕЛЬСТВ
  10. 2. 3. Допустимость доказательств
  11. 53. Обеспечение доказательств
  12. 53. Обеспечение доказательств