Формальна логіка - наука, що вивчає форми думки (поняття, судження, умовиводи, докази) з боку їх логічної структури, відволікаючись від конкретного змісту думок. Це конструювання і дослідження правил перетворення висловлювань, що зберігають їх справжнє значення безвідносно до змісту тих, хто входить в ці висловлювання понять.
Формальна логіка і мислення
Предмет формальної логіки - це не все мислення, а тільки одна його сторона - логічні форми мислення. Формальна логіка досліджує наче готові, наявні, вже виниклі думки - поняття, судження тощо - і встановлює певні співвідношення (формули) між ними. Формальна логіка відволікається, абстрагується від безпосередніх умов виникнення і розвитку цих думок - понять, суджень, умовиводів.
Формальна логіка відволікається, абстрагується від безпосередніх умов виникнення та розвитку тих чи інших думок. Вона повністю відволікається, зокрема, і від взаємозв'язку мислення з чуттєвим пізнанням. Інакше кажучи, вона зовсім не досліджує, на відміну від психології, як конкретно виникає і збагачується зміст нашого мислення на основі відчуттів, сприйняття і уявлень. У логічних формулах, наприклад в силлогізмі, співвідносяться один з одним вже як би застиглі, закінчені, повністю чітко і до кінця сформульовані думки, тобто результати, готові продукти мислення.