Ло́гика ( «наука о рассуждении», «искусство рассуждения» от — «речь», «рассуждение») —
наука о формах, методах и законах
интеллектуальной
познавательной деятельности, формализуемых с помощью логического
языка. Поскольку это знание получено разумом, логика также определяется как наука о (правильном)
мышлении. Поскольку мышление оформляется в языке в виде
рассуждения, частным случаем которого являются
доказательство и опровержение, логика иногда определяется как наука о способах рассуждения или наука о способах доказательств и опровержений. Логика как наука изучает способы достижения истины в процессе познания опосредованным путём, не из чувственного опыта, а из знаний, полученных ранее, поэтому её также можно определеить как науку о способах получения
выводного знания.