Cтраница 4
Вторая основная тема - это критический анализ обстоятельств, вызывающих необходимость расширения ( по сравнению с описанной ранее финитной точкой зрения) способов содержательных рассуждений, которые допускаются при рассмотрении теории доказательств. Здесь в центре внимания находится обнаруженный Геделем факт дедуктивной неполноты любых четко очерченных и обладающих достаточными выразительными возможностями формализмов. Мы подробно разбираем обе выражающие этот факт теоремы Геделя как с точки зрения их связи с семантическими парадоксами, так и с точки зрения анализа условий их применимости. Мы приводим также их доказательства ( доказательство второй из этих теорем Гс-дель только наметил) и рассматриваем вопрос о их применимости к формализму арифметики. [46]
Таким образом, в то время, как теория доказательства для приемлемости может расширять исходное множество гипотез АО с помощью некоторой защиты D ( как показано в примере 10.18), теория доказательства для ги / - приемлемости не расширяет АО, а продолжает строить ( вложенные) защиты до тех пор, пока для некоторой защиты не будет существовать ни одной атаки. Отметим, что в этом случае, как заключительная защита, так и каждая из ранних защит, являются / - приемлемыми и, следовательно, объединение всех таких защит также ги / - приемлемо. [47]
Понятие судебных доказательств как сведений о фактах ( информация о фактах), полученных с использованием предусмотренных законом средств доказывания ( процессуальная форма), является достаточно широко распространенным среди ученых-процессуалистов, работающих в области теории доказательств. [48]