Во всех этих случаях поиск решения сводится к выдвижению некоторого предположения и выведению из него следствий. Если следствия не согласуются с условиями задачи, мы отбрасываем первоначальное предположение и выдвигаем новое и т.д. Несмотря на простоту приведенных примеров, поиск их решения воспроизводит основные черты всякого познавательного процесса: проблема – предположительное решение – проверка решения и его отбрасывание, если оно не согласуется с условиями задачи и с известными нам истинами, – выдвижение нового решения… Логика как раз и изучает те формы, в которых протекает познающее мышление, и те общие принципы, которым оно должно подчиняться, чтобы достигнуть поставленной цели.

Логику интересует лишь форма наших мыслей, но не их содержание. Содержание наших мыслей бесконечно разнообразно: мы можем думать и рассуждать о вулканах и звездах, о любви и предпринимательстве, о колбасе, которой вечно не хватает, и об электронах, от которых не знаешь куда деваться. Однако все это разнообразие укладывается в сравнительно небольшое число форм. Вот эти формы и изучает логика. Образно говоря, логику интересуют сосуды – бутылки, ведра, бочки, а не то, что в них налито. В бутылку что ни налей – нарзан, пиво, вино – она останется бутылкой и ее можно изучать именно как бутылку: исследовать ее геометрическую форму, объем, толщину стенок и т.д. Точно так же и мыслительные формы, независимо от своего содержания, обладают определенными свойствами, которые изучает логика.

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