Доказательство
ДОКАЗАТЕЛЬСТВО - обоснование истинности какого-либо положения. Д. (в логике) - рассуждение, устанавливающее истинность некоторого положения на основе истинности других положений в рамках конкретной области знания или теории. В структуре Д. Различают тезис (положение, истинность которого требуется установить), аргументы, или основания (положения, обосновывающие истинность тезиса) и демонстрацию (способ логической связи тезиса с аргументами). Д. Может быть либо прямым - когда тезис непосредственно вытекает из найденных аргументов, либо косвенным - когда истинность тезиса устанавливается тем, что вскрывается ложность антитезиса, т.е. Положения, противоречащего тезису. Частным случаем Д. Является опровержение - рассуждение, направленное против выдвинутого тезиса и имеющее своей целью установление его ложности.
По своей структуре опровержение не отличается от Д. Различают опровержение, состоящее в Д. Антитезиса, и опровержение, состоящее в выведении ложных следствий из обсуждаемого тезиса ("сведение к абсурду"). Чтобы отличать правильные Д. От неправильных, выработаны особые требования, выявлены основные ошибки при их нарушении. В частности, тезис должен быть ясным и точным. Должен оставаться одним и тем же на протяжении всего Д. (нарушение этого правила называется "подмена тезиса"). Аргументы должны быть истинными суждениями (если хотя бы один из аргументов ложен, то возникает ошибка "основное заблуждение", а если не доказан - "предвосхищение основания"). Аргументы должны быть суждениями, истинность которых доказана независимо от тезиса (нарушение этого называется "кругом в Д.").
Аргументы должны быть достаточными для признания истинности тезиса (связанные с нарушением этого правила ошибки. "аргумент к личности", "аргумент к публике", "аргумент к авторитету", "аргумент к тщеславию" и др.). Демонстрация должна соответствовать логическим правилам вывода, т.е. Тезис должен логически вытекать из приводимых аргументов (при нарушении этого правила возможны ошибки. "мнимое следование", "учетверение терминов", "от сказанного в относительном смысле к сказанному в абсолютном смысле" и др.). Логическая процедура Д. Подверглась основательному анализу уже в произведениях Аристотеля, и в силу своего фундаментального характера оставалась предметом исследовательского интереса на протяжении всей истории философии и методологии науки.
В рамках математической логики исследуются возможности формальных Д. И устанавливается существование в некоторой формальной системе положений, которые нельзя ни доказать, ни опровергнуть средствами данной системы. В настоящее время создается теория поиска Д., призванная сыграть важную роль в изучении и оптимизации творческой деятельности людей..
Дополнительный поиск Доказательство
На нашем сайте Вы найдете значение "Доказательство" в словаре Новейший философский словарь, подробное описание, примеры использования, словосочетания с выражением Доказательство, различные варианты толкований, скрытый смысл.
Первая буква "Д". Общая длина 14 символа