Построение гипотезы (следственной версии).

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

63. Логико-методологические требования к гипотезе и следственной версии.

Можно сформулировать основные требования, предъявляемые к построению и проверке гипотез и версий (или условия их рационального построения):1.Требование объективности. Объективность означает отсутствие предвзятости, т.е. исследователь руководствуется интересами установления истины, а не своими субъективными склонностями, желаниями.2.Требование всесторонности исследования фактических данных. Всесторонность означает следующее: а) гипотеза (версия) должна дать объяснение всем собранным фактам без исключения; б) по каждому обстоятельству причинно-следственной связи явлений (преступления) должны быть построены все возможные гипотезы (версии), по-разному их объясняющие.3.Гипотеза (версия) должна быть эмпирически и теоретически обоснована и согласована с уже имеющимся знанием. Если факт установлен с достоверностью, то сбор дальнейшего материала можно прекратить. Если полученные выводы с одними фактами согласуются, а другими опровергаются, то необходимо расширить пределы собирания доказательств до устранения или объяснения противоречий. При проверке двух или более взаимосвязанных следствий проверяются в первую очередь те, которые относятся к обстоятельствам более позднего происхождения и являются более правдоподобными.4.С логической точки зрения, необходимым показателем соответствия гипотезы тому фрагменту знания, на базе которого она выдвигается, является непротиворечивость: гипотеза не должна противоречить установленным знаниям.5.Гипотеза должна быть принципиально проверяемой, допускать проверку фактами.6.Гипотеза должна обладать определенной предсказательной и объяснительной силой, способностью отыскивать новые, еще не известные факты и дать им рациональное объяснение.7.При проверке каждой гипотезы (версии) необходимо стремиться вывести все возможные следствия. Соблюдение этого требования дает возможность максимально конкретизировать общее направление и границы расследования.8.Все построенные по делу версии проверяются параллельно. При этом необходимо иметь в виду, что при отпадении отдельных версий не следует упускать возможности проверки остальных версий.

64. Способы проверки гипотезы (следственной версии).

Проверка гипотезы (версии) - целенаправленный сбор доказательств, которые подтверждают или опровергают эти предположения. Существует несколько способов подтверждения истинности гипотезы (версии):а) выведение необходимо вытекающих из гипотезы следствий и их проверка - установление соответствия фактическим данным; б) непосредственное обнаружение объекта, мысль о существовании которого была основным содержанием гипотезы; в) дедуктивное выведение гипотезы из другого, но достоверного, знания; г)  подтверждение основания гипотезы, если при построении гипотезы оно не было достоверным; д) расширение основания гипотезы до пределов, достаточных для достоверного знания, и т. п. При наличии нескольких гипотез по одной и той же проблеме их проверка может осуществляться косвенными путями - по отрицающе-утверждающему и утверждающе-отрицающему модусам разделительно-категорического силлогизма. Опровержение гипотезы осуществляется путем фальсификации вытекающих из нее следствий, т. е. путем установления их несоответствия фактическим данным.Как мы уже знаем из темы об умозаключениях, по отрицающе-утверждающему модусу разделительно-категорического умозаключения достоверность заключения может быть получена только при условии, что в большей посылке (дизъюнктивном суждении) перечислены все возможные случаи (версии). Отбрасывание ложных версий сужает круг возможных объяснений и приближает к достоверной причине преступления. Если выведенные из версии следствия совпадают со вновь обнаруженными фактами, то версия подтверждается. Чем больше таких совпадений и чем разнообразнее следствия, тем версия правдоподобнее.

65. Доказательство гипотез в судебном исследовании.

Основными способами доказательства гипотез являются: дедуктивное обоснование выраженного в гипотезе предположения; непосредственное обнаружение предположенных в гипотезе предметов; логическое доказательство гипотезы. Непосредственное обнаружение искомых предметов. Частные гипотезы в науке и версии в судебном исследовании нередко ставят своей задачей выявление факта существования в определенное время и в определенном месте конкретных предметов и явлений либо отвечают на вопрос о свойствах и качествах таких предметов. Наиболее убедительным способом превращения такого предположения в достоверное знание является непосредственное обнаружение в предположенное время или в предположенном месте искомых предметов либо непосредственное восприятие предположенных свойств. Напр., при расследовании уголовных дел о хищениях важной задачей является обнаружение похищенных ценностей. Эти ценности, как правило, прячутся или реализуются преступниками. В связи с этим и возникают частные версии о местонахождении таких вещей и ценностей. Версии, доказываемые непосредственным обнаружением предположенной причины, всегда являются частными. С их помощью, как правило, устанавливаются лишь отдельные фактические обстоятельства дела, частные стороны события преступления. Логическое доказывание версий. Версии, объясняющие существенные обстоятельства расследуемых дел, превращаются в достоверное знание путем логического обоснования. Оно протекает опосредованным путем, ибо познаются события, имевшие место в прошлом, или явления, существующие и в настоящее время, но недоступные непосредственному восприятию. Так доказываются, напр., версии о способе совершения преступления, о виновности, о мотивах совершения преступления, объективных обстоятельствах, при которых было совершено деяние, и т. п.Логическое доказывание гипотезы в зависимости от способа обоснования может протекать в форме косвенного или прямого доказывания. Косвенное доказывание протекает путем опровержения и исключения всех ложных версий, на основании чего утверждают достоверность единственного оставшегося предположения. Заключение в этом выводе может расцениваться как достоверное, если, во-первых, построен исчерпывающий ряд версий, объясняющих исследуемое событие, и, во-вторых, в процессе проверки версий опровергнуты все ложные предположения. Версия, указывающая на оставшуюся причину, в этом случае будет единственной, а выраженное в ней знание будет выступать уже не как проблематичное, а как достоверное. Прямое доказывание гипотезы протекает путем выведения из предположения разнообразных, но вытекающих только из данной гипотезы следствий и подтверждения их вновь обнаруженными фактами. При отсутствии косвенного доказывания простое совпадение фактов с теми следствиями, которые выведены из версии, нельзя расценивать как достаточное основание истинности версии, ибо совпадающие факты могли быть вызваны и другой причиной.

