Науката логика е наука за правилното мислене. Формите на миселето са понятия, съждания, умозаключения, които са мисловни обраци, които обхващат и обединяват група предмети и същевременно ги разграничават от всички останали предмети.
Обединението се извършва според съществените признаци или характеристики на обектите.
Съждението - мисъл, в която се утвърждава характеристиката на даден обект.
Умозаключение - от едно или повече съждения, въз основа на определени правила се извежда ново заключение.