(в логике), наличие (в рассуждении, тексте, теории) двух
высказываний, из которых одно - отрицание другого в широком смысле -
утверждение о тождестве заведомо различных объектов. Противоречие указывает
либо на логическую порочность приводящего к нему рассуждения, либо на
несовместимость посылок, положенных в основу рассуждения. Непротиворечивость -
основное требование к научной теории.