Логика - наука, изучающая законы и формы мышления; учение о способах рассуждений и доказательств.

Законы мира, сущность предметов, общее в них мы познаем посредством абстрактного мышления. Основными формами абстрактного мышления являются понятия, суждения и умозаключения.

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

Содержание понятия - совокупность существенных признаков, отраженных в этом понятии.

Объем понятия - множество предметов, каждому из которых принадлежат признаки, составляющие содержание понятия. Выделяют понятия общие и единичные.

Выделяют следующие отношения понятий по объему:

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

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