В отличие от индукции, похожей на дырявую трубку, по которой течет и теряется истинность, к дедукции, как уже отмечали выше, обычно предъявляют требование полного переноса истинности от посылок к заключениям.
В этом смысле дедукция всегда была символом наиболее строгих и обоснованных методов научного мышления. По аналогии с индукцией о дедукции можно было бы говорить по крайней мере в двух основных смыслах: как о переходе от общего к частному (дедукция-1) и как о достоверном выводе (дедукция-2).
Не всегда эти два понимания дедукции совпадают (случай совпадения видов дедукции как перехода от общего к частному и как достоверного вывода можно называть дедукцией-1, 2), в связи с чем можно говорить о дедукции-1/2 - дедукции, служащей переходом от общего к частному, но не представляющей достоверного вывода, и о дедукции-2/1 - достоверном выводе, который тем не менее не служит переходом от общего к частному.
По мнению автора, отличие дедукции от индукции во многом выражается в настоящее время в степени разработанности различных разделов логики. Индукция, как было видно выше, таит в себе еще много неясного и проблематичного. Это менее разработанные, но активно развивающиеся в настоящее время разделы логики.
Дедуктивная логика в этом смысле, скорее, наиболее разработанная часть логики вообще, которая исторически оказалась связанной с более простыми и базовыми логическими средствами мышления.
С этой позиции автор будет придерживаться в этой главе не столько классификационного описания видов дедукции, что было бы более уместно в области, где еще отсутствуют глубокие теоретические обобщения, но попытается представить общий обзор дедуктивных методов познания как некоторых интегрированных систем мышления.