Cтраница 3
Это означает, что, хотя каждое из входящих в систему доказательство находится в многозначных отношениях с предметом доказывания, сама система как совокупность определенным образом упорядоченных улик связана с предметом доказывания уже однозначно. Данное свойство является важнейшим выражением ин-тегративных качеств системы доказательств и вытекает из совокупности всех остальных свойств системы. [31]
При такой постановке вопроса уже не может быть того решающего эксперимента или наблюдения, которые сумели бы опровергнуть одну из гипотез и одновременно перевести в категорию универсальной теории противоположную гипотезу. В случае признания возможности факультативного существования обоих начал меняется не только система доказательств, но и самый подход к изучению фактических данных. [32]
При такой постановке вопроса уже не может быть того решающеп эксперимента или наблюдения, которые сумели бы опровергнуть одну из гипотез и одновременно перевести в категорию универсальной теории противоположную гипотезу. В случае признания возможности факультативного существования обоих начал меняется не только система доказательств, но и самый подход к изучению фактических данных. [33]
Доказательство теорем ( theorem provi ng) также является одной из традиционных областей применения искусственного интеллекта. Целью исследований является разработка общей, не зависящей от задачи процедуры и системы доказательства и решения проблем. [34]
Прокопович утверждал, что священство всего-навсего иный чин есть в народе, а не иное государство, что у духовной и светской власти государь и патриарх представлен одним лицом - императором. С идеей примата светской власти над духовной и ненадобности патриаршества тесно перекликается система доказательств преимущества коллегиального управления над единоличным. Все эти вопросы тщательно разработаны Феофаном в одном из его главных сочинений - регламенте Духовной коллегии. [35]
Важным моментом в доказательстве поставщиком способности к выпуску качественной продукции является документация системы качества. Стандарты ИСО 9000 рассматривают ряд типов документов, которые должны быть разработаны предприятием-поставщиком и использоваться в системе доказательства обеспечения качества продукции. [36]
Наличие подобного письменного извещения может быть использовано в суде стороной налогоплательщика в качестве аргумента, доказывающего предвзятость произведенного вызванным таким образом понятым удостоверения факта, содержания и результатов проведенного действия. Ведь в данном случае ставится под сомнение незаинтересованность в исходе дела заблаговременно вызванного понятого, что может привести к исключению из доказательной базы результатов проведенного в присутствии такого понятого действия как полученных с нарушением требований законодательства о налогах и сборах, а в крайнем случае ( если результаты действия имели базовое значение в системе доказательств) и к принятию судом решения в пользу проверяемого лица. [37]
Функцией системы доказательств является достоверное установление всех подлежащих доказыванию обстоятельств дела. В рамках данной системы каждая из образующих ее частных систем и каждое из доказательств выполняет определенную функцию, устанавливая конкретные обстоятельства из числа подлежащих доказыванию по делу. По этому функциональному признаку и должна строиться система доказательств: отдельные доказательства и их частные системы необходимо объединить по признаку их связи с конкретными элементами предмета доказывания. [38]
Среди всего многообразия современных форм рекламы есть два вида, принципиально отличающихся друг от друга: публицистическая реклама и модульная. Основное их отличие в системе доказательств - аргументации, подтверждающей основной тезис. Если в публицистической рекламе основную нагрузку в системе доказательств главного тезиса несет текст и совсем немного иллюстрация или вообще без таковой, то в модульной рекламе наоборот - аргументация в виде иллюстрации ( видеоряд) может достигать девяноста - девяноста пяти процентов. [39]
Аверроэс, латинизированное имя андалузского ученого и мыслителя Ибн Рушда ( 1126 - 1198), стало широко известно с момента его появления на мировой арене в качестве популяризатора наследия Аристотеля. Сочинения Аверроэса полны рационализма, преклонения перед силой разума. Его перу принадлежит, в частности, труд Система доказательств, принесший славу восточной педагогической мысли. В нем раскрыты основные принципы обучения - сознательность, научность, наглядность. [40]
Что касается первой задачи, то в настоящее время она решается с различной степенью точности в зависимости от степени логической строгости, на которую претендуют науки разных областей знания. С этой точки зрения все науки могут быть условно разделены на три категории. В первую категорию входят логико-математические науки, в которых понятия вводятся с помощью определений или других приемов, удовлетворяющих известным логическим правилам, на основе которых строится строгая система доказательств. Язык этих наук предельно формализован. [41]
Во-первых, если у обезьяны есть глаза, она может увидеть, что после выполнения действия объекты не связаны. Во-вторых, можно вообразить себе построение недедуктивной логической системы, основанной на кинематической системе / С, которая была бы способна оперировать с предложениями описанного выше типа за счет усиления частных случаев аксиомы ( - - 3) зачеркиванием некоторых из ее антецендентов. В такой системе доказательства были бы более краткими, чем в теории К, она была бы более приемлемой с интуитивной точки зрения, чем теория К, но, разумеется, оказалась бы внутренне противоречивой. Однако противоречивость эта была бы относительно слабой и, думается, ее сравнительно легко было бы контролировать. [42]