В последние годы в центре внимания теории доказательств оказались такие вопросы, как:
а) изучение логической структуры мышления при осуществлении оценки доказательств, создание логических, математических моделей оценки доказательств, объясняющих процесс формирования выводов следователя, суда
б) изучение оценки доказательств в свете идей кибернетики
в) изучение вопроса о возможности формализации некоторых операций по доказыванию и применения ЭВМ для систематизации доказательств, построения версий и подсчета их вероятности.