играет главную роль при проверке тех знаний, которые получены человеком в различной теоретической деятельности или, как говорят, в процессе внутреннего развития науки. Сегодня лишь одна наука - математика - развивается внутренним путем, по этой причине главным критерием истинности математических знаний является логический критерий. Он сводится к непротиворечивости исходных посылок и результатов вывода. В доказательствах от противного используется прием приведения к противоречию (ad absurdum), который может свидетельствовать о получении истинного утверждения. Нередко при обработке полученного опытным путем материала используется прием подгонки (ad hoc) данных под заготовленную схему, теоретически полученное уравнение, модель или закон, что используют лишь в работе с эмпирическими данными.