Теория формальных доказательств

Смотреть что такое "Теория формальных доказательств" в других словарях:

• ДОКАЗАТЕЛЬСТВ ТЕОРИЯ —     ДОКАЗАТЕЛЬСТВ ТЕОРИЯ раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т. е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует …   Философская энциклопедия

• Оценка доказательств —    логический процесс установления допустимости доказательств и относимости доказательств, наличия и характера связей между ними, определения значения и путей использования доказательств для установления истины по делу. Осуществляется на всем… …   Криминалистическая энциклопедия

• Теория доказательств — Теория доказательств  это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно… …   Википедия

• ТЕОРИЯ — (от греч. theoria рассмотрение, исследование) совокупность высказываний, замкнутых относительно логического следования. Такое предельно общее и наиболее абстрактное определение Т. дает логика. С логической т.зр. теорией можно назвать любое… …   Философская энциклопедия

• Формальная теория доказательств — Формальная теория доказательств  один из вариантов устройства норм об оценке доказательств в судебном процессе. В уголовном процессе его сущность состоит в том, что для признания преступления совершённым и вины подсудимого доказанной суд… …   Википедия

• Формальная сила доказательств — Формальная теория доказательств  один из вариантов положения о применении доказательств в уголовном процессе. Сущность его состоит в том, что для признания преступления совершённым и вины подсудимого доказанной суд должен убедиться в наличии… …   Википедия

• ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …   Математическая энциклопедия

• Теория — – 1. логическое обобщение опыта, общественной практики, отражающее естественные закономерности развития природы, человека и общества; 2. система обобщённых положений той или иной области знания или деятельности; 3. совокупность научных положений …   Энциклопедический словарь по психологии и педагогике

• Эксперта-научного судьи теория —    концепция, выдвинутая немецким ученым Миттермайером в 60 х гг. XIX в. Согласно этой теории экспертиза особый вид уголовных доказательств, во многом схожий с косвенным доказательством или уликой. Исходным пунктом, по мнению Миттермайера, должна …   Криминалистическая энциклопедия

• МОДЕЛЕЙ ТЕОРИЯ —     МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, изучающий модели формальных теорий, соотношения между моделями и теориями и преобразования моделей. Предшественниками теории моделей были Б. Больцано и Э. Шредер, осознавшие понятие выполнимости… …   Философская энциклопедия