66. Понятие теории.

Теория в логике представляет собой логически связную систему предложений. В качестве логической связи используются процедуры дедукции, формализующие отношение выводимости. В зависимости от степени проясненности (выявленности) дедуктивных связей различают несколько типов теорий. К первому типу относятся содержательные теории. В их составе дедукция используется лишь для связи отдельных положений. При этом исходные утверждения в рассуждениях представляют собой некоторые допущения, называемые посылками. Посылки не обязаны быть (и не всегда бывают) истинными, а потому любое предложение, которое дедуцируется с их использованием, считается условно истинным: заключение истинно при условии, что посылки являются истинными. Примером содержательной теории является школьная арифметика. Другой тип — это т. н. формализованные теории. К их числу относятся теории, содержание которых взаимосвязано и дедуктивно выводится из некоторых первоначально принятых исходных утверждений, называемых аксиомами. Так как аксиомы рассматриваются как истинные высказывания о некоторой предметной области, все другие положения, дедуцируемые из них, тоже считаются истинными относительно этой области. Примерами таких теорий являются: небесная механика Ньютона, специальная и общая теории относительности Эйнштейна, квантовая механика, геометрия Евклида и многие другие. Формализованные теории — это уже хорошо организованные теории. Однако их недостатком является то обстоятельство, что в них специально не выделяются средства дедукции, а потому многие дедуктивные шаги осуществляются на интуитивном уровне, что приводит, во-первых, к пропуску значительного числа шагов в рассуждениях, а во-вторых, к недостаточно четкой фиксации всех аксиом, необходимых для получения других положений.

67. Критерии достоверности теории.

Истинность теорий. Важной характеристикой теории является степень ее обоснованности, ее практическая подтверждаемость. Основным и наиболее общим критерием истинности теорий считается практика, включающая производственную деятельность, эксперименты и применение теоретических знаний в той или иной деятельности людей. Вместе с тем практика далеко не абсолютный критерий истинности. Во-первых, этот критерий не всегда применим. Во-вторых, практика может подтверждать и некоторые ложные высказывания (до некоторых пор, например, в опыте подтверждалась теория теплорода). В-третьих, практика лишь подтверждает, но не доказывает истинность теории. Кроме практики, существует логический критерий истинности. Самым важным логическим критерием истинности теорий является их логическая непротиворечивость, т.е. взаимная согласованность утверждений теорий между собой, последовательность в объяснении явлений. Однако и истинные теории не есть абсолютно точное знания своего предмета. Это означает, что теория не представляет собой законченного образования. В истории познания наблюдается постоянная смена теорий, связанная с углублением нашего знания: евклидова геометрия получила дальнейшее развитие в неевклидовой, классическая механика (Галилея - Ньютона) – в релятивистской и квантовой теориях и т.д.

68. Особенности построения логической теории.

69. Формальная логика как научный метод познания.

И так, формальная логика - это наука об общезначимых формах и средствах мысли, необходимых для рационального познания бытия и его кон­кретных видов. К общезначимым формам мысли относятся понятия, суждения, умозаключения. Общезначимыми средствами мысли являются правила (принципы), логические операции, приемы и процедуры, формально-логические законы, лежащие в их основе, то есть все то, что служит целям осуществления правильного абстрактного мышления. Следовательно, предмет формальной логики составляют:1) формы мыслительного процесса - понятие, суждение, умозаключение, гипотеза, доказательство и др.;2) законы, которым подчиняется абстрактное мышление в процессе по­знания объективного мира и самого мышления;3) методы получения нового выводного знания - сходства, различия, сопутствующих изменений, остатков и др.;4) способы доказательства истинности или ложности полученных знаний - прямое или косвенное подтверждение, опровержение и т.д. Таким образом, логика в наиболее широком понимании ее предмета исследует структуру абстрактного мышления, раскрывает лежащие в его осно­ве закономерности. Однако абстрактное мышление, обобщенно, опосредованно и активно отражая действительность, неразрывно связано с языком. Языковые выражения являются той реальностью, строение и способ употребления которой дает нам знание не только о содержании мыслей, но и об их форме, о законах мышления. Поэтому в исследовании языковых выражений и отношений между ними логика видит одну из своих основных задач.