Рассмотрим основные формы (принципы) умозаключений, характерные для логического мышления. Таких форм не так уж много: это индукция, дедукция и аналогия. Вкратце их можно охарактеризовать следующим образом. Индукция - это вывод о множестве, основывающийся на рассмотрении отдельных (единичных) элементов этого множества. Дедукция - это, наоборот, вывод об элементе, основанный на знании определенных качеств того множества, в состав которого он входит. Аналогия - это вывод об элементе (множестве), переносящий на него свойства другого элемента (множества). Если в индуктивных рассуждениях наша мысль движется от частного к общему, то в дедуктивных выводах - от общего к частному, а в аналогии осуществляется переход (трансляция) от частного к частному. Аналогию часто называют еще переносом (транспонированием, экстраполяцией). Между дедуктивными и индуктивными рассуждениями в логике существует принципиальное различие, которое заключается в следующем. В дедуктивном умозаключении истинность исходных посылок гарантирует истинность финального вывода, а в случае индукции такой гарантии нет: при истинных посылках возможен и ошибочный вывод, поскольку здесь имеет существенное значение не только истинность посылок, то есть достоверность единичных фактов, но и их количество. Если единичных (частных) фактов, которые подвергаются индуктивному обобщению, недостаточно, то существует риск сделать неправильное умозаключение, выдвинуть ошибочную идею. С другой стороны, при достаточном количестве указанных фактов высока вероятность получить вполне достоверный результат (достоверное обобщение). В аналогии истинность посылок также не гарантирует истинности финального вывода, поэтому многие исследователи относят аналогию к разряду индуктивных способов обработки информации. В качестве исходных посылок в аналогии выступает сходство двух разных объектов в отдельных признаках (качествах), а финальный вывод состоит в предположении о наличии сходства и в других признаках этих объектов. Здесь важны сразу несколько факторов: истинность исходной информации о сходстве, типичность сравниваемых признаков и количество действительно сходных признаков. Описание важного различия между индукцией и дедукцией содержится во многих работах, например, в книге Д.А. Поспелова «Моделирование рассуждений» (1989). В данной книге он отмечает: «Если посылки в дедуктивной схеме выбраны правильно, являются истинными, то получаемые с их помощью заключения не могут быть ложными. Если они нас чем-то настораживают, то надо еще раз проверить истинность посылок. Убедившись в их правоте, ничего не остается делать, как полностью принять следующие из них выводы. Если посылки в индуктивной схеме выбраны правильно, являются истинными, то получаемые с их помощью заключения могут быть как истинными, так и ложными. Та или иная точка зрения на заключения зависит от степени субъективной уверенности в достаточности посылок для получения заключения» (Поспелов, 1989, с.88).