>b, …, S>і}». Символически это можно выразить так:
Н, ⇔ S.
Вывод от утверждения следствия к утверждению основания при наличии такой двойной импликации будет логически законным. Если в меньшей посылке утверждается, что совокупность фактов F>a, F>b, …, F>i, совпадает со следствиями S>a, S>b, …, S>і то в заключении с необходимостью утверждают существование причины H>1.
Рассуждение принимает вид:
H>1⇔ S, S
__________
H>1
При соблюдении указанных условий в судебном исследовании приходят к такому знанию об обстоятельствах преступления и его участниках, которое является достоверным, единственно возможным и не вызывает сомнений в своей истинности.
Вопросы для самопроверки
1. Какими способами доказывается гипотеза?
2. В чем особенности косвенного и прямого доказательства гипотез?
Алексеев А. П. Аргументация. Познание. Общение. М., 1991.
Арно А., Николь П. Логика, или Искусство мыслить. М., 1991. Асмус В. Ф. Учение логики о доказательстве и опровержении. М., 1954.
Баженов Л. Б. Основные вопросы теории гипотезы. М., 2005. Бочаров В. А., Маркин В. И. Основы логики. М., 2007.
Войшвилло Е. К. Понятие как форма мышления. М., 1989. Гетманова А. Д. Логика. М, 1995.
Горский Д. П. Определение. М., 1974.
Зегет В. Элементарная логика. М., 1985.
Ивлев Ю. В. Логика. М., 2005
Лебедев С. А. Индукция как метод научного познания. М., 1980 Маковельский А. О. История логики. М., 1967.
Поварнин С. Спор. О теории и практике спора. СПб., 1996.
Попов П. С. История логики нового времени. М., 1960.
Свинцов В. И. Логика. М., 1987.
Старченко А. А. Логика в судебном исследовании. М., 1958. Трутников М. К. Судебные доказательства. М., 1997.
Уемов А. И. Аналогия в практике научного исследования. М., 1970.
Сборники упражнений. Справочные издания
Кириллов В. И., Орлов Г. А., Фокина Н. И. Упражнения по логике. М., 2007.
Горский Д. П., Ивин А. А., Никифоров А. Л. Краткий словарь по логике. М., 1991.
Кондаков Н. И. Логический словарь-справочник. М., 1975.
ЛОГИЧЕСКИЕ СИМВОЛЫ И СХЕМЫ
Кванторы
Логические связи