Логика — раздел философии, наука о формах, методах и законах интеллектуальной познавательной деятельности. 1 Также определяется как наука о правильном мышлении. 1

Логика изучает способы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее. 1

Основная цель логики — сохранить в неизменном виде законы выведения последующих утверждений из предыдущих. 4 При этом истинность выводов зависит только от истинности входящих в вывод утверждений и от правильной их связи между собой. 4

К предмету логики относятся:

• теоретические формы мышления — понятия, суждения, умозаключения; 3
• общие законы логического мышления: закон тождества, закон противоречия (непротиворечия), закон исключённого третьего и закон достаточного основания; 3
• всеобщие научные методы: синтез, анализ, обобщение, абстрагирование, формализация и т.д.; 3
• язык логики (под которым понимают систему специализированных символов, используемых для обозначения мыслительных форм и связей между ними); 3
• обосновываемые в логике термины и определения; 3
• возможные логические ошибки. 3