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