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