Доказательство (в логике)

Доказа́тельство в логике — обоснование истинности суждения по правилам логики. Суждение, истинность которого требуется доказать, называют тезисом. При доказательстве тезиса пользуются аргументами и фактами. Логическая связь между аргументами и тезисом должна обосновать истинность тезиса. Понятие доказательства предполагает указание посылок, на которые опирается тезис, и наличие логических правил, по которым осуществляются преобразования утверждений в ходе доказательства.
По форме доказательства подразделяют на прямые и косвенные. В прямом доказательстве истинность тезиса непосредственно обосновывается аргументами. В косвенном (непрямом) доказательстве истинность тезиса обосновывается путем доказательства ложности антитезиса. Оно применяется тогда, когда нет аргументов для прямого доказательства.
Доказательство — правильное умозаключение с истинными посылками. Логическую основу каждого доказательства (его схему) составляет логический закон. Задачей доказательства является полное утверждение обоснованности доказываемого тезиса, связь между аргументами и тезисом должна носить дедуктивный характер. По своей форме доказательство — дедуктивное умозаключение или цепочка таких умозаключений, ведущих от истинных посылок к доказываемому положению.
Иногда в понятие доказательства вкладывается широкий смысл: под доказательством понимается любая процедура обоснования истинности тезиса, включающая как дедукцию, так и индуктивное рассуждение, ссылки на связь доказываемого положения с фактами, наблюдениями. Расширительное истолкование доказательства является обычным в гуманитарных науках, встречается в экспериментальных, опирающихся на наблюдения рассуждениях. Следует иметь в виду, что индуктивное обобщение, переход от частных фактов к общим заключениям, дает не достоверное, а вероятное знание. Образцом доказательства, которому стремятся следовать во всех науках, является математическое доказательство.

Смотри также

Статья находится в рубриках
Яндекс.Метрика