Ло́гика (
др.-греч. λογική — «наука о правильном мышлении», «способность к рассуждению» от
др.-греч. λόγος — «логос», «рассуждение», «мысль», «разум», «смысл») — раздел
философии,
нормативная[1] наука о формах, методах и законах
интеллектуальной познавательной деятельности, формализуемых на
логическом языке. Поскольку это знание получено разумом, логика также определяется как наука о формах и законах
мышления. Так как мышление оформляется в языке в виде
рассуждения, частными случаями которого являются
доказательство и
опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает методы достижения истины в процессе познания опосредованным путём, не из
чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определить как науку о способах получения
выводного знания.
Одна из главных задач логики — определить, как прийти к выводу из предпосылок (
правильное рассуждение) и получить истинное знание о предмете размышления, чтобы глубже разобраться в нюансах изучаемого предмета мысли и его соотношениях с другими аспектами рассматриваемого явления