УМОЗАКЛЮЧЕНИЕ

логическая последовательность суждений, ведущая к определенному заключению. Типы умозаключений различаются по форме и степени строгости: 1) дедукция, представляющая собой вывод частного случая из общего принципа: например, всякий человек смертен, следовательно, такой-то человек смертен. Этот чистотлоги-ческий тип умозаключения достаточно строг, но не всегда плодотворен; 2) индукция, идущая от частного случая (я вижу рыжую женщину) к общему закону (все женщины — рыжие). Этот тип умозаключения можно считать творческим, но не отличающимся большой строгостью. Его используют в физической науке (но с максимальной осторожностью), чтобы перейти от наблюдения фактов (как можно большего числа фактов) к определению гипотезы; 3) математическое умозаключение — синтез двух предыдущих типов, одновременно строгий и плодотворный (отсюда то двойное название, которое ему дает логик Гобло: «строгая индукция» и «конструктивная дедукция»). Например, 2 2=4. В чистой логике это будет выглядеть так: 2 2 = 2 2. Образование числа 4 — это конструктивный синтез. Это умозаключение было проанализировано Кантом как синтетическое умозаключение a priori  (то есть чисто интеллектуальный синтез). См. Гипотеза, Закон.