Источник: Словарь афоризмов русских писателей. Составители: А. В. Королькова, А. Г. Ломов, А. Н. Тихонов
Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей, аксиоматической теорией множеств и теорией вычислений, теория доказательств является одним из так называемых «четырёх столпов» математики. Теория доказательств использует точное определение понятия доказательства при доказательстве невозможности доказательства того или иного предложения в рамках заданной математической теории.
Все значения словосочетания «теория доказательств»Этот период можно назвать временем серьёзного обновления творческой мысли ученых-правоведов, работающих в области теории доказательств в гражданском судопроизводстве.
Создание обвинительно-розыскного процесса повлекло появление такой категории, как оценка доказательств на основе внутреннего убеждения, которая заняла место формальной теории доказательств по делу.
Поэтому в уголовно-процессуальном праве большое внимание уделяется вопросам выявления, получения, закрепления, проверки и оценки доказательств, дальнейшей разработке теории доказательств и доказывания.