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