1.Гипотезой называется предположение, выдвигаемое для объяснения сущности и причин исследуемого явления. Применительно к квалификации преступлений гипотезу можно определить как выдвигаемое в процессе расследования предположение об уголовно-правовой оценке содеянного. Процесс квалификации преступлений, как правило, начинается с выдвижения гипотез. Судебно-следственная деятельность по своей природе часто сопряжена с ситуациями, когда известные факты недостаточны для уголовно-правовой оценки содеянного либо когда имеющиеся многочисленные данные сложны и не систематизированы и требуется обобщить собранную информацию, чтобы сделать ее пригодной для получения истинного вывода. В этих случаях вначале выдвигаются и проверяются предположения о юридической природе деяния, а затем только делается окончательный вывод. Необходимость четкой формулировки гипотезы, предположения о признаках конкретного состава преступления возникают уже с момента возбуждения уголовного дела. В ч. 2 ст. 108 УПК РСФСР указано, что дело может быть возбуждено только в тех случаях, когда имеются достаточные данные, указывающие на признаки преступления. Это означает, что полученные данные позволяют выдвинуть предположение о юридической природе деяния.

Можно выделить три типа условий, при которых решаются задачи квалификации преступлений, связанные с предварительным выдвижением гипотез. Наиболее трудной является квалификация при условиях, когда полностью неизвестны исходные данные, необходимые для уголовно-правовой оценки содеянного. Так, в связи с хищением товаров из продовольственного магазина было возбуждено уголовное дело по признакам преступления, предусмотренного ч. 2 ст. 158 УК РСФСР (кража имущества с проникновением в помещение). Однако в процессе расследования было установлено, что хищение совершил 13-летний подросток Л. Уголовное дело было прекращено за отсутствием состава преступления.

Второй тип задач связан с выдвижением гипотез относительно квалификации преступления при условиях, когда фабула уголовного дела известна, фактические обстоятельства полностью исследованы и доказаны и требуется дать окончательную уголовно-правовую оценку содеянного (например при предъявлении обвинения).

Третий тип задач состоит в проверке правильности квалификации преступления. Здесь восстанавливается логика рассуждения, на основе которой был сделан вывод о квалификации. Проверяется, все ли возможные гипотезы квалификации были выдвинуты и исследованы. Например, в соответствии со ст. 213 УПК РСФСР при поступлении дела от органа дознания или следователя прокурор обязан проверить, имело ли место деяние, вменяемое обвиняемому, содержится ли в этом деянии состав преступления, нет ли в деле обстоятельств, влекущих прекращение дела, предъявлены ли обвинения по всем установленным преступным деяниям обвиняемого, привлечены ли в качестве обвиняемых все лица, которые изобличены в совершении преступления, правильно ли квалифицировано преступление и т.д. По существу, законодатель вменил в обязанность прокурору проверять правильность квалификации и возможные варианты другого решения.

2.Версия - разновидность частной гипотезы, выдвигаемой на первоначальных этапах следствия или судебного исследования и объясняющей происхождение или свойства отдельных обстоятельств преступления либо событие преступления в целом. Например, при квалификации действий, связанных с причинением смерти путем наезда автомобилем, выдвигаются предположения о том, что в действиях виновного содержатся признаки преступлений, предусмотренных ч. 2 ст. 264 и п. «е» ч. 2 ст. 105 УК РФ. Далее выдвигаются и проверяются частные версии относительно содержания субъективной стороны содеянного (умышленно или неосторожно причинена смерть), что позволит в дальнейшем правильно отграничить нарушение правил дорожного движения, повлекшее смерть потерпевшего, от убийства.

42. Язык логики высказывания. Табличные определения истинности высказывания.

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

Язык логики высказываний включает: алфавит, определение правильно выстроенных выражений, интерпретацию.

Алфавит логики высказываний состоит из следующих символов.

1) Символы для высказываний: р, q, r ... (пропозициональные переменные).

2) Символы для логических связок:

— конъюнкция (союз «и»);

V — ДИЗЪЮНКЦИЯ (СОЮЗ «ШШ»);

É — импликация (союз «если..., то...»);

↔ — эквивалентность (союз «если и только если..., то...»);

Ø — отрицание («неверно, что...»).

3) Технические знаки (,) — скобки.

Табличное построение предполагает семантические определения пропозициональных связок в виде матриц, показывающих зависимость истинного значения сложных формул от значений их составляющих простых формул. Если А и В простые формулы, то истинное значение построенных с помощью логических связок форму может быть представлено матричным способом — в виде таблицы.

Среди правильно построенных формул в зависимости от их истинностного значения различают тождественно истинные, тождественно ложные и выполнимые формулы.

Тождественно истинными называют формулы, принимающие значения истины при любых — истинных или ложных — значениях составляющих их пропозициональных переменных.

Такие формулы представляют собой законы логики.

Тождественно ложными называют формулы, принимающие значение ложности при любых — истинных или ложных — значениях пропозициональных переменных.

Выполненными называют формулы, которые могут принимать значения истинности или ложности в зависимости от наборов значений составляющих их пропозициональных переменных.

Табличное построение логики высказываний позволяет определять логические отношения между высказываниями и проверять правильность умозаключений, используя приведенный выше критерий.