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