Логіка – це наука про форми правильного мислення. Будучи абстрагованою, абстрактною від змісту думки, логіка займається виключно її формами, в силу чого також називається формальною логікою.
Формальна логіка — наука про правила перетворення висловлювань, які зберігають їх істинне значення безвідносно до змісту понять, що входять до цих висловлювань, а також конструювання цих правил.
Формальна логіка вивчає форми мисленнявибудовуючи загальну структуру для різних за змістом думок. Вона вивчає не конкретний зміст різних понять, а поняття як форму мисленнянезалежно від того, які предмети мисляться в поняттях.
В силу того, що логіка досліджує форми нашого мислення, її часто називають формальною логікою, на відміну від діалектичної логіки, яка досліджує процеси виникнення та розвитку понять і є складовою філософії